Unity is Unit

From ProofWiki
Jump to navigation Jump to search

Theorem

The unity in a ring is a unit.


Proof

Let $\left({R, +, \circ}\right)$ be a ring with unity $1_R$.


From Identity is Self-Inverse:

$1_R^{-1} = 1_R \in R \implies 1_R \in U_R$

$\blacksquare$