Congruences

Par Mathtous
I) Introduction

Soit E un ensemble et une relation d'quivalence sur E. E et l'ensemble quotient E/ peuvent tre munis de structures ( groupes, anneaux ). Mais c'est sans intrt si la structure sur E est sans rapport avec celle de E/ . On cherche donc traiter le problme suivant : Si E est muni d'une structure, on souhaite munir E/ de la mme structure mais de telle sorte que la surjection canonique de E sur E/ soit un morphisme ( de groupes si E est un groupe, d'anneaux si E est un anneau ).
II) Cas d'un groupe

Soit G un groupe, une relation d'quivalence sur G, et la surjection canonique de E sur E/ . La loi de groupe de G sera note ".", et celle de E/ " ". 1) Condition ncessaire. On veut que soit un morphisme de groupes, donc que (a.b) = (a) (b). Ce qui impose de poser , pour et deux lments quelconques de E/ : = (a.b) o a est un reprsentant de et b un reprsentant de . Toutefois, le rsultat ne doit pas dpendre du choix de a et b. Or, sauf cas particulier ( par exemple si est la relation d'galit dans E ), il existe plusieurs reprsentants de et plusieurs reprsentants de . Si a' est un autre reprsentant de et b' un autre reprsentant de , on a donc a' a et b' b. Et pour que (a'.b') = , il faut donc que (a'.b') = (a.b). En rsum, il faut que a' a et b' b = a'.b' a.b, autrement dit que la relation soit compatible avec la loi de groupe de G. Supposons donc qu'il en est ainsi, et soit alors H = {x G/x 1}, o 1 est l'lment neutre de G. tant une relation d'quivalence, 1 1 , donc 1 H. Si a H et b H, a 1 et b 1, donc a.b 1, donc a.b H. Si a H, a 1, donc a.a1 a1 , donc 1 a1 , donc a1 H. Par suite, H est un sous-groupe de G. On a donc : a b a.b1 b.b1 a.b1 1 a.b1 H a H.b Et : a b b1 .a b1 .b b1 .a 1 b1 .a H a b.H 1

En rsum : a

b a.b1 H b1 .a H

Soit a H.b : donc a b, donc a b.H , donc H.b b.H ; de mme b.H H.b : donc b.H = H.b : ceci est la dnition du fait que H est un sous-groupe distingu dans G. En rsum, pour que G/ soit un groupe et que la projection canonique de G sur G/ soit un morphisme de groupes, il est ncessaire que la relation soit compatible avec la loi de groupe sur G, et que l'ensemble H = {x G/x 1} soit un sous-groupe distingu de G. La relation se traduisant alors par : a b a b.H a H.b, et la loi dans G/ tant dnie par = (a.b) o a est un reprsentant de et b un reprsentant de . 2) Condition susante. Soit G un groupe, et H un sous-groupe distingu de G. On dnit dans G la relation par : a b a.b1 H a H.b a b.H puisque H G, b1 .a H. La relation est rexive : a = 1.a H.a car 1 H ( H est un sous-groupe ) : donc a a. Elle est symtrique : si a b, a H.b, donc a est de la forme a = h.b o h H. Donc b = h1 .a H.a car si h H, h1 aussi ; donc b a : la relation est symtrique. Enn, si a b et b c, on a : b = h.a et c = h'.b o h et h' sont des lments de H. Donc c = h'.h.a = h".a o h" = h'.h est un lment du sous-groupe H. Donc a c : la relation est transitive. est donc une relation d'quivalence dans G. Remarquons que pour le moment on a seulement utilis le fait que H est un sous-groupe de G, mais pas encore qu'il est distingu dans G. Cela va venir maintenant. Si a a' et b b', on va dmontrer que a.b a'.b'. Pour cela, on va calculer (a.b).(a'.b')1 : (a.b).(a'.b')1 = a.b.b'1 .a'1 = a.(b.b'1 ).a'1 Mais b b', donc b.b'1 H. Donc (a.b).(a'.b')1 a.H.a'1 Or, H est distingu dans G, donc a.H = H.a, donc (a.b).(a'.b')1 H.a.a'1 Mais a a', donc a.a'1 H. Par suite, (a.b).(a'.b')1 H, donc a.a' b.b' : la relation est compatible avec la loi de G. On peut donc alors dnir une loi dans G/ indpendamment des reprsentants choisis : Si et sont deux lments de G/ , si a et a' sont des reprsentants de , et si b et b' sont des reprsentants de , on a a a' et b b', donc (a.b) = (a'.b') , que l'on peut donc dnir comme , tant la surjection canonique de G sur G/ . Reste voir si G/ est un groupe, auquel cas sera automatiquement un morphisme de groupes compte tenu de la faon dont la loi est dnie sur G/ . La dnition mme de = (a) (b) = (a.b) montre que la loi sur G/ est : 2

