TD No 5 - Anneaux, morphismes, idéaux, anneaux quotients.

UNIVERSIT´
E JOSEPH FOURIER, L3B MATH´
EMATIQUES, ALG`
EBRE 2014/2015
TD No5 - Anneaux, morphismes, id´eaux, anneaux
quotients.
Les anneaux seront suppos´es commutatifs.
Exo 1. Soit Aun anneau. D´eterminer les morphismes d’anneaux Z
A.
Exo 2. 1) Soit f:ABun morphisme d’anneaux, et soit ωB.
Montrer que l’application
ϕf:
A[X]B
d
X
i=0
aiXi7−
d
X
i=0
f(ai)ωi
est un morphisme d’anneaux.
2) Montrer que, pour tout morphisme d’anneaux ϕ:A[X]B,
il existe un unique morphisme d’anneaux f:ABet un unique
ωBtel que ϕ=ϕf.
Exo 3. Soit f:ABun morphisme d’anneaux. On suppose que
Aest un corps. Montrer que fest injectif.
Exo 4. Montrer que Q(2) = {a+b2|(a, b)Q}est un sous-corps
de Cet en d´eterminer les automorphismes.
Exo 5. Soit fun automorphisme de corps de R.
1) Montrer que f|Q= IdQ.
2) Montrer que fest strictement croissante.
3) En d´eduire que f= IdR.
Exo 6. Vrai ou faux ? Soit f:ABun morphisme d’anneaux.
1) L’image d’un id´eal de Apar fest un id´eal de B.
2) L’image r´eciproque d’un id´eal de Bpar fest un id´eal de A.
Exo 7. Quels sont les id´eaux de Z? de Z/nZ?
Exo 8. Lesquels sont des sous-anneaux de Z[X] ? des id´eaux de Z[X] ?
1) {PZ[X]|P(1) = 1}2) {PZ[X]|P(1) = 0}
3) {PZ[X]|P(1) 3Z}4) {PZ[X]|P0(0) = 0}
Exo 9. Soit Aun anneau. Un ´el´ement aAest dit idempotent si
a2=a. Il est dit nilpotent s’il existe nNtel que an= 0.
1
2
1) On suppose que Aest int`egre. Montrer que 0 est le seul ´el´ement
nilpotent de Aet que 0 et 1 sont les seuls ´el´ements idempotents de A.
2) Montrer qu’aucun inversible de An’est nilpotent et que 1 est le
seul ´el´ement idempotent inversible de A.
3) Montrer que si aest un ´el´ement nilpotent de Aalors 1 aest
inversible. Montrer que si aest un ´el´ement idempotent de Aalors 1 a
est idempotent.
4) Montrer que si Aest commutatif alors l’ensemble des ´el´ements
nilpotents de Aest un id´eal de A.
Exo 10. Soit Aun anneau, et soit Iun id´eal de A. On introduit
I={xA| ∃nN, xnI}.
1) Montrer que Iest un id´eal de Acontenant I, et que pI=I.
2) Calculer Ipour A=Zet I= 0,Z,4Z,8Z,45Z, mZ.
3) Montrer que A/In’a pas d’´el´ement nilpotent non nul.
Exo 11. Soit ωC.eterminer le noyau du morphisme d’´evaluation
evω:Q[X]Cdans les cas suivants : ω=i, 2 ou e/4.Que donne
le th´eor`eme de factorisation ? Et si on remplace Qpar Z?
Exo 12. L’id´eal Iest-il premier ? maximal ? principal ? Exprimer A/I
`a l’aide d’anneaux plus familiers .
1) A=R[X], I = (X)
2) A=Z[X], I = (X)
3) A=Q[X], I = (X22)
4) A=Z[X], I = (X22)
5) A=R[X], I = (X22)
6) A=R[X], I = (X21)
7) A=R[X], I = (X2+ 1)
8) A=C[X], I = (X2+ 1)
9) A=Z[X], I = (2, X)
10) A=Z[X], I = (m, X), m 1 fix´e
11) A=R[X, Y ], I = (X+Y)
12) A=R[X, Y ], I = (X, Y ).
Exo 13. Vrai ou faux ?
3
1) Soit Bun anneau, et soit Aun sous-anneau.
1.a) Si Iest un id´eal premier de B, I Aest un id´eal premier de A.
1.b) Si Iest un maximal de B, I Aest un id´eal maximal de A.
2) Soit f:ABun morphisme d’anneaux.
2.a) Si Jest un id´eal premier de B, f1(J) est un id´eal premier de A.
2.b) Si Jest un id´eal maximal de B, f1(J) est un id´eal maximal de
A.
Exo 14. Soit Aun anneau. On consid`ere le morphisme d’anneaux
ΘA:ZAqui `a massocie m·1A.
1) Justifier qu’il existe un unique entier c0 tel que ker(ΘA) = cZ.
L’entier cest appel´e la caract´eristique de A.
2) On suppose que c= 0.Montrer que Acontient un sous-anneau
isomorphe `a Z.
3) On suppose que c > 0.Montrer que Acontient un sous-anneau
isomorphe `a Z/cZ.
4) Montrer que la caract´eristique d’un anneau int`egre est soit nulle,
soit un nombre premier. Que pensez-vous de la r´eciproque ?
5) Calculer la caract´eristique des anneaux suivants :
Z,Z/nZ,Q×Z/3Z,Z/2Z×Z/4Z×Z/10Z
A1× ··· × An, Aianneau.
Exo 15. Soit A=Z[i]/(2 + i).
1) Soit mZ.Trouver une condition n´ecessaire et suffisante sur m
pour que l’´equation (2 + i)z=mait une solution zZ[i].
2) En d´eduire la caract´eristique de A.
3) Montrer que le morphisme ΘA:ZAest surjectif.
4) L’id´eal (2 + i) est-il premier ? maximal ?
Exo 16. 1) On note C([1,1]) l’anneau des fonctions continues
[1,1] R.
1.a) Montrer que, pour tout x0[1,1], mx0={f∈ C([1,1]) |f(x0) =
0}est un id´eal maximal de C([1,1]) et que le quotient C([1,1])/mx0
est isomorphe `a R.
1.b) Montrer que les id´eaux maximaux de C([1,1]) sont de la forme
mx0pour un certain x0[1,1].
1.c) Montrer que l’intervalle [1,1] est en bijection avec l’ensemble
des id´eaux maximaux de C([1,1]).
4
2) On note C(R) l’anneau des fonctions continues RR. Montrer que
C(R) a un id´eal maximal qui n’est pas de la forme {f∈ C(R)|f(x0) =
0},x0R.
1 / 4 100%

TD No 5 - Anneaux, morphismes, idéaux, anneaux quotients.

La catégorie de ce document est-elle correcte?
Merci pour votre participation!

Faire une suggestion

Avez-vous trouvé des erreurs dans linterface ou les textes ? Ou savez-vous comment améliorer linterface utilisateur de StudyLib ? Nhésitez pas à envoyer vos suggestions. Cest très important pour nous !