Es sei
eine kommutative
-Algebra von endlichem Typ
über einem 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)
die
erzwingende Algebra
zu diesen Daten. Es sei
-
die eingeschränkte
Spektrumsabbildung.
Zeige, dass es eine offene affine Überdeckung
derart gibt, dass
isomorph zu
ist, und dass dabei die Übergangsabbildungen
affin-linear
sind.