Some more comments on week 2

There are a few more points I forgot to emphasize in class, even though they’re written in the notes.

The zeroth fact is that x\in {\bf Z}_p is a unit if and only if x\mod p is non-zero in {\bf F}_p. This is easy to check, and I leave it to you.

The first fact is that a series


is convergent in {\bf Q}_p if and only if |x_i|\rightarrow 0. Thus convergence is very easy to test in {\bf Q}_p. This is one among many aspects of {\bf Q}_p that are much easier than reals. So, for example, when we proved that every element of {\bf Q}_p can be written uniquely as


for a_i\in \{ 0, 1, \ldots, p-1\}, the convergence, that is, the fact that the series defines an element of {\bf Q}_p, is essentially trivial.

Another point regarding the valuation is that while

|x+y|_p \leq max (|x|_p, |y|_p)

is always true, in fact, if the two valuations are different, |x|_p\neq |y|_p, then we have equality:

|x+y|_p = max (|x|_p, |y|_p)

This is easy to see if one is zero, so we assume both are non-zero. Then we write




with u,v units.

If the valuations are different, then we may assume, without loss of generality, that |x|_p>|y|_p. But this is just saying that n<m. Now,


But u+p^{m-n}v\equiv u \mod p, so u+p^{m-n}v is also a unit. Hence,

What might happen to the sum if the valuations are the same?


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: