# Fonction centrale sur un groupe fini

En mathématiques, et plus précisément en théorie des groupes, une fonction centrale sur un groupe fini est un exemple de fonction centrale sur un groupe : c'est une application définie sur un groupe fini et centrale, c'est-à-dire 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 d'un groupe fini. Si, par exemple, le corps K est de caractéristique nulle et algébriquement clos (comme le corps des complexes), alors l'espace vectoriel des fonctions centrales à valeurs dans K peut être muni d'une forme bilinéaire symétrique pour laquelle les caractères irréductibles forment une base orthonormale, et une représentation est entièrement déterminée (à équivalence près) par les coordonnées de son caractère dans cette base.

## Définition et exemples
### Définition

Soit G un groupe (fini ou pas). Une application définie sur G est une fonction centrale si elle est constante sur chaque classe de conjugaison.

### Exemples

* Sur tout groupe de torsion G (en particulier sur tout groupe fini), la fonction qui à tout élément de G associe le nombre de ses conjugués est centrale.
* Tout caractère d'une représentation d'un groupe fini est une fonction centrale sur ce groupe.

## Propriétés
### Propriétés élémentaires

Pour tout corps K et tout ensemble X, K$^X$ désigne l'espace vectoriel des applications de X dans K. Lorsque X est fini, la base canonique de cet espace est la famille (δ$_x$)$_{x∈X}$, où δ$_x$(y) vaut 1 pour y = x et vaut 0 pour les autres y ∈ X.
Dans K$^G$, que G soit fini ou pas,
l'ensemble des fonctions centrales sur G à valeurs dans K est un sous-espace vectoriel naturellement isomorphe à K$^C$, où C désigne l'ensemble des classes de conjugaison de G.
Lorsque G est fini, la base canonique de ce sous-espace est donc la famille (1$_c$)$_{c∈C}$ des fonctions indicatrices des classes de conjugaison, et sa dimension est le nombre h de ces classes. L'indicatrice d'une classe de conjugaison c se décompose dans la base canonique de K$^G$ en : 1$_c$ = ∑$_{s∈c}$δ$_s$.

### Fonctions centrales et caractères

Si la caractéristique de K ne divise pas g (autrement dit : si g est inversible dans K), le théorème de Maschke assure que dans une représentation de G, toute sous-représentation est facteur direct, ce qui permet de démontrer que toute représentation de G est somme directe de représentations irréductibles.
On montre alors, sous l'hypothèse supplémentaire que le polynôme X$^g$ - 1 est scindé sur K (ou même seulement le polynôme Xe – 1, où e désigne l'exposant de G) :
* Soient (S,ρ) une K-représentation irréductible de degré n et de caractère χ, et f une fonction centrale à valeurs dans K. Alors, l'endomorphisme ρ$_f$ de S défini par$\rho _{f}=\sum _{s\in G}f(s)\rho _{s}$est l'homothétie de rapport${\frac {1}{n}}\sum _{s\in G}f(s)\chi (s)$.
(La division par n a bien un sens dans cet énoncé, car n est un diviseur de g, qui a été supposé inversible dans K.)
On en déduit que pour la forme bilinéaire symétrique non dégénérée sur K$^G$ définie par
$(f_{1}|f_{2})={\frac {1}{g}}\sum _{s\in G}f_{1}(s)f_{2}(s^{-1})$
* les caractères irréductibles forment une base orthonormée du sous-espace des fonctions centrales.
Il en résulte (en considérant la dimension de ce sous-espace) :
* Le nombre de caractères irréductibles est égal au nombre h de classes de conjugaison du groupe.
Le groupe n'a donc sur K (à équivalence près) que h représentations irréductibles ρ$_1$, … , ρ$_h$, dont les caractères χ$_1$, … , χ$_h$ forment une base de l'espace des fonctions centrales.
Une conséquence fondamentale est :
* Si K est de caractéristique nulle alors deux représentations ayant même caractère sont équivalentes.
En effet, toute représentation (à équivalence près) ρ = ⊕n$_i$ρ$_i$ est alors entièrement déterminée par son caractère χ = ∑n$_i$χ$_i$.
Du fait que les χ$_i$ forment une base orthonormée, on déduit aussi :
* Si n(s) désigne le nombre de conjugués d'un élément s de G et si t est un élément de G non conjugué à s, alors :
$\sum _{i=1}^{h}\chi _{i}(s^{-1})\chi _{i}(s)={\frac {g}{n(s)}}\quad {\text{et}}\quad \sum _{i=1}^{h}\chi _{i}(s^{-1})\chi _{i}(t)=0$
   * Soit ρ une K-représentation irréductible de degré n et de caractère χ, alors n est inversible dans K et pour toute fonction centrale f à valeurs dans K, l'endomorphisme ρ$_f$ de S défini par ρ$_f$ = ∑$_{s∈G}$f(s)ρ$_s$ est l'homothétie de rapport (1/n)∑$_{s∈G}$f(s)χ(s).
