Analyse harmonique sur un groupe abélien fini - Définition

Introduction

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.

Contexte

Algèbre du groupe

L'analyse harmonique constitue un outil d'étude de l'espace des applications C^G 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, C^G 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 à C^G une structure d'espace de Hilbert, noté L²(G).

Dans tout l'article (e_s) où s décrit G, désigne la base canonique de C^G, c'est-à-dire que e_s désigne la fonction qui à t élément de G associe 0 sauf si t est égal à s et alors e_s(s) = 1.

L'espace vectoriel engendré par la famille (e_s) est muni de la multiplication interne suivante, prolongeant celle du groupe G :

Cette multiplication confère à L²(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 L²(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 a_s pour désigner la coordonnée de a dans la base canonique, cette notation correspond à l'égalité a_s = a(s) si a est considéré comme un élément de L²(G).

Groupe dual

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 L²(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.

Applications

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

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

Dans le reste de l'article, F_p désigne le corps fini de cardinal p ou p est un nombre premier impair.

• Soit ψ un caractère du groupe additif (F_p, +) et χ un caractère du groupe multiplicatif (F_p^*, .), 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 χ à F_p 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 ψ à F_p^* 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

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

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

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.