Maths Olympiad Prep

Library / /1193 of 1394

, 2024

Algebra Difficulty 5.8 AIME, harder Prove it United States

Problem:
Compute the number of triples (f,g,h)(f, g, h) of permutations on {1,2,3,4,5}\{1,2,3,4,5\} such that
f(g(h(x)))=h(g(f(x)))=g(x),g(h(f(x)))=f(h(g(x)))=h(x), and h(f(g(x)))=g(f(h(x)))=f(x) \begin{aligned} & f(g(h(x)))=h(g(f(x)))=g(x), \\ & g(h(f(x)))=f(h(g(x)))=h(x), \text{ and } \\ & h(f(g(x)))=g(f(h(x)))=f(x) \end{aligned}
for all x{1,2,3,4,5}x \in \{1,2,3,4,5\}.

Solution

Solution:
Let fgf g represent the composition of permutations ff and gg, where (fg)(x)=f(g(x))(f g)(x)=f(g(x)) for all x{1,2,3,4,5}x \in \{1,2,3,4,5\}.

Evaluating fghfhf g h f h in two ways, we get
f=gfh=(fgh)fh=fghfh=f(ghf)h=fhh, f = g f h = (f g h) f h = f g h f h = f(g h f) h = f h h,
so hh=1h h = 1. Similarly, we get f,gf, g, and hh are all involutions. Then
fgh=gfg=gh, f g h = g \Longrightarrow f g = g h,
so fg=gh=hff g = g h = h f. Let x:=fg=gh=hfx := f g = g h = h f. Then
x3=(fg)(gh)(hf)=1 x^{3} = (f g)(g h)(h f) = 1
We can also show that fg=gh=hff g = g h = h f along with f,g,hf, g, h being involutions is enough to recover the initial conditions, so we focus on satisfying these new conditions.

If x=1x = 1, then f=g=hf = g = h is an involution. There are 1+(52)+12(52,2,1)=261 + \binom{5}{2} + \frac{1}{2} \binom{5}{2,2,1} = 26 involutions, so this case gives 26 solutions.

Suppose x1x \neq 1. Then since x3=1x^{3} = 1, xx is composed of a 3-cycle and two fixed points, of which there are 20 choices. WLOG x=(123)x = (123). It can be checked that {1,2,3}\{1,2,3\} must map to itself for all of f,g,hf, g, h and also {4,5}\{4,5\}. We can either have all of f,g,hf, g, h map 4 and 5 to themselves or each other. Restricted to {1,2,3}\{1,2,3\}, they are some rotation of (12), (23), (13). Each of the 20 cases thus gives 23=62 \cdot 3 = 6 triples, so overall we get 206=12020 \cdot 6 = 120.

The final answer is 26+120=14626 + 120 = 146.

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.

Source: MathNet, licensed CC-BY-4.0. Statement reproduced verbatim; metadata (topic, difficulty) added by this project.