Let be a commutative unital ring and an -module. Suppose that . Is it true that necessary ?
It doesn't really require a very complicated proof. In any ring, not just "commutative" or "unary" (in fact, since there is no mention of multiplication, you don't even need a ring), we have additive inverses. Adding the additive inverse of A to both sides immediately results in M= A.