zz:http://blog.sina.com.cn/s/blog_3dc2673e01000bgm.html
群、环和域
(A1)加法的封闭性:如果说a和b属于S,则a+b属于S
(A2) 加法的结合律:对S中的任意元素a,b,c,a+(b+c)=(a+b)+c
(A3) 加法单位元:R中存在一个元素o,使得对于S中的任意元素a,有a+o=o+a=a
(A4) 加法逆元:对于S中的任意元素a,S中一定存在一个元素-a,使得a+(-a)=(-a) +a=0
[A1->A4]:群
(A5) 加法交换律:对于S中的任意元素a和b,有a+b=b+a
[A1->A5]:可交换群
(M1) 乘法的封闭性:如果a和b属于S,则ab属于S
(M2) 乘法的结合率:对于S中的任意元素a,b,c,有a(bc)=(ab)c
(M3) 分配律:对于S中的任意元素a,b,c,有a(b+c)=ab+ac和(a+b)c=ac+bc
[A1-M3]:环
(M4) 乘法交换律:对于S中的任意元素a和b,ab=ba
[A1-M4]:可交换环
(M5) 乘法单位元:对于S中的任意元素a,在S中存在一个元素i,使得ai=ia=a
(M6) 无零因子:对于S中的元素a,b,若ab=0,则有a=0或b=0
[A1-M6]:整环
(M7) 乘法逆元:如果a属于S,且a不为0,则S中存在一个元素a-1 ,全得aa-1=
a-1 a=1
[A1-M7]:域