Prove that for the group
The Cycle Index Series is given by
Basically this comes down to showing if and , then when c is written as a product of disjoint cycles, there are cycles of length
But I can't seem to show this.
The part with the Euler phi function is easy to show, I don't need help on that.