- Analyse harmonique sur un groupe abelien fini
-
Analyse harmonique sur un groupe abélien fini
En mathématiques, l'analyse harmonique sur un groupe abélien fini est un cas particulier d'analyse harmonique correspondant au cas où le groupe est abélien et fini.
L'analyse harmonique permet de définir la notion de transformée de Fourier ou le produit de convolution. Elle est le cadre de nombreux théorèmes comme celui de Plancherel, l'égalité de Parseval ou la dualité de Pontryagin.
Le cas où le groupe est abélien et fini est le plus simple de la théorie, la transformée de Fourier se limite à une somme finie et le groupe dual est isomorphe au groupe d'origine.
L'analyse harmonique sur un groupe abélien fini possède de nombreuses applications, particulièrement en arithmétique modulaire et en théorie de l'information.
Sommaire
Contexte
Algèbre du groupe
Article détaillé : Algèbre d'un groupe fini.L'analyse harmonique constitue un outil d'étude de l'espace des applications CG d'un ensemble, ici un groupe abélien fini G (noté dans tout l'article additivement), dans le corps des nombres complexes C. Cet espace dispose de plusieurs structures. Dans un premier temps, comme C est un corps, CG est un espace vectoriel complexe de dimension g si g désigne l'ordre du groupe G. Il est naturellement muni d'un produit hermitien défini par :
Ici, et dans le reste de l'article si z désigne un nombre complexe, z* désigne son conjugué. Ce produit hermitien dit canonique, confère à CG une structure d'espace de Hilbert, noté L2(G).
Dans tout l'article (es) où s décrit G, désigne la base canonique de CG, c'est-à-dire que es désigne la fonction qui à t élément de G associe 0 sauf si t est égal à s et alors es(s) = 1.
L'espace vectoriel engendré par la famille (es) est muni de la multiplication interne suivante, prolongeant celle du groupe G :
Cette multiplication confère à L2(G) une structure d'algèbre semi-simple, en général notée C[G].
La théorie de l'analyse harmonique sur un groupe abélien fini utilise indifféremment les notations L2(G) ou C[G] pour désigner la structure de base de la théorie. Dans cet article les notations utilisées sont celles de C[G]. Ainsi, si a est un élément de l'algèbre, on utilise ici la notation as pour désigner la coordonnée de a dans la base canonique, cette notation correspond à l'égalité as = a(s) si a est considéré comme un élément de L2(G).
Groupe dual
Article détaillé : caractère d'un groupe fini.Le groupe dual de G, noté ici est constitué de l'ensemble de s caractères de G. Il forme un groupe isomorphe à G. Il est constitué d'applications de G dans C, donc est inclus dans L2(G) identifié ici à C[G]. Il forme en fait une base orthonormale de l'algèbre.
L'algèbre du groupe dual est canoniquement isomorphe à l'ensemble des applications du groupe dual dans C. Ces applications se prolongent par linéarité en une application qui à une combinaison linéaire de caractère associe un complexe, c'est-à-dire à un élément du dual de l'algèbre C[G]. Le dual de C[G] est donc canoniquement isomorphe à l'algèbre du groupe dual de G.
Théorie de l'analyse harmonique
Transformée de Fourier
Article détaillé : Transformée de Fourier.L'égalité de Parseval dans le cas d'un espace de dimension finie montre que tout élément a de C[G] vérifie l'égalité suivante :
Ici (as) désigne les coordonnées de a dans la base canonique et (aχ) les coordonnées de a dans la base des caractères.
-
- La transformée de Fourier d'un élément a de C[G] correspond à la fonction généralement notée du groupe dual de G dans C, c'est à dire une fonction qui à un caractère du groupe associe un complexe, définie par :
-
- La transformée de Fourier est une application linéaire de l'algèbre de G dans son dual.
Egalité de Parseval
Article détaillé : Égalité de Parseval.Le produit hermitien génère une isométrie canonique entre l'algèbre de G et son dual. Il est donc possible de les identifier, dans ce contexte, la propriété suivante est vérifiée :
DémonstrationSi b est égal à a, alors comme le groupe dual est une base orthonormale de son algèbre :
Enfin, dans le cas général :
On en déduit :
Le même calcul sur <a + b , i(a + b)> montre que les parties imaginaires sont aussi égales. Ce qui démontre le caractère isométrique de la transformation.
L'aspect injectif de la transformation provient du fait qu'elle est une isométrie, la surjectivité se se démontre en remarquant que les deux espaces de départ et d'arrivée ont même dimension.
Formule de Plancherel
Article détaillé : Théorème de Plancherel.-
- La formule suivante, dite d'inversion de Plancherel, est vérifiée.
En effet, les produits hermitiens de chacun des deux membres de l'égalité par un même caractère sont égaux :
Produit de convolution
Article détaillé : Produit de convolution.Le produit de convolution se définit simplement dans ce contexte :
-
- Soit a et b deux éléments de l'algèbre du groupe G ayant pour coordonnées (as) et (bs), le produit de convolution de a et de b, noté a * b, est l'élément de l'algèbre ayant les coordonnées (cs) définies par :
On dispose de la proposition suivante :
-
- Soit a et b deux éléments de l'algèbre du groupe G, la transformée de Fourier de a * b est le produit des transformées de Fourier de a et de b.
En effet, si χ est un caractère du groupe :
Si l'on note u la valeur s - t, on obtient :
On en déduit les propriétés usuelles du produit de convolution :
-
- Le produit de convolution est une opération interne de l'algèbre du groupe commutative, associative, distributive par rapport à l'addition.
On peut exprimer ces propriétés de la manière suivante :
-
- La structure (C[G], + , *) est une algèbre semi-simple isomorphe à l'algèbre du dual de G et donc à C[G].
En effet, il suffit de remarquer que G et son dual sont isomorphes.
Dualité de Pontryagin
Article détaillé : Dualité de Pontryagin.-
- Soit H un sous-groupe de G, on appelle groupe orthogonal de H, souvent noté , le sous-groupe du groupe dual de G défini de la manière suivante :
La dualité de Pontryagin s'exprime à travers les trois propriétés suivantes :
-
- G et son bidual sont canoniquement isomorphes.
- Le dual du quotient G/H est isomorphe à l'orthogonal de H.
- Le dual de H est isomorphe au quotient du dual de G par l'orthogonal de H.
Démonstrations-
- G et son bidual sont canoniquement isomorphes.
La démonstration est donnée dans le paragraphe Bidual de l'article caractère d'un groupe fini.
-
- Le dual du quotient G/H est isomorphe à l'orthogonal de H.
Soit S la surjection canonique de G dans G/H, considérons l'application φ du dual de G/H dans le dual de G définie par :
Si χ est un caractère de G/H, alors φ(χ) est la composée de deux morphismes donc est un morphisme et il est à valeur dans C*, φ(χ) est donc un caractère de G. On remarque de plus que φ est clairement un morphisme de groupe.
Le noyau de S est égal à H, φ possède donc une image incluse dans l'orthogonal de H. Montrons alors que tout élément ζ de l'orthogonal de H possède un antécédent par φ. On remarque que ζ est constant sur toutes les classes de G/H, en effet :
Soit χ le caractère du groupe G/H défini par :
La fonction χ est bien définie car ζ est constant sur toutes les classes de G/H, elle définit bien un morphisme et χ est un caractère de G/H. Son image par φ est clairement égal à ζ. L'application φ possède donc pour image l'orthogonal de H. Son noyau est composé du caractère constant égal à un sur toutes les classes de G/H et l'application φ est donc injective, elle est donc un isomorphisme entre le dual de G/H et le groupe orthogonal de H, ce qui termine la démonstration.
-
- Le dual de H est isomorphe au quotient du dual de G par l'orthogonal de H.
Soit ψ l'application du dual de G dans le dual de H qui à un caractère du groupe G associe sa restriction à H. L'application ψ est un morphisme de groupe.
Son noyau est composé des caractères constants égaux à 1 sur H, c'est à dire à l'orthogonal de H. Par passage au quotient, on obtient un morphisme θ du quotient du dual de G par l'orthogonal de H à valeur dans le dual de H. La proposition précédente montre l'égalité entre les ordres des ensembles de départ et d'arrivée de θ, et comme θ est injective, la proposition est démontrée.
Formule sommatoire de Poisson
Article détaillé : Formule sommatoire de Poisson.Dans ce paragraphe H désigne un sous-groupe de G, h son ordre et k l'ordre du groupe orthogonal de H. L'égalité h.k = g est donc vérifiée. On note a un élément de l'algèbre de G et as ses coordonnées dans la base canonique.
-
- L'égalité suivante, dite formule sommatoire de Poisson est vérifiée :
DémonstrationSoit b0 l'élément de l'algèbre de coordonnées (bs0) dans la base canonique de C[G] définies par les égalités suivantes :
Les coordonnées de b0 sont constante sur chaque classe de G/H, ce qui permet de définir un élément b de l'algèbre du groupe G/H dont les coordonnées dans la base canonique indexée par les éléments de G/H sont :
Appliquons alors la formule de Plancherel à l'élément b au point de coordonnées l'élément nul de G/H :
La dualité de Pontryagin montre qu'il existe un unique caractère χ de G tel que si t est un élément de une classe quelconque de G/H, alors χ(t) est égal à ζ(). Soit (ui) pour i variant de 1 à k une famille de représentants des classes de G/H, les coefficients de Fourier vérifient les égalités suivantes :
De plus, le caractère χ est constant sur chaque classe de G/H, on en déduit :
La dualité de Pontryagin indique que si ζ décrit les caractères de G/H, alors χ décrit le groupe orthogonal de H, on en déduit :
Ce qui termine la démonstration.
Applications
Arithmétique modulaire
Article détaillé : Arithmétique modulaire.Les premières utilisations historiques des caractères ont pour objectif l'arithmétique. Le symbole de Legendre est un exemple de caractère sur le groupe multiplicatif du corps fini Z/pZ où Z désigne l'anneau des entiers relatifs et p un nombre premier impair.
Il est utilisé pour le calcul des sommes de Gauss ou des périodes de Gauss. Ce caractère est à la base d'une démonstration de la loi de réciprocité quadratique.
Symbole de Legendre
Article détaillé : Symbole de Legendre.Dans ce paragraphe p désigne un nombre premier impair (c'est-à-dire différent de deux). G est ici le groupe Z/pZ. Le symbole de Legendre désigne la fonction, qui à un entier a, associe 0 si a est un multiple de p, 1 si la classe de a est un carré différent de 0 dans Z/pZ et -1 sinon.
-
- L'image de la fonction symbole de Legendre sur le groupe multiplicatif de Z/pZ correspond au caractère à valeur dans l'ensemble {-1, 1}.
En effet, le symbole de Legendre est défini sur Z. Cette fonction est constante sur les classes d'entiers modulo p, elle est donc définie sur le groupe multiplicatif de Z/pZ. Sur ce groupe, le symbole de Legendre prend ses valeurs dans l'ensemble {-1, 1} et est un morphisme de groupe, car le symbole de Legendre est un caractère de Dirichlet.
Les démonstrations sont données dans l'article associé.
Somme de Gauss
Article détaillé : Somme de Gauss.Dans le reste de l'article, Fp désigne le corps fini de cardinal p ou p est un nombre premier impair.
-
- Soit ψ un caractère du groupe additif (Fp, +) et χ un caractère du groupe multiplicatif (Fp*, .), alors la somme de Gauss associé à χ et ψ est le nombre complexe, ici noté G(χ, ψ) et défini par :
En termes de transformée de Fourier, on peut considérer l'application qui à χ associe G(χ, ψ*) comme la transformée de Fourier du prolongement de χ à Fp par l'égalité χ(0) = 0 dans le groupe additif du corps et l'application qui à ψ associe G(χ*, ψ) comme la transformé de Fourier de la restriction de ψ à Fp* dans le groupe multiplicatif du corps.
Les sommes de Gauss sont largement utilisées en arithmétique, par exemple pour le calcul des périodes de Gauss, elles par exemple, de déterminer la somme des valeurs du groupe des résidus quadratiques des racines p-ièmes de l'unité et plus généralement de déterminer les racines du polynôme cyclotomique d'indice p.
Loi de réciprocité quadratique
Article détaillé : Loi de réciprocité quadratique.Les sommes de Gauss ont une application historique importante, la loi de réciprocité quadratique, elle s'exprime de la manière suivante :
-
- Soit p et q deux nombres premiers impairs distincts, l'égalité suivante est vérifiée :
Ce théorème est démontré dans l'article Somme de Gauss.
Caractère de Dirichlet
Article détaillé : Caractère de Dirichlet.Pour démonter le théorème de la progression arithmétique, affirmant que toute classe inversible de l'anneau Z/nZ contient une infinité de nombres premiers, Dirichlet généralise les travaux de Gauss et étudie systématiquement le groupe des caractères du groupe de l'unité d'un quotient de Z.
L'utilisation de la transformée de Fourier est une étape clé de la démonstration. Les caractères de Dirichlet ont un rôle important dans la théorie analytique des nombres particulièrement pour analyser les racines de la fonction ζ de Rieman.
Espace vectoriel fini
Article détaillé : Analyse harmonique sur un espace vectoriel fini.Un cas particulier est celui des espaces vectoriels sur un corps fini. Les propriétés des corps finis permettent d'établir les résultats de la théorie sous une forme légèrement différente. Ce cas est utilisé par exemple en théorie de l'information à travers l'étude des fonctions booléennes, correspondant au cas où le corps contient deux éléments. La théorie est utilisée pour résoudre des questions de cryptologie notamment pour les boîtes-S, ainsi que pour les chiffrements par flot. L'analyse harmonique sur un espace vectoriel fini intervient aussi dans le contexte de la théorie des codes et particulièrement pour les codes linéaires, par exemple pour établir l'identité de MacWilliams.
Notes et références
Liens externes
- (fr) Dual d'un groupe fini par G. Peyre
- (fr) Analyse harmonique sur les groupes finis commutatifs par A. Bechata
- (fr) 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
- Jean-Pierre Serre, Cours d'arithmétique [détail des éditions]
- 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 des mathématiques
Catégories : Analyse harmonique discrète | Caractère de Dirichlet -
Wikimedia Foundation. 2010.