Fermat's Little Theorem: Proving p-1! ≡ -1 (mod p)

  • Thread starter Thread starter moonlight310
  • Start date Start date
  • Tags Tags
    Theorem
Click For Summary

Homework Help Overview

The discussion revolves around Fermat's Little Theorem, specifically the assertion that for a prime number p, the factorial of (p-1) is congruent to -1 modulo p. Participants are exploring the properties of modular arithmetic and group theory in this context.

Discussion Character

  • Exploratory, Conceptual clarification, Mathematical reasoning

Approaches and Questions Raised

  • Participants are attempting to understand the theorem by testing small prime numbers and discussing the implications of the existence of inverses in modular arithmetic. Questions about the foundational concepts of groups and inverses are raised.

Discussion Status

The discussion is ongoing, with participants sharing initial thoughts and attempts at understanding the theorem. Some guidance has been provided regarding the properties of groups under multiplication modulo p, but no consensus or resolution has been reached yet.

Contextual Notes

Participants express uncertainty about the underlying concepts of group theory and modular arithmetic, indicating a need for further clarification and exploration of these topics.

moonlight310
Messages
2
Reaction score
0

Homework Statement



let p be prime then, (p-1)! is congruent to -1 mod p

Homework Equations





The Attempt at a Solution



I'm not sure where to start
 
Physics news on Phys.org
First of all you should try some examples out for small prime.

Since p is prime, the set {1, 2, ... p-1} is a group under multiplication, modulo p. This means that there is a (unique) inverse for each element.
 
I've tried small numbers and it works. So since it has an inverse it means that it can be mod p ? I'm sorry I don't understand this stuff very well.
 
The fact there there is an inverse means that for each element x, there is an element y such that xy = 1 mod p - and this is only true because p is a prime (a well known group theory result). The main idea for the proof of this theorem is to try to pair up each element with it's inverse (which is valid since this group is commutative).
 

Similar threads

Replies
6
Views
4K
Replies
4
Views
2K
Replies
15
Views
4K
  • · Replies 16 ·
Replies
16
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 16 ·
Replies
16
Views
3K
Replies
5
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
3K
Replies
17
Views
3K