Norm units in a tamely totally ramified extension
ID: norm-units-in-a-tamely-totally-ramified-extension
For a tamely totally ramified extension of degree of a local field with residue field , the unit norms are exactly the principal units. Reduction sends a unit norm to its st power, and the norm-unit index in an abelian local extension shows that this containment has the correct index.
New to topics? Read the docs here!