PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very low Entry average rating: No information on entry rating
[parent] group theoretic proof of Wilson's theorem (Proof)

Here we present a group theoretic proof of it.
Clearly, it is enough to show that $ (p-2)!\equiv 1\pmod{p}$ since $ p-1\equiv -1\pmod{p}$ . By Sylow theorems, we have that $p$ -Sylow subgroups of $S_p$ , the symmetric group on $p$ elements, have order $p$ , and the number $n_p$ of Sylow subgroups is congruent to 1 modulo $p$ . Let $P$ be a Sylow subgroup of $S_p$ . Note that $P$ is generated by a $p$ -cycle. There are $(p-1)!$ cycles of length $p$ in $S_p$ . Each $p$ -Sylow subgroup contains $p-1$ cycles of length $p$ , hence there are $\frac{(p-1)!}{p-1}=(p-2)!$ different $p$ -Sylow subgrups in $S_p$ , i.e. $n_P=(p-2)!$ . From Sylow's Second Theorem, it follows that $(p-2)!\equiv1\pmod{p}$ ,so $(p-1)!\equiv-1\pmod{p}$ .




"group theoretic proof of Wilson's theorem" is owned by ottocolori.
(view preamble | get metadata)

View style:

Keywords:  Sylow, cycles

This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: theorem, contains, length, cycles, generated by, congruent, Sylow subgroups, number, order, symmetric group, subgroups, Sylow theorems, proof, group

This is version 7 of group theoretic proof of Wilson's theorem, born on 2003-04-27, modified 2004-04-08.
Object id is 4214, canonical name is GroupTheoreticProofOfWilsonsTheorem.
Accessed 3282 times total.

Classification:
AMS MSC11-00 (Number theory :: General reference works )

Pending Errata and Addenda
None.
[ View all 4 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)