Let be an odd prime and let be a -element group. If divides the number of automorphisms of , prove that .
Bogdan Moldovan
Solution
Since is a prime divisor of the number of automorphisms of , some automorphism has order . Since is a permutation of the set , it follows that is a cycle of length , so , whatever in . On the other hand, is even, so contains an element of order . Hence , , so for all in , and for some integer . Consequently, .
Looking for a route rather than an archive? The track puts 2,000
problems in a working order, from AMC 10 level to the IMO shortlist.