2. Théorie des représentations linéaires d'un groupe fini
La théorie classique trouvée par G. Frobenius, W. Burnside, et I. Schur dans la période 1890-1910 est la base de toutes les généralisations modernes. Cette théorie s'applique aux représentations linéaires d'un groupe fini G sur des espaces vectoriels de dimensions finies (c'est-à-dire ayant une base finie) sur le corps C des nombres complexes.
On cherche, d'abord, à classer les G-espaces, à des isomorphismes près. Un G-espace V est G-isomorphe à un G-espace U s'il existe une application linéaire bijective f de V sur U qui conserve les opérations de G : f (σv) = σf (v), pour tout σ dans G, et tout v dans V, c'est-à-dire si les représentations linéaires sont équivalentes.
L'outil principal de la classification des opérations linéaires de G sur des espaces vectoriels V est la décomposition des espaces V en somme directe de sous-espaces stables. Un sous-espace de V est un sous-ensemble U, qui est fermé pour la formation de combinaisons linéaires d'éléments ; U est donc lui-même un espace vectoriel avec, pour lois de composition, les restrictions des lois de composition de V. Le sous-espace U est stable par G s'il est fermé pour l'opération de G sur U, c'est-à-dire si σu appartient à U pour tout σ dans G et tout u dans U. Dans ce cas, la restriction à U de l'opération de G sur V est une opération linéaire de G sur U. Soit U1, ..., Uk des sous-espaces stables de V. On dit que V est la somme directe U1 ⊕ ... ⊕ Uk des Ui, si tout élément v de V a une expression unique de la forme :
Les éléments u1, ..., uk sont les composantes de v pour la décomposition V = U1 ⊕ ... ⊕ Uk. La correspondance :
… pour nos abonnés, l'article se prolonge sur 5 pages…
