1
$\begingroup$

There is a problem in Neukirch's Algebraic Number Theory,which is in Charpter $2$ section $5$ .

The problem is :

If $K$ is a $p-adic$ number field, then the groups $K^{*n}$, for $n$ belongs to $N$, form a basis of neighbourhoods of $1$ in $K^*$.

I think it is very clear that $K^{*n}$ is an open subgroup of $K^*$ for each integer $n$,but how to check they form a basis of neighbourhood of $1$ in $K^*$? This really puzzled me these days,so please offer me some help and show how to solve it,thank you very much!

1 Answers 1

5

First of all, a proof that the sets $(K^{\times})^n$ are open can be found here.

As for the fact that these sets form a n.h. basis of $1$, this is not actually true if you give $K^{\times}$ its usual topology, but it is true if you replace $K^{\times}$ by $\mathcal O_K^{\times}$ (where $\mathcal O_K$ is the ring of integers of $K$).

Verifying this is (in my view) easier than proving the openness.

Hint: Consider what happens when $n$ is divisible by a huge power of $p$.

Extended hint, in response to comment from OP below: If you are not familiar with these ideas, then it would be best to start with the case $K = \mathbb Q_p$. Consider $(\mathbb Z_p^{\times})^{p-1}$. Show that this consists precisely of the set $1 + p \mathbb Z_p$.

Now if you take an integer $x$ that is $\equiv 1$ mod $p$, what can you say about $x^{p^n}$? It is certainly congruent to $1$ mod $p$, but can you do any better?

  • 0
    @curiosity: Dear curiosity, The multiplicative group of the residue field of $\mathcal O_K$ has finite order, so raising to that order, we land in subgrop of $\mathcal O_K^{\times}$ that is trivial mod the uniformizer. Now this subgroup is pro-$p$, and so raising to higher powers of $p$, we can put ourselves inside any open n.h of $1$. (In short, it is exactly the same as the $\mathbb Q_p$-case, just with $p-1$ replaced by the order of the multiplicative group of the residue field.) Regards,2011-06-03