1´
Enonc´e
Pour ce probl`eme, sauf pr´ecision contraire, Ad´esigne un anneau commutatif, unitaire et on note :
– 0 et 1 les ´el´ements neutres pour l’addition et la multiplication de A,avec 0 ̸= 1 ;
–A∗=A\ {0}l’ensemble des ´el´ements non nuls de A;
–A×le groupe multiplicatif des ´el´ements inversibles (ou des unit´es) de A.
On suppose que les sous anneaux de Acontiennent l’unit´e 1 et qu’un morphisme d’anneaux
commutatifs unitaires φ:A→Best tel que φ(1A) = 1B.
Les anneaux Zet K[X],Kd´esignant un corps commutatif, sont suppos´es connus.
On rappelle qu’un corps commutatif est un anneau commutatif unitaire dans lequel tout ´el´ement
non nul est inversible (on a donc A×=A∗).
On peut aussi consid´erer des anneaux non commutatifs. En pratique nous rencontrerons l’anneau
Mn(K) des matrices carr´ees d’ordre n≥2 (pour n= 1,Mn(K) = K) `a coefficients dans un corps
commutatif Kou encore l’anneau L(E) des endomorphismes d’un K-espace vectoriel E.
– I – G´en´eralit´es sur les anneaux et les id´eaux
Quelques rappels.
– L’anneau Aest int`egre s’il n’admet pas de diviseurs de 0,c’est-`a-dire que pour a, b dans A,on
a :
a·b= 0 ⇔a= 0 ou b= 0
ou encore :
a·b̸= 0 ⇔a̸= 0 et b̸= 0
Un sous-anneau d’un anneau int`egre est int`egre.
Un corps est int`egre.
– Deux ´el´ements a, b de Asont dits associ´es s’il existe un ´el´ement inversible u∈A×tel que b=ua.
Les unit´es de Asont les ´el´ements associ´es `a 1.
aet bsont associ´es si, et seulement si, adivise bet bdivise a.
La relation ≪ˆetre associ´es ≫est une relation d’´equivalence.
– Un ´el´ement pde Aint`egre est dit irr´eductible si p̸= 0, p n’est pas inversible et :
(p=uv)⇒(uou vest inversible)
(les seuls diviseurs de psont les ´el´ements inversibles ou les ´el´ements de Aassoci´es `a p).
– Un ´el´ement pde Aint`egre est dit premier si p̸= 0, p n’est pas inversible et :
(pdivise uv)⇒(pdivise uou pdivise v)
– On dit que l’anneau Aest factoriel s’il est int`egre et si tout ´el´ement non nul et non inversible
a∈As’´ecrit de mani`ere unique a=u
r
k=1
pαk
k,o`u uest inversible, les pksont irr´eductibles deux
`a deux non associ´es et les αksont des entiers naturels non nuls.
– Un id´eal de Aest un sous-ensemble Ide Atel que :
Iest un sous-groupe de (A,+)
∀(a, b)∈I×A, ab ∈I
(la deuxi`eme condition se traduit en disant que Iest absorbant pour le produit).
Dans le cas d’un anneau unitaire non commutatif, on d´efinit les notions d’id´eal `a droite (pour
(a, b)∈I×A, ab ∈I), `a gauche (pour (a, b)∈I×A, ba ∈I) ou bilat`ere (pour (a, b)∈
I×A, ab ∈Iet ba ∈I).
2