- 369 名前：Kummer ◆SgHZJkrsn08e [2012/03/26(月) 09:41:32.13 ]
- 命題
G を群とする。
X を G-集合（過去スレpart5の77）とする。
x を X のある元とする。
G_x を x の安定化部分群（過去スレpart5の93）とする。
B を x を含むブロック（>>357）とする。
このとき H ={σ ∈ G；σB = B} は G_x を含む G の部分群である。
証明
σ を G_x の任意の元とする。
σx = x ∈ B であるから x ∈ σB ∩ B
よって、>>365より B = σB
よって、σ ∈ H である。
証明終
