MAT7200 Alg`
ebre Homologique Hiver 2013
Feuille d’exercices 4
Exercice 1. Soient A= Matn×n(R) et B= Matm×m(R), o`u Rest un anneau commutatif.
Montrer que la R-alg`ebre A⊗RBest isomorphisme `a la R-alg`ebre Matnm×nm(R).
Exercice 2. Soit Run anneau int`egre (c’est-`a-dire, Rest commutatif, Rest unitaire, et si
a, b ∈Rsont non nuls, alors ab est non nul). Pour un R–module `a gauche M, on d´efinit
Tor(M) = {m∈M: il existe a∈Rnon-nul tel que a·m= 0}.
a. Montrer que Tor(M) est un sous-module de M.
b. Soit ϕ:M→Nun morphisme de R–modules. Montrer que ϕ(Tor(M)) ⊆Tor(N).
c. Soit Qle corps des fractions de R. Montrer qu’il existe un isomorphisme de R-modules
Q⊗RM∼
=Q⊗R(M/ Tor(M)).
Exercice 3.
a. Soit Run anneau int`egre. Montrer que si Rest un R–module injectif, alors Rest un
corps.
b. Montrer que /6 est `a la fois injectif et projectif en tant que /6 –module.
Exercice 4. Soit RBSun (R, S)–bimodule qui est un R–module plat, et CSun S–module
injectif. Montrer que HomS(B, C) est un R–module `a gauche injectif.
Exercice 5. Montrer que si
0−→ M1−→ P1−→ M−→ 0 et 0 −→ M2−→ P2−→ M−→ 0
sont deux suites exactes courtes avec P1et P2projectifs, alors M1⊕P2∼
=M2⊕P1.
Exercice 6. Soient F:RMod →SMod et G:SMod →RMod deux foncteurs tels que
(F, G) est une paire de foncteurs adjointe. Montrer que si Gest exact, alors Fpr´eserve les
modules projectifs. Montrer que si Fest exact, alors Gpr´eserve les modules injectifs.
Exercice 7. Montrer que si Pest un R–module `a droite projectif, alors Hom (P, / ) est
un R–module `a gauche injectif.
Exercice 8. Montrer que Pest projectif ssi pour tout ´epimorphisme f:I→I00 avec I
injectif et tout morphisme u:P→I00 il existe v:P→Itel que f◦v=u.
Exercice 9. Montrer qu’un R–module injectif Iest un cog´en´erateur injectif de RMod ssi le
foncteur HomR(−, I) est fid`ele.
Exercice 10. Soit f:A−→ Bun morphisme de R–modules `a gauche. Montrer que fest
injectif ssi le morphisme f∗: Hom (B, / )−→ Hom (A, / ) est surjectif.
Exercice 11. Soit fune application dans Ens. Montrer que fest un ´epimorphisme ssi fest
surjective. Montrer que fest un monomorphisme ssi fest injective. Mˆeme pour la cat´egorie
RMod.
D´epartement de Math´ematiques, Universit´e du Qu´ebec `a Montr´eal Page 1 sur 2