Remarques d'ordre général: il y a tellement à dire qu'il faut bien organiser votre plan. Par ailleurs on constate souvent que les candidats en savent très peu sur le sujet, dans ce cas mieux vaut peut être prendre l'autre choix...

• Commencez par un premier paragraphe de généralités dans un espace vectoriel dénué de toute structure:
  • Une partie G de V est un sous-réseau s'il existe une famille libre e=(e₁,¼,e_r) de V telle que G = Ze₁ + ¼+ Ze_r. On dit que e est une Z-base de G et r est son rang. On dit que G est un réseau si r=n.
  • Z+Ö2 Z n'est pas un sous-réseau de R.
  • Soit G un réseau de V, e une Z-base de G et v une base de V. Montrez que v est une Z-base de G  si et seulement si la matrice de passage de e à v appartient à GL_n(Z) ou encore si et seulement s'il existe une matrice A Î GL_n(Z) telle que
    

    æ ç ç ç è v1 : vn ö ÷ ÷ ÷ ø = A æ ç ç ç è e1 ··· en ö ÷ ÷ ÷ ø

  • théorème de la base adaptée: soient G un réseau de V et L Ì G un sous-groupe alors L est un sous-réseau de V et il existe une Z-base (e₁,¼,e_n) de G, 1 £ s £ n et a₁,¼,a_s Î Z^× vérifiant:
    • (a₁e₁,¼,a_s e_s) est une Z-base de L,
    • pour 1 £ i < s, a_i divise a_i+1
  • Pour K=Q, soient G,L des réseaux de V alors
    • il existe d Î \mathbb N\{ 0 } tel que d G Ì L,
    • G+L et GÇL sont des réseaux de V.
  • Pour K=R, on munit V de sa topologie canonique alors tout sous-groupe discret (i.e. tel que pour tout compact K de V, K ÇG est fini) G de V en est un sous-réseau.
  • Soient e > 0 et (a₁,¼,a_n) Î Rⁿ \Qⁿ alors il existe p₁,¼,p_n Î Z et q Î \mathbb N non nul tels que pour tout 1 £ i £ n, on ait |a_i-[(p_i)/(q)]| < [(e)/(q)]. Indication: considérez le groupe G engendré par les vecteurs de la base canonique et le vecteur (a₁,¼,a_n) et remarquez que G n'est pas un réseau et n'est donc pas discret.
  • classification des groupes abéliens de type fini.
