Discriminant exponent of a tame Galois extension
ID: discriminant-exponent-of-a-tame-galois-extension
If is a finite tamely ramified Galois extension of local fields with degree and ramification index , then its different exponent is and the discriminant exponent is
New to topics? Read the docs here!