Show -1 and +1 are only solutions to x^2 = 1 (mod p^2) for odd prime p.

  • Thread starter Vespero
  • Start date
  • #1
28
0

Homework Statement



Let p be an odd prime and n be an integer. Show that -1 and +1 and the only solutions to [itex]x^2 \equiv 1\ mod\ p^n.[/itex] Hint: What does [itex]a \equiv b\ mod\ m[/itex] mean, then think a bit.


Homework Equations



[itex]x^2 \equiv 1\ mod\ p^n \rightarrow x^2 = 1 + p^nk[/itex] for k an integer.

The Attempt at a Solution



I've tried using the fact that [itex]x^2 \equiv 1\ mod\ p^n[/itex] implies that x is its own inverse and thus that [itex]x \equiv x\ mod\ p^n[/itex] and that [itex]x^2 \equiv 1\ mod\ p^n[/itex] implies [itex]x^2 \equiv 1\ mod\ p^{n-1}[/itex], attempting to find a way to combine the equations to force x to be either 1 or -1, but neither of these got me anywhere. The hint the teacher left makes me think the answer is something fairly simple (perhaps perfect squares cannot have the form [itex]x^2 = p^nk + 1[/itex] for [itex]p > 2[/itex]), but I just can't seem to see it. I have a feeling that just the tiniest push in the right direction would lead me to the answer.
 

Answers and Replies

  • #2
22,089
3,297
If [itex]x^2=1[/itex] (mod [itex]p^n[/itex]), then [itex]p^n[/itex] divides [itex]x^2-1[/itex].

Rewrite [itex]x^2-1[/itex].
 
  • #3
28
0
So, [itex]x^2 \equiv 1\ mod\ p^n[/itex] implies [itex]p^n|x^2 - 1[/itex].
Factoring [itex]x^2 - 1[/itex], we have that [itex]p^n|(x+1)(x-1)[/itex].
Since [itex](x + 1) - (x - 1) = 2[/itex], [itex]p^n|(x+1)[/itex] and [itex]p^n|(x-1)[/itex] only if [itex]p|2[/itex], which would imply that p=2. However, since we are dealing with odd primes, Euclid's Lemma requires that either [itex]p^n|(x+1)[/itex] or [itex]p^n|(x-1)[/itex]. For [itex]x\ mod\ p^n[/itex], the only solution to the first relation is [itex]x\ =\ p^n - 1 \equiv -1\ (mod p^n)[/itex], and the only solution to the second relation is [itex]x\ =\ 1 \equiv 1\ (mod p^n)[/itex]. Thus, [itex]x \equiv \pm 1\ (mod\ p^n)[/itex] are the only solutions to [itex]x^2 \equiv 1\ (mod\ p^n)[/itex] for p < 2.

Is this correct?
 
Last edited:
  • #4
22,089
3,297
Seems ok!! Congratulations!! :smile:
 

Related Threads on Show -1 and +1 are only solutions to x^2 = 1 (mod p^2) for odd prime p.

  • Last Post
Replies
7
Views
2K
  • Last Post
Replies
1
Views
1K
  • Last Post
Replies
2
Views
2K
  • Last Post
Replies
4
Views
1K
Replies
3
Views
950
  • Last Post
Replies
4
Views
13K
Replies
6
Views
42K
Replies
15
Views
2K
Replies
2
Views
924
Top