Pólya enumeration theorem

For a finite group G acting on a set X, the number of colourings of X with colour-weight w_c, up to G-action, equals the cycle-index Z_G evaluated at power-sums of weights.