Norm units in a tamely totally ramified extension (source code)

= Norm units in a tamely totally ramified extension

For a tamely totally ramified extension of degree $q-1$ of a local field with residue field $\mathbb F_q$, the unit norms are exactly the principal units. Reduction sends a unit norm to its $(q-1)$st power, and the <norm-unit index in an abelian local extension> shows that this containment has the correct index.