環
Contents
環
環 (英:ring) とは集合 $R$ において、加法 $+:R^2\to R$ と乗法 $\times:R^2\to R$ が以下の性質を満たす代数的構造 $(R,+,\times)$ のこと。環は加法に対してアーベル群、乗法に対してモノイドをなし、乗法は加法の上に分配的である。
| 加法 | 乗法 | |
|---|---|---|
| 閉性 | $\forall a,b\in R(a+b\in R)$ | $\forall a,b\in R(a\times b\in R)$ |
| 結合性 | $(a+b)+c = a+(b+c)$ | $(a\times b)\times c=a\times(b\times c)$ |
| 単位元の存在 | $a+e = e+a = a$ | $a\times e = e\times a = a$ |
| 逆元の存在 | $a+b=b+a=c$ | - |
| 可換性 | $a+b=b+a$ | - |
| 分配性 | $a\times (b+c) = a\times b + a\times c$ $(a+b)\times c = a\times c + b\times c$ |
|