Groups and FieldsSuperchallengeThe Sylow Theorems
The Sylow Theorems · Superchallenge problem
In the non-abelian group of order (which exists since is divisible by ), the Sylow -subgroup is always normal, but the Sylow -subgroup cannot also be normal – otherwise would be a direct product of the two and hence abelian. How many elements of order does this non-abelian group have?