92
Artin setzt stillschweigend voraus, dass
in
K
unverzweigt ist. Und
ist der Frobenius-Automorphismus
von
.
@
in K unverzweigt ist. Und 
ist der Frobenius-Automorphismus
von 
.