MathCastle
Groups and FieldsSuperchallengeThe Sylow Theorems

The Sylow Theorems · Superchallenge problem

Suppose a simple group GG has order 48=24⋅348=2^4\cdot3. Since GG is simple, its Sylow 22-subgroup is not normal, forcing n2n_2 to the only other Sylow-III candidate. GG then acts by conjugation on its n2n_2 Sylow 22-subgroups, giving a homomorphism φ:G→Sn2\varphi:G\to S_{n_2} whose image must be transitive (so its order is a multiple of n2n_2) and must divide ∣Sn2∣|S_{n_2}|. What is the SMALLEST possible order of ker⁡φ\ker\varphi consistent with these constraints?