Ringtheorie/Unterring/Definition

Unterring

Eine Teilmenge ${}S\subseteq R$ eines Ringes nennt man einen Unterring, wenn sowohl ${}(S,+,0)$ eine Untergruppe von ${}(R,+,0)$ als auch ${}(S,\cdot ,1)$ ein Untermonoid von ${}(R,\cdot ,1)$ ist.