Ring is not Empty

From ProofWiki
Jump to navigation Jump to search

Theorem

A ring cannot be empty.


Proof

In a ring $\struct {R, +, \circ}$, $\struct {R, +}$ forms a group.

From Group is not Empty, the group $\struct {R, +}$ contains at least the identity, so cannot be empty.

So every ring $\struct {R, +, \circ}$ contains at least the identity for ring addition.

$\blacksquare$


Sources