- 370 名前：Kummer ◆SgHZJkrsn08e [2012/03/26(月) 09:59:28.82 ]
- 命題
G を群とする。
X を G-集合（過去スレpart5の77）とする。
x を X のある元とする。
G_x を x の安定化部分群（過去スレpart5の93）とする。
H を G_x を含む G の部分群とする。
Hx = {ηx； η ∈ H} と書く。
このとき Hx は X のブロック（>>357）である。
証明
x ∈ Hx だから Hx は空でない。
σ ∈ G に対して σHx ∩ Hx ≠ φ とする。
σηx = ρx となる η、ρ ∈ H がある。
ρ^(-1)σηx = x だから ρ^(-1)ση ∈ G_x ⊂ H
よって、σ ∈ ρHη^(-1) = H
よって、σHx = Hx
よって、>>367より Hx は X のブロックである。
証明終
