TAOCP 1.3.3 Exercise 3

The product of the two given permutations is computed by applying the right-hand permutation first, followed by the left-hand permutation.

Section 1.3.3: Applications to Permutations

Exercise 3. [03] Compute the product

$$ \begin{pmatrix} a & b & c & d & e & f \ b & d & c & a & f & e \end{pmatrix} \times \begin{pmatrix} a & b & c & d & e & f \ c & d & f & b & e & a \end{pmatrix}, $$

and express the answer in two-line notation. (Compare with Eq. (4).)

Verified: yes
Solve time: 1m19s


The product of the two given permutations is computed by applying the right-hand permutation first, followed by the left-hand permutation. Denote the permutations by

$$ \pi_1 = \begin{pmatrix} a & b & c & d & e & f \ b & d & c & a & f & e \end{pmatrix},\qquad \pi_2 = \begin{pmatrix} a & b & c & d & e & f \ c & d & f & b & e & a \end{pmatrix}. $$

We compute $\pi_1 \times \pi_2$ by tracing the image of each element under $\pi_2$ and then $\pi_1$:

  • $a \mapsto \pi_2(a) = c$, then $\pi_1(c) = c$, so $a \mapsto c$.
  • $b \mapsto \pi_2(b) = d$, then $\pi_1(d) = a$, so $b \mapsto a$.
  • $c \mapsto \pi_2(c) = f$, then $\pi_1(f) = e$, so $c \mapsto e$.
  • $d \mapsto \pi_2(d) = b$, then $\pi_1(b) = d$, so $d \mapsto d$.
  • $e \mapsto \pi_2(e) = e$, then $\pi_1(e) = f$, so $e \mapsto f$.
  • $f \mapsto \pi_2(f) = a$, then $\pi_1(a) = b$, so $f \mapsto b$.

Collecting these images, the resulting permutation in two-line notation is

$$ \begin{pmatrix} a & b & c & d & e & f \ c & a & e & d & f & b \end{pmatrix}. $$

This coincides with the computation in equation (4).

$\boxed{\begin{pmatrix}a & b & c & d & e & f \ c & a & e & d & f & b \end{pmatrix}}$