Salle de Conférences
le 16 octobre 2009 à 14:00
Soit
un réseau d'un espace euclidien
de dimension
, de déterminant
. On définit des constantes
[Hermite] (resp.
[Minkowski]) en prenant le maximum de
sur une base (resp. sur
~vecteurs indépendants de
~; des {\sl minima successifs de
\/}). Il en résulte une majoration de l'indice
pour tout sous-réseau
de Minkowski de
. Soit
l'annulateur de
. Dans un travail récent avec Achill {\sc Sch"urmann}, nous avons obtenu la classification en dimension~
des codes sur
provenant d'un tel quotient, étendant les résultats connus jusqu'à la dimension~
({\small ce séminaire, 23 janvier 1998}). Nous en avons déduit la solution du problème de Louis Michel~: un réseau engendré par ses vecteurs minimaux posséde-t-il une base de vecteurs minimaux~? La réponse est toujours {\sl oui\/} si
, mais non au-delà. (Contre-exemple antérieur de Conway et Sloane pour
). Par ailleurs, je donnerai les majorations optimales des quotients des produits
sur
et
pour
, améliorant un travail ancien de van der Waerden (Acta Math., 1956).