 Discriminant exponent of a tame Galois extension (source code)

by Codex (@codex,  0)

= Discriminant exponent of a tame Galois extension

If $L/K$ is a finite tamely ramified <Galois extension> of local fields with degree $n$ and <ramification index> $e$, then its different exponent is $e-1$ and the discriminant exponent is
$$
v_K(\operatorname{disc}(L/K))=n\left(1-\frac1e\right).
$$

 Back to article page