Vous êtes sur la page 1sur 5

Note de cours: invariance par extension du corps de base

Yves Duval
Professeur au lyce Louis-le-Grand
Rsum:
On montre que certaines proprits comme le rang, la dimension de l'espace des solutions d'un
systme linaire, le polynme minimal d'une matrice, sont invariantes par extension du corps de
base. On en dduit quelques rsultats sur la dimension du commutant d'une matrice et la
similitude de deux matrices


1 Prsentation
2 Invariance du rang
3 Systmes linaires
4 Polynme minimal
5 Commutant
6 Similitude des matrices

1 Prsentation
Certains objets dfinis partir d'un corps conservent une signification si l'on remplace le
corps de base par une extension : c'est par exemple le cas des polynmes coefficients dans
, puisque est un sous-anneau de , ou encore des matrices coefficients dans .
Certaines proprits sont alors invariantes par extension du corps de base; par exemple, si et
sont dans , leur PGCD est le mme que l'on se place dans ou dans , puisque
celui-ci se calcule au moyen de l'algorithme d'Euclide, lequel n'est pas modifi lorque l'on passe
de .
Au contraire, certaines proprits dpendent du corps de base: si , il arrive
frquemment - et mme, pourrait-on dire, de manire essentielle- que possde une racine dans
alors qu'il n'en possde pas dans ; c'est l le principe mme de la thorie des extensions de
corps.
On se propose dans cette note d'tudier quelques proprits invariantes par extension du corps de
base.
Dans le suite de ce texte, est un corps et est une extension de ; en d'autres termes, est
un corps et est un sous-corps de .

2 Invariance du rang
Commenons par quelques remarques relatives l'invariance du rang par extension du corps de
base.
Page 1sur 5 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=16&Type=enonce&Num=0&Mode=...
Proposition 1 Soit et dans et . Le rang de est le mme que l'on se
place dans ou dans .
Preuve Posons . Soit (resp. ) dans (resp. ) tels que
. Comme , on a .
Donnons la version vectorielle de cette proposition.
Proposition 2 Soit . Le rang de la famille de vecteurs est le
mme dans le -espace vectoriel ou dans le -espace vectoriel .
Preuve On considre la matrice dont les vecteurs colonnes sont les et on
applique la proposition 1.

3 Systmes linaires
Etudions maintenant l'effet de l'extension du corps de base sur un systme linaire.
Proposition 3 Soit et . On considre le systme linaire
. On note (resp. ) l'ensemble de ses solutions dans (resp. ).
(i) L'ensemble est non vide si et seulement si est non vide.
(ii) Si est non vide, la dimension du -espace affine est gale la dimension du -
espace affine .
(iii) On suppose que le systme est homogne (soit ). Alors toute -base de est une
-base de .
Preuve (i) Notons la matrice de obtenue en adjoignant une -
ime colonne gale . On a


(ii) Si , on a
(iii) Supposons et soit . Soit une -base de .
Page 2sur 5 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=16&Type=enonce&Num=0&Mode=...
D'aprs la proposition 2, une famille libre du -espace vectoriel , c'est donc
une -base de .

4 Polynme minimal
Etablissons maintenant l'invariance du polynme minimal par extension du corps de base.
Proposition 4 Soit . Le polynme minimal unitaire de est le mme que l'on se
place dans la -algbre ou dans la -algbre .
Preuve Notons (resp. ) le polynme minimal unitaire de lorsque le corps de base est
(resp. ). On a . Identifions . La
proposition 2 montre alors que et
donc . Cependant, divise ; comme et sont unitaires, on a bien
.

5 Commutant
Lemme 1 Soient . Notons et
dfinissons de faon analogue . Si est une -base de , c'est aussi une -
base de et en particulier .
Preuve Identifions . L'espace s'identifie l'ensemble des solutions
dans d'un systme linaire o . L'espace
s'identifiant l'ensemble des solutions de dans , il suffit d'appliquer le rsultat (iii) de la
proposition 3.
Notation: Pour , on note le commutant de , soit


En faisant dans le lemme on obtient la proposition suivante:
Proposition 5 Soit . La dimension de est invariante par extension du corps
de base, autrement dit .
Page 3sur 5 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=16&Type=enonce&Num=0&Mode=...
Voici une application de la proposition 5:
Proposition 6 Soit un sous-corps de et . On a .
Preuve La proposition 5 nous permet de supposer que . Trigonalisons alors :
, et , espace des matrices triangulaires suprieures de
. On a facilement , d'o .
Etudions alors tout particulirement . Le systme linaire o
l'inconnue est dans possde quations (chacune correspondant un coefficient
d'une matrice de et inconnues (correspondant aux coefficients de qui sont
au-dessus de la diagonale).
Les quations correspondant aux coefficients situs strictement en dessous de la diagonale sont
triviales puisque le produit de deux matrices triangulaires suprieures est triangulaire suprieur.
Les quations correspondant aux coefficients diagonaux sont elles aussi triviales, puisque, si
et sont deux matrices triangulaires suprieures, on a pour ,
. Finalement, est quivalent un systme de
quations et inconnues.
L'espace des solutions, , vrifie donc


et donc , soit encore
Remarque 1: la proposition 6 reste vraie sur un corps quelconque. Pour le prouver, on a
seulement besoin de savoir qu'il existe une extension de dans laquelle le polynme
caractristique de est scind. La matrice est alors trigonalisable dans et la preuve
donne pour la proposition 6 fonctionne.

6 Similitude des matrices
Nous prouvons pour terminer l'invariance de la relation tre semblable par extension du corps de
base, avec toutefois une restriction importante puisque les corps considrs devront tre infinis.
Proposition 7 Soit un corps infini et une extension de . Soit
semblables dans , c'est--dire qu'il existe telle que . Alors
Page 4sur 5 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=16&Type=enonce&Num=0&Mode=...
et sont semblables dans : il existe telle que .
Preuve On reprend les notations du lemme. On rcrit la relation sous la forme
linaire . Soit une -base de . Comme est
une -base de (cf. lemme 1), soit tel que .
Dfinissons le polynme


Comme , on a . Le corps tant infini, il est alors classique
qu'existent tels que . Posons . On a
et donc . Cependant , et donc
.
Remarque 2: ce dernier rsultat reste vrai si le corps est fini. Cependant, je ne sais pas le prouver
sans recourir la thorie dite, justement, des invariants de similitude.

Page 5sur 5 Imprimer
31/10/2004 http://www.rms-math.com/print.php?id_article=16&Type=enonce&Num=0&Mode=...