FILIRE
MP
Prambule
Une racine n-ime de lunit est dite primitive si elle engendre le groupe des racines n-ime
de lunit.
Dans le problme, tous les espaces vectoriels ont pour corps de base le corps des nombres
complexes C. Si E est un espace vectoriel, lalgbre des endomorphismes de E est note L(E) et
le groupe des automorphismes de E est not GL(E). On note IdE lapplication identit de E. Si
u L(E), on note C[u] la sous-algbre {P (u) | P C[X]} de L(E) des polyn^
omes en u.
On note CZ lespace vectoriel des fonctions de Z dans C. Si f est une fonction de Z dans C,
on note Supp(f ) lensemble des k Z tels que f (k) 6= 0. On appelle cet ensemble le support de
f . Dans tout le problme, V dsigne lensemble des fonctions de Z dans C dont le support est
un ensemble fini.
1 si k = i ,
0 si k 6= i .
1
H(vi ) = (i) vi
iZ.
II - Intermde
Dans toute la suite du problme, on fixe un entier impair ` 3 et q une racine
primitive `-ime de lunit.
9. Montrer que q 2 est une racine primitive `-ime de lunit.
Soient W` =
0i<` Cvi
et a C .
10. On considre llment Ga de L(W` ) dont la matrice dans la base {vi }0i<` est :
0
1
.
.
.
0
0
0
..
.
0
.. . .
0 .
.
0 0 ...
0
0
1
..
.
..
.
0
0 a
0 0
0 0
.. ..
.
. .
0 0
1 0
10b. Soit b une racine `-ime de a. Calculer les vecteurs propres de Ga et les valeurs propres
associes en fonction de b, q et des vi .
On dfinit une application linaire Pa : V V par Pa (vi ) = ap vr o pour i Z, on dfinit
r et p respectivement comme le reste et le quotient de la division euclidienne i par ` ; autrement
dit, i = p` + r o 0 r < ` et p Z.
11. Montrer que Pa est un projecteur dimage W` .
16d. On fixe q et (0). Montrer que lapplication (0) 7 R((0), (0), q) est une bijection
de C sur C.
16e. On fixe q et (0). Montrer que lapplication (0) 7 R((0), (0), q) est une surjection
de C sur C mais pas une bijection.
a () Pa = Pa .
20b. Montrer que Uq est contenue dans le noyau de a si et seulement si limage de est
dans le sous-espace de V engendr par les vecteurs vi ap vr , i Z, o i = p` + r est la division
euclidienne de i par `.
21. On tudie dans cette question a (E).
21a. Dterminer a (E)(v0 ).
21b. En dduire a (E ` ).
21c. Calculer la dimension du sous-espace vectoriel C[a (E)].
21d. Calculer les vecteurs propres de a (E).
22. Soit W un sous-espace non nul de W` stable par a (H).
22a. Montrer que W contient au moins un des vecteurs vi .
22b. Que dire si W est de plus stable par a (E) ?
23. Donner une condition ncessaire et suffisante sur R((0), (0), q) pour que loprateur
a (F ) soit nilpotent.