16/11/07 22:12:01.87 /NjNZjfL.net
>>779
こんなふうになるんだそうで・・・・・↓の意味がわかりません。
整数の集合Zは加法に関して可換群をなします
すなわち
•Zは+という演算に対して閉じている
•I.任意のaに対してa+0=aを満たす零元と呼ばれる元0、がただ１つ存在する
•II.任意のaに対して、a+b=0を満たす逆元と呼ばれる元bが存在する
•III.a+b=b+a
•VI.a+(b+c)=(a+b)+c
また、aの逆元のことを-aとかき、x+(-a)のことを単にx-aと書くこともあります...V
以上を公理として、0-0=0を示します
補題1.それぞれの元に対して逆元は一意的である
aの逆元がb