Fonction centrale d'un groupe fini

Fonction centrale d'un groupe fini

Fonction centrale d'un groupe fini

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.

Sommaire

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 :

\forall s,t \in G \quad   f(tst^{-1}) = f(s)

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

\forall u,v \in G \quad   f(uv) = f(vu)

Exemples

  • 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).

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 Fc de G à valeur dans un corps K est un sous-espace vectoriel de KG de dimension égale au nombre de classes conjuguées de G.

Pour valider le fait que Fc 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 :

\forall \lambda_1,\lambda_2 \in K \; \forall f_1,f_2 \in F_c\quad (\lambda_1.f_1+\lambda_2.f_2)(s)=\lambda_1.f_1(s) + \lambda_2.f_2(s)=\lambda_1.f_1(t) + \lambda_2.f_2(t)=(\lambda_1.f_1+\lambda_2.f_2)(t)

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

Fonctions centrales et caractères

Article détaillé : Lemme de Schur.

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 χ1, ..., χ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 KG est muni du produit hermitien défini au paragraphe Caractère.

  • La famille (χ1, ..., χh) est une base orthonormale de l'espace Fc 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:
 \sum_{i=1}^h \chi_i(s).\chi_i^*(s) = \frac {g}{n(s)} \quad et \quad \sum_{i=1}^h \chi_i(s).\chi_i^*(t)=0

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 Xg - 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 Xg - 1.


Fonctions centrales et algèbre du groupe

Article détaillé : Algèbre d'un groupe fini.

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 :

\forall (a_s)_{s\in G}\, , \, (b_t)_{t\in G}\in K^G \quad (\sum_{s\in G} a_s.s)(\sum_{t\in G} b_t.t)= \sum_{s\in G}\sum_{t\in G} a_sb_t.st

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 (Si) où i varie de 1 à h est une famille maximale d'espaces irréductibles non isomorphes deux à deux, alors :

\mathbb K[G] \; \simeq \; \bigoplus_{i=1}^h \mathcal L_{\mathbb K}(S_i)

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 dc 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 dc lorsque c parcourt l'ensemble des classes de conjugaison.

Si dc 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 KC dans le centre de K[G] est un isomorphisme d'algèbre sur K.
\forall f \in \mathbb K^G \quad \varphi (f) = \sum_{c \in C} f(c).d_c

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 LK(Si), 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 di la dimension de Si :

  • Soit u un élément du centre de K[G] et us ses coordonnées dans la base canonique, l'image de u par φ est une somme directe d'homothéties sur Si de rapport λi avec :
\forall i \in [1,h]\quad \lambda_i = \frac{1}{d_i}\sum_{s \in G} u_s \chi_i(s)

Notes et références

Liens externes

Références

  • Jean-Pierre Serre, Représentations linéaires des groupes finis [détail des éditions]
  • (en) Marshall Hall, The theory of groups [détail des éditions]
  • Serge Lang, Algèbre, Dunod, 2004, 926 p. (ISBN 2100079808) [détail des éditions]
  • N. Bourbaki Algèbre, Chapitre VIII Paris, Hermann 1958
  • Portail des mathématiques Portail des mathématiques
Ce document provient de « Fonction centrale d%27un groupe fini ».

Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Fonction centrale d'un groupe fini de Wikipédia en français (auteurs)

Игры ⚽ Поможем сделать НИР

Regardez d'autres dictionnaires:

  • Fonction Centrale D'un Groupe Fini — 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… …   Wikipédia en Français

  • 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… …   Wikipédia en Français

  • Fonction centrale — En théorie des groupes, une fonction centrale est une application définie sur un groupe et constante le long de ses classes de conjugaison. Les fonctions centrales à valeurs complexes interviennent dans l étude des représentations d un groupe… …   Wikipédia en Français

  • Caractère d'une représentation d'un groupe fini — En mathématiques le caractère d une représentation d un groupe fini est un outil utilisé pour analyser les représentations d un groupe fini. Le caractère d une représentation (V, ρ) d un groupe G correspond à l application de G dans le corps de l …   Wikipédia en Français

  • Theorie des representations d'un groupe fini — Théorie des représentations d un groupe fini Ferdinand Georg Frobenius, fondateur de la théorie de la représentation des groupes. En mathématiques et plus précisément en théorie des groupes, la théorie des représentations d un groupe fini est un… …   Wikipédia en Français

  • Caractere d'une representation d'un groupe fini — Caractère d une représentation d un groupe fini Fichier:Ferdinand Georg Frobenius.jpg Ferdinand Georg Frobenius fondateur de la théorie des caractères En mathématiques le caractère d une représentation d un groupes finis est un outil utilisé pour …   Wikipédia en Français

  • Caractère D'une Représentation D'un Groupe Fini — Fichier:Ferdinand Georg Frobenius.jpg Ferdinand Georg Frobenius fondateur de la théorie des caractères En mathématiques le caractère d une représentation d un groupes finis est un outil utilisé pour analyser les représentations d un groupe fini.… …   Wikipédia en Français

  • Caractères d'une représentation d'un groupe fini — Caractère d une représentation d un groupe fini Fichier:Ferdinand Georg Frobenius.jpg Ferdinand Georg Frobenius fondateur de la théorie des caractères En mathématiques le caractère d une représentation d un groupes finis est un outil utilisé pour …   Wikipédia en Français

  • Théorie des caractères d'un groupe fini — Caractère d une représentation d un groupe fini Fichier:Ferdinand Georg Frobenius.jpg Ferdinand Georg Frobenius fondateur de la théorie des caractères En mathématiques le caractère d une représentation d un groupes finis est un outil utilisé pour …   Wikipédia en Français

  • Théorie des caractères d'une représentation d'un groupe fini — Caractère d une représentation d un groupe fini Fichier:Ferdinand Georg Frobenius.jpg Ferdinand Georg Frobenius fondateur de la théorie des caractères En mathématiques le caractère d une représentation d un groupes finis est un outil utilisé pour …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”