剰余類群
Last-modified: Fri, 25 Jan 2019 14:01:24 JST (1939d)
Top > 剰余類群
freeze
仮定
- \( G \) は群
- \( H \) は正規部分群
定義
剰余類 \( G/H = \{aH; a \in G\} \) は次のように演算を定義すると群となる:
mathjax
\[ (aH)(bH)=(ab)H \]
単位元は \( H \) とする。
証明
well-defined を確認する必要がある。つまり、同じ元をかけあわせて得た結果は同じ元にうつらなければならない。
まず \( a, b ~(\in G) \) をとる。すると、定義により
mathjax
\[ (aH)(bH) = (aH)(Hb) = aHb = abH = (ab)H \]
ここで、 \( aH = cH \) となる \( c ~(\in G) \) をとる。これと \( bH \) の積は
mathjax
\[ (aH)(bH) = (ab)H \]
mathjax
\[ (cH)(bH) = (cb)H \]
となるので、両者が等しい必要がある。これは実際に等しい:
mathjax
\[ abH = a(bH) = a(Hb) = (aH)b \]
mathjax
\[ cbH = c(bH) = c(Hb) = (cH)b \]
\( aH = cH \) だったので、最右辺はどちらも等しい。
\( bH = dH \) となる \( d ~(\in G) \) についても \( (aH)(bH) = (aH)(dH) \) が同様に成り立つ。
これらを組み合わせると、 \( (aH)(bH) = (cH)(dH) \) も同様に成り立つ。