Number Theory: Wilson's Theorem

Click For Summary

Discussion Overview

The discussion centers around Wilson's Theorem in number theory, specifically addressing two problems related to congruences involving an odd prime \( p \). The first problem involves proving a congruence relation between products of even integers and odd integers modulo \( p \). The second problem seeks to prove a congruence involving squares of integers modulo \( p \) using Wilson's Theorem.

Discussion Character

  • Technical explanation
  • Mathematical reasoning
  • Homework-related

Main Points Raised

  • One participant seeks help with two specific problems related to Wilson's Theorem, expressing uncertainty about the first problem while indicating progress on the second.
  • Another participant suggests naming the expressions involved in the first problem to clarify the relationships between them and proposes a method to show that two of the expressions are congruent by manipulating the factors.
  • A different participant asserts that the expressions \( 2-p \) and \( 2 \) are congruent modulo \( p \), implying that the first two expressions in the first problem are equal.

Areas of Agreement / Disagreement

Participants appear to have differing levels of understanding regarding the first problem, with some expressing confidence in their reasoning while others remain uncertain. No consensus has been reached on the best approach to solve the first problem.

Contextual Notes

Some assumptions about the properties of congruences and the behavior of even and odd integers modulo \( p \) are present but not fully explored. The discussion does not resolve the mathematical steps necessary to complete the proofs.

mathsss2
Messages
38
Reaction score
0
I posted this question but I am not getting anywhere with this question, any help would be very appreciated:

1. let p be odd prime explain why: 2*4*...*(p-1)\equiv (2-p)(4-p)*...*(p-1-p)\equiv(-1)^{(p-1)/2}*1*3*...*(p-2) mod p.

2. Using number 2 and wilson's thereom [(p-1)!\equiv-1 mod p] prove 1^23^25^2*...*(p-2)^2\equiv(-1)^{(p-1)/2} mod p

Thanks.
 
Physics news on Phys.org
Update: I got #2, I still don't know how to do #1.
 
Let me give names to the individual expressions in question 1: call them, from left to right, A(p), B(p), C(p), so that your question 1 becomes
A(p) \equiv B(p) \equiv C(p) \mbox{ (mod p)}

Now, B(p) and C(p) are the same expression. If you multiply by -1 each of the factors in B(p), (that's (p-1)/2 factors), they become (p-2)(p-4)...(p-(p-1)), that is, 1*3*...(p-2).

Now you only need to prove that either of B(p) or C(p) is congruent to A(p) modulo p. Just observe that -1 \equiv p-1 \mbox{ (mod p)}, and also -3 \equiv p-3 \mbox{ (mod p)}, and also ...
 
The fact of the matter is that 2-p \equiv 2 Mod p Thus the first two expressions are of equal value. As Dodo has already explained.
 

Similar threads

  • · Replies 2 ·
Replies
2
Views
1K
  • · Replies 17 ·
Replies
17
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 21 ·
Replies
21
Views
2K
  • · Replies 5 ·
Replies
5
Views
2K
  • · Replies 12 ·
Replies
12
Views
1K
  • · Replies 31 ·
2
Replies
31
Views
3K
Replies
16
Views
3K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K