associative , car( (a) (b) ) (c) = (a.b) (c) = ((a.b).c) = (a.b.c) = (a.(b.c)) etc.. a pour lment neutre H = (1) , et que l'inverse de (a) est (a1 ) . On dnit donc ainsi une loi de groupe sur G/ , et la relation (a) (b) = (a.b) indique que est un morphisme de groupes de G sur G/ . 3) Conclusion. La seule faon de dnir une relation d'quivalence sur un groupe G de telle sorte que la projection canonique de G sur G/ soit un morphisme de groupes ( G/ tant alors muni d'une structure de groupe ) , consiste choisir un sous-groupe distingu H de G et poser : a b a.b1 H b1 .a H a H.b a b.H, pour deux lments quelconques a et b de G. On dit alors que a et b sont congrus modulo H ( plutt que de dire qu'ils sont congrus modulo ), et le groupe G/ est plutt not G/H , la relation devenant nalement accessoire . On remarque que H n'est autre que le noyau de la projection canonique , puisque c'est l'ensemble des lments de G congrus 1 . 4) Exemple. G = ( R , + ) et H = 2 Z = { x Z / x = k.2 , k Z }. On vrie aisment que H est un sous-groupe de G , et il est automatiquement distingu puisque G est commutatif . Ici , G/H = R / 2 Z est donc un groupe commutatif . Ses lments permettent de dnir la mesure des angles de vecteurs . Remarque : la tradition veut que l'on dise que deux lments de R sont congrus  modulo 2  plutt que de dire qu'ils sont congrus  modulo 2 Z . 31 [modulo 2 ]. Ainsi,
5 5
III) Cas d'un anneau

On se restreindra au cas d'un anneau A commutatif ( et videmment unitaire ). La loi de groupe de l'anneau sera note additivement ( + ), et la seconde loi ( multiplication ) sera note  .  ou mme  rien  ( on crira a.b ou ab ). 1) Condition ncessaire. ( A , + ) tant dj un groupe commutatif, on applique les rsultats du paragraphe II) : il faut qu'il existe un sous-groupe I de A ( automatiquement distingu puisque A est un groupe commutatif ), tel que a b a b I. Attention : ici, le groupe est commutatif et not traditionnellement de faon additive, d'o l'criture  a b  au lieu de  ab1  du paragraphe prcdent. Et I est la classe de l'lment neutre de l'addition, not 0 ( alors que  1  sera dsormais l'lment neutre de la multiplication de l'anneau ). Dans ces conditions , A / ( ou A/I ) est un groupe commutatif et est un morphisme de 3

