Vous êtes sur la page 1sur 3

Universit e Denis Diderot (Paris VII)

Samedi 4 octobre 2008

Devoir No 2
(Agr egation interne 1998 - epreuve 1) Lobjet du probl` eme est l etude des r eseaux de C (sous-groupes additifs R C, discrets, contenant une base de C sur R) et de ceux dentre eux qui sont de plus des sous-anneaux. La qualit e de la r edaction, plus que la quantit e, tant sur la forme que sur le fond, sera un el ement essentiel dans lappr eciation des copies. I. Etude du groupe GL(2, Z) On note M2 (Z) lensemble des matrices carr ees dordre 2 a ` coecients dans lanneau Z des entiers. Cest un sous-anneau de lanneau M2 (R) des matrices carr ees dordre 2 ` a coecients r eels. 1. a) D eterminer les inverses dans M2 (R) des matrices (inversibles) : 3 4 , 2 3 3 5 , 2 3 4 5 . 2 3

b) Soit A M2 (Z). A quelle condition n ecessaire et susante portant sur det(A) la matrice A 1 admet-elle une inverse A dans M2 (R) ? dans M2 (Z) ? a b On note GL(2, Z) (resp. SL(2, Z)) le goupe des matrices de M2 (Z) telles que c d ad bc = 1 (resp. ad bc = 1). 2. a) D eterminer lensemble des couples (b, c) Z2 tels que la matrice 3 b c 3 soit dans SL(2, Z).

b) On suppose (a, d) donn e dans Z2 distinct des couples (1, 1) et (1, 1). Lensemble des a b couples (b, c) Z2 tels que soit dans SL(2, Z) est-il non vide ? est-il inni ? c d c) M eme question quen b) lorsque (a, d) est lun des couples (1, 1), (1, 1). 3. a) Quel est lensemble des couples (b, d) Z2 tels que la matrice Dans GL(2, Z) ? b) On suppose (a, c) donn e dans Z2 . Lensemble des couples (b, d) Z2 tels que a b soit c d dans SL(2, Z) est-il non vide ? est-il inni ? Discuter (utiliser le th eor` eme de B ezout ). II. R eseaux de C On rappelle que le corps C des nombres complexes est un plan vectoriel sur le corps R des r eels. Par droite vectorielle, on entendra sous R-espace vectoriel de dimension 1 de C. Pour z C , on notera Rz (resp. Zz ) la droite vectorielle (resp. le sous-groupe additif) des z o` u d ecrit R (resp. d ecrit Z). Soient u, v deux nombres complexes ind ependants sur R (cest-` a-dire non nuls de rapport non r eel). On appelle r eseau de base (u, v ) le sous-groupe additif R(u, v ) de C engendr e par u et v : R(u, v ) = {z C; (m, n) Z2 ; z = mu + nv }. 1. Soient u, v deux nombres complexes ind ependants sur R. Notons R = R(u, v ) le r eseau de base (u, v ). Soient a, b, c, d des nombres r eels. Posons u = au + cv, v = bu + dv . a) A quelle condition n ecessaire et susante portant sur les r eels a, b, c, d les complexes u , v sont-ils ind ependants sur R ? On supposera cette condition remplie dans la suite de la question II.1. 1 3 b 2 d soit dans SL(2, Z) ?

