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, .
Want a route through all this instead of an archive? The track
puts 2,000 problems in a working order, from AMC 10 level to the IMO shortlist.