Zeige anhand der Ringerweiterungen Z ⊆ Z [ − 3 ] = S ⊆ Z [ 1 + − 3 2 ] = R {\displaystyle {}\mathbb {Z} \subseteq \mathbb {Z} [{\sqrt {-3}}]=S\subseteq \mathbb {Z} [{\frac {1+{\sqrt {-3}}}{2}}]=R} , dass in Fakt die Abbildung
nicht injektiv sein muss.