DM3 - Idéaux de Mn pR q
L. Tintinaglia
Notations et dé nitions.
n et p étant deux entiers naturels non nuls, on désigne par Mpp,nq pRq l'espace vectoriel
des matrices à p lignes et n colonnes à coe cients réels.
Mn pRq désigne l'algèbre des matrices carrées d'ordre n à coe cients réels.
On rappelle que deux matrices A et B appartenant à Mpp,nq pRq sont équivalentes si
et seulement s'il existe une matrice P carrée inversible d'ordre p et une matrice Q carrée
inversible d'ordre n telles que B P AQ.
A étant un élément de Mpp,nq pRq, on appelle noyau de A ( , noté Ker pAq, le sous-espace
vectoriel de Mpn,1q pRq : Ker pAq X P Mpn,1q pRq | AX 0 .
On appelle image( de A le sous-espace vectoriel de Mpp,1q pRq, noté Im pAq : Im pAq
AX, X P Mpn,1q pRq .
Un sous-groupe J de pMn pRq, q est appelé un idéal à droite de Mn pRq si et seulement
si :
@A P MnpRq, @M P J, M A P J .
Un sous-groupe J de pMn pRq, q est appelé un idéal à gauche de Mn pRq si et seulement
si :
@A P MnpRq, @M P J, AM P J .
Si J est à la fois un idéal à gauche et un idéal à droite, on dit que J est un idéal bilatère
de Mn pRq.
On désigne par I la matrice identité d'ordre n.
I) Une première application de la relation d'équivalence.
On considère une application f de Mn pRq dans R, diérente des constantes 0 et 1, telle
que :
@pA, B q P pMnpRqq2 , f pAB q f pAqf pB q.
1. Montrer que pour toute matrice inversible A de Mn pRq, f pAq est non nul.
2. A est une matrice de rang r, strictement inférieur à n.
(a) Montrer l'existence de r 1 matrices, notées A1 , A2 , . . ., Ar 1 , toutes équivalentes
à A et telles que le produit A1 A2 . . . Ar 1 soit nul.
(b) En déduire que f pAq 0.
3. Que peut-on en conclure pour l'application f ?
Donner un exemple d'une telle application.
1
DM3 - Idéaux de Mn pRq MP Spéciale INP-HB
II) Idéaux bilatères de MnpRq.
Soit J un idéal bilatère de Mn pRq.
1. Montrer que si I P J , alors J Mn pRq.
2. Montrer que si J contient une matrice inversible alors J Mn pRq.
3. On suppose que J n'est pas réduit au vecteur nul de Mn pRq. Soit A une matrice de
rang r (non nul) appartenant à J .
Ir 0
(a) Montrer que J contient la matrice .
0 0
(b) Montrer l'existence de n r 1 matrices, notées A1 , A2 , . . ., Anr 1 , toutes
équivalentes à A et telles que la somme A1 A2 Anr 1 soit une matrice
inversible.
4. Quelle conclusion peut-on en tirer pour les idéaux bilatères de Mn pRq ?
III) Idéaux à droite de MnpRq.
1. Soit E un sous-espace vectoriel de Mpn,1q pRq.
On désigne par JE le sous-ensemble de Mn pRq : JE tA P Mn pRq | E contient Im pAqu.
Montrer que JE est un idéal à droite de Mn pRq.
2. Soit A un élément de Mpn,pq pRq et B un élément de Mpn,qq pRq. On suppose que Im pB q
est contenue dans Im pAq. On veut montrer qu'il existe une matrice C appartenant à
Mpp,qq pRq telle que B AC .
On xe un supplémentaire S de Ker pAq dans Mpp,1q pRq.
(a) Justi er que l'application ϕ dé nie par X ÞÑ AX dé nit un isomorphisme de S
dans Im pAq.
(b) Soit pe1 , e2 , . . . , eq q la base canonique de Mpq,1q pRq.
Justi er l'existence, pour tout i compris entre 1 et q , d'un unique élément εi de S
tel que
Aεi Bei .
(c) Soit C l'élément de Mpp,qq pRq dont les colonnes sont les matrices ε1 , ε2 , . . ., εq .
On pose C rε1 ε2 . . . εq s. Montrer que B AC .
3. Soient A, B et C trois éléments de Mn pRq tels que Im pAq Im pB q contient Im pC q.
(a) On désigne par D pA, B q la matrice de Mpn,2nq pRq obtenue en juxtaposant les
matrices A et B , c'est-à-dire que les n premières colonnes de D sont celles de A
et les n dernières celles de B .
Montrer que Im pDq Im pAq Im pB q.
(b) En déduire l'existence d'une matrice W appartenant à Mp2n,nq pRq telle que : C
DW .
(c) En déduire l'existence de deux matrices U et V appartenant à Mn pRq telles que
C AU BV .
4. Soit J un idéal à droite de Mn pRq.
2 L. Tintinaglia
DM3 - Idéaux de Mn pRq MP Spéciale INP-HB
(a) Montrer qu'il existe un entier naturel r tel que :
@M P J, rg pM q ¤ r et qu'il existe M0 P J tel que rg pM0q r.
(b) Soit M un élément quelconque de J . On suppose que Im pM q n'est pas contenue
dans Im pM0 q.
En utilisant le sous-espace vectoriel de Mn pRq Im pM q Im pM0 q, montrer l'exis-
tence d'un élément de J de rang strictement supérieur à r.
(c) Déduire des questions précédentes que J est contenu dans JIm pM0 q .
5. Montrer que J JIm M0 .
IV) Idéaux à gauche de MnpRq.
1. Soit E un sous-espace vectoriel de Mpn,1q pRq. On désigne par JE le sous-ensemble de
Mn pRq :
JE tM P Mn pRq | Ker pM q contient E u.
Montrer que JE est un idéal à gauche de Mn pRq.
2. (a) On désigne par u une application linéaire de Rn dans Rp , v une application linéaire
de Rn dans Rq .
On suppose que Ker pv q contient Ker puq.
Montrer qu'il existe une application linéaire w de Rp dans Rq tel que : v w u.
(b) Soit A P Mpp,nq pRq, B P Mpq,nq pRq telles que Ker pB q contient Ker pAq. Déduire
de la question précédente qu'il existe C P Mpq,pq pRq telle que B CA.
3. Soient A, B et C trois matrices carrées d'ordre n telles que Ker pC q contient Ker pAq X
Ker pB q.
Montrer qu'il existe deux matrices carrées d'ordre n, U et V , telles que C U A V B .
4. Déterminer les idéaux à gauche de Mn pRq.
3 L. Tintinaglia