Soit
. Soit
le sous-ensemble de
formé des vecteurs de la
forme
pour
. C'est un sous-espace vectoriel de
engendré par
les
pour
.
On note
le polynôme unitaire engendrant l'idéal noyau de l'homomorphisme
de
dans
.
C'est un diviseur de
.
Proposition
Si
est le degré de
, les vecteurs
,
, ...,
forment une base
de
. Dans cette base, la matrice de
est de la forme (cas où
)
avec
.
Une telle matrice est appelée la
matrice compagnon du polynôme
.
On la note
.
Définition
On dit que
est
-cyclique s'il existe
tel que
.
Autrement dit,
,
, ...,
est un système générateur de
.
Proposition
Le polynôme caractéristique d'une matrice compagnon est égal à son polynôme minimal.
Démonstration
On démontre la propriété par récurrence sur le degré de
.
Si
est de degré 1,
.
On développe le déterminant de
par rapport à la première colonne, puis le deuxième déterminant obtenu
par rapport à la dernière colonne.
On obtient
où
.
ce qui est égal à
.
Les deux lemmes suivants serviront à la démonstration de la proposition qui les suit.
Lemme
Soit
et soit
. On suppose que
avec
unitaire. Alors, si
,
.
Démonstration
On a
. Donc
divise
.
Si
, on a
, donc
divise
et
divise
. En appliquant à
, on en déduit
que
divise
et finalement que
.
Lemme
Soient
et
deux vecteurs de
. Alors
si
et
sont premiers entre eux.
Démonstration
Posons
et
.
Comme
,
divise
. Soit
tel que
. Alors,
Donc,
divise
. Or
et
étant premiers entre eux,
divise
par le lemme de Gauss. De même,
divise
. donc
divise
puisque
et
sont premiers entre eux. En prenant
,
on en déduit le résultat.
On montre par récurrence que si
, ...
sont des vecteurs et que
les polynômes
sont premiers deux à deux, alors
Proposition
Soit
un endomorphisme de
.
-
- Il existe un vecteur
tel que
.
Plus précisément, si
est une base donnée,
peut être choisi
dans cette base.
La proposition précédente est l'analogue des assertions suivantes dans un groupe abélien
fini
: l'exposant de
est égal au ppcm des ordres des éléments de
et
il existe un élément de
dont l'ordre égal à l'exposant de de
.
Démonstration
-
Le polynôme
divise
pour tout vecteur
, donc
divise
. Réciproquement, prenons une base
de
.
Soit
le ppcm des
. Si
,
,
on a
Donc
divise
.
- Ecrivons la décomposition en éléments irréductibles de
:
avec les
premiers entre eux deux à deux.
On a
avec
.
Le polynôme minimal de la restriction de
à
est un diviseur
de
. Le polynôme minimal de
est alors le produit des
, mais il vaut aussi
, ce qui prouve qu'en fait
.
Sur chacun des sous-espaces
(stables par
), prenons une base
.
Le ppcm des
pour
est égal à
.
Il existe donc un élément
de
telle
que
.
Le vecteur
vérifie alors
,
ce qui démontre la proposition.