Critère de décomposabilité complète des représentations d'un groupe fini G sur un corps k : l'algèbre du groupe kG est semisimple (équivalemment toute représentation de dimension finie est complètement réductible) si et seulement si la caractéristique de k ne divise pas l'ordre de G.

Principe

La technique d'averaging (moyennage) sur le groupe en utilisant une somme normalisée produit des compléments invariants par G lorsque les dénominateurs existent ; l'existence d'un idempotent moyenné est l'idée organisatrice derrière la semi-simplicité.

Démonstration

Si char(k) ne divise pas |G|, alors pour tout sous-représentation U ⊆ V on peut moyenniser une projection sur U sur G pour obtenir une projection G-équivariante, scindant l'inclusion et donnant V ≅ U ⊕ U'. Ainsi toute représentation se scinde en somme directe d'irréductibles.

Mauvaise application

Utiliser Maschke lorsque la caractéristique du corps divise |G| (cas modulaire) : le moyennage échoue car |G| est nul dans k, et les représentations ne sont pas nécessairement complètement réductibles.

Conséquence

Assure la semisimplicité des algèbres de groupe dans le cas non modulaire, permettant la décomposition en modules simples, la théorie des caractères et de nombreux résultats structuraux en théorie des représentations de groupes finis.

Inversion

Dans le cas modulaire (caractéristique divisant |G|) on rencontre des structures plus riches avec des modules indécomposables non simples, des enveloppes projectives et une décomposition en blocs plutôt que la réductibilité complète.

Limite

S'applique aux groupes finis et aux représentations de dimension finie sur des corps ; l'hypothèse clef est que char(k) ne divise pas |G| ; les groupes infinis ou représentations de dimension infinie demandent d'autres outils.

Tension sémantique

Tension entre la semisimplicité de Maschke (cas non modulaire) et la théorie modulaire des représentations : Maschke fournit une décomposition propre quand les dénominateurs existent, tandis que la situation modulaire engendre extensions et blocs délicats.

Synthèse

Le théorème de Maschke affirme que, pour un groupe fini sur un corps dont la caractéristique ne divise pas l'ordre du groupe, le moyennage produit des compléments invariants et donc la réductibilité complète des représentations ; l'absence de la condition sur le dénominateur conduit à la complexité modulaire.