In mathematics, Molien's formula computes the generating function attached to a linear representation of a group G on a finite-dimensional vector space, that counts the homogeneous polynomials of a given total degree that are invariants for G. It is named for Theodor Molien.

Precisely, it says: given a finite-dimensional complex representation V of G and , the space of homogeneous polynomial functions on V of degree n (degree-one homogeneous polynomials are precisely linear functionals), if G is a finite group, the series (called Molien series) can be computed as:[1]

Here, is the subspace of that consists of all vectors fixed by all elements of G; i.e., invariant forms of degree n. Thus, the dimension of it is the number of invariants of degree n. If G is a compact group, the similar formula holds in terms of Haar measure.

Derivation

Let denote the irreducible characters of a finite group G and V, R as above. Then the character of can be written as:

Here, each is given by the inner product:

where and are the possibly repeated eigenvalues of . Now, we compute the series:

Taking to be the trivial character yields Molien's formula.

Example

Consider the symmetric group acting on R3 by permuting the coordinates. We add up the sum by group elements, as follows. Starting with the identity, we have

.

There is a three-element conjugacy class of , consisting of swaps of two coordinates. This gives three terms of the form

There is a two-element conjugacy class of cyclic permutations, yielding two terms of the form

Notice that different elements of the same conjugacy class yield the same determinant. Thus, the Molien series is

On the other hand, we can expand the geometric series and multiply out to get

The coefficients of the series tell us the number of linearly independent homogeneous polynomials in three variables which are invariant under permutations of the three variables, i.e. the number of independent symmetric polynomials in three variables. In fact, if we consider the elementary symmetric polynomials

we can see for example that in degree 5 there is a basis consisting of , , , , and .

(In fact, if you multiply the series out by hand, you can see that the term comes from combinations of , , and exactly corresponding to combinations of , , and , also corresponding to partitions of with , , and as parts. See also Partition (number theory) and Representation theory of the symmetric group.)

References

  1. The formula is also true over an algebraically closed field of characteristic not dividing the order of G.
  • David A. Cox, John B. Little, Donal O'Shea (2005), Using Algebraic Geometry, pp. 295–8
  • Molien, Th. (1897). "Uber die Invarianten der linearen Substitutionsgruppen". Sitzungber. Konig. Preuss. Akad. Wiss. (J. Berl. Ber.). 52: 1152–1156. JFM 28.0115.01.
  • Mukai, S. (2002). An introduction to invariants and moduli. Cambridge Studies in Advanced Mathematics. Vol. 81. ISBN 978-0-521-80906-1.
  • Stanley, Richard P. (1979). "Invariants of finite groups and their applications to combinatorics". Bull. Amer. Math. Soc. New Series. 1: 475–511. doi:10.1090/S0273-0979-1979-14597-X. MR 0526968.

Further reading

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.