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