環や群においては(-1)×(-1)=1は定理だから。
(-1)×(-1)=1を定義とするなら環や群じゃないものを考えないと。