Es sei R {\displaystyle {}R} ein kommutativer Ring. und sei S ⊆ R {\displaystyle {}S\subseteq R} ein Unterring.
Dann ist auch S [ X ] {\displaystyle {}S[X]} ein Unterring von R [ X ] {\displaystyle {}R[X]} .
![{\displaystyle {}S[X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/8cd5d856046a9b41baaf7dd06bfabac6fba420a1)
![{\displaystyle {}R[X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e7ee29b3b3d6eeb3b39f218ba987877e85928bd)