Es sei R {\displaystyle {}R} eine kommutative K {\displaystyle {}K} -Algebra von endlichem Typ über einem algebraisch abgeschlossenen Körper. Es seien f 1 , … , f n , f {\displaystyle {}f_{1},\ldots ,f_{n},f} Elemente in R {\displaystyle {}R} und es sei
die erzwingende Algebra zu diesen Daten. Charakterisiere die Fasern des zugehörigen Morphismus
eine kommutative 
-Algebra von endlichem Typ über einem algebraisch abgeschlossenen Körper. Es seien 
Elemente in und es sei
![{\displaystyle {}A=R[T_{1},\ldots ,T_{n}]/(f_{1}T_{1}+\cdots +f_{n}T_{n}+f)\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/9719d0650c02095fbe29480472d3f4af94e18214)
