Master 1 de mathématiques
Algèbre générale de base
ENS Rennes - Année 2014–2015
Romain Basson
Exercice 7 - Quotients successifs.
1. Soit Aun anneau et I, J des idéaux bilatères de Atels que I⊂J. On note J/I l’image de J
dans l’anneau quotient A/I. Montrer que les anneaux (A/I)/(J/I)et A/J sont isomorphes.
2. Soit Aun anneau et x, y ∈A. Montrer que les anneaux A/(x, y),(A/(x))/(y)et (A/(y))/(x)
sont isomorphes.
3. Pour un nombre premier p, montrer que pest premier dans Z[i]si et seulement si −1n’est pas
un carré modulo p.
Exercice 8 - Image d’un idéal. Soit f:A−→ Bun morphisme d’anneaux.
1. L’image directe (resp. réciproque) d’un idéal de Aest-elle un idéal de B? Et si fest supposé
surjectif ?
2. Montrer que l’image réciproque d’un idéal premier de Best un idéal premier de A.
3. Montrer que l’image réciproque d’un idéal maximal de Best un idéal maximal de A, lorsque f
est supposé surjectif. Donner un contre-exemple lorsque fn’est pas surjectif.
4. En déduire que, pour un idéal Ide A,π:A−→ A/I induit une bijection entre les idéaux (resp.
premiers, resp. maximaux) de Aqui contiennent Iet les idéaux (resp. premiers, resp. maximaux)
de A/I.
Exercice 9 - Produits de corps.
1. Un produit de corps est-il un corps ?
2. Un produit de ncorps peut-il être isomorphe à un produit de n+ 1 corps ?
(Indication : on pourra s’intéresser aux idéaux maximaux de tels produits.)
Exercice 10 Soit Aun anneau commutatif.
1. Soit Pun idéal premier de Aet I1, . . . , Indes idéaux de A. Montrer que si Pcontient le produit
I1. . . In, alors il contient l’un des Ik.
2. Montrer que si Iest un idéal non premier et distinct de A, il existe des idéaux I1et I2de A
distincts de Itels que I⊂I1, I ⊂I2et I1I2⊂I.
3. (Lemme d’évitement.) Soit Iun idéal de Aet P1,...,Prdes idéaux premiers de A.
Si I⊂P1∪ · · · ∪ Pr, montrer qu’il existe un itel que I⊂Pi.
Exercice 11 - Caractérisation de l’intégrité.
1. Soit Aun anneau commutatif distinct de {0},Z/4Zet F2[X]/(X2). Montrer que s’équivalent :
(i) Aest intègre ;
(ii) tout polynôme unitaire de degré na au plus nracines ;
(iii) tout polynôme unitaire de degré 2a au plus 2racines.
2. Étudier les cas Z/4Zet F2[X]/(X2).
2