Es sei K {\displaystyle {}K} ein Körper und K [ X ] {\displaystyle {}K[X]} der Polynomring über K {\displaystyle {}K} .
ein Unterring von K [ X ] {\displaystyle {}K[X]} ist.
![{\displaystyle {}K[X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7861df9df3d7463835d927c4d0d4c27f5e2f8416)
![{\displaystyle {}R={\left\{F\in K[X]\mid F(0)=F(1)\right\}}\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/b03a199acd9631b1dd376bdd511b4322f4ade832)
![{\displaystyle {}R={\left\{X(X-1)P+a\mid P\in K[X],\,a\in K\right\}}\,.}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7260ebdad2766fa726b7de26b6e99365161697ed)
nicht
faktoriell
ist.