groupes : ( a + b ) = (a) + (b). Mais cela ne sut pas : on veut aussi que soit un morphisme pour la seconde loi, ce qui revient dnir le produit de deux classes par : (a) (b) = (ab), sous rserve que cette dnition ne dpendent que des classes et non des reprsentants. ( a + b ) = (a) + (b) implique (0) = 0 = I ( le zro de A/I ). Et i 0 i 0 I i I (i) = 0 = I. Soit donc i I et a A. On a : (ai) = (a) (i) = 0 = I : donc ai I. I est donc un idal de A. 2) Condition susante. Soit donc I un idal de A. C'est un sous-groupe ( distingu de A ) et donc A/I est un groupe ( commutatif ), la projection canonique de A sur A/I tant dj un morphisme de groupes : ( a + b ) = (a) + (b). Reste munir A/I d'une multiplication pour en faire un anneau. et tant deux lments de A/I, on pose = (ab) o a et b sont des reprsentants respectifs de et . Cette dnition ne dpend pas du choix de a et b : en eet, si a' et b' sont deux autres reprsentants de et , on a : a' a I et b' b I ( selon la dnition de la relation R associe I ). Il existe donc i et j lments de I tels que a' = a + i et b' = b + j . D'o : a'b' = ( a + i )( b + j ) = ab + aj + bi + ij . Or , i et j tant des lments de I , il en rsulte ( d'aprs la dnition d'un idal ) que aj + bi + ij est un lment de I . Donc a'b' = ab + k o k est un lment de I, a'b' ab et donc (a'b') = (ab). Reste vrier que cette multiplication dans A/I est associative et commutative, qu'elle possde un lment neutre : (1), et qu'elle est distributive par rapport l'addition ( de A/I ) . Ces vrications sont sans dicult et laisses aux bons soins du lecteur : il faut les avoir effectues une fois dans sa vie, mais une seule fois sut. Enn, la dnition = (ab) qui peut s'crire (a) (b) = (ab) indique que est un morphisme aussi pour la seconde loi : c'est donc bien un morphisme d'anneaux ( et mme un morphisme d'anneaux unitaire(s) ). 3) Conclusion. La seule faon de dnir une relation d'quivalence sur un anneau A de telle sorte que la projection canonique de A sur A/ soit un morphisme d'anneaux ( A/ tant alors muni d'une structure d'anneau ), consiste choisir un idal I de A et poser : a b a b I, pour deux lments quelconques de A . On dit alors que a et b sont congrus modulo I ( plutt que de dire qu'ils sont congrus modulo ), et l'anneau A/ est plutt not A/I, la relation devenant nalement accessoire. On remarque encore que I n'est autre que le noyau de la projection , puisque c'est l'ensemble des lments de A congrus 0. 4

4) Exemples. a) Dans l'anneau Z des entiers relatifs, les seuls idaux ( mais aussi les seuls sous-groupes additifs ) sont les ensembles de la forme nZ o n Z. Les anneaux quotients sont donc les anneaux Z/nZ, o les oprations sont compatibles avec celles de Z. On crit habituellement a b [modulo n] , pour deux lments congrus modulo nZ. Ainsi : a b [modulo n] a b = kn o k est un entier relatif . Or, Z est un anneau euclidien, et plus prcisment, n tant un entier positif non nul, pour tout entier relatif a il existe un couple unique ( q,r ) d'entiers tels que : a = nq + r , avec 0 r < n ( si on exige seulement | r | < | n |, il y a deux couples possibles ). De mme , il existe un couple unique ( q',r' ) tel que : b = nq' + r' avec 0 r' < n . Donc : a b [modulo n] a b = kn n( q q' ) + ( r r' ) multiple de n, mais puisque r et r' sont infrieurs n, cela quivaut r = r'. Autrement dit : a et b sont congrus modulo n si et seulement si ils ont le mme reste dans la division euclidienne ( usuelle ) par n ( suppos ici positif, ce qui ne change rien car Z / nZ = Z / (-n)Z ). b) Si K est un corps commutatif, l'anneau A = K [X ] est euclidien donc principal. Donc tout lment irrductible est galement premier et maximal. Si donc P est un polynme irrductible de cet anneau, l'idal (P) est maximal et par suite l'anneau quotient A /(P) est un corps. Par exemple, le polynme X2 + 1 est irrductible dans R[X], et donc R[X] /( X2 + 1 ) est un corps qui n'est autre que le corps C des nombres complexes . c) Enn , voici une application lgante des congruences. Les nombres de Fermat sont les n nombres de la forme Fn = 22 + 1. Ainsi, F0 = 3, F1 = 5, F2 = 17, F3 = 257, F4 = 65537, F5 = 4294967297, etc . On remarque que les 5 premiers sont des nombres premiers ; Fermat pensait que tous ses nombres l'taient. Or F5 est compos. Le plus curieux est que Fermat lui-mme aurait pu l'tablir en utilisant son  petit thorme  ( 3 est un  tmoin  qui met en contradiction le fait que F5 puisse tre premier : les calculs sont aiss, mme pour l'poque, puisqu'il ne s'agit en fait que d'lvations successives au carr, le tout modulo 4294967297 ). Mais c'est Euler qui tablit que F5 est compos. Voici comment :
641 = 640 + 1 = 128 5 + 1 = 27 5 + 1, donc 27 5 1 [modulo 641], et donc (27 5)4 (1)4 [modulo 641], c'est--dire : 228 54 1 [modulo 641] ( 1 )

Mais aussi : 641 = 625 + 16 = 54 + 24 , donc 54 24 [modulo 641](2). En combinant (1) et (2) il vient : 228 24 1 [modulo 641], 5

donc 228 24 + 1 0 [modulo 641]. Donc 232 + 1 0 [modulo 641], c'est--dire F5 0 [modulo 641], ce qui signie que F5 est un multiple de 641 : il n'est donc pas premier.