Es sei K {\displaystyle {}K} ein algebraisch abgeschlossener Körper der Charakteristik 0 {\displaystyle {}0} und es sei δ : Z n → D {\displaystyle {}\delta \colon \mathbb {Z} ^{n}\rightarrow D} ein surjektiver Gruppenhomomorphismus mit zugehöriger Operation von K − Spek ( K [ D ] ) {\displaystyle {}K\!\!-\!\operatorname {Spek} \,{\left(K[D]\right)}} auf K [ X 1 , … , X n ] {\displaystyle {}K[X_{1},\ldots ,X_{n}]} über die Einbettung K − Spek ( K [ D ] ) → GL n ( K ) {\displaystyle {}K\!\!-\!\operatorname {Spek} \,{\left(K[D]\right)}\rightarrow \operatorname {GL} _{n}\!{\left(K\right)}} .
Dann ist