Le corollaire 1 de l'article « Lemme de Schur » montre n est inversible dans K, et que si les égalités suivantes sont vérifiées, alors ρ$_f$ est une homothétie :
$\forall t\in G\quad \rho _{f}\circ \rho _{t}=\rho _{t}\circ \rho _{f}$
Or, on a les égalités suivantes :
$\forall t\in G\quad \rho _{t}^{-1}\circ \rho _{f}\circ \rho _{t}=\sum _{s\in G}f(s)\rho _{t}^{-1}\circ \rho _{s}\circ \rho _{t}=\sum _{s\in G}f(s)\rho _{t^{-1}st}=\sum _{u\in G}f(tut^{-1})\rho _{u}=\sum _{u\in G}f(u)\rho _{u}=\rho _{f}$
Soit k le rapport de l'homothétie. En notant Tr(ρ$_f$) la trace de ρ$_f$ on a :
$nk=\mathrm {Tr} (\rho _{f})=\mathrm {Tr} \left(\sum _{s\in G}f(s)\rho _{s}\right)=\sum _{s\in G}f(s)\mathrm {Tr} (\rho _{s})=\sum _{s\in G}f(s)\chi (s)$
   * Les caractères irréductibles forment une base orthonormée du sous-espace des fonctions centrales.
Le fait qu'ils forment une famille orthonormale est une conséquence immédiate du corollaire 4 de l'article « Lemme de Schur ». Il suffit donc de démontrer que la famille est génératrice, ou encore, en définissant f* par f*(s)=f(s$^{-1}$), que si f est une fonction centrale à valeurs dans K telle que f* est orthogonale à tous les caractères irréductibles, alors f est la fonction nulle.
Pour toute représentation irréductible ρ, de caractère χ, l'application ρ$_f$ est nulle d'après le point précédent, car f* est supposée orthogonale à χ donc le rapport d'homothétie est nul. Considérons maintenant la représentation régulière λ. Comme elle est somme directe de représentations irréductibles, λ$_f$ est aussi nulle. On a alors les égalités :
$0=\lambda _{f}(\delta _{1})=\sum _{s\in G}f(s)\lambda _{s}(\delta _{1})=\sum _{s\in G}f(s)\delta _{s}=f$
ce qui termine la démonstration.
   * Si n(s) désigne le nombre de conjugués d'un élément s de G et si t est un élément de G non conjugué à s, alors :
$\sum _{i=1}^{h}\chi _{i}(s^{-1})\chi _{i}(s)={\frac {g}{n(s)}}\quad {\text{et}}\quad \sum _{i=1}^{h}\chi _{i}(s^{-1})\chi _{i}(t)=0$
Soit c la classe de conjugaison de s (son cardinal n(s) est un diviseur de g). La décomposition de son indicatrice 1$_c$ sur la base orthonormée des caractères irréductibles montre que :
$\mathbf {1} _{c}=\sum _{i=1}^{h}\alpha _{i}\chi _{i}\quad {\text{avec}}\quad \alpha _{i}=(\mathbf {1} _{c}|\chi _{i})={\frac {n(s)}{g}}\chi _{i}(s^{-1})$
et donc :
$1=\mathbf {1} _{c}(s)={\frac {n(s)}{g}}\sum _{i=1}^{h}\chi _{i}(s^{-1})\chi _{i}(s)\quad {\text{et}}\quad 0=\mathbf {1} _{c}(t)=\sum _{i=1}^{h}\chi _{i}(s^{-1})\chi _{i}(t)$

#### Remarque

Lorsque K est un sous-corps de ℂ, il est courant, au lieu de la forme bilinéaire symétrique ci-dessus, d'utiliser sur K$^G$ un produit hermitien :
$\langle f_{1}\mid f_{2}\rangle ={\frac {1}{g}}\sum _{s\in G}f_{1}(s){\overline {f_{2}(s)}}$
Si f$_2$ est un caractère, ou plus généralement si, pour tout élément s du groupe, f$_2$(s$^{-1}$) est égal à f$_2$(s) (le conjugué de f$_2$(s)), alors (f$_1$|f$_2$) = ⟨f$_1$|f$_2$⟩. Par conséquent, les caractères irréductibles forment aussi, pour ce produit hermitien, une base orthonormée de l'espace des fonctions centrales.

### Fonctions centrales et algèbre du groupe

La K-algèbre du groupe G, notée K[G], est définie en munissant l'espace vectoriel K$^G$ du produit de convolution ∗, décrit par :
$\forall a,b\in K^{G},\quad \forall u\in G,\qquad (a*b)(u)=\sum _{s,t\in G,st=u}a(s)b(t).$
Les fonctions centrales de G dans K sont alors caractérisées par :
* Le centre de l'anneau unitaire K[G] coïncide avec le sous-espace des fonctions centrales.
En effet, une fonction f = ∑$_{t∈G}$f(t)δ$_t$ appartient au centre si et seulement si elle commute avec tous les δ$_s$, ce qui équivaut à la condition que f soit centrale, puisque (δ$_s$$^{−1}$∗f∗δ$_s$)(t) = f(sts$^{−1}$).
Le théorème de Maschke se reformule en disant que si g est inversible dans K, alors tout sous-module d'un K[G]-module est facteur direct, ou plus synthétiquement : que K[G] est semi-simple. Si l'on suppose de plus que K est algébriquement clos alors, d'après le théorème d'Artin-Wedderburn pour les K-algèbres semi-simples de dimension finie, K[G] est somme directe d'algèbres d'endomorphismes de certains K-espaces vectoriels. 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 :
$K[G]\;\simeq \;\bigoplus _{i=1}^{h}{\mathcal {L}}_{K}(S_{i}).$
Le centre de K[G] est donc isomorphe à K$^h$, et on retrouve les homothéties de la section précédente.