Anneaux

Dany-Jack Mercier
IUFM de Guadeloupe, Morne Ferret, BP399, Pointe--Pitre cedex 97159, France dany-jack.mercier@univ-ag.fr 23 octobre 2002

Dnitions

Dnition 1 Un anneau ( + ) est la donne dun ensemble et de deux lois internes + et telles que ( +) soit un groupe commutatif et que la loi soit associative et distributive par rapport laddition +. En gnral, on impose dtre unitaire, i.e. de possder un lment neutre pour la multiplication. Cet lment est not 1 , et sappelle llment unit (ou plus simplement lunit) de . On retient : CANS-AD. On dit que lanneau est commutatif si la loi est commutative. La structure danneau est trs utilise en algbre puisque correspond la donne dun ensemble et de deux lois internes possdant de bonnes proprits. Lensemble Z des entiers relatifs, lensemble Q des nombres rationnels et celui R des nombres rels sont des anneaux. En fait tout lment de R possde un inverse multiplicatif, ce qui constitue une qualit supplmentaire et nous mne la dnition : Dnition 2 Un corps ( + ) est la donne dun ensemble et de deux lois internes + et telles que ( +) soit un groupe commutatif, que ( ) soit un groupe, et que la loi soit distributive par rapport laddition +. On retient : CANS-ANS-D.

Anneaux quotients, Idaux

Soit un anneau. Cherchons les relations dquivalence R sur compatibles avec la structure danneau, i.e. vriant les deux conditions : (1) (2) 8 0 0 2 R et 0 R 0 ) ( + 0 ) R ( + 0 ) 8 0 0 2 R et 0 R 0 ) 0 R 0

Ces conditions quivalent larmation il est possible de dnir une structure danneau sur lensemble quotient R en choisissant les oprations naturelles + = + et
[cann0007] v1.00 http://perso.wanadoo.fr/megamaths c 2002, D.-J. Mercier. Vous pouvez faire une copie de ces notes pour votre usage personnel.
0

 = . En eet, les rsultats de telles oprations sont bien dnis si, et seulement si, ils ne dpendent pas du choix des reprsentants et des classes et , ce qui est la traduction des conditions (2) et (2). On a vu, lors de ltude des groupes, quune relation du groupe commutatif ( +) est compatible avec la loi + (i.e. vrie (1)) si, et seulement si, cest une relation suivant un sous-groupe . Autrement dit, la condition (1) quivaut lexistence dun sous-groupe tel que R , 2 , 2 + Vrions-le rapidement : si R vrie (1) alors R quivaut ( ) R0 soit encore 2 0 o 0 reprsente la classe de llment neutre 0 de . Il est facile de vrier que 0 est un sous-groupe de . Notons-le . Ainsi R quivaut 2 . Rciproquement toute relation dquivalence dnie par 2 est compatible avec la loi + puisque pour tous 2 , 2 entrane ( + ) ( + ) 2 . Supposons maintenant que R soit compatible avec la loi +, autrement dit que R soit une relation suivant un sous-groupe . La condition (2) quivaut aux deux conditions (2) 8 2 R ) R (compatibilit droite avec la loi ), (2) 8 2 R ) R (compatibilit gauche avec la loi ), ou encore (2) (2) Cela scrit aussi (2) (2) et nous invite poser : Dnition 3 Un idal gauche (resp. droite) est un sous-groupe additif de lanneau tel que 8 2 8 2 2 (resp. 8 2 8 2 2 ) Un idal bilatre (ou plus simplement un idal) de est un idal gauche et droite de . Thorme 1 Les relations dquivalence compatibles avec la structure danneau de ( + ) sont les relations suivants des idaux bilatres . Elles sont dnies par R , 2 Lensemble quotient R, not commodment , est alors structur en anneau pour les lois quotients + = + et = . Preuve : immdiate partir du moment o les lois quotients sont bien dnies. 8 2 8 2 8 2 2 8 2 2 8 2 2 ) ( ) 2 8 2 2 ) ( ) 2

Idal engendr par une partie

Supposons lanneau commutatif de sorte que tous les idaux de sont bilatres. On vrie que : Proposition 1 Lintersection didaux de est encore un idal. Si A est une partie de , lintersection de tous les idaux contenant A est un idal, et cest le plus petit idal (au sens de linclusion) contenant A. On le note A et on lappelle lidal engendr par la partie A. Ainsi \ A =
idal etA

Lidal engendr par un lment 2 est not (), ou . Si et sont deux idaux de , lidal engendr par [ (resp. par la partie de forme de tous les produits o et dcrivent respectivement et ) est not + (resp. ). La proposition suivante claire le choix de ces notations : Thorme 2 Soient , deux idaux de , et 2 . 1) () = f 2 g 2) + f + 2 2 et 2 g = P 3) = 2 2 N, 2 et 2
=1

