generated at
零環
環Rにおいては、加法群の単位元0について
0x = x0 = 0 (x \in R)

が成り立つ
証明：0x = (0+0)x = 0x+0xを両辺から0xを引く

したがって、
1=0なら零環