# unity of subring

###### Theorem.

Let $S$ be a proper subring of the ring $R$.  If $S$ has a non-zero unity $u$ which is not unity of $R$, then $u$ is a zero divisor of $R$.

Proof.  Because $u$ is not unity of $R$, there exists an element $r$ of $R$ such that  $ru\neq r$.  Then we have  $(ru)u=r(uu)=ru$, which implies that  $0=(ru)u-ru=(ru-r)\cdot u$.  Since neither  $ru-r$  nor  $u$  is 0, the element  $u$  is a zero divisor in $R$.

Title unity of subring UnityOfSubring 2013-03-22 14:49:40 2013-03-22 14:49:40 pahio (2872) pahio (2872) 7 pahio (2872) Theorem msc 20-00 msc 16-00 msc 13-00 UnitiesOfRingAndSubring CornerOfARing