を使って良いことにしたので、前回の議論は群を使って考えることができます。
群による整数の加法
集合 と の二項演算 が
- は結合法則を満たす。すなわち
- 任意の に対して
- が存在して、任意の に対して
- 任意の に対して が存在して、
が成り立つとき と の組を群と呼びます。
、 に対して を
と定義します。
- 任意の 、 に対して
- 任意の 、 に対して
、 に対して を
と定義します。
- 任意の 、 に対して
- 任意の 、 に対して
または のとき
- (G5) 任意の 、 に対して
- (G4) 任意の 、 に対して
- (G1) 任意の 、 に対して
のとき となる が存在します。 と書くと
- (G2) 任意の 、 に対して
- (G3) 任意の 、 に対して
となります。
とおくと(G1)、(G2)、(G3)より は に関して閉じています。(G4)より は逆元をとることに関して閉じているので、 は の部分群となります。(G5)より はアーベル群となります。 が無限集合のとき は整数全体の集合 と考えることができます。
群による整数の乗法
をアーベル群とします。 を で任意の に対して を満たす写像(自己準同型)全体の集合とします。
に対して を と定義すると、 の演算が可換であることから
となって となります。よって は に関してアーベル群となります。 を (写像の合成)と定義すると、 は写像の合成に関してモノイドとなります。 に対して は自己準同型であるから が成り立ちます。 の定義から が成り立ちます。 を加法、写像の合成を乗法とすると乗法の加法に対する分配法則が成り立ちます。 はこの加法と乗法に関して環となります。
、、 に対して を
と定義します。
となります。
、、 に対して を
と定義します。
となります。
よって
- 任意の 、 に対して
となります。
よって を が となる写像として定義することができます。
- 任意の に対して
- ( は という写像)
となるので は群の準同型となります。
任意の 、 に対して
任意の 、 に対して
となります。よって
- 任意の に対して が存在して
となって は乗法に関して閉じているので は の部分環となります。
任意の 、 に対して
任意の 、 に対して
となるので
- 任意の に対して
となって は乗法に関する交換法則を満たします。 が無限集合のとき は整数全体の環と考えることができます。