Es sei K {\displaystyle {}K} ein Körper, K ⊆ L {\displaystyle {}K\subseteq L} eine Körpererweiterung und φ : L → L {\displaystyle {}\varphi \colon L\rightarrow L} ein K {\displaystyle {}K} -Körperautomorphismus. Es sei R = K [ X 1 , … , X n ] {\displaystyle {}R=K[X_{1},\ldots ,X_{n}]} und R L = L [ X 1 , … , X n ] {\displaystyle {}R_{L}=L[X_{1},\ldots ,X_{n}]} , wir bezeichnen
einfach mit φ {\displaystyle {}\varphi } . Zeige
für