53wiki @ ウィキ
53wiki @ ウィキ

群論

「群論」の編集履歴（バックアップ）一覧に戻る

群論 - (2013/03/06 (水) 22:53:21) の編集履歴(バックアップ)


群

群は任意の元どうしで演算
*:G \times G \to G
が定義されており、
  • 結合法則が成り立つ
  • 右単位元、左単位元が存在する
  • 右逆元、左逆元が存在する
を満たす集合である。

諸定理


Sylowの定理

群Gの位数がmp^nとかけるときGには位数がp^nのp-Sylow群(Gの部分群)が存在する。
(pは素数であってmはpと互いに素)、

(証明)
X=\{U \subset G | |U|=p^n\}としておく。このとき、
|X| = \prod_{j=1}^{p^n} \frac{(m-1)p^n+j}{j}
であり、pは|X|の約数でない。GはXに左から作用するから、軌道分解によってあるOrb(U)であってp \nmid |Orb(U)|なるものが存在する。このときp \mid |G_U|、|H| \leq |U| = p^nからG_Uが求めるp-Sylow群である。


名前:
コメント: