22/11/03 16:42:44.07 AF6JEy1w.net
>>30
∀a b c (a+b)+c=a+(b+c)
∀a ∃0 a+0=0+a=a
∀a ∃x a+x=0
∀a b a+b=b+a
∀a b c (a×b)×c=a×(b×c)
∀a ∃1 a×1=1×a=a
∀a b c (a+b)×c=a×c+b×c
a×(b+c)=a×b+a×c
+に関して結合法則、 交換法則、単位元、逆元、
×に関して結合法則、単位元
+と×に関して左右の分配法則
×に関して逆元、交換法則は無い。