Maths WorkshopMaths problems with full solutions
Exercise 2153Algebra › GroupsM1Added 3 Nov 2026

Sylow's first theorem

#Sylow#p-subgroup#existence

Statement

State Sylow's first theorem and apply it to a group of order 1212.

Hint

For ∣G∣=pam|G|=p^a m with gcd⁡(p,m)=1\gcd(p,m)=1, GG has a subgroup of order pap^a.

Show solutionHide solution

Solution

Statement. Let GG be a finite group of order pamp^a m with p∤mp\nmid m. Then GG has a subgroup of order pap^a (a Sylow pp-subgroup).

Application to ∣G∣=12|G|=12. 12=22⋅312=2^2\cdot3. Sylow's first theorem gives:
- A subgroup of order 44 (Sylow 22-subgroup).
- A subgroup of order 33 (Sylow 33-subgroup).

Conclusion. Every group of order 1212 has subgroups of order 44 and 33.