Conjugacy of extensions of a valuation to a normal extension (source code)

= Conjugacy of extensions of a valuation to a normal extension

If $L/K$ is a finite normal extension, the Galois group acts transitively on the absolute values of $L$ extending a fixed absolute value of $K$. For number fields, this is equivalent to transitivity on the prime ideals above a fixed prime.