- 390 名前：Kummer ◆g2BU0D6YN2 [2006/12/28(木) 21:53:45 ]
- 定義
G を群とし S を左 G-集合 (>>388) とする。
x, y ∈ S に対して gx = y となる g ∈ G があるとき
x と y は同値と定義とすることにより S の同値関係が得られる。
この同値類を左 G-集合 S の軌道とよぶ。
x ∈ S に対して、x を含む軌道を x の軌道という。
x の軌道は { gx ; g ∈ G } である。
S の軌道全体の集合を S/G と書き、S の G の作用による商集合と呼ぶ。
S/G は、また軌道空間ともいう。
