Group Theory/Cardinality identities for finite representations

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