>>629
用が済んで戻ってきてみたら、なんだ何にも進んでない。
では考えるよすがとして、次の問を投げておきましょう。
（１）環の定義がナンセンスなものでないことを示さなければなりません。示してください。
（２）環の定義に乗法単位元を仮定しないとき、あなたが以前からよく書いている(-1)(-1)=1に替わる演算式を
　　あなたの文脈の中で工夫してみてください。
（３）環Rには単位元が存在することを仮定するとき、R加群の元のマイナスとRの元のマイナスの積を説明してください。