0

My thinking is

  • With 9 elements, having order 4 means either a single orbit of length 4 and zero, one, or two orbits of length 2; or two orbits of length 4.
  • in both cases, the number of fixed points (not in one of the orbits) is odd, so can't be 0

Am I missing something?

(I am an amateur here - my math is from engineering, so I know some terms but not the whole theory)

1 Answers1

0

You are perfectly right!

Another way to think of it is to look at the cycle decomposition of a permutation of $9$ elements (see e.g. here).

Having a permutation of order 4 is equivalent of saying that its disjoint cycles can only have length $1,2$ or $4$. If you exclude fix points (i.e. cycles of length $1$), there is no way to get to $9$ elements only using cycles of length $2$ or $4$.