>>71
まず「提唱者様」には可換群がわからないと思われ。>>69

それと細かい部分でのツッコミ
>任意の元a,bに対し(-a)*(-b)=abとなっていて欲しいのです
これは(-a)*(-b)=a*bと書かなければいけませんな