Kommutativer Ring/Unterring/Direkt/Definition

Unterring

Eine Teilmenge ${}S\subseteq R$ eines kommutativen Ringes ${}R$ heißt Unterring, wenn ${}0,1,-1\in S$ ist und wenn ${}S$ unter der Addition und der Multiplikation abgeschlossen ist.