COLE POLYTECHNIQUE

FILIRE

MP

CONCOURS DADMISSION 2001

DEUXIME COMPOSITION DE MATHMATIQUES

(Dure : 4 heures) Lutilisation des calculatrices nest pas autorise pour cette preuve.

On attachera la plus grande importance la clart, la prcision et la concision de la rdaction.

On se propose dtablir quelques proprits des sous-groupes discrets des espaces euclidiens. Dans tout le problme, on dsigne par n un entier strictement positif, par E lespace Rn , par ( | ) son produit scalaire usuel et par la norme correspondante. On rappelle les faits suivants : a) un sous-ensemble L de E est dit discret si tout lment x de L est isol, i.e. admet un voisinage V dans E tel que L V = {x} ; b) un groupe ablien G est isomorphe un groupe Zm si et seulement sil admet une Z-base, cest--dire une famille (e1 , . . . , em ) telle que tout lment g de G scrive dune faon unique
m

sous la forme g =
i=1

ki ei avec ki Z.

Premire partie

1. Dmontrer les assertions suivantes : a) Un sous-groupe L de E est discret si et seulement si llment 0 est isol. b) Tout sous-groupe discret L de E est ferm dans E . c) Les sous-groupes discrets de R sont exactement les sous-ensembles de la forme aZ avec a [0, +[. 2. On dsigne par un nombre rel > 0 et par L le sous-groupe de R, ensemble des rels m + n o n, m Z. Montrer que L est discret si et seulement si est rationnel. 1

3. Construire un sous-groupe discret L de R2 tel que sa premire projection sur R ne soit pas discrte. 4. On se propose ici de dmontrer que tout sous-groupe discret L de E est isomorphe un sous-groupe dun groupe Zm . On dsigne par F le sous-espace vectoriel de E engendr par L, par m sa dimension, par (a1 , . . . , am ) une base de F contenue dans L, et par L le sous-groupe de L engendr par cette base. Enn on pose
m

P =L
i=1

i ai | i [0, 1[

a) Vrier que P est un ensemble ni. b) Etant donn un lment x de L, construire un couple (y, z ) L P tel que lon ait x = y + z , et dmontrer son unicit. c) Soit encore x un lment de L ; crivant kx = yk + zk (pour k entier > 0), montrer quil existe un entier d > 0 tel que lon ait dx L . d) Conclure. 5. Dans cette question, L est un sous-groupe de Zm ; ses lments seront nots x = (x1 , . . . , xm ) ; on posera (x) = xm . a) Montrer quil existe un entier k 0 et un lment x de L tel que lon ait

(L) = kZ = (x )Z . b) On suppose ici (L) non rduit {0} ; tant donn un lment x de L, construire un couple (p, x) Z L tel que lon ait xm = 0 et x = px + x ; dmontrer son unicit. c) En dduire que tout sous-groupe discret de E est isomorphe un groupe Zr . 6. On suppose ici n = 2 et on considre deux Z-bases (u1 , u2 ), (v1 , v2 ) dun mme sousgroupe discret L de E . Comparer les aires des paralllogrammes construits respectivement sur (u1 , u2 ) et (v1 , v2 ).

Deuxime partie

7. Dans cette question, on dsigne par B la base canonique de E et par GL(E ) le groupe des automorphismes linaires de E . Pour toute partie X de E , on note L(X ) le sous-groupe de E engendr par X . Soit G un sous-groupe ni de GL(E ) tel que les matrices des lments de G dans la base B soient coecients rationnels. On note GB lensemble des vecteurs g(x) o g G et x B . 2

a) Montrer quil existe un entier d > 0 tel que lon ait dL(GB ) L(B ). b) Dmontrer lexistence dune base de E dans laquelle les matrices des lments de G sont coecients entiers. 8. Soit A une matrice n lignes et n colonnes, coecients rationnels, dordre ni r (cest-dire que Ar = I et que r est le plus petit entier > 0 ayant cette proprit). a) Montrer que le polynme caractristique de A est coecients entiers. b) On suppose ici n = 2. Montrer que r ne peut prendre que les valeurs 1, 2, 3, 4, 6 et donner, pour chacune de ces valeurs, un exemple de matrice dordre r coecients entiers.

Troisime partie

On dsigne par O(E ) le groupe des automorphismes linaires orthogonaux de E (ensemble des u de GL(E ) tels que u(x) = x pour tout x de E ), et par AO(E ) lensemble des transformations de E de la forme x g(x) = u(x) + a o u O(E ) et aE;

on crit alors g = (u, a). On note e llment neutre de O(E ). 9. Montrer que O(E ) est compact. 10.a) Vrier que AO(E ) est un groupe, crire sa loi de groupe, prciser son lment neutre, puis linverse dun lment (u, a). b) Calculer (u, a) (e, b) (u, a)1 . 11. On note le morphisme AO(E ) O(E ) dni par (u, a) = u. On xe un sous-groupe discret L de E qui engendre linairement E et on note G le sous-groupe de AO(E ) form des lments g tels que g(L) = L. a) Vrier que, si un lment (u, a) de AO(E ) appartient G, il en est de mme de (u, 0) et (e, a). b) Montrer que (G) est ni. c) Dterminer G dans le cas o n = 2 et o L est lensemble des couples (x1 , x2 ) de E tels que x1 2Z, x2 Z.