b) A quelle condition n ecessaire et susante portant sur les r eels a, b, c, d le r eseau R(u , v ) est-il inclus dans le r eseau R ? c) A quelle condition n ecessaire et susante portant sur les r eels a, b, c, d a-t-on l egalit e R(u , v ) = R ? On dit alors que (u , v ) est une base du r eseau R(u, v ). 2. On donne le r eseau R = R(u, v ) de base (u, v ). On dit quun el ement u R est basique (pour R) sil existe v R tel que (u , v ) soit une base de R. a) Posons u = 3u +2v . D eterminer lensemble des couples (b, d) de Z2 tels que (3u +2v, bu + dv ) soit une base du r eseau R. b) A quelle condition n ecessaire et susante portant sur les entiers a, c le nombre au + cv est-il basique pour R ? c) Soit une R-droite vectorielle de C telle que R ne soit pas r eduit ` a {0}. D emontrer que contient un vecteur basique . Comparer R et Z . d) Deux el ements basiques non colin eaires forment-ils toujours une base de R ? 3. On dit quun sous-groupe additif de C est discret si toute partie born ee de est nie. Lobjet de cette question est de d emontrer que tout r eseau est un sous-groupe discret. v Soit R(u, v ) le r eseau de base (u, v ) ; on suppose quun argument de est dans ]0, [. u 2 2 a) D emontrer que, pour a, b entiers, |au + bv | = (a|u| + b|v | cos ) + b2 |v |2 sin2 b2 |v |2 sin2 . b) D emontrer que R(u, v ) est un sous-groupe discret de C. 4. Lobjet de cette question est d etablir une r eciproque : si est un sous-groupe additif discret de C qui nest pas contenu dans une droite vectorielle, alors est un r eseau ; autrement dit, il existe (u, v ) tels que = R(u, v ). Soit un tel sous-groupe additif. a) D emontrer quil existe un el ement u de module minimum parmi les el ements non nuls de , et un el ement v de module minimum parmi les el ements de non colin eaires ` a u. D emontrer que R(u, v ) est contenu dans . On xe u et v satisfaisant ces conditions et on pose R = R(u, v ). 1 , b) D emontrer que pour tout z C, il existe z R et des nombres r eels x, y tels que |x| 2 1 |y | et z z = xu + yv . 2 c) En d eduire que |z z | |v |. d) Rappeler sans d emonstration a ` quelle condition deux nombres complexes z1 , z2 v erient lin egalit e stricte |z1 + z2 | < |z1 | + |z2 |. e) Etablir lin egalit e stricte |z z | < |v | (on pourra distinguer plusieurs cas selon que x et y sont nuls ou non ). f) Conclure que = R. III. Similitudes de centre 0 laissant stable un r eseau On rappelle que C est dot e dune structure de plan euclidien orient e. 1. Soit R = R(u, v ) un r eseau. On pose Z (R) = {z C; z R R} a) Quel lien existe-il entre le sous-ensemble Z (R) de C et lensemble des similitudes directes de centre 0 laissant R stable ? b) Quel est lensemble des homoth eties de centre 0 laissant R stable ? Comment cela se traduit-il pour Z (R) R ? 2

c) D emontrer que Z (R) est un sous-anneau de C. d) D emontrer quil existe w C \ R et une similitude directe de centre 0 transformant R en R(1, w). Comparer les sous-anneaux Z (R) et Z (R(1, w)) de C. e) Quelle relation dinclusion a-t-on entre Z (R(1, w)) et R(1, w) ? (remarquer que 1 R(1, w)). f) Indiquer sans d emonstration quel est lensemble Z (R(1, w)) dans les deux cas suivants : w = (2)i, 3 w = ( 2)i. D esormais, R est le r eseau de base (1, w) o` u w est un nombre non r eel donn e. Les questions propos ees dans la suite de cette parties sont : Existe-t-il des similitudes directes de centre 0, autres que des homoth eties, laissant R stable ? Si oui, que peut-on dire de lanneau Z (R) des z C tels que z R R ? 2. On suppose dans cette question que Z (R) nest pas r eduit a ` Z. D emontrer que w est racine dun polyn ome du deuxi` eme degr e` a coecients dans Z (utiliser III.1.e )). 3. On suppose inversement que w est racine non r eelle dun polyn ome non nul P (X ) = X 2 + X + a ` coecients , , dans Z. a) D emontrer que Z (R) nest pas contenu dans R. b) Que peut-on dire des ensembles Z (R) et R lorsque = 1 ? c) D emontrer que Z (R) est un r eseau et quil admet une base de la forme (1, ). d) D emontrer que est racine dun polyn ome X 2 + pX + q o` u p et q sont des el ements de Z (utiliser III.1.c )). Quels sont les signes de p2 4q et de q ? e) D emontrer quon peut choisir de sorte que p = 0 ou p = 1 (on pourra consid erer = + k o` u k Z est un entier convenable ). Lanneau Z (R) = R(1, ) sera not e Z[ ]. Conclusion. Si lensemble des similitudes directes de centre 0 laissant le r eseau R stable nest pas r eduit ` a des homoth eties, lanneau Z (R) = {z C; z R R} est un r eseau de C : cest lensemble Z[ ] des z = a + b o` u a, b sont dans Z et o` u est racine dun polyn ome dune des deux formes suivantes : 2 2 X + q , X + X + q o` u, dans les deux cas, q est un entier positif. IV. Rotations de centre 0 laissant stable un r eseau Soit la racine de partie imaginaire positive dun polyn ome de la forme X 2 + pX + q o` u p {0, 1} et q > 0 entier. On cherche sil existe des rotations de centre 0 laissant Z[ ] stable. 1. Parmi les el ements non r eels de Z[ ], quels sont ceux de module minimum a) lorsque p = 0, donc = i q ? 1 b) lorsque p = 1, donc = (1 + i 4q 1) ? 2 2. Quelle valeur doit avoir q pour que lensemble des rotations de centre 0 conservant Z[ ] ne soit pas r eduit ` a lidentit e et a ` la sym etrie centrale de centre 0 ? Quel est alors cet ensemble de rotations ? 3. On suppose que = i ou = j . a) Soit I un id eal non nul de lanneau Z[ ]. D emontrer quil existe un el ement u I non nul de module minimum. b) Posons v = u. D emontrer que I = R(u, v ) (utiliser II.4 ). c) En d eduire que lanneau Z[ ] est principal. 4. Facultatif. On suppose que Im( ) < 3. D emontrer que Z[ ] est principal. 3