Let be a group with no elements of order , and let be a group morphism such that , for all . Prove that either for all , or for all .
Solution
Assume, by way of contradiction, that there exist such that and . Then , therefore . It follows that , which implies .
Next, . If , then , therefore either , which contradicts , or , which is impossible. Thus, , hence . It follows that , so , again a contradiction.
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.