Group Theory/Cardinality identities for finite representations

Definition (permutation representation):

Let be a group and let be a set. A permutation representation of on is a representation , where the automorphisms of are taken in the category of sets (that is, they are just bijections from to itself).

Definition (pointwise stabilizer):

Let be a group, let be an algebraic variety and let be an instance of . Suppose that is a representation in the category defined by . Let . Then the pointwise stabilizer of is given by

.

Proposition (transitive permutation representation is equivalent to right multiplication on quotient by stabilizer):

Let be a group, let be a set and suppose that we have a permutation representation which is transitive. Let be arbitrary and let be the pointwise stabilizer of . Consider the action by left multiplication, where is the set of left cosets of (which is in fact never a normal subgroup in this situation, unless the action is trivial, because ). Then there exists a -isomorphism from to .

Proof: We define as follows: shall be mapped to . First, we show that this map is well-defined. Indeed, suppose that we take . Then is mapped to . Then we note that the map is surjective by transitivity. Finally, it is also injective, because whenever , we have by applying to both sides and using a property of a group action, and thus , that is to say . That follows immediately from the definition, so that we do have an isomorphism of representations.

We are now in a position to derive some standard formulae for permutation representations.

Theorem (orbit-stabilizer theorem):

Let be a group, and let be a permutation representation on a set . Then

.

Proof: acts transitively on . The above -isomorphism between and is bijective as an isomorphism in the category of sets. But the notation stood for .

Theorem (class equation):

Let be a finite group and let be a permutation representation on the finite set . Then

,

where are the orbits of , and for . (We also say that are a system of representatives for the orbits of .)

Proof: acts transitively on each orbits, and the orbits partition . Hence, by the orbit-stabilizer theorem,

.

Definition (fixed point set):

Let be a group that acts on a set , and let be a subset of . Then the fixed point set of is defined to be

.