Conjugacy class size formula in symmetric group

Statement

Suppose $n$ is a natural number and $λ$ is an unordered integer partition of $n$ such that $λ$ has $a_{j}$ parts of size $j$ for each $j$ . In other words, there are $a_{1}$ $1$ s, $a_{2}$ $2$ s, $a_{3}$ $3$ s, and so on. Let $c$ be the conjugacy class in the symmetric group of degree $n$ comprising the elements whose Cycle type (?) is $λ$ , i.e., those elements whose Cycle decomposition (?) has $a_{j}$ cycles of length $j$ for each $j$ . Then:

$| c | = \frac{n!}{\prod_{j} (j)^{a_{j}} (a_{j}!)}$

Note that those $j$ where $a_{j} = 0$ contribute a $1$ in the denominator and can be ignored from the product, while for those $j$ where $a_{j} = 1$ , the $a_{j}!$ term can be omitted.

Equivalently, if $C$ is the centralizer of any element of $c$ , then:

$| C | = \prod_{j} (j)^{a_{j}} (a_{j}!)$

These are equivalent because size of conjugacy class equals index of centralizer, which follows from the identification of the conjugacy class with the left coset space of the centralizer via the action of the group on itself as automorphisms by conjugation.

Examples

Illustrative examples

For instance, consider $n = 23$ with the partition $23 = 3 + 3 + 3 + 3 + 2 + 2 + 2 + 1 + 1 + 1 + 1 + 1$ . There are four 3s, three 2s, and five 1s. An example element with this cycle type is given by the cycle decomposition:

$(1, 2, 3) (4, 5, 6) (7, 8, 9) (10, 11, 12) (13, 14) (15, 16) (17, 18)$

The size of the conjugacy class corresponding to this partition is:

$\frac{23!}{[(3)^{4} (4!)] [(2)^{3} (3!)] [(1)^{5} (5!)]}$

Here's another example: $13 = 5 + 4 + 4$ . There is one 5 and two 4s, and we get:

$\frac{13!}{[(5)^{1} (1!)] [(4)^{2} (2!)]}$

When a particular $j$ has $a_{j} = 1$ (i.e., it occurs only once in the partition) then the corresponding term divided is $j^{1} (1!) = j$ , so the above can be written more briefly:

$\frac{13!}{[5] [(4)^{2} (2!)]}$

Similarly, consider $15 = 5 + 4 + 3 + 3$ . We get:

$\frac{15!}{[5] [4] [(3)^{2} (2!)]}$

Comprehensive treatment of small degrees

In the right column links in the table below, you can see tabulated information on the sizes of conjugacy classes, as well as how the formula is applied to the cycle sizes to compute each specific size.

Degree	Symmetric group	List of conjugacy class sizes	Element structure page	Section on conjugacy class structure interpreted as symmetric group
3	symmetric group:S3	1,2,3	element structure of symmetric group:S3	element structure of symmetric group:S3#Interpretation as symmetric group
4	symmetric group:S4	1,3,6,6,8	element structure of symmetric group:S4	element structure of symmetric group:S4#Interpretation as symmetric group
5	symmetric group:S5	1,10,15,20,20,24,30	element structure of symmetric group:S5	element structure of symmetric group:S5#Interpretation as symmetric group
6	symmetric group:S6	1,15,15,40,40,45,90,90,120,120,144	element structure of symmetric group:S6	element structure of symmetric group:S6#Interpretation as symmetric group
7	symmetric group:S7	1,21,70,105,105,210,210,280, 420,420,504,504,630,720,840	element structure of symmetric group:S7	element structure of symmetric group:S7#Interpretation as symmetric group
8	symmetric group:S8	1, 28, 105, 112, 210, 420, 420, 1120, 1120, 1120, 1260, 1260, 1344, 1680, 2520, 2688, 3360, 3360, 3360, 4032, 5040, 5760	element structure of symmetric group:S8	element structure of symmetric group:S8#Interpretation as symmetric group