Thorme 3 Lidal engendr par une partie quelconque A de est ( ) X A = 2 9 2 N 9 2 A 9 2 =

=1

Homomorphismes danneaux

Dnition 4 Un morphisme danneaux de vers 0 est une application : ! 0 entre deux anneaux telle que : 1) 8 2 ( + ) = () + () 2) 8 2 () = () () 3) (1 ) = 10 Contre-exemple : peut vrier 1) et 2) sans transformer lunit de en celle de 0 . Considrons une partie non vide dun ensemble , et notons la dirence symtrique de deux ensembles. (P () \) est un anneau unitaire et lapplication : P () ! P () 7! \ vrie 1) et 2). Cependant () = \ 6= montre que nest pas un endomorphisme danneaux. Dans ce cas, on dit que est une reprsentation.

Thorme 4 Dcomposition canonique dun morphisme. Si : ! 0 est un homomorphisme danneaux entre deux anneaux non ncessairement commutatifs, alors 1) Ker est un idal bilatre, 2) Im est un sous-anneau de 0 3) Il existe un unique isomorphisme danneaux de Ker sur Im qui rende le diagramme suivant commutatif : # Ker 0 " ! Im !

Proposition 2 Si : ! 0 est un homomorphisme danneaux, 1) (0) = 0 2) 8 2 () = () 3) Si 2 est inversible, alors () lest aussi et ()1 = 1 .

i.e. tel que = . Dans ce diagramme, dsigne la projection canonique de sur Ker et linjection canonique de Im dans 0 . Preuve : 1) La partie Ker est un sous-groupe additif de comme noyau dun morphisme de groupes (en eet Ker nest pas vide puisque contient llment neutre 0 de laddition, et 2 Ker entrane ( ) = () () = 0 do 2 Ker ). De plus pour tout 2 et tout 2 Ker , () = () () = () 0 = 0 montre que 2 Ker . Le noyau Ker est bien un idal gauche. On montrerait de mme que Ker est un idal droite. 2) Im est un sous-groupe additif de 0 comme image dun morphisme de groupes (Im nest pas vide et () () 2 Im entranent () () = ( ) 2 Im ), et la multiplication est interne dans Im car si () et () appartiennent Im , alors () () = () aussi. Le lecteur notera bien que la partie Im nest pas un idal de 0 ds que nest pas surjective. En eet si Im est un idal alors 10 = 1 2 Im entrane Im = 0 . 3) Si existe, alors = () pour tout 2 Ker , et donc est unique. On vrie ensuite que = () dnit bien une application de Ker sur Im . Pour le voir, on doit prouver que limage () de par est indpendante du choix du reprsentant de . Cela provient de = 0 ) 0 2 Ker ) () = 0 est bien un homomorphisme danneaux puisque 1 = (1 ) = 10 , + = + = ( + ) = () + () = + = = () = () () = 4

et

Caractristique dun anneau, dun corps

Dnition 5 Soit un anneau. Sil existe un entier non nul tel que 1 = 0, on pose = Inf f 2 N 1 = 0g et lon dit que est un anneau de caractristique . Dans le cas contraire, on dit que est de caractristique 0. En utilisant la notion dordre dun lment dun groupe ( +), on obtient la dnition quivalente : Dnition 6 Soit un anneau. Si 1 est dordre additif ni, cet ordre est appel la caractristique de . Dans le cas contraire, on dit que est de caratristique 0. On remarque que 1 = 0 , j et que lgalit = (1 ) = 0 est vraie pour tout 2 . On note aussi que 6= 1. Les anneaux Z R et C sont de caractristique 0 tandis que ZZ est de caractristique . Lanneau produit ZZ ZZ est de caractristique ppcm ( ) puisque 1 1 = 0 0 , = 0 0 , j et j , ppcm ( ) j Si est un anneau de caractristique et sans diviseur de zro, alors = 0 , j ou = 0 En eet, = 0 , (1) = 0 , (1 = 0 ou = 0) , j ou = 0 Voici encore une troisime dnition possible de la caractristique dun anneau : Dnition 7 Soit un anneau. Lapplication : Z ! 7! 1 est un morphisme danneaux, et lunique entier 2 N tel que Ker = Z sappelle la caractristique de . Cette dnition permet de montrer le Thorme 5 La caractristique dun anneau sans diviseurs de zro est soit 0, soit un nombre premier. Cest le cas dun anneau intgre ou dun corps. Preuve : La dcomposition canonique du morphisme montre que ZZ est isomorphe un sous-anneau de , donc sans diviseur de zro. Il sut alors de se rappeler que ZZ (avec 6= 1) est intgre si et seulement si est premier ou = 0.