環上の加群
を自明ではない単位元を持つ可換環とします。アーベル群 とスカラー乗法 が以下の条件を満たすとき を 上の加群と呼びます( を と書きます)。
が体のとき 上のベクトル空間と呼びます。
が 上の加群であるとき、 の元 に対して を と定義することができます。 はアーベル群の準同型となります。アーベル群 の自己準同型全体の集合 は環となります。 を と定義すると は環の準同型となります。
逆に環 からアーベル群 の自己準同型全体の集合への環の準同型があれば、 は 上の加群となります。
を整数全体の環とします。アーベル群 の自己準同型全体の集合を とし、 を と定義すると は環の準同型となります。よって は 上の加群となります。
環上の代数
を自明ではない単位元を持つ可換環、 を 上の加群とします。双線型な写像 、すなわち 任意の と任意の に対して 、 であるものが存在するとき ( と の組)を 上の代数と呼び、 を の乗法と呼びます。
上の代数 が乗法に関して半群であるとき(乗法が結合法則を満たすとき) を結合代数と呼びます。このとき乗法 を または のように書きます。 上の結合代数 が乗法の単位元を持つとき を単位元を持つ結合代数と呼びます(単位元を と書きます)。ここでは単位元を持つ結合代数を単に代数と呼ぶことにします。 上の代数 が乗法に関して可換であるとき可換な代数と呼びます。
可換モノイドの自己準同型
アーベル群の自己準同型と同様に、可換モノイド の自己準同型全体の集合 は、以下のように演算を定義すると半環となります。
- 加法の定義 : は可換なので定義できます。
よって は可換モノイドとなります。
- 乗法の定義と結合法則 : アーベル群の自己準同型の場合と同様に成り立ちます。
- 分配法則 : アーベル群の自己準同型の場合と同様に成り立ちます。
- 乗法の単位元の存在 : アーベル群の自己準同型の場合と同様に成り立ちます。
よって は積 と和 に関して半環となります。 ならば は自明ではない単位元を持つ半環となります。
自明ではない単位元を持つ半環 の元 に対して を と定義することができます。 は可換モノイドの準同型となります。可換モノイド の自己準同型全体の集合を とすると、 を と定義すると、環の場合と同様に、 は半環の準同型となります。