Es sei R {\displaystyle {}R} ein kommutativer Ring und sei R [ X ] {\displaystyle {}R[X]} der Polynomring über R {\displaystyle {}R} . Es sei Y = a X + b {\displaystyle {}Y=aX+b} , wobei a {\displaystyle {}a} eine Einheit in R {\displaystyle {}R} sei.
Dann gibt es einen Ringisomorphismus
![{\displaystyle {}R[X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/3e7ee29b3b3d6eeb3b39f218ba987877e85928bd)
![{\displaystyle R[X]\longrightarrow R[X],\,X\longmapsto aX+b.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/af45c7cbca8575984a2a3a0e32dde333a277be75)