Es sei K {\displaystyle {}K} ein Körper und K ⊆ L {\displaystyle {}K\subseteq L} eine endliche Galoiserweiterung. 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}]} . Zu jedem φ ∈ Gal ( L | K ) {\displaystyle {}\varphi \in \operatorname {Gal} \,(L{|}K)} gehört der Ringautomorphismus φ : R L → R L {\displaystyle {}\varphi \colon R_{L}\rightarrow R_{L}} und φ ∗ : A L n → A L n {\displaystyle {}\varphi ^{*}\colon {{\mathbb {A} }_{L}^{n}}\rightarrow {{\mathbb {A} }_{L}^{n}}} , vergleiche Aufgabe. Zeige, dass ein Punkt ( a 1 , … , a n ) ∈ L n {\displaystyle {}(a_{1},\ldots ,a_{n})\in L^{n}} genau dann zu K n {\displaystyle {}K^{n}} gehört, wenn er unter allen φ ∗ {\displaystyle {}\varphi ^{*}} zu φ ∈ Gal ( L | K ) {\displaystyle {}\varphi \in \operatorname {Gal} \,(L{|}K)} auf sich selbst abgebildet wird.