Write the group order as , where is a prime number and . A Sylow p-subgroup is a subgroup of group order , the largest power of dividing .
The three Sylow theorems assert:
- Existence: a Sylow p-subgroup exists, and every subgroup of prime power order a power of is contained in one.
- Conjugacy: any two Sylow p-subgroups are conjugate in .
- Counting: their number satisfies and .
In particular, a unique Sylow p-subgroup is a normal subgroup, since all its conjugates must equal it.
Articles by others on the same topic
There are currently no matching articles.