>>642
定義は、何度も何度も書いた。
近いところでは、>>620。
定義を書いたレス番も、何度も書いた。
>>629など。

環の定義をここに書けと言うのは、流石に
不勉強としか言いようがないが、
「定義を書いてない」は聞き飽きたから
書いてやる。

組(A,+,×)が環(単位的可能環)であるとは、
以下の条件を満たすことを言う。
(A,+)が可換群である。その単位元を0と書く。
(A＼{0},×)が可換群である。その単位元を1と書く。
分配法則
∀a,b,c∈A,a×(b+c)=a×b+a×c。
(A,+,×)が環であるとき、+をその加法
×をその乗法と呼ぶ。

重要なのは、末行な。