Olympiad Maths Prep

Library / /5 of 41

Algebra Difficulty 5.0 AIME Prove it Romania

Let pp be an odd prime and let GG be a (p+1)(p+1)-element group. If pp divides the number of automorphisms of GG, prove that p3(mod4)p \equiv 3 \pmod 4.
Bogdan Moldovan

Solution

Since pp is a prime divisor of the number of automorphisms of GG, some automorphism ff has order pp. Since ff is a permutation of the set G{e}G \setminus \{e\}, it follows that ff is a cycle of length pp, so G{e}={x,f(x),,fp1(x)}G \setminus \{e\} = \{x, f(x), \dots, f^{p-1}(x)\}, whatever xx in G{e}G \setminus \{e\}. On the other hand, G=p+1|G| = p+1 is even, so GG contains an element x0x_0 of order 22. Hence ordfk(x0)=2\text{ord} f^k(x_0) = 2, k=0,,p1k = 0, \dots, p-1, so x2=ex^2 = e for all xx in GG, and p+1=2np+1 = 2^n for some integer n2n \ge 2. Consequently, p=2n13(mod4)p = 2^n - 1 \equiv 3 \pmod 4.

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.

Source: MathNet, licensed CC-BY-4.0. Statement and solution reproduced as published; topic and difficulty added by this site.