2 ANNEAUX
(a) Montrer que i2=j2=k2=−1et ij =−ji =k,jk =−kj =i,ki =−ik =j.
(b) Montrer que Hest un R-espace vectoriel et que (1,i,j,k) en est une base.
Exercice 1.5. Soient S, T ∈M4(Q) les matrices
S=
0−3 0 0
1000
000−3
0010
et T=
0 0 −1 0
0 0 0 1
1 0 0 0
0−100
.
1. Montrer que S2+ 3 = 0, T2+ 1 = 0, et ST =T−1S.
2. Soit D=Q[S, T ] le plus petit sous-anneau de M4(Q) contenant Q1, S, et T.
Montrer que Dest un sous-espace vectoriel de dimension 4 de M4(Q) et que
(1, S, T, ST ) en est une base.
3. Montrer que det(a+bS +cT +dST )=(a2+ 3b2)2+ (c2+ 3d2)2+ 6(ad +bc)2+
2(ac −3bd)2pour tous a, b, c, d ∈Q.
4. Montrer que tout ´el´ement non nul de Dest inversible.
Exercice 1.6. Soient Run anneau non nul et x∈Run ´el´ement nilpotent, c’est-`a-dire tel
qu’il existe n∈Ntel que xn= 0.
1. Montrer que 1 + x∈R×.
2. Soit u∈R×. Montrer que 1 + uxu−1∈R×.
3. Soit u∈R×tel que ux =xu. Montrer que u+x∈R×.
4. Soient X=0 1
0 0,U=1 0
1 1∈M2(Q). Montrer que Xest nilpotent, U∈GL2(Q),
et U+X6∈ GL2(Q).
Exercice 1.7. Soient Run anneau et Z(R) son centre
Z(R) =
def {z∈R| ∀x∈R, xz =zx}.
1. Montrer que Z(R) est un sous-anneau commutatif de R.
Soit Kun corps.
2. Soit S=na b 0
c d 0
0 0 e∈M3(K), a, b, c, d, e ∈Ko. Montrer que Sest un sous-anneau
de M3(K) et que Z(S) = na0 0
0a0
0 0 e∈M3(K), a, e ∈Ko.
3. Soit n≥1 entier. Montrer que ZMn(K)=KIno`u Inest la matrice identit´e de
Mn(K). (Consid´erer les matrices ´el´ementaires.)
Exercice 1.8. Soit ι:C→M2(R) l’application donn´ee par x+iy 7→ x−y
y x ,x, y ∈R.
Montrer que ιest un morphisme d’anneaux R-lin´eaire injectif.
Exercice 1.9. Soient R, S des anneaux non nuls et ϕ:R→Sun morphisme d’anneaux.
Montrer que ϕinduit un morphisme de groupes ϕ×:R×→S×.
Exercice 1.10. Soient Kun corps et n≥2 un entier. Pour a1, . . . , an∈Kon note
Diag(a1, . . . , an)∈Mn(K) la matrice (ai,j )1≤i,j≤ndonn´ee par ai,i =aiet ai,j = 0 si i6=j.
1. Montrer que l’application K×→GLn(K), a7→ Diag(a, 1,...,1) est un morphisme
de groupes injectif. Peut-on l’´etendre en un morphisme d’anneaux K→Mn(K) ?
2. Montrer que l’application K→Mn(K), a7→ Diag(a, . . . , a) est un morphisme
d’anneaux injectif.