• un deuxième paragraphe, on rajoute à V une structure euclidienne:
  • Pour G un réseau de Rⁿ et e=(e₁,¼,e_n) une Z-base de G, on pose
    
    - P_e,G={ å_i=1ⁿ l_i e_i;  l₁,¼,l_n Î [0,1] },
    - D_e,G={ å_i=1ⁿ l_i e_i;  l₁,¼,l_n Î [0,1[ },
    On note S_e,G (resp. T_e,G) la matrice de terme général (e_i | e_j) (resp. (e_i | e_j)).
    
    (a) m(P_e,G)=Ö{detS_e,G} et m(P_e,G) ne dépend que de G et non de e; on dit que c'est la mesure du réseau et on la note m(Rⁿ/G).
    (b) Une partie D de Rⁿ est un domaine fondamental de G, si D est m-mesurable et si ses translatés par les vecteurs de G forment une partition de Rⁿ. Alors D_e,G est un domaine fondamental et m(D)=m(Rⁿ/G) pour tout domaine fondamental D de G.
    (c) En utilisant le théorème de la base adaptée, si L Ì G sont des réseaux alors G/L est fini et
    

    m(Rn/L) = card (G/L) m(Rn/G)

  • le théorème de Minkowski: soient G un réseau de Rⁿ et A une partie m-mesurable, convexe, symétrique par rapport à O et vérifiant m(A) > 2ⁿ m(Rⁿ/G), alors A ÇG ¹ { O }. Ainsi si C est un convexe compact de Rⁿ, symétrique par rapport à O tel que m(C) ³ 2ⁿ m(Rⁿ/G) alors C ÇG ¹ { O }. Et enfin en notant v_n le volume de la boule unité fermée de Rⁿ, alors il existe g Î G différent de O et de norme inférieure ou égale à deux fois la racine n-ième de v_n^-1 m(Rⁿ/G).
  • théorème d'Hermite: G possède une base e₁,¼,e_n telle que
    

    N(e1).¼. N(en) £ ( 4 3 )n(n-1)/2 det G

    On rappelle que l'inégalité d'Hadamard donne que detG £ N(e₁).¼. N(e_n). En déduire alors qu'il existe un vecteur non nul de G de norme inférieure ou égale à ([4/3])^n(n-1)/2 det(G)^1/n.
  • minima successifs d'un réseau: l₁(G),¼,l_n(G), où l_i(G) est le plus petit l Î R^*₊ tel qu'il existe i vecteurs libres de G de norme au plus l. A partir de la dimension 5, il n'existe pas, en général, de base réalisant les minima successifs: par exemple
    

    v1= æ ç ç ç ç ç ç è 2 0 0 0 0 ö ÷ ÷ ÷ ÷ ÷ ÷ ø ,  v2= æ ç ç ç ç ç ç è 0 2 0 0 0 ö ÷ ÷ ÷ ÷ ÷ ÷ ø ,  v3= æ ç ç ç ç ç ç è 0 0 2 0 0 ö ÷ ÷ ÷ ÷ ÷ ÷ ø ,  v4= æ ç ç ç ç ç ç è 0 0 0 2 0 ö ÷ ÷ ÷ ÷ ÷ ÷ ø ,  v5= æ ç ç ç ç ç ç è 1 1 1 1 1 ö ÷ ÷ ÷ ÷ ÷ ÷ ø ,  v6= æ ç ç ç ç ç ç è 0 0 0 0 2 ö ÷ ÷ ÷ ÷ ÷ ÷ ø

    alors (v₁,v₂,v₃,v₄,v₅) est une base d'un réseau G, v₆=2v₅-v₄-v₃-v₂-v₁ Î G et (v₁,v₂,v₃,v₄,v₆) réalise les minima successifs sans être une base.
  • Quelques problèmes algorithmiques:
    • étant donné une famille génératrice, trouver une base (OK en temps polynomial); soit A la matrice des vecteurs générateurs dans la base canonique, par opérations élémentaires sur les colonnes, il existe U Î GL_n(Z) telle que B=AU où B est sous une forme normale de Hermite, i.e. B=(0 C) où C est triangulaire supérieure, c_i,i > 0 et pour tout j > i, on a 0 £ c_i,j < c_i,i;
    • décider si un vecteur est un point du réseau (OK en temps polynomial: méthode du pivot);
    • trouver un vecteur de norme minimal: on conjecture que c'est NP-dur;
    • étant donné un point de l'espace, trouver un point du réseau le plus proche
    • étant donnée une base d'un réseau G, trouver une base la meilleure possible au sens suivants:
      • les vecteurs de base le plus courts possibles: réduction de Minkowski
      • la famille de vecteurs de base la plus orthogonale possible: réduction de Korkine et Zolotarev
      • réduction de Lenstra, Lenstra et Lovasz: étant donnée une base (e₁,¼,e_n) on notera (e₁^*,¼,e_n^*) la base obtenur par le procédé d'orthonormalisation de Gramm-Schmidt
        

        ei*=ei- i-1 å j=1  mi,j ej*

        où m_i,j=[( < e_i|e_j^* > )/(||b_j^*||²)]. La base (e_i) est dite LLL-réduite si |m_i,j| £ 1/2 et que
        

        ||ei*+mi,i-1ei-1*||2 ³ 3 4 ||ei-1*||2

        On dispose alors d'un algorithme dit LLL qui permet de calculer une base LLL-réduite à partir d'une base quelconque: cependant si j'ai bien compris la complexité de cet algorithme est mal comprise.
      En dimension 2 c'est très simple: on opère des translations successives
  • en applications:
    • si p º 1 \mod 4, p premier, alors p est somme de deux carrés. Indication: (-1) étant un carré modulo p, soit u Î Z tel que u²+1 º 0\mod p et soit G = { (a,b) Î Z² /  a º ub \mod p }. Soit y:Z² ®Z/pZ défini par y(a,b)=[`(a-ub)]. Montrez que G est un réseau de mesure p et utilisez le point (d) (iv) de l'exercice précédent.
    • tout nombre premier p est somme de quatre carrés. Indication: montrez l'existence d'un couple (u,v) Î Z<sup>2</sup> tel que u<sup>2</sup>+v<sup>2</sup>+1 º 0\mod p. On fixe un tel couple et soit G = { (a,b,c,d) Î Z<sup>4</sup> / ua+vb º c \mod p et ub-va º d \mod p }. Soit y:Z<sup>4</sup> ® (Z/pZ)<sup>2</sup> défini par y(a,b,c,d)=([`(c-ua-vb)],[`(d+va-ub)]). Montrez que G est un réseau de R⁴ de mesure p² et utilisez le point (d) (iv) de l'exercice précédent.
    • Le problème d'empilement régulier de sphères est de déterminer quelle est la proportion maximale de l'espace que peut occuper une famille de boules, mutuellement disjointes et de même rayon, centrées en les points d'un réseau. Etant donné un réseau G de volume m(G) dont la norme minimale d'un vecteur non nul et l₁(G), la constant d'Hermite est g(G): = [(l₁(G)²)/(m(G)^2/n)]. Il est aisé de constater que la densité maximale des boules centrées aux points du réseau est proportionnelle à g(G), le coefficient de proportionnalité étant [(B_n)/(2ⁿ)] où B_n est le volume de la boule unité. Hermite a montré que sur l'ensemble des réseaux de dimension n, g(G) est borné et atteint son maximum noté g_n. Celui-ci n'est calculé que pour n £ 8, en particulier g₂=[2/(Ö3)] et correspond au réseau hexagonal. Le théorème de Minkowski donne g_n < n). En ce qui concerne les empilements non nécessairement donnés par des réseaux, Rogers (1958), a donné un majorant de la densité: s_n est le rapport du volume occupé par les sphères centrées en les sommets du simplexe D_n régulier d'arête 1, de rayon 1/2, à celui de D_n (à nouveau le calcul de s_n est inextricable pour n > 4, le cas n=4 étant déjà difficile). Pour n=2 on vérifie immédiatement que ce maximum est atteint (réseau hexagonal, cf. ci-dessus). Pour n=3 Kepler (1610) conjecture que la densité maximale est [(p)/(3 Ö2)], c'est à dire celle du réseau cubique à faces centrées: conjecture finalement prouvée en 1998 par Thomas Hales. Celui-ci est définie par L = { (x,y,z) Î Z³ / 2|x+y+z } une base étant donnée par (1,1,0), (1,0,1) et (0,1,1).
    • le kissing number et les applications aux codes
• un troisième paragraphe sur les classes d'équivalences (en euclidien car sinon il n'y a pas grand chose d'intéressant à dire: GL_n(R)/GL_n(Z)) et les applications:
  • deux réseaux L,L¢ sont dits équivalents s'il existe une similitude g telle que g(L)=L¢. En dimension 2 tout réseau (w₁,w₂) est équivalent à un réseau de la forme (1,t) où t = w₁/w₂ Î H/SL₂(Z) où H est le demi-plan de Poincaré: si (w¢₁,w¢₂) est une autre base, alors il existe A=(

    a	b
    c	d

    ) tel que w¢₁=aw₁+bw₂ et w¢₂=cw₁+dw₂, alors t¢=w¢₁/w¢₂=A.t:=[(a t+b)/(c t+d)].
  • le réseau dual, réseaux unimodulaires...
    • L^*={ v Î V /  < v,g > Î Z > Î Z} est un réseau, sa matrice génératrice est \scriptspace ^t M^-1.
    • Si L est un faisceau entier (i.e. la matrice de Gramm associée est à coefficients entiers) si et seulement si L Ì L^*. Le groupe quotient L^*/L est de cardinal detL et L^* Ì [1/(detL )] L. Le réseau est dit autodual ou unimodulaire si detL = 1 i.e. L^*=L.
    • si la diagonale de la matrice de Gramm est paire alors < x,x > Î 2 Z pour tout x, le réseau est dit de type II, sinon il est dit de type I.
  • Étant donné un réseau de base (a₁,¼,a_n); on l'envoie sur Zⁿ Ì Rⁿ muni de sa base canonique, par l'application linéaire a_i ® e_i. On transforme du même coup le produit scalaire de l'espace euclidien en un forme quadratique de matrice A=((a_i|a_j))_{1 £ i,j £ n}=\scriptspace ^t B B. Réciproquement, toute forme quadratique définie positive A provient d'un réseau, défini à une transformation orthogonale près: on l'obtient en "redressant" l'ellipsoïde de la forme quadratique en une sphère. On a donc définit une correspondance bijective entre réseaux à isométries près (si on change la base orthonormée (e_i), O étant la matrice de passage, et si on change la base (a_i) par (b_i)=P(a_i) avec P Î GL_n(Z) alors B¢=OBP et A¢=\scriptspace ^t P A P) et classes de formes quadratiques définies positives.
    Soit q(x,y)=ax²+bxy+cy² avec a,b,c Î R, une forme quadratique définie, i.e. D = b²-4ac < 0. On dira que q est réduite si et seulement si
    

    -a < b £ a < c ou 0 £ b £ a=c

    Deux formes quadratique q,q¢ seront dites géométriquement équivalentes s'il existe A Î SL₂(Z) telle que Q¢=\scriptspace ^t A Q A.
    • toute forme quadratique binaire définie est géométriquement équivalente à une forme réduite.
    • Deux formes réduites sont géométriquement équivalentes si et seulement si elles sont égales.
    • q sera dite entière si a,b,c Î Z. Il n'y a qu'un nombre fini de classes d'équivalence géométrique de forme quadratique binaire définie entière de discriminant donné.
    • Deux formes entières sont dites arithmétiquement équivalentes si elles représentent les mêmes nombres avec la même multiplicité. Montrez que les deux notions d'équivalence sont identiques.
  • Soit E un réseau entier unimodulaire; on réduit modulo 2 de sorte que la forme quadratique est linéaire de sorte qu'il existe [`(u)] Î [`(G)] tel que < [`(u)],[`(x)] > = < [`(x)],[`(x)] > . On remonte sur E de sorte qu'il existe u Î E tel que < u,x > º < x,x > \mod 2. Le nombre < u,u > est alors défini modulo 8: on le note s(E). - Dans le cas de la signature (s,t) ¹ (0,0), le réseau est de type I avec s(E) º s-t \mod 8. - Dans le plan hyperbolique, on est de type II et s(E)=0.
  • On note S=È_n S_n la réunion de l'ensemble des réseaux unimodulaires de Rⁿ. On dit que E,E¢ Î S sont stablement isomorphes s'il existe F Î S tel que E ÅF @ E¢ÅF et soit K₊(S) le quotient de S par cette relation puis K(S) le groupe associé au monoide K₊(S). On a alors les résultats suivants:
    • K(S) est un groupe abélien libre de base I₊, I_-;
    • le rang r et t = r-s définit un isomorphisme de K(S) sur le sous-groupe de Z² formé des éléments (a,b) tels que a-b º 0 \mod 2;
    • on a s(E) º t(E) \mod 8 et si E est de type II alors t(E) º 0 \mod 8 ainsi que r(E);
    • dans le cas indéfini: E et E¢ sont isomorphes si et seulement si ils ont même rang, indice et type;
    • dans le cas défini: pour tout n, S_n ne contient qu'un nombre fini de classes. Si on note C_n, l'ensemble de ces classes de type II et g_E le cardinal du groupe des automorphismes de E Î C_n, alors
      

      M= å E Î Cn  1 gE =21-8k B2k (4k)! 4k-1 Õ j=1  Bj

      pour n=8k et où les B_k sont les nombres de Bernouilli
• des thèmes plus difficiles:
  • groupe de paveurs: soit E un plan euclidien et P un compact connexe de E d'intérieur [(P)\dot] non vide. Un groupe G sera dit un groupe de paveur de P si G est un sous-groupe du groupe des isométries directes Is⁺(E) de E vérifiant les deux propriétés suivantes: (i) GP1: È_{g Î G} g(P)=E (ii) GP2: g([(P)\dot]) Çh([(P)\dot]) ¹ ÆÞ g(P)=h(P). Soit G:=G ÇT(E). Soit alors [(u)\vec] un vecteur de norme minimale (non nulle) tel qu'il existe une translation de G de vecteur [(u)\vec] et soit [(v)\vec] \not Î R[(u)\vec] de plus petite norme tel qu'il existe une translation de G de vecteur [(v)\vec]. Pour un point e Î E quelconque on considère le parallélogramme Q={ e+t[(u)\vec] +s [(v)\vec]:  t,s Î [0,1] }. En utilisant le fait que les g(Q) pour g Î G, remplissent E, on a alors G = Z[(u)\vec] ÅZ[(v)\vec].
  • anneaux d'entiers: considérons l'application
    

    S:K ® Rs ×Ct: x ® (si(x),i=1,¼,s+t)

    où s₁,¼,s_s désigne les plongements complexes et (s_s+1,[`(s)]<sub>s+1</sub>,¼,s<sub>s+t</sub>,[`(s)]_s+t) désigne les plongements complexes. S est un homomorphisme de groupes injectifs appelé plongement canonique de K dans R^s ×C^t @ Rⁿ. L'image de l'anneau des entiers O_K est alors un réseau de Rⁿ de covolume 2^-t |D_K|^1/2 où D_K est le discriminant de K, i.e. le déterminant de la matrice des (s_i(w_j) où (w₁,¼,w_n) est une Z-base de O_K. Ainsi pour tout idéal a de O_K, S(a) est donc un réseau de covolume 2^-t |D_K|^1/2N(a). Pour tout c > 0, la partie B_c={ (y₁,¼,y_s,z_s+1,¼,z_s+t), å_i |y_i|+2 å_j |z_j| £ c } est convexe symétrique par rapport à l'origine de volume 2^s ([(p)/2])^t [(cⁿ)/(n!)]. Le théorème de Minskowski implique alors que si cⁿ > ([4/(p)])^t n! |D_K|^1/2 N(a), il existe un élément a non nul de a tel que S(a) Î B_c. D'après l'inégalité des moyennes arithmétique et géométrique, un tel a vérifie
    

    |NK/Q(a)|= Õ i  | si(a)|  Õ j  |sj(a)|2 £ [ 1 n ( å i  |si(a)|+2 å j  |sj(a)|)]n £ cn nn

    Ainsi tout idéal entier non nul a contient un élément non nul de norme majorée en valeur absolue par ([4/(p)])^t [(n!)/(nⁿ)] |D_K|^1/2 N(a)=:M_K N(a), où M_K est la constante de Minskowski. Ainsi si C est un élément du groupe de classe d'idéaux Cl_K, a un idéal entier représentant la classe inverse C^-1 dans J_K (le groupe des idéaux fractionnaires) et a un élément non nul de a de norme £ M_KN(a). Alors l'idéal aa^-1 est entier et représente C dans J_K; sa norme qui vaut |N_K/Q(a)| (N(a))^-1 est majorée par M_K. Ainsi on a montré que tout élément de Cl_K admet parmi ses représentants dans J_K un idéal entier de norme inférieure ou égale à M_K. On utilise ce résultat pour majorer le nombre de classe h_K: on calcule M_K et on regarde les idéaux de norme inférieur à M_K et on essaie de déterminer s'ils sont principaux ainsi que leurs relations. Le groupe des unités de O_K est le produit direct du groupe fini m_K formé des racines de l'unité dans K et d'un groupe libre de rang s+t-1. En particulier pour K quadratique réel, il existe une unité u de O_K telle que U_K={ ±1 } ×u^Z. La détermination d'une telle unité, dite fondamentale, se ramène à la résolution des classiques équations de Pell-Fermat
  • fonctions elliptiques: ce sont des fonctions méromorphes G-périodique. On considère la fonction \mathfrak P de Weierstrass:
    

    \mathfrak PL(x)=x-2+ å w Î L-0  [(x-w)-2-w-2]

    qui converge uniformément sur tout compact de C ne contenant pas les points du réseau L. En considérant \mathfrak P¢(x)=-2å_{x Î G} (x-w)^-3, on obtient que \mathfrak P est elliptique par rapport à L puis que l'ensemble des fonctions elliptiques par rapport à L est un corps sur C qui est engendré par \mathfrak P et \mathfrak P¢. (on est alors amené aux courbes elliptiques...)
  • Les séries théta: ce sont des fonctions entières pour le réseau de périodes L = Z+ Zt, où t désigne un nombre complexe du demi-plan de Poincaré. Les propriétés de "périodicité" habituelles sont:
    

    ì ï í ï î Q(z+1) = Q(z) Q(z+t)=F(z) Q(z)

    où F(z) est un facteur à déterminer vérifiant en particulier F(z+1)=F(z). Le choix habituel de F est
    

    F(z)= 1 c e2ipz , c Î C×

    Puisque Q est holomorphe de période 1, elle peut être développée en série de Fourier
    

    Q(z)= + ¥ å - ¥  an e2i pnz

    où les a_n sont les coefficients de Fourier de Q. la formule sommatoire de Poisson donne par prolongement analytique l'équation fonctionnelle
    

    q(- 1 z )=(-iz)1/2 q(z)

    où (-iz)^1/2 est donné par la branche de la fonction sur H qui envoie iy sur Öy. Cette relation jointe à la relation évidente q(z+1)=q(z) donne une règle de transformation pour f(gz) pour tout g Î PSL₂(Z) agissant sur H par homographies. De même pour tout k ³ 1, q(2z)^k satisfait à des formules de transformation analogues. Par ailleurs les égalités
    

    q(2z)k= å n ³ 0  rk(n) enz

    où r_k(n) désigne le nombre de représentations de n comme somme de k carrés d'entiers, justifient à elles seules, l'acharnement qu'ont subies ces séries. En particulier, on peut montrer les identités suivantes:
    

    r2(n)=4 å d|n  c4(d) r4(n)=8(3+(-1)n) å d|n  d r6(n)=16 å d|n  d2 c4( n d )-4 å d|n  d2 c4(d)

    avec c₄(n)=d₁(n)-d₃(n) où d₁(m) (resp. d₃(m)) est le nombre de diviseur d º 1 \mod 4 (resp. d º 3 \mod 4) de n. La théorie des formes modulaires permet d'expliquer la forme générale de ces formules, pourquoi il n'y a pas de formules élémentaires du même type pour k plus grand, et de donner une relation asymptotique sur r_k(n) ~ n^k-1 pour k ³ 5. En outre la série théta pour le réseau Zⁿ peut servir à prouver l'équation fonctionnelle de la fonction zéta de Riemann: pour Re(s) > 1, z(s)=å_n=1^¥n^-s. Soit aussi pour Re(s) > 0, G(s)=ò₀^¥e^-tt^s-1dt la fonction G usuelle. On pose
    

    L(s)=p-s/2 G(s/2) z(s)

    En écrivant L(2s)=ò₀^¥( å_n=1^¥e^{- pn2 t} ) t^s-1 dt on peut montrer que L(s)+[1/(s)]+[1/(s-1)] peut-être prolongée holomorphiquement à tout le plan complexe et que l'on a l'équation fonctionnelle
    

    L(s)=L(1-s)

  • groupes de Coxeter, diagramme de Dynkin, groupes de Mathieu, le monstre...

• théorème de la base adaptée d'un sous-réseau d'un réseau;
• caractérisation des sous-groupes discrets de Rⁿ et approximations des irrationnels par des rationnels;
• théorème de Minkowski et application au théorème des 2 carrés et des 4 carrés;
• théorèmes de Hadamard et Hermite sur la comparaison entre le volume et la maille d'un réseau
• classe de similitudes de réseau, demi-plan de Poincaré et empilement de boules en dimension 2;
• réseaux unimodulaires de type II: n º 0 \mod 8;
• quelques questions et réponses algorithmiques

• Montrez que le groupe des automorphismes orthogonaux d'un réseau est fini. Trouvez celui de Zⁿ.
• Montrez que les notions d'équivalence arithmétique et géométrique sur les formes quadratiques entières sont identiques.
  • On note ÖQ la racine carrée symétrique positive de la matrice Q de la forme quadratique. L'ensemble des n représenté est alors G = ÖQ Z². Si Q et Q¢ sont géométriquement équivalente alors L¢=g(L) pour g Î SL₂(Z) et donc Q et Q¢ sont arithmétiquement équivalentes.
  • Réciproquement, G:=ÖQ Z² et G¢=Ö{Q¢} Z² produisent les mêmes longueur avec les mêmes multiplicités. En particulier ils ont le même volume (regarder le nombre de points dans les disques centrés en l'origine). Soit alors un v,v¢ des vecteurs de norme minimale pour respectivement G et G¢, et soit une rotation g qui envoie v¢ sur v. Soit alors w,w¢ des vecteurs de respectivement G, g(G¢) non colinéaire à v, de norme minimale: w et w¢ sont donc de même norme et le quotient du volume de G par celui de G¢ est égale à [(sin([^(v,w)]))/(sin([^(v,w¢)]))]=1. Ainsi soit w¢=w soit w¢ est l'image de w par la réflexion par rapport à la droite orthogonale à v, d'où le résultat.
• Résolvez le problème des empilements de sphère (version réseau) en dimension 2.
• Soit L = { (x,y,z) Î Z³ / 2|x+y+z }, montrez que (1,1,0), (1,0,1) et (0,1,1) définissent une base et donnez une base adaptée à l'inclusion G Ì Z³.
• Etant donné une famille génératrice, expliquez comment trouver une base.
• Expliquez comment décider si un vecteur est un point d'un réseau donné par une base.
• Montrez que les classes de similitude de réseau sont données par H/SL₂(Z).