名前のない定理

作用幾何学について解説します.ガウスは三次元空間内の二点を通る直線を「を固定するような変換の下で不変な点の集合」と定義したそうです.を固定するような合同変換はを通る軸の周りの回転だけになり,それで不変な点は確かにを通る直線になります.このことに範をとり,群が集合上に作用しているとき,集合上に直線を書くこ…