λ1, . . . , λret des entiers d1, . . . , drtels que Aest semblable `a la matrice diagonale par blocs
diag(J(λ1, d1), . . . , J(λ1, d1)), o`u J(λ, d) est le bloc de Jordan d×dde valeur propre λ.
L’exponentielle se calcule bloc par bloc. Les coefficients diagonaux sont exp(λkt), et du fait que
les coefficients de exp(tA) sont born´es lorsque tparcourt R, on en tire que les λksont bien dans
iR. Du fait que ϕ(2π) = ϕ(0), on a mˆeme : λk∈iZ. De plus, si An’est pas diagonalisable,
disons si d1≥2, on voit ais´ement que le coefficient d’indice (1,2) de exp(tA) est teλ1t: pas
born´e ! La proposition en r´esulte.
2◦Caract`eres continus de U : s´eries de Fourier !
R´ef´erence : J. Faraut, Analyse sur les groupes de Lie, Calvage et Mounet, p. 117.
La proposition pr´ec´edente motive l’int´erˆet pour les fonctions χk:U→U,eit 7→ eikt : elles
constituent l’ensemble b
Udes morphismes continus de Udans C∗.
A pr´esent, la th´eorie des s´eries de Fourier peut s’exprimer de la fa¸con suivante :
Proposition Le dual b
U= (χk)k∈Zde Uest une base (hilbertienne) orthonorm´ee de l’espace
des fonctions L2sur U.
3◦Deux am´eliorations
(a) Am´elioration de la convergence R´ef´erence : J. Faraut, Analyse sur les groupes de
Lie, Calvage et Mounet, p. 163.
(b) ´
Equation de la chaleur R´ef´erence : J. Faraut, Analyse sur les groupes de Lie, Calvage
et Mounet, p. 176.
V Caract`eres des groupes finis ab´eliens
Pour Gun groupe fini, on s’int´eresse aux caract`eres lin´eaires, i.e. repr´esentations de dimension
1 de G, i.e. aux morphismes G→C×. Le premier paragraphe montre qu’on ne perd rien `a
supposer le groupe ab´elien, et qu’on est dans le cadre de la le¸con.
1◦Caract`eres lin´eaires d’un groupe quelconque
Lemme Soit Gun groupe et χ:G→C×un morphisme. Alors χse factorise `a travers
l’ab´elianis´e de G. Si Gest fini, l’image de χest contenue dans U.
Sens : Le groupe d´eriv´e [G, G] de G, qui est le groupe engendr´e par les commutateurs [g, h] =
ghg−1h−1(g, h ∈G), est contenu dans le noyau de χ, si bien que χpeut s’´ecrire comme compos´ee
de la projection canonique G→G/[G, G] et d’un caract`ere lin´eaire G/[G, G]→C×.
Remarque (Artin) Soit Gun groupe et χ1, . . . , χn:G→C×des morphismes de groupes.
Alors ils sont lin´eairement ind´ependants en tant que fonctions de Gdans C. C’est utile en
th´eorie de Galois. R´ef. : [Lang], Chap. VIII, §4.
2◦Dual d’un groupe ab´elien fini
Jusqu’`a la fin de ce paragraphe, Gd´esigne un groupe ab´elien fini.
(a) On note b
Gl’ensemble des morphismes de Gdans U. C’est naturellement un groupe pour
la multiplication point par point. Le neutre est le caract`ere constant ´egal `a 1, l’inverse de χest
χ.
Exemple : Soit G=Z/nZ' hξi, o`u ξ∈Uest une racine primitive n`eme de l’unit´e. L’image
de ξpar un caract`ere χ:G→Uest n´ecessairement une racine n`eme de l’unit´e. Inversement,
pour k= 0, . . . , n −1 et ξ`∈G, on pose χk(ξ`) = ξk`, ce qui d´efinit un caract`ere. Noter que
χkχk0=χk+k0, si bien que b
G'Z/nZ.
Remarquons que (χk(ξ`))k,`=0,...,n−1est une matrice de Vandermonde. Quelle est son inverse ?
Proposition Le groupe b
Gest isomorphe `a G(pas naturellement). En particulier, |b
G|=|G|.
5