Théorème de Chevalley-Shephard-Todd
De Wikipedia, l'encyclopédie encyclopedia
En mathématiques, et plus précisément dans la théorie des invariants des groupes finis, le théorème de Chevalley-Shephard-Todd exprime que l'anneau des invariants d'un groupe fini agissant sur un espace vectoriel complexe est un anneau de polynômes si et seulement si le groupe est engendré par des pseudo-réflexions. Dans le cas des sous-groupes du groupe linéaire général complexe, le théorème a été prouvé pour la première fois par (G. C. Berger et J. A. Todd 1954), qui ont donné une classification et une démonstration au cas par cas. Peu après, (Chevalley 1955) en a donné une démonstration uniforme. Le théorème a été étendu aux groupes linéaires finis sur un corps arbitraire dans le cas non modulaire par Jean-Pierre Serre.