正規部分群
写像による分類
写像 と に対して と定義します。 に対して と定義します。
注意:通常は に対して 、 に対して 、 に対して と定義するのですが、 の のところ、 の のところが1つの元の場合と集合の場合の区別ができないため、ここでは違う書き方をすることにします。
となります。 とおくと次のような を定義することができます。
- となるような に対して と定義する。
注意:これは一般的には同値類として定義できるのですが、ここではこの形しか使わないのでこの形で定義します。
について以下のことが成り立ちます。
- 任意の に対して、 が成り立ちます。すなわち は の元のどれかに属することがわかります。
- とすると より となります。すなわち が属する の元はただ一つということがわかります。
これをまとめると任意の は の元のどれかただ一つに属するということになります。
の部分集合を元とする集合 で、任意の が の元のどれかただ一つに属するような を の分類と呼びます。上記のように によってできる分類を「 による分類」と呼ぶことにします。 に が属する の元を対応させる写像 を「分類への自然な写像」と呼ぶことにします。 は全射となります。
と を写像とします。全射の場合が必要なのですが全射でなくても定義できるので写像としておきます。全単射 が存在して任意の に対して が成り立つとき、 による分類と による分類は「同値な分類」ということにします。
を集合 から の分類 への「分類への自然な写像」とします。 を の による分類とします。 を「分類への自然な写像」とします。 となります。
を と定義します。 は全射となります。 となります。 を に を対応させる写像と定義すると、 は の逆写像となります。したがって は全単射となります。 が成り立つので による分類と による分類は「同値な分類」となります。
剰余類
群 の部分群 と の元 に対して を における の左剰余類と呼びます。 を における の右剰余類と呼びます。
を の部分群とすると 、 となります。
が を満たすならば、 を満たす が存在します。 となるので となり、一方 も成り立っているので となります。
左剰余類全体の集合を とおきます。すなわち とおきます。 を と定義します。
に関して以下のことが成り立ちます。
- 任意の に対して となります。
- 任意の に対して ならば、 かつ より となります。
したがって は の分類になります。
を「分類への自然な写像」とします。 となります。 を の による分類とします。 を「分類への自然な写像」とします。 となります。 による分類と による分類は「同値な分類」となります。
群 の部分群 と の元 と に対して左剰余類 と の関係を考えます。 を左から をかける写像、すなわち に対して と定義します。 を左から をかける写像、すなわち に対して と定義します。 と は の恒等写像の制限となっているので と は全単射となります。
群 の元の個数が有限であるとき有限群と呼びます。有限群 の元の個数を の位数と呼び と書きます。有限群 の部分群 の左剰余類(または右剰余類)の個数を における の指数と呼び と書きます。有限群 の部分群 の左剰余類の全体の集合 は の分類であり、各左剰余類の間には全単射が定義できるためすべての左剰余類の元の個数は の元の個数に一致します。したがって が成り立ちます。
群 の元 に対して1つだけの元からなる集合 で生成された部分群を で生成された部分群と呼び と書きます。 の位数を の位数と言います。群 のが1つだけの元からなる集合で生成されているとき巡回群と呼びます。
正規部分群
群 の部分群 が、任意の の元 に対して を満たすとき を の正規部分群と呼び と書きます。正規部分群の左剰余類と右剰余類は一致するためこれを剰余類と呼びます。剰余類全体の集合を と書きます。
がアーベル群のときはすべての部分群が正規部分群となります。 自身と単位元だけを元とする集合 は の正規部分群となります。それ以外の正規部分群を持たない群を単純群と呼びます。
のとき に対して
- 、
- 、
が成り立ちます。したがって は を積、 を単位元とする群になります。 を剰余群と呼びます。
準同型
この節では写像の像と逆像の記法は通常の記法に戻します。すなわち写像 に対して
- に対して
- に対して
- に対して
と書きます。
群 から群 への写像 が積を保存するとき、すなわち
- 任意の に対して
が成り立つとき を群の準同型と呼びます。 が全単射のとき同型と呼び、同型が存在するとき と は同型であると言います。
- 任意の の部分集合 と に対して
が成り立ちます。
の単位元を と書くことにします。 が成り立つので は の単位元となります。 に対して 、 となるので は の逆元となります。よって
- 任意の の部分集合 に対して
が成り立ちます。
の による像 を と書きます。
が成り立ちます。
群 の空ではない部分集合 が部分群であることは
- かつ
と同値であるため、 は の部分群となります。
の単位元 の による逆像 を の核と呼び と書きます。 とおきます。 となります。 とおきます。、 が成り立つため は の部分群となります。任意の に対して となって 、、 となります。よって は の正規部分群となります。
を の による分類とします。 に対して であるから の剰余類 は の元 に含まれます。逆に は となります。 より となって となります。よって となります。
よって を「分類への自然な写像」とすると による分類と による分類は「同値な分類」となります。 は群であり、 の積は の積を元に定義されたものであるため は積を保存するので準同型となります。また、 に と同じ積を定義すると群になります。「 の単射化」 は単射準同型となり、 の像は となります。
以上のことをまとめると(第一同型定理) が群 から群 への準同型であるとき
- は の部分群であり
- は の正規部分群であり
- と は同型
となります。