Caractère d'un groupe fini 1539044 29612024 2008-05-15T21:43:21Z Dhatier 269771 otho En [[mathématiques]], un '''[[Caractère (mathématiques)|caractère]] d'un [[groupe fini]]''' est une notion associée à la [[théorie des groupes]]. Un '''caractère d'un groupe fini''' ''G'' est un [[homomorphisme de groupe|morphisme du groupe]] ''G'' dans ''C''<sup>*</sup> le [[corps (mathématiques)|corps]] des [[nombre complexe|nombres complexes]] non nuls. Ce concept permet de définir le '''groupe dual''' de ''G'', composé de l'ensemble des caractères de ''G''. Il est à la base de l'[[analyse harmonique]] sur les groupes finis. ==Définitions et exemples== ===Définitions et premières propriétés=== Dans tout l'article, ''G'' désigne un groupe fini d'ordre ''g'', ''C'' le corps des nombres complexes et ''C''<sup>*</sup> l'ensemble des nombres complexes non nuls. Sauf mention contraire, le groupe est noté multiplicativement et l'inverse d'un élément ''s'' de ''G'' est noté ''s''<sup>-1</sup>. Le [[conjugué]] d'un nombre complexe ''z'' est noté ''z''<sup>*</sup>. :* Un '''caractère''' de ''G'' est un morphisme du groupe ''G'' dans ''C''<sup>*</sup>. Un caractère correspond à un cas particulier de [[théorie des représentations d'un groupe fini|représentation d'un groupe fini]], celui où l'[[espace vectoriel]] de la représentation est celui des nombres complexes. Dans ce contexte, un caractère est aussi le [[caractère d'une représentation d'un groupe fini|caractère d'une représentation]] au sens de la [[trace (algèbre)|trace]]. :* ''Un caractère χ de ''G'' prend ses valeurs dans les [[racine de l'unité|racines ''g''-ièmes de l'unité]] et vérifie l'égalité suivante :'' <center><math>\forall s \in G \quad \chi(s^{-1}) = \chi(s)^* \; </math></center> En effet, le [[Théorème de Lagrange (algèbre)|théorème de Lagrange]] indique que si ''s'' est un élément de ''G'', alors ''s''<sup>g</sup> = 1, on en déduit que l'image de ''s'' par χ est une racine ''g''-ième de l'unité et toute racine ''g''-ième de l'unité admet pour inverse son conjugué. :* L'ensemble des caractères de ''G'' est appelé '''groupe dual''' de ''G'' et est généralement noté <math>\scriptstyle \widehat G </math>. Le dual de ''G'' est naturellement munis d'une multiplication, celle des fonctions à valeur dans ''C'' : :* ''La multiplication confère au dual de ''G'' une structure de [[groupe abélien fini]].'' En effet, le dual de ''G'' est non vide car il contient au moins l'application qui à tout élément de ''G'' associe l'unité, ce caractère est l'élément neutre du groupe. L'[[associativité]] est une propriété générale de la multiplication des fonctions. Si χ est un caractère, l'application qui à tout élément de ''G'' associe le conjugué de χ est un caractère qui correspond à l'inverse de χ, tout élément du dual possède donc un symétrique. Enfin le corps des nombres complexes est commutatif, ce qui implque le caractère abélien du dual de ''G''. Un caractère est une application d'un ensemble de départ fini et son image, contenue dans le groupe des racines ''g''-ièmes de l'unité est aussi fini, ce qui démontre que le dual est un groupe fini. ===Premiers exemples=== Considérons le cas ou ''G'' est le [[groupe symétrique]] d'indice ''n''. L'application [[signature d'une permutation|signature]] est un caractère à valeur dans {-1, 1}. Si ''G'' est égal à ''Z''/2.''Z'' où ''Z'' désigne l'ensemble des [[entier naturel|entiers naturels]], alors il existe deux caractères, celui qui à la classe de 1 associe 1 et celui qui associe -1. Si ''G'' est égal à ''Z''/3.''Z'', alors il existe trois caractères, défini par les trois valeurs que peuvent prendre l'image de la classe de 1 : 1, ''j'' ou ''j''<sup>*</sup>. Ici ''j'' désigne la racine cubique de l'unité ayant une partie imaginaire positive. ==Cas commutatif== Dans le cas où ''G'' est [[groupe abélien fini|commutatif]], le groupe dual possède une propriété intéressante, il est isomorphe à ''G'', ce qui permet simplement de construire une analyse harmonique sur ''G''. ===Groupe cyclique=== {{Article détaillé|Groupe cyclique}} Dans ce pararagraphe le groupe cyclique d'ordre ''g'' est noté ''C''<sub>g</sub> et ω désigne une racine primitive ''g''-ième de l'unité, c'est à dire un générateur du groupe des racines ''g''-ièmes de l'unité. Le symbole 1<sub>C</sub> désigne ici un générateur du groupe ''C''<sub>g</sub> et si ''s'' est un entier compris entre 0 et ''g'' - 1, alors ''s''<sub>C</sub> désigne la valeur ''s''.1<sub>C</sub>. Un cas simple d'analyse du groupe dual correspond au groupe cyclique, il est décrit par les propositions suivantes : :* ''Pour tout caractère χ de ''C''<sub>g</sub>, il existe un entier ''i'' compris entre 1 et ''g'' - 1 tel que l'égalité suivante est vérifiée : '' <center><math>\forall s_C \in C_g \quad \chi(s_C) = \omega^{i.s}\;</math></center> :* ''Réciproquement, si ''i'' est un entier compris entre 1 et ''g'' - 1 et si χ<sub>i</sub> est l'application définie par l'égalité suivante, alors χ<sub>i</sub> est un caractère de ''C''<sub>g</sub>.'' <center><math>\forall s_C \in C_g \quad \chi_i(s_C) = \omega^{i.s}\;</math></center> :* ''Si ''i'' est un entier compris entre 1 et ''g'' - 1, alors l'application de ''C''<sub>g</sub> dans son dual, qui à ''i''<sub>C</sub> associe χ<sub>i</sub> est un [[isomorphisme]] de groupe.'' {{boîte déroulante|align=left|titre=Démonstrations|contenu= :* '''Pour tout caractère χ de ''C''<sub>g</sub>, il existe un entier ''i'' compris entre 1 et ''g'' - 1 tel que l'égalité suivante est vérifiée : ''' <center><math>\forall s_C \in C_g \quad \chi(s_C) = \omega^{i.s}\;</math></center> χ(1<sub>C</sub>) est une racine de l'unité et ω est une racine primitive, il existe donc un entier ''i'' compris entre 1 et ''g'' - 1 tel que χ(1<sub>C</sub>) est égal à ω<sup>i</sup>. Les propriétés de morphisme de χ montre l'égalité suivante, ce qui permet de conclure : <center><math>\forall s \in [0, g-1] \quad \chi(s_C)=\chi(s.1_C)=\chi(1_C)^s=\omega^{i.s}\;</math></center> :* '''Si ''i'' est un entier compris entre 1 et ''g'' - 1 et si χ<sub>i</sub> est l'application définie par l'égalité suivante, alors χ<sub>i</sub> est un caractère de ''C''<sub>g</sub>.''' <center><math>\forall s_C \in C_g \quad \chi_i(s_C) = \omega^{i.s}\;</math></center> Il suffit de vérifier que χ<sub>i</sub> est bien un morphisme de groupe. Cette propriété découle des égalités suivantes : <center><math>\forall s_C, t_C \in C_g \quad \chi_i(s_C.t_C) = \chi_i(st. 1_C) = \omega^{i.st}=\chi_i(s_C).\chi_i(t_C)\;</math></center> :* '''Si ''i'' est un entier compris entre 1 et ''g'' - 1, alors l'application φ de ''C''<sub>g</sub> dans son dual, qui à ''i''<sub>C</sub> associe χ<sub>i</sub> est un isomorphisme de groupe.''' Vérifions que l'application φ est un morphisme : <center><math>\forall i,j \in [0, g-1] \quad \forall s_C\in C_g \quad \varphi(i_C+j_C)(s_C)=\chi_{i_C+j_C}(s_C)= \omega^{(i+j)s} = \omega^{is}.\omega^{js} = \chi_i(s_C).\chi_j(s_C)=\varphi(i_C)(s_C).\varphi(j_C)(s_C)\;</math></center> Le noyau de φ est réduit à l'élément neutre, l'application est donc [[Injection (mathématiques)|injective]], de plus les deux propositions précédentes montre que l'ordre du groupe dual est égal à ''g'', le cardinal de ''C''<sub>g</sub>, l'application est donc [[surjection|surjective]], ce qui termine la démonstration. }} ===Groupe abélien=== {{Article détaillé|Théorème de Kronecker}} Les résultats du paragraphe précédent se généralisent à tous les groupes abéliens finis: :* ''Le dual d'un groupe abélien fini ''G'' est isomorphe à ''G''.'' Ce résultat découle du fait qu'un groupe abélien fini est un produit de groupes cycliques et de la proposition suivante : :* ''Soit ''H'' et ''K'' deux groupes abéliens, le dual du [[produit direct (groupes)|produit direct]] de ''H'' et de ''K'' est isomorphe au produit des duals de ''H'' et de ''K''.'' {{boîte déroulante|align=left|titre=Démonstrations|contenu= :* '''Soit ''H'' et ''K'' deux groupes abéliens, le dual du [[produit direct (groupes)|produit direct]] de ''H'' et de ''K'' est isomorphe au produit des duals de ''H'' et de ''K''.''' Notons ''i''<sub>H</sub> (resp. ''i''<sub>K</sub>) le morphisme canonique de ''H'' (resp. ''K'') dans ''H''x''K''. Considérons alors le morphisme ψ du dual de ''H''x''K'' dans le produit des duals défini par : <center><math>\forall \chi \in \widehat {H\times K} \quad \psi (\chi) = (\chi \circ i_H , \chi \circ i_K) \; </math></center> L'application ψ est un morphisme injectif, soit χ<sub>H</sub>, χ<sub>K</sub> deux éléments des duals de ''H'' et de ''K''. On remarque que l'application χ<sub>HxK</sub> de ''H''x''K'' dans ''C''<sup>*</sup> définie par : <center><math>\forall (h,k) \in H\times K \quad \chi_{H \times K}(h,k)=\chi_H(h).\chi_K(k) \;</math></center> est un caractère de ''H''x''K'' antécédent de (χ<sub>H</sub>, χ<sub>K</sub>). L'application ψ est donc bien surjective. Ce qui termine la démonstration. :* '''Le dual d'un groupe abélien fini ''G'' est isomorphe à ''G''.''' Le théorème de structure des groupes abéliens finis (cf l'article associé) montre que ''G'' est isomorphe à un produit de groupe cycliques. Une récurrence sur le nombre de cycles et la proposition précédente permet alors de conclure. }} ==Algèbre du groupe== {{Article détaillé|Algèbre d'un groupe fini}} Ici ''G'' désigne un groupe fini quelconque, ''C''[''G''] désigne l'algèbre complexe du groupe ''G'' et (e<sub>s</sub>) la base canonique de l'algèbre indexée par les éléments ''s'' de ''G''. L'algèbre du groupe ''G'', noté ici ''C''[''G''] est un espace vectoriel de base canonique indexée par ''G''. Un élément du groupe dual de ''G'' se prolonge linéairement en un élément du [[espace dual|dual]] de ''C''[''G''] considéré comme un espace vectoriel. Il est donc possible d'identifier le groupe dual de ''G'' comme un sous-ensemble de l'espace dual de ''C''[''G'']. Si ''C''[''G''] est munis du [[produit hermitien]] canonique < | >, défini par la formule suivante, alors le dual de ''C''[''G''] s'identifie avec l'algèbre du groupe, le groupe dual est donc identifié avec un sous-ensemble de ''C''[''G''] : <center><math>\forall x,y \in \mathbb C[G] \quad \exists (x_s)_{s \in G},(y_t)_{t \in G} \in \mathbb C^G \quad <x|y>=<\sum_{s \in G} x_s.e_s|\sum_{t \in G} y_t.e_t>=\frac 1g \sum_{s,t \in G} x_s^*.y_s \;</math></center> :* ''Le groupe dual de ''G'' est une famille [[base orthonormale|orthonormale]].'' :* ''Le groupe dual de ''G'' est élément du [[centre (algèbre)|centre]] de l'algèbre du groupe ''G''.'' :* ''Le groupe dual de ''G'' est une base de l'algèbre du groupe ''G'' si et seulement si ''G'' est un groupe abélien.'' Ces trois propositions correspondent à des cas particuliers de la théorie des représentations d'un groupe fini, elles se démontrent simplement dans le cas présent : {{boîte déroulante|align=left|titre=Démonstrations|contenu= :* '''Le groupe dual de ''G'' est une famille orthonormale.''' Soit χ un caractère du groupe ''G'', alors χ<sup>*</sup>.χ = χ<sup>-1</sup>.χ = 1<sub>C[G]</sub> où 1<sub>C[G]</sub> désigne l'élément neutre de l'algèbre du groupe. On en déduit : <center><math>\forall \chi \in \widehat G \quad <\chi|\chi>= \frac 1g \sum_{s \in G} \chi^{-1}(s).\chi(s) = \frac gg = 1 </math></center> Si χ<sub>1</sub> et χ<sub>2</sub> sont deux caractères distincts de ''G''. Notons χ le caractère χ<sub>1</sub><sup>-1</sup>.χ<sub>2</sub> alors : <center><math>\forall t \in G \quad \chi(t)<\chi_1|\chi_2>= \frac 1g \chi(t).\sum_{s \in G} \chi_1^{-1}(s).\chi_2(s) = \frac 1g \sum_{s \in G} \chi(st)= \frac 1g \sum_{s \in G} \chi(s) = <\chi_1|\chi_2> </math></center> Si ''t'' est choisi de tel manière à ce que χ(''t'') soit différent de 1, alors on en déduit que χ<sub>1</sub> et χ<sub>2</sub> sont orthogonaux. :* '''Le groupe dual de ''G'' est inclus dans le centre de l'algèbre du groupe ''G''.''' Il suffit pour cela de remarquer que tout caractère du groupe est une [[fonction centrale d'un groupe fini|fonction centrale]] et que l'ensemble des fonctions centrales est le centre de l'algèbre. :* '''Le groupe dual de ''G'' est une base de l'algèbre du groupe ''G'' si et seulement si ''G'' est un groupe abélien.''' Le groupe dual est une famille orthogonale, elle est donc libre. Si le groupe ''G'' est abélien, le groupe dual possède le même cardinal que le groupe ''G'' donc son ordre est celui de la dimension de l'algèbre du groupe. Si le groupe ''G'' n'est pas abélien son algèbre associé ne l'est pas non plus, le groupe dual engendre un espace vectoriel inclus dans le centre de ''C''[''G''] qui n'est pas égal à l'algèbre entière. }} ==Bidual== Dans le cas où le groupe ''G'' est abélien, et de manière analogue à l'[[algèbre linéaire]], il existe un isomorphisme canonique entre ''G'' et son bidual (c'est à dire le dual de son dual). :* ''L'application φ, définie par l'égalité suivante, est un isomorphisme entre ''G'' et son bidual :'' <center><math>\forall s \in G \quad \forall \chi \in \widehat G \quad \varphi(s)(\chi) = \chi(s) \;</math></center> En effet, l'application φ est un morphisme injectif, l'égalité des cardinaux d'un groupe abélien et de son dual démontre la surjectivité et termine la démonstration. ==Applications== ===Analyse harmonique sur un groupe abélien fini=== {{Article détaillé|Analyse harmonique sur un groupe abélien fini}} Dans le cadre d'un groupe abélien fini, il est possible de définir la [[transformée de Fourier]] et le [[produit de convolution]]. La théorie de l'[[analyse harmonique]] est analogue à celle du corps des [[nombre réel|réels]]. On démontre l'[[égalité de Parseval]], le [[théorème de Plancherel]], la [[dualité de Pontryagin]] et la [[formule sommatoire de Poisson]]. ==Notes et références== ===Liens externes=== * {{fr}} [http://nikopol0.alrj.org/articles/files/caracteres/caracteres/node3.html Dual d'un groupe] par G. Peyre * {{fr}} [http://www.ufr-mi.u-bordeaux.fr/CSI/Cours/mathdis.pdf Mathématiques discrètes de la transformée de Fourier] C. Bachoc Université de Bordeaux I ===Références=== * Michel Demazure ''Cours d'algèbre. Primalité, divisibilité, codes'' Cassini 1997 * {{Serre1}} * A. Warusfel ''Structures algébriques finies'' Hachette 1971 * G. Peyré ''L'algèbre discrète de la transformée de Fourier'' Ellipses Marketing 2004 {{portail mathématiques}} [[Catégorie:Analyse harmonique discrète]] [[Catégorie:Caractère de Dirichlet]] [[en:Character group]]