Le nombre minimum d'invariants fondamentaux pour les formes binaires de degré 7
Soit un espace vectoriel complexe de dimension finie. Soit un sous-groupe fini de . On montre que pour chaque entier , le corps des fonctions rationnelles invariantes par sur s’obtient en prenant le corps des fractions de l’algèbre engendrée par les polarisées des fonctions polynômes -invariantes sur .