Développement #155

Titre : Théorème de Molien

Contenu : Soit $G$ un sous-groupe fini de $GL_n(\mathbb{C})$. On pose $A= \mathbb{C} [X_1 , \ldots , X_n]$. On définit la représentation $\rho$ suivante de $G$ :\r\r$$ \rho(g)(P) = P \circ g^{-1} $$\r\roù $P \in A$. Cette représentation conserve $A_k$ : les polynômes $k$ homogènes de $A$ pour tout $k$. On note $A_k^G$ l'ensemble des vecteurs invariants de $A_k$ sous l'action de $G$. On note $a_k(G)$ la dimension de cet espace. Alors\r\r$$ \sum_{k\ge 0} a_k(G) X^k = \frac{1}{|G|} \sum_{g \in G} \frac{1}{\det( id - Xg)} $$

Créé le : 23/07/2026 12:42

Mis à jour : 23/07/2026 12:42