Take the 2-minute tour ×
Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. It's 100% free, no registration required.

Let $\mathbb{Z}_{p}$ denote the ring of $p$- adic numbers.

  • How can I prove that every elements of $1+8\cdot \mathbb{Z}_{2}$ is a square.

I am not comfortable in working $\mathbb{Z}_{p}$'s. So a detailed solution would be of great help and I would learn in future as to how to deal with such problems.

Thanks.

share|improve this question
    
Are you familiar with Hensel lifting? –  Jyrki Lahtonen Jul 14 '12 at 7:22
    
@JyrkiLahtonen I know Hensels's Lemma, but what's Hensel lifting. –  sasbio Jul 14 '12 at 7:24
    
The inductive step in Hensel's Lemma. For example, try to solve the coefficients $a_i\in\{0,1\}$ in the power series $$ \sqrt{-7}=3+8a_3+16a_4+\cdots $$ Expand the square of the r.h.s., and see that congruences modulo powers of two will restrict your choices. The difference between $p=2$ and the easier $p>2$ is that here you need a congruence modulo higher power to determine a given coefficient. This is because this time the derivative of $x^2+7$ is divisible by two. Hopefully somebody has time to flesh this out, if you can't work it out on your own. I gotta go. –  Jyrki Lahtonen Jul 14 '12 at 7:31
    
I do not understand the question. What are the elements of $1+8Z_2$. Just $\{1,9\}?$ –  PAD Jul 14 '12 at 7:58
    
@PantelisDamianou, read the first line of the question. This is not about the residue class ring of integers, i.e. $\mathbb{Z}/2\mathbb{Z}$. –  Jyrki Lahtonen Jul 14 '12 at 10:20

1 Answer 1

up vote 3 down vote accepted

Indeed this is a Hensel's Lemma calculation, in fact a very standard one in the theory of local fields. It often goes under the name Local Square Theorem. For a statement and proof, see e.g. Lemma 2.11 of these notes.

share|improve this answer
    
L.Clark: Thanks a lot. –  sasbio Jul 14 '12 at 8:44

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.