Groups and FieldsSuperchallengeThe Sylow Theorems
The Sylow Theorems · Superchallenge problem
Suppose a simple group has order . Since is simple, its Sylow -subgroup is not normal, forcing to the only other Sylow-III candidate. then acts by conjugation on its Sylow -subgroups, giving a homomorphism whose image must be transitive (so its order is a multiple of ) and must divide . What is the SMALLEST possible order of consistent with these constraints?