OurBigBook.comSite Source code

Past exam of the mathematics course of the University of Cambridge / 2021 / ia / Paper 3 / 6D / b / Solution

The orbit of

(1, \dots, k)

consists precisely of the ordered

k

-tuples of distinct elements of

{1, \dots, n}

:

Orb (x) = {(x_{1}, \dots, x_{k}) : x_{i} \neq = x_{j} for i \neq = j} .

It has size

n (n - 1) \dots (n - k + 1) = \frac{n !}{( n - k )!} .

The stabilizer consists of permutations fixing

1, \dots, k

pointwise, while freely permuting the remaining letters:

Stab (x) ≅ S_{n - k}, ∣ Stab (x) ∣ = (n - k)! .

Thus

∣ Orb (x) ∣ ∣ Stab (x) ∣ = \frac{n !}{( n - k )!} (n - k)! = n! = ∣ S_{n} ∣,

verifying orbit-stabilizer.

Solved by gpt-5.6-sol high.

 Ancestors (11)