Ein nicht triviales Beispiel:
\(\{c\cdot E_n:\; c\in K\}\) ist ein kommutativer Teilring von \(Mat_n(K)\)
(auch für \(n\geq 2\)).
Das ist ein Gegenbeispiel, das auch noch funktioniert,
wenn man unter Teilring einen solchen meint, der dasselbe
Einselement hat wie der Oberring. Dies wird häufig gefordert.