Es sei R {\displaystyle {}R} ein kommutativer Ring. Charakterisiere diejenigen Ideale b ⊆ R [ X ] {\displaystyle {}{\mathfrak {b}}\subseteq R[X]} mit der Eigenschaft, dass die im Beweis zum Hilbertschen Basissatz konstruierte Idealkette in R {\displaystyle {}R} konstant ist.
![{\displaystyle {}{\mathfrak {b}}\subseteq R[X]}](https://wikimedia.org/api/rest_v1/media/math/render/svg/7e812b71cf05bbfae0a3f841bcd91364886261ae)