In Neukirch’s book “Algebraic Number Theory”, Proposition II.5.7, the following is insisted: for a mixed characteristic local field $K$ with a residue field $\mathbb{F}\_q$, $q = p^f$, then one has an isomorphism $K^\times \cong \mathbb{Z} \times \mathbb{Z}/(q-1)\mathbb{Z} \times \mathbb{Z}/p^a\mathbb{Z} \times \mathbb{Z}\_p^{[K:\mathbb{Q}\_p]}$ for some $a$. [enter image description here](https://i.stack.imgur.com/Q0qEq.jpg)


I agree to the following statements: algebraically and topologically, $K^\times \cong \mathbb{Z} \times \mathbb{Z}/(q-1)\mathbb{Z} \times U^{(1)}$; algebraically $U^{(1)} \cong \mathbb{Z}/p^a\mathbb{Z} \times \mathbb{Z}\_p^{[K:\mathbb{Q}\_p]}$ for some $a$. However I don’t have any idea to prove that $U^{(1)}$ is topologically isomorphic to the right hand side. Does anyone have good idea?



Topology of multiplication groups of local fields
Let $\mathfrak m$ be the maximal ideal of the ring of integers (valuation ring) of $K$, so your $U^{(1)}$ is $1 + \mathfrak m$. You want to prove $1+\mathfrak m$ looks like $\mathbf Z/p^a\mathbf Z \times \mathbf Z\_p^d$ topologically for some $a \geq 0$ and $d = [K:\mathbf Q\_p]$. You said you agree there is such an isomorphism "algebraically". What do you mean by that: an isomorphism as what kind of algebraic structures? It's not just as groups.


The key point is to be thinking about the isomorphism $1+\mathfrak m \to \mathbf Z/p^a\mathbf Z \times \mathbf Z\_p^d$ by viewing the multiplicative group $1 + \mathfrak m$, which is a $\mathbf Z$-module by exponentiation, as a $\mathbf Z\_p$-module by exponentiation: for each $u \in 1 + \mathfrak m$, the powers $u^n$ for $n \in \mathbf Z$ are $p$-adically uniformly continuous in $n$, so we can extend ordinary integral powers of $u$ to $p$-adic integer powers $u^x$ with $x \in \mathbf Z\_p$ by $p$-adic continuity, and the effect of $\mathbf Z\_p$-exponents on elements of $1+\mathfrak m$ is how $1+\mathfrak m$ turns into a $\mathbf Z\_p$-module.


A torsion element $u$ of $1+\mathfrak m$ as a $\mathbf Z\_p$-module is a $p$-power root of unity: if $u^x = 1$ where $x \not= 0$ then writing
$x = p^nv$ with $n \geq 0$ and $v \in \mathbf Z\_p^\times$, we get
$1 = u^{p^nv} = (u^{p^n})^v$, so (raising both sides to the $1/v$-power) we get $1 = u^{p^n}$. Conversely, a $p$-power root of unity in $K$ must lie in $1 + \mathfrak m$ (basically because the only $p$-power roots of unity in a finite field is 1), so the torsion submodule of $1+\mathfrak m$ (as a $\mathbf Z\_p$-module) is the $p$-power roots of unity in $K$. That is a finite group because a finite extension of $\mathbf Q\_p$ has only finitely many $p$-power roots of unity in it: a root of unity of order $p^r$ has degree $p^{r-1}(p-1)$ over $\mathbf Q\_p$ and that exceeds $[K:\mathbf Q\_p]$ for large enough $r$. Finite subgroups of $K^\times$ are cyclic, so the torsion submodule $T$ of $1+\mathfrak m$ is a finite cyclic $p$-group.
Set $|T| = p^a$, so $T \cong \mathbf Z/p^a\mathbf Z$ as $\mathbf Z\_p$-modules
($\mathbf Z\_p$ acting by exponents on the left and by multiplication after reducing $p$-adic integers modulo $p^a$ on the right).


Provided $1 + \mathfrak m$ is a finitely generated $\mathbf Z\_p$-module, the classification of finitely generated modules over a PID (such as the PID $\mathbf Z\_p$) implies $1 + \mathfrak m \cong T \times \mathbf Z\_p^d \cong \mathbf Z/p^a\mathbf Z \times \mathbf Z\_p^d$ as $\mathbf Z\_p$-modules for some $d\geq 0$. Of course $d \geq 1$ since $1+\mathfrak m$ is not finite. You said in your post that you already agree $1 + \mathfrak m \cong \mathbf Z/p^a\mathbf Z \times \mathbf Z\_p^d$ algebraically, where $d = [K:\mathbf Q\_p]$. I don't know if you meant that isomorphism exists as abelian groups or as $\mathbf Z\_p$-modules. If you grant there is such an isomorphism as $\mathbf Z\_p$-modules, then here is a root of unity $\zeta$ of order $p^a$ in $1+\mathfrak m$ and $d$ units
$u\_1, \ldots, u\_d$ in $1 + \mathfrak m$ that are $\mathbf Z\_p$-independent (if $u\_1^{x\_1} \cdots u\_d^{x\_d} = 1$ then each $p$-adic integer $x\_i$ is $0$) such that $1+\mathfrak m = \langle \zeta\rangle \times u\_1^{\mathbf Z\_p} \times \cdots \times u\_d^{\mathbf Z\_p}$. Then the mapping
$$
f \colon 
\mathbf Z/p^a\mathbf Z \times \mathbf Z\_p^d \to 1 + \mathfrak m
$$
given by $f(k,x\_1,\ldots,x\_d) = \zeta^ku\_1^{x\_1} \cdots u\_d^{x\_d}$ is a $\mathbf Z\_p$-module isomorphism. This function $f$ is *continuous* using the product topology on its domain and the subspace topology on its codomain ($1+\mathfrak m$ as a subset of $K$) because (i) $u^x$ is $p$-adically continuous in $x$ for $u \in 1+\mathfrak m$ and $x \in \mathbf Z\_p$ and (ii) multiplication in $1+\mathfrak m$ is continuous. The domain and codomain of $f$ are *compact Hausdorff* spaces, and a continuous bijection of compact Hausdorff spaces is a homeomorphism. Therefore if $f$ is an isomorphism of $\mathbf Z\_p$-modules ("algebraically"), it is also a homeomorphism, which is what you wanted to understand.


