Fonction centrale d'un groupe fini - Définition

Introduction

En mathématiques, et plus précisément en théorie des groupes, une fonction centrale est une fonction définie sur un groupe et constante sur chaque classe de conjugaison.

Les fonctions centrales possèdent un rôle particulier dans le cadre de la théorie des représentations des groupes finis. Si, par exemple, le corps K de la représentation est égal au corps des nombres complexes, l'espace vectoriel des fonctions centrales à valeurs dans les nombres complexes, peut être muni d'un produit hermitien tel que l'ensemble des caractères irréductibles soit une base orthonormale.

Définition et exemples

Définition

• Soient G un groupe fini, une application définie sur G est dite fonction centrale si et seulement si elle est constante sur chaque classe de conjugaison.

Cette propriété s'exprime de la manière suivante, f une fonction définie sur G est centrale si et seulement si :

ou encore ( en posant u = ts,v = t ^{− 1} )

Exemples

• On peut citer la fonction associée à la formule des classes de l'article sur les actions de groupe qui, à un élément s de G associe le cardinal de sa classe de conjugaison.

• Soit H un groupe abélien et φ un morphisme de groupe de G dans H, alors φ est une fonction centrale. En effet, soit s et t deux éléments conjugués de G, alors il existe u élément de G tel que s = u.t.u^-1. En conséquence φ(s) est égal à φ(u).φ(t).φ(u)^-1, et comme H est abélien, φ(s) est égal à φ(t).

• Soient V un espace vectoriel sur un corps commutatif K et (V, ρ) une représentation de G, alors le caractère de ρ est une fonction centrale à valeur dans K.

Propriétés

Propriétés élémentaires

• Dans le cas où le groupe G est abélien, alors toute fonction définie sur G est une fonction centrale.

Pour s'en convaincre, il suffit de remarquer que les classes de conjugaison sont toutes des singletons.

• L'espace des fonctions centrales F_c de G à valeur dans un corps K est un sous-espace vectoriel de K^G de dimension égale au nombre de classes conjuguées de G.

Pour valider le fait que F_c est un sous-espace, il suffit de vérifier que l'ensemble est non vide, or il contient la fonction nulle, et qu'il est stable par combinaison linéaire. Soit s et t deux éléments de G appartenant à la même classe de conjugaison :

Déterminons la dimension de F_c. Soit h l'entier égal au nombre de classes de conjugaison et c_i pour i variant de 1 à h les différentes classes de conjugaison. On définit f_i la fonction égale à un sur c_i et zéro sinon. La famille (f_i) est une base de F_c contenant h éléments, ce qui démontre que sa dimension est égale à h.

Fonctions centrales et caractères

On considère ici les représentations et caractères irréductibles à valeur dans le corps K ayant les propriétés décrites dans le paragraphe sur le caractère. On note χ₁, ..., χ_h les h caractères irréductibles. L'analyse de la représentation régulière de G montre en effet que, si G est d'ordre fini, il existe un nombre fini de représentations irréductibles. L'espace K^G est muni du produit hermitien défini au paragraphe Caractère.

• La famille (χ₁, ..., χ_h) est une base orthonormale de l'espace F_c des fonctions centrales à valeur dans C.

Ce résultat est essentiel pour l'étude des caractères des représentations des groupes finis. Il admet le corollaire immédiat suivant :

• Il existe autant de représentations irréductibles distinctes que de classes de conjugaison dans le groupe.

On dispose enfin de la proposition suivante :

• Soit n la fonction de G dans l'ensemble des entiers positifs qui à s associe le cardinal de la classe de conjugaison de s, alors si s et t désignent deux éléments de G non conjugués, les égalités suivantes sont vérifiées:

Dans le cas où K est de caractéristique nulle et est différent du corps des nombres complexes, alors les résultats sont vrais si K contient le corps de décomposition du polynôme X^g - 1. Si K est de caractéristique fini p, le résultat est encore vrai si p est premier avec g et si K contient un corps de décomposition de X^g - 1.

Fonctions centrales et algèbre du groupe

Il existe un autre axe d'analyse que celui des caractères, où la notion de fonction centrale apparaît naturellement. Il provient de l'algèbre du groupe. Cette algèbre, notée K[G], est constituée d'une base indexée par le groupe et de l'ensemble de ses combinaisons linéaires. La multiplication interne est donnée par la formule suivante :

Une telle algèbre possède une propriété forte, elle est semi-simple. Le théorème fondamental de cette structure à savoir celui d'Artin-Wedderburn s'applique et le cas considéré est celui où le corps est abélien et contient toutes les racines des polynômes minimaux d'une famille génératrice (ie la base canonique). Dans ce contexte, le théorème affirme que K[G] est somme directe d'algèbres des endomorphismes sur des K espaces vectoriel. Plus précisément, si (S_i) où i varie de 1 à h est une famille maximale d'espaces irréductibles non isomorphes deux à deux, alors :

et h est égal au nombre de classes de conjugaison du groupe. Le centre de K[G] possède des analogies avec l'ensemble des fonctions centrales.

• Soit c une classe de conjugaison et d_c la somme des éléments de la base indexés par un élément de c. Le centre de K[G] est l'espace vectoriel engendré par les éléments d_c lorsque c parcourt l'ensemble des classes de conjugaison.

Si d_c est identifié à la classe c, les fonctions centrales apparaissent comme le dual du centre considéré comme un espace vectoriel. L'isomorphisme entre les fonctions centrales et le centre dépasse néanmoins ce cadre :

• L'application φ défini ci-dessous, de l'espace des fonctions centrales K^C dans le centre de K[G] est un isomorphisme d'algèbre sur K.

Le centre peut être vu de trois manières différentes, soit comme l'espace des fonctions centrales, soit comme une somme directe S d'algèbres d'endomorphismes d'espaces vectoriels L_K(S_i), soit comme un sous-espace vectoriel de K[G]. Si φ désigne l'isomorphisme de K[G] dans S défini précédemment, la relation entre les trois visions est la suivante, si χ_i est le caractère et d_i la dimension de S_i :

• Soit u un élément du centre de K[G] et u_s ses coordonnées dans la base canonique, l'image de u par φ est une somme directe d'homothéties sur S_i de rapport λ_i avec :