Nach
Beispiel
ist
-
![{\displaystyle {}\mathbb {Q} \subseteq \mathbb {Q} [X]/{\left(X^{3}-3X+1\right)}=:L\,}](https://wikimedia.org/api/rest_v1/media/math/render/svg/ac9346e990606bb55c69d2840a984ff098bf3d27)
eine
Körpererweiterung
vom
Grad
und dabei sind, wenn man die Restklasse von
in
mit
bezeichnet, neben
auch
und
Nullstellen der definierenden Gleichung. Somit besitzen die Elemente
das Minimalpolynom
. Durch
-
wird ein nichtidentischer
-Algebraautomorphismus
auf
festgelegt. Dieser sendet
auf
,
wegen

auf
und
aufgrund einer ähnlichen Rechnung zurück auf
. Die einzigen Automorphismen
entsprechen also den
geraden Permutationen
auf der Nullstellenmenge
.