Different exponent and tame ramification

ID: different-exponent-and-tame-ramification

For a finite extension of number fields, the different exponent satisfies , with equality exactly when the extension at is tamely ramified. The finite residue fields are perfect, so tameness is equivalent to the residue characteristic not dividing the ramification index. Thus unramified primes have exponent zero and wildly ramified primes have exponent at least . No Galois extension hypothesis is needed.

New to topics? Read the docs here!