Exercice 5. (Produit d’anneaux)
a) Montrer que ϕ:Z/6Z→Z/2Z×Z/3Z, d´efinie par
ϕ(a) = (amod 2, a mod 3)
est un isomorphisme d’anneaux. Notons par (1,1) l’´el´ement neutre (l’unit´e) de Z/2Z×Z/3Z.
Calculer ϕ−1(1,1), ϕ−1(1,0), ϕ−1(0,1) ?
b) Soit A, B deux anneaux. Sous quelle condition A×Best un anneau int`egre ? (Indice : calculer
le produit (1,0) ·(0,1).)
c) Soit A, B deux anneaux. Montrer que les applications de projection pA:A×B→Aet pB:
A×B→Bsont des ´epimorphismes d’anneaux. Montrer que l’application A→A×Btelle que
a→(a, 0) n’est pas un homomorphisme d’anneaux (si Best non nul).
d) (Propri´et´e universelle du produit d’anneaux) Soit A, B deux anneaux. Montrer que pour tout
anneau Cet tout couple d’homomorphismes d’anneaux α:C→A,β:C→B, il existe un
unique homomorphisme d’anneaux ϕ:C→A×Btel que pA◦ϕ=αet pB◦ϕ=β.
Supposons qu’un anneau Det des homomorphismes d’anneaux hA:D→Aet hB:D→B
satisfont la mˆeme propri´et´e : Pour tout anneau Cet tout couple d’homomorphismes d’anneaux
α:C→A,β:C→B, il existe un unique homomorphisme d’anneaux ϕ:C→Dtel que
hA◦ϕ=αet hB◦ϕ=β. Montrer que l’unique homomorphisme d’anneau f:D→A×Btel
que pA◦f=hAet pB◦f=hB, est un isomorphisme. (On dit que la propri´et´e universelle d´efinit
le produit d’anneaux `a unique isomorphisme pr`es.)
Exercice 6. Consid´erons l’anneau A=Z[X].
a) Montrer que f:Z[X]→Z,f(P) = P(0), est un homomorphisme d’anneau.
b) Montrer que le noyau de fest un id´eal premier de Aqui n’est pas maximal. Est-il principal ?
c) Montrer que f−1(2Z) est un id´eal premier de Aqui n’est pas principal. Est-il maximal ?
Exercice 7. Soit Aun anneau int`egre et noeth´erien. On suppose que tout id´eal maximal de Aest
principal.
a) Montrer que Aest factoriel.
b) Montrer que Aest principal.
Exercice 8. Soit Aun anneau factoriel v´erifiant le th´eor`eme de Bezout (i.e. pour tout a, b dans A,
(a, b) est principal). Montrer que Aest principal.
Exercice 9. Soit A=Z[√−3] ⊂Cet Kson corps de fractions. Montrer que x2−x+1 est irr´eductible
dans A[x] sans pour autant ˆetre irr´eductible dans K[X]. Explique la contradiction apparente avec un
r´esultat du cours.
Exercice 10. Soit A=C[X, Y ]/(Y2−X3). Consid´erons l’homomorphisme d’anneaux
ϕ:C[X, Y ]→C[T], F (X, Y )→F(T2, T 3).
a) Montrer que ker ϕ= (Y2−X3). En d´eduire que Aest isomorphe `a un sous-anneau de C[T].
b) L’anneau A, est-il int`egre ?
c) Montrer que l’image de ϕest isomorphe `a C[T2, T 3].
d) En consid´erant T6= (T2)3= (T3)2montrer que C[T2, T 3]'C[X, Y ]/(Y2−X3) n’est pas
factoriel.
2