Finite permutation group/Cardinality/Fact/Proof
Proof
Let . For , there are possible images, for , there are possible images remaining, for , there are possible images remaining, etc. Therefore, there are altogether
possible permutations.
Let
.
For
, there are
possible images, for
, there are
possible images remaining, for
, there are
possible images remaining, etc. Therefore, there are altogether
possible permutations.