stables par M: On considère alors l’application :
:M ! Mn1(R)V ect (X0)
M7!(M=H ;M X0)
est un isomorphisme donc
dim M= dim (Mn1(R)V ect (X0))
= dim (Mn1(R)) + dim V ect (X0)
= (n1)2+ 1:
8. On a U2 M et U2=nU 2Z. Par récurrence sur n0: on a U0=In; U; U22Z.
Supposons Un2Z. Alors il existe ; 2Rtels que Un=In+U. Donc
Un+1 =U +U22Z:
Donc Zest un sous-espace vectoriel de Mcontenant In. Il est stable par produit
car les produits des générateurs de Zsont encore dans Z.
9. Montrons que Z=Z(M)(centre de M). Soit M2 M alors MU =s(M)U
et UM =tMtU(véri…cation facile)=tMU (Uest symétrique)=s(tM)U(tMest
aussi magique)s(M)=s(tM)
=s(M)U; ainsi MU =UM c.à.d U2Z(M)et comme
In2Z(M)alors ZZ(M):Réciproquement, Soit M2Z(M);Puisque M
commute à Pi;j , on a
M=Pi;j MPi;j
Or Pij MPij est la matrice sur Mlaquelle on a e¤ectué les opérations Ci ! Cjet
Li ! Lj,donc si on note Pij MPij =m0
ij et M= (mij )on obtient alors
8
>
>
>
<
>
>
>
:
mp;q =m0
p;q si p; q 62 fi; jg
mi;q =m0
j;qsi q 62 fi; jget mp;i =m0
p;j si p 62 fi; jg
mi;i =m0
j;j ; mi;j =m0
j;i et mj;i =m0
i;j :
4