剰余類群 のバックアップ(No.1) バックアップ一覧 差分 を表示 現在との差分 を表示 現在との差分 - Visual を表示 ソース を表示 剰余類群 へ行く。 1 (2019-01-25 (金) 14:01:24) 仮定 \( G \) は群 \( H \) は正規部分群 定義 剰余類 \( G/H = \{aH; a \in G\} \) は次のように演算を定義すると群となる: mathjax \[ (aH)(bH)=(ab)H \] 単位元は \( H \) とする。 証明 mathjax \[ (aH)(bH) = (aH)(Hb) = aHb = abH = (ab)H \]
