Unit group and local class field theory

399 Views Asked by At

Let $k$ be a local field, and $U$ the group of units.

In a proof I read

"by local class field theory, there is a continuous surjective homomorphism $U \to I$"

where $I$ is the intertia groups at a certain prime of $k$.

Can someone point me to the result in local class field theory from which this follows and/or give a brief derivation if it isn't obvious? I have Neukirch's book on ANT at hand, and I can get Lang's.

1

There are 1 best solutions below

1
On

What you need is the local Artin map. This is briefly mentioned in Neukirch in the Local Class Field Theory chapter, but its construction is nontrivial.

As an overview, for an abelian extension of local fields $K^{\times}$ surjects onto $Gal(L/K)$, with kernel equal to the norm group. Under this map, $\mathcal{O}_K^{\times}$ corresponds to inertia, with the torsion elements (ie roots of unity) corresponding to the tame part.