零環
環
Rにおいては、
加法群
の
単位元
0について
$ 0x = x0 = 0
$ (x \in R)
が成り立つ
証明：
$ 0x = (0+0)x = 0x+0x
を両辺から0xを引く
したがって、
1=0なら零環