Caractère d'un groupe fini

En mathématiques, un 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 morphisme de groupes de G dans le groupe multiplicatif ℂ* des 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 abéliens finis.

Cette notion correspond à un cas particulier de caractère d'une représentation d'un groupe fini.

Définitions et premières propriétés

Définitions

Dans tout l'article, G désigne un groupe fini d'ordre g, ℂ le corps des nombres complexes, ℂ* le groupe multiplicatif des nombres complexes non nuls et U_g le sous-groupe des g racines g-ièmes de l'unité. Le groupe G est noté multiplicativement et l'inverse d'un élément s de G est noté s⁻¹. Le conjugué d'un nombre complexe z est noté z.

• Un caractère de G est un morphisme de groupes de G dans ℂ*.

Un caractère correspond donc à un cas particulier de représentation d'un groupe fini : c'est le caractère d'une représentation complexe de degré 1 de ce groupe.

• L'ensemble des caractères de G est appelé groupe dual de G et est généralement noté Ĝ^[1].

Sa structure de groupe sera élucidée au paragraphe suivant.

Propriétés

• Tout caractère de G prend ses valeurs dans le sous-groupe U_g des racines g-ièmes de l'unité.

En effet, un « théorème de Lagrange » indique que si s est un élément de G, alors s^g = 1 ; on en déduit que l'image de s par un caractère est une racine g-ième de l'unité.

• Un caractère χ vérifie :

${\displaystyle \forall s\in G\quad \chi (s^{-1})={\overline {\chi (s)}}.}$

Ceci se déduit de la propriété précédente, ou des propriétés de tout caractère d'un groupe compact.

• La multiplication confère au dual de G une structure de groupe abélien fini.

En effet, le dual de G est un cas particulier d'ensemble de morphismes de G dans un groupe abélien H (avec ici H = U_g). Or un tel ensemble est toujours un groupe abélien, comme sous-groupe du groupe abélien produit H^G (constitué des applications de G dans H et muni de la multiplication par valeurs dans H). De plus, si G et H sont finis alors H^G aussi.

Exemples

• Considérons le cas où G est le groupe symétrique d'indice n. L'application signature est un caractère à valeurs dans U₂ = {–1, 1}.
• Le dual d'un groupe cyclique d'ordre g est isomorphe au groupe U_g (lui aussi cyclique d'ordre g). En effet, si x est un générateur de G, le morphisme canonique d'évaluation en x, de Ĝ dans U_g, qui à tout caractère χ associe le complexe χ(x), est bijectif (cette bijectivité se démontre exactement comme dans l'étude des endomorphismes d'un groupe cyclique).

Cas commutatif

Dual

• Le dual d'un groupe abélien fini G est isomorphe à G.

Ce résultat se déduit du cas cyclique à l'aide du théorème de Kronecker, selon lequel un groupe abélien fini est un produit fini de groupes cycliques, et de la propriété universelle d'un tel produit :

Soient (G_i) une famille de groupes et H un groupe abélien. Le groupe des morphismes de ∑ G_i dans H est canoniquement isomorphe au produit des groupes Hom(G_i,H).

Bidual

De manière analogue aux espaces vectoriels de dimension finie, l'isomorphisme entre un groupe abélien fini G et son dual n'est pas canonique, mais il existe un isomorphisme canonique entre G et son bidual (c'est-à-dire le dual de son dual).

• Le morphisme injectif canonique ${\displaystyle \varphi }$ de G dans son bidual, défini par l'égalité suivante, est un isomorphisme si G est un groupe abélien fini
  ${\displaystyle \forall s\in G\quad \forall \chi \in {\widehat {G}}\quad \varphi (s)(\chi )=\chi (s).}$

En effet, G et son bidual ont alors même ordre.

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 sur un groupe abélien fini est analogue à celle du corps des 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.