24 2. GÉOMÉTRIE DES NOMBRES
Proposition 2.8. Soit Lun réseau de Vet soit Bl’ensemble des bases e={e1, . . . , en}
de Vtelles que ei∈Lpour tout i. Alors il existe e∈ B telle que |det(e1, . . . , en)|
est minimal, et pour tout tel eon a L=L(e).
Le déterminant de la famille de vecteurs eici-dessus est pris de manière sous-
entendue relativement à la base canonique de V=Rn.
Démonstration — Comme Lengendre l’espace vectoriel V, il contient une base de
V, et donc Best non vide. Fixons e∈ B. Il est clair que L(e)⊂L. Soit N≥1tel
que L⊂1
NL(e)(Lemme 2.7). Tout élément de Lsécrit donc sous la forme Pi
mi
Nei
avec mi∈Zpour tout i. En particulier, pour tout f={f1, . . . , fn}∈B, on a par
multi-linéarité de det
det(f)∈N−ndet(e)Z.
Cet ensemble de valeurs est discret dans R, on peut donc bien choisir e∈ B tel que
|det(e)|est minimal (nécessairement non nul).
Comme nous l’avons vu plus haut, tout élément v∈Lse décompose sous la
forme λ+xavec λ∈L(e)et x∈Π(e)∩L. Il suffit donc de voir Π(e)∩L=∅. Soit
v=Piviei∈Π(e)∩L, de sorte que vi∈[0,1[ pour tout i. On cherche à montrer
vi= 0 pour tout i. Soit 1≤i≤n. Si vi6= 0, alors v, e1,..., ˆei, . . . , enest dans B.
Mais le caractère multi-linéaire alterné du déterminant entraîne
|det(e1, . . . , ei−1, v, ei+1, . . . , en)|=vi|det(e1, . . . , en)|<|det(e1, . . . , en)|,
ce qui est absurde par minimalité de det(e).
Proposition 2.9. Soient L⊂Rnun réseau et e={e1, . . . , em}une famille Z-
génératrice de L. Alors m≥n. De plus, les conditions suivantes sont équivalentes :
(i) eest une Z-base de L,
(ii) eune base de l’espace vectoriel Rn,
(iii) m=n.
En particulier, toutes les Z-bases de Lont même cardinal n.
Démonstration — En effet, comme Lengendre l’espace vectoriel Rn,eest une
famille génératrice de ce dernier, et donc m≥n. L’équivalence de (ii) et (iii) est
alors bien connue. De plus, (ii) implique trivialement (i).
Montrons enfin que (i) entraîne (iii). Si eest une Z-base de L, alors ψ:Zm→L,
(mi)7→ Pimieiest un isomorphisme de groupes. Soit fune Z-base de Lànélé-
ments (Théorème 2.4). Il vient que ψ−1(f)est une Z-base de Zmànéléments. Mais
Zmest un réseau de Rmde manière naturelle, donc la première inégalité démontrée
entraîne que n≥m, et donc n=m.