前回の(1)を使っているところでモノイドの準同型の場合の結果を使っていましたが、その説明を書き直したと思ったのに書き直していなかったので、改めて書き直します。
モノイドの準同型
のとき
、 を
と定義します。
モノイド の単位元を と書くことにします。
をモノイドとすると は「部分集合の積」に関するモノイドとなります*1。 が単位元となります。(P1)
モノイド からモノイド への写像 が積と単位元を保存するとき、すなわち
- 任意の に対して
が成り立つとき をモノイドの準同型と呼びます。 が全単射のとき同型と呼び、同型が存在するとき と は同型であると言います。
がモノイドの準同型のとき
が成り立つので はモノイドの準同型となります。(P2)
が逆元 を持つとき
となるので は の逆元となります。(P3)
よって の任意の元が逆元を持つとき( が群のとき) の任意の元は逆元を持ちます( は群となります)。(1')
ここではモノイドの部分集合で群であるものも部分群と呼ぶことにします(本来は群の部分集合で群であるものが部分群)。
群の準同型
この節では写像の像と逆像の記法は通常の記法に戻します。すなわち写像 に対して
- に対して
- に対して
- に対して
と書きます。
群 から群 への写像 が積を保存するとき、すなわち
- 任意の に対して
が成り立つとき を群の準同型と呼びます。 が全単射のとき同型と呼び、同型が存在するとき と は同型であると言います。
モノイドの準同型の結果(P2)より
- 任意の の部分集合 と に対して
が成り立ちます。
が成り立つので は の単位元となります。
モノイドの準同型の結果(P3)より
- 任意の の部分集合 に対して
が成り立ちます。
群の準同型の像
の による像 を と書きます。
が成り立ちます。よって は の部分群となります。
モノイドの準同型の結果(1')より が群、 がモノイド、 がモノイドの準同型の場合にも は の部分群となります( の部分集合で群となります)。(1)
*1:べき集合モノイド(「wikipedia:モノイド」参照)