TD Algbre II (20042005)

Produits tensoriels de modules

No 1 (corrig)

/ page 1

1. Calculer les produits tensoriels sur Z de deux quelconques des groupes abliens (autrement dit, Z-modules) parmi : Z, Z/nZ (n un naturel non nul variable), Q et Q/Z. (Plus gnralement, on pourra dcrire le produit tensoriel dun groupe ablien Z quelconque avec lun de ces groupes.) Corrig. Pour tout groupe ablien M on a M Z Z = M . Pour tensoriser avec Z/nZ on vrie que M Z (Z/nZ) = M/nM (car M Z (Z/nZ) est rduit aux x 1 avec x M et que ceux-ci sont tus par la multiplication par n) : donc (Z/mZ) Z (Z/nZ) = (Z/mZ)/n(Z/mZ) = Z/(m n)Z et Q Z (Z/nZ) = 0 et (Q/Z) Z (Z/nZ) = 0 (tout lment de Q ou de Q/Z est multiple de n). p p 1 1 Ensuite, Q Z Q = Q car p p = (q qq ) (p q ) = (p qq ) (q q ) = pp 1 donc tout q q qq lment est de la forme r 1 avec r Q et deux tels lments sont distincts puisquil existe une che r r rr . Pour former le produit tensoriel dun groupe ablien M avec Q sur Z on peut commencer par considrer le quotient M de M par le sous-groupe des lments dordre ni : en effet, si x 1 1 est dordre ni n, on a x 1 = (nx) n = 0 n = 0 donc tous ces lments sont tus dans le produit tensoriel, M Z Q = M Z Q. En particulier, (Q/Z) Z Q = 0 car tout lment de Q/Z est dordre ni. Une fois quon est ainsi ramen un groupe ablien M sans torsion (= dont tous les lments sont dordre inni), M Z Q peut se dcrire comme lensemble MQ des fractions x 1 x x = x n o on a identi n et n lorsque n x = nx ou bien o on a impos que n nest n divisible par aucun diviseur de n (la fraction est irrductible ), avec laddition vidente. Enn, M Z (Q/Z) se dcrit comme le quotient de MQ = M Z Q par son sous-groupe M (considr comme lensemble des x = x 1). Notamment, (Q/Z) Z (Q/Z) = 0 puisque 1 dj (Q/Z) Z Q = 0. 2. Soient U et V deux espaces vectoriels (sur un corps k). On note U = Homk (U, k) le dual de U . Expliciter une application linaire naturelle injective : U k V Homk (U, V ). Quelles sont les images des tenseurs purs (cest--dire les v avec U et v V ) ? Quelle est limage de lapplication ? Quand est-elle un isomorphisme ? Corrig. Pour dnir une application linaire U k V Homk (U, V ) il suft de dnir une application bilinaire U V Homk (U, V ) : on le fait en envoyant une forme linaire sur U et un vecteur v de V sur lapplication linaire U V donne par x (x) v. Limage dun tenseur pur v est donc lapplication linaire x (x) v, qui est de rang1 1 (ou 0). Rciproquement, toute application linaire de rang 1 a une image contenue dans v = kv pour un certain v et donc scrit de la forme x (x) v. On a ainsi prouv que limage des tenseurs purs dans Homk (U, V ) par tait lensemble des applications linaires de rang 1. On en dduit que limage de est lensemble des applications linaires de rang ni (toute application de rang ni est somme dapplications de rang 1 comme on le voit facilement en prenant une base de limage). Montrons enn que est injective : soit i i vi U k V (somme nie). dont limage par , soit x i i (x) vi , est nulle. Quitte remplacer les vi par des combinaisons linaires dune base de lespace vi quils engendrent, on peut supposer quils sont linairement indpendants ; alors puisque x i i (x) vi est nulle, chacun des i doit ltre, et cest donc bien que i i vi est nulle. Manifestement, est un isomorphisme si et seulement si toute application k-linaire U V est de rang ni, cest--dire si et seulement si U ou V est de dimension nie.
(1 ) Au sens dimension de limage .

TD Algbre II (20042005)

Produits tensoriels de modules

No 1 (corrig)

/ page 2

3 (applications multilinaires). Soit A un anneau (commutatif) et M1 , . . . , Ms , N des Amodules. On dit quune application M1 Ms N est A-s-linaire (ou, de faon moins prcise, A-multilinaire) lorsque chacune des applications partielles est A-linaire. Montrer quil existe un A-module P et une application A-s-linaire : M1 Ms N tels que toute application A-s-linaire f : M1 Ms N se factorise de faon unique en f = f o f : P N est A-linaire. Montrer que P est unique isomorphisme (commutant aux ) vriant cette proprit. s Corrig. On pose P = qui envoie un s-uplet (x1 , . . . , xs ) dans i=1 Mi , et soit s Mi sur x1 xs . Manifestement est s-linaire. De plus, si f : M1 Ms N i=1 est s-linaire, on en dduit successivement, en appliquant chaque fois la proprit universelle du produit tensoriel, des applications (M1 M2 ) M3 Ms N et ainsi de suite jusqu P = M1 M2 Ms N , respectivement (s 1)-linaire jusqu 1-linaire (= linaire tout court), factorisant f de faon unique par les applications videntes (la dernire tant ). Bref, P vrie bien la proprit universelle demande. Lunicit isomorphisme prs dcoule du general nonsense : si P et vrient la mme chose, on factorise en puis en , et on a = donc par la partie unicit = idP et = idP , ce qui prouve que et sont des isomorphismes rciproques. 4. Soient U et V deux espaces vectoriels de dimensions nies m et n respectivement sur un corps k. Soient f : U U et g: V V des endomorphismes (k-linaires). Montrer que le polynme caractristique f g de f g: U k V U k V est une fonction polynomiale des polynmes caractristiques f et g de f et g. Corrig. Soit k une clture algbrique de k. Le polynme caractristique u = det(X u) dun endomorphisme u ne dpend pas du corps sur lequel on le calcule. Sur k, on peut crire (de faon unique) f = fs + fn sur k, o fs est diagonalisable et fn est nilpotent, avec fs fn = fn fs . Le polynme caractristique f de f est le mme que celui de fs , cest--dire i (X i ) o les i sont les valeurs propres de fs comptes avec multiplicit. On dcompose de mme g en gs et gn . On a alors f g = (fs gs ) + (fn gs + fs gn + fn gn ), et le second terme est somme de nilpotents qui commutent deux deux, donc nilpotent, le premier est diagonalisable, et ils commutent. On a donc (f g)s = fs gs et le polynme caractristique de f g est celui de fs gs : on est ainsi ramen au cas o f et g (et donc f g) sont diagonalisables, ce quon suppose dornavant. En diagonalisant f sur k (ce qui revient crire U comme somme directe de sous-espaces stables de dimension 1 de f ) et g de mme on voit que f g (en distribuant le produit tensoriel U k V sur ces dcompositions de U et V , ou, ce qui revient au mme, en prenant la base produit de deux bases de diagonalisation) se diagonalise avec pour valeurs propres les produits i j des valeurs propres i de f et des valeurs propres j de g, chacune apparaissant avec la multiplicit produit. Reste enn montrer que f g = i,j (X i j ) sexprime de faon polynmiale sur k ou sur nimporte quel corps, et mme sur Z dans les coefcients de f = i (X i ) et de g = j (X j ). On peut le faire en considrant les i comme m indtermines et les j comme n autres (et en travaillant sur Q ou sur un corps ni quelconque, donc, si on veut, sur un corps quelconque ou mme sur Z). Dabord, pour une indtermine, les coefcients de j (X j ) sexprime comme polynme en et les coefcients de g = j (X j ) (plus n n1 n n1 prcisment, si g = X +a1 X + +an alors j (X j ) = X +a1 X + +n an . Ainsi, f g = i,j (X i j ) sexprime comme polynme en les i et les coefcients de g , mais, qui plus est, chacun des coefcients de ce polynme est invariant par nimporte quelle permutation des i : il sexprime donc comme polynme en les polynmes symtriques

TD Algbre II (20042005)

Produits tensoriels de modules

No 1 (corrig)

/ page 3

lmentaires des i , qui sont les coefcients de f . On a bien montr que les coefcients de f g sont des polynmes de ceux de f et g . 5. Soit k un corps : on note k[t] lanneau des polynmes coefcients dans k en lindtermine t. Expliquer pourquoi se donner un k[t]-module quivaut se donner un k-espace vectoriel U muni dune application linaire f : U U . Sous cette identication, dcrire le produit tensoriel U k[t] V sur k[t] de deux k-espaces vectoriels U et V munis dendomorphismes f : U U et g: V V . Corrig. Tout k[t]-module U est naturellement un k-espace vectoriel, et on dnit une application k-linaire f : U U donne par la multiplication par t k[t] (soit x t x) pour la structure de k[t]-module. Rciproquement, si on se donne un k-espace vectoriel U et un f : U U linaire, on dnit une structure de k[t]-module sur U par P x = P (f )(x) pour tout polynme P k[t]. Ces deux oprations sont bien rciproques lune de lautre comme on le vrie immdiatement. Dire quune application k-linaire : U U est k[t]-linaire, o U et U sont munis de la structure de k[t]-module dnie par deux endomorphismes f : U U et f : U U signie manifestement que f = f (qui traduit (t x) = t (x) et tout le reste en dcoule). Donns U et V deux k-espaces vectoriels munis dapplications linaires f : U U et g: V V , considrs comme des k[t]-modules de la faon dcrite ci-dessus, on appelle W le quotient du k-espace vectoriel U k V par limage de lapplication linaire Z = f idV idU g: U k V U k V . Se donner une application k[t]-bilinaire U V H (o H est muni de h: H H) revient daprs le paragraphe prcdent se donner : U V H qui soit k-bilinaire et vrie (f (x), y) = (x, g(y)) = h((x, y)) pour tous (x, y) U V : cest dire que lapplication k-linaire : U k V H dduite de (par la proprit univer = 0, donc conduit un : W H vriant e = h selle du produit tensoriel) vrie Z o e: W W est dnie indiffremment par f idV ou idU g (cela a bien un sens car f idV et idU g commutent). Ce W et e dnissent un k[t]-module dont on a justement montr quil satisfaisait la proprit universelle du produit tensoriel (on navait aucun choix dans les constructions) : cest donc U k[t] V . 6. Soit k un corps, et A = k[x, y] lanneau des polynmes deux indtermines x et y sur k (on rappelle quil est factoriel). Soit m = (x, y) lidal de A engendr par x et y quon verra notamment comme un A-module. Pour viter les confusions, on notera m2 = m m la somme directe (= le produit direct) de deux copies de m, et m2 = m m = (x2 , xy, y 2 ) lidal produit de m avec lui-mme. Le but de lexercice est de dterminer le produit tensoriel m2 = m A m de m avec lui-mme au-dessus de A. (1) On considre : A2 m dni par (f, g) = f x + gy. Expliquer pourquoi est surjective et montrer que son noyau est limage dune application A-linaire : A A2 injective prciser. (2) En dduire que m A m peut se dcrire comme le quotient de m2 par un sous-module isomorphe m que lon prcisera. On appellera m la surjection m2 m A m ainsi dnie. (3) Soit : m A m m dni par (m m ) = mm : quelle est limage de ? Quelle est la compose m ? (4) Soit = x y y x m A m. Montrer que () = 0 et = 0. (5) Montrer que tout lment du noyau ker de scrit de la forme t pour un t k : on pourra montrer pour d ker que d = m (ty, tx). (6) Dnir une application A-linaire (non canonique) : m2 m A m telle que la compose soit lidentit.

TD Algbre II (20042005)

Produits tensoriels de modules

No 1 (corrig)

/ page 4

(7) Conclure quant la structure de m A m en tant que A-module. Corrig. (1) La surjectivit de nest autre que lafrmation que m est engendr par x et y, ce qui en est la dnition. Le noyau de est lensemble des couples (f, g) dlments de A tels que f x = gy : pour un tel couple, f doit tre divisible par y donc on peut crire f = hy et alors g = hx, cest--dire que (f, g) est limage de h par : A A2 , h (hy, hx). Linjectivit de est vidente (A est intgre). (2) Puisque est surjective, on en dduit (exactitude droite du produit tensoriel) que m = idm : m2 m A m lest aussi et que son noyau est limage de m = idm : m m2 . On peut dcrire ces ches un peu mieux : m envoie m m sur (my, mx) m2 et m envoie (f m, gm) = (f, g) m m2 = A2 A m (o m m et (f, g) A2 ) sur (f x + gy) m m A m, cest--dire (quitte faire passer f et g de lautre ct du signe ) que m envoie (m, m ) sur x m + y m . Linjectivit de m est vidente : il sagit de la restriction de m au dpart et m2 larrive. On a donc bien dcrit m A m (limage de m ) comme le quotient de m2 par un sous-module (le noyau de m , qui est limage de m ) isomorphe m (comme m est injective). (3) Limage de est le sous-A-module de m, donc de A, engendr par les produits de deux lments quelconques de m, cest--dire m2 = (x2 , xy, y 2 ). La compose m envoie (f m, gm) (o m m et (f, g) A2 ) sur f mx + gmy, autrement dit, m = m2 o m2 dsigne linjection canonique de m2 dans A2 . 0 0 0 0

0
m

 / ker
m

 /m
m

 / m2 / A2  / k 2  
m2

 / m A m

/0 /0 /0

/A  /k 

 /m  / k 2 

id

(4) On a () = (x y y x) = xy yx = 0. Montrons maintenant que = 0 : on a = m (y, 0) m (0, x) = m (y, x), et pour montrer que = 0 il suft de prouver que (y, x) m2 nest pas dans le noyau de m , lequel est galement limage de m ; or (y, x) = (1) et comme 1 A nest pas dans m, que est injective et que m est sa restriction m, on bien = 0. (Une autre faon de raisonner consiste observer que lapplication A-bilinaire m m k qui envoie (ax + by + , a x + b y + ) sur ba dnit une application A-linaire m A m k qui prend une valeur non nulle sur .) (5) Prenons d ker : puisque m est surjective, on peut crire d = m (m, m ) avec (m, m ) m2 . Alors (m, m ) = 0 car m2 = m donc il scrit aussi (d) = 0. Mais ceci signie (comme le noyau de est limage de ) que (m, m ) = (h) pour un (unique) h A. Soit t = h(0, 0) la classe de h dans A/m = k. Alors h t est dans m donc m ((h t)) = m (m (h t)) = 0 de sorte que d = m ((h)) scrit aussi m ((t)) = m (ty, tx). On a vu

TD Algbre II (20042005)

Produits tensoriels de modules

No 1 (corrig)

/ page 5

plus haut que = m (y, x) et donc d = t. (6) On dnit : m2 mA m par (x2 ) = xx, (xy) = xy et (y 2 ) = yy. Comme les gnrateurs x2 , xy, y 2 de m2 ne sont pas libres (ils satisfont des relations), il faut vrier que ceci a bien un sens : or les relations sont engendres2 par y(x2 ) = x(xy) et y(xy) = x(y 2 ), et on a bien y(x x) = x (xy) = x(x y) dune part et dautre part y(x y) = x (y 2 ) = (xy) y = x(y y) dans m A m, donc est bien dnie. Il est ensuite clair que = idm2 . (7) On a enn ker im = m A m avec injective donc un isomorphisme de m2 sur son image et ker = k isomorphe k. Bref, m A m est isomorphe la somme directe de m2 et de k. 7. On note Z(N) le groupe ablien des suites dentiers dont presque tous les termes (cest-dire : tous sauf un nombre ni) sont nuls, et ZN le groupe ablien de toutes les suites dentiers. Expliciter Z(N) Z Q et ZN Z Q, et les comparer Q(N) et QN . () De faon plus gnrale, montrer que si M est un groupe ablien, M Z ZN sidentie un sous-groupe de M N (propre en gnral) et le dcrire.
() Donner un exemple danneau (commutatif) A et de module M sur A tel que lapplication linaire naturelle M A AN M N ne soit mme pas injective. Montrer par un exemple que lapplication dnie de faon analogue celle de lexercice 2, mais pour des modules sur un anneau (commutatif) au lieu des espaces vectoriels, peut ne pas tre injective.

Corrig. On a Z(N) = iN Z, le Z-module libre de base dnombrable, donc (le produit tensoriel distribue sur la somme directe) Z(N) Z Q = iN Q = Q(N) . Le Z-module ZN , lui, nest pas libre3 , et le produit tensoriel ne distribue pas sur le produit direct inni. Nanmoins, on peut dcrire ZN Z Q comme ceci : cest le sous-Q-espace vectoriel de QN form des suites de rationnels dont le dnominateur reste born ; en effet, si on note E lespace ainsi dcrit, on a une application Z-linaire ZN Z Q E envoyant (un ) r sur (run ), et on peut lui dnir 1 une rciproque en envoyant une suite (un ) de rationnels de dnominateur born sur (N un ) N o N est tel que tous les N un soient entiers. On peut aussi faire appel lexercice 1. Lorsque M est un groupe ablien quelconque, lapplication naturelle : M Z ZN M N a une image qui tombe manifestement dans le sous-groupe M de M N form des suites (xi ) dlments de M telles que le sous-groupe (xi ) de M engendr par les xi soit de type ni (cest--dire engendr par un nombre ni de ses lments ou, de faon quivalente, dentre les xi ) ; pour montrer que M est bien un sous-groupe de M N on utilise le fait que tout sous-groupe dun groupe ablien de type ni est encore de type ni (Z est noethrien). Le fait que limage de est exactement M est facile : si (xi ) est une suite dlments de M tels que x0 , . . . , xn sufsent engendrer tous les xi , on trouve facilement des suites dentiers (ui0 ), . . . , (uin ) (vriant uii = 1 si i n et uij = 0 si i = j avec i n et j n) telles que xi = n uij xj j=0 pour tout i donc (xi ) est limage de n xj (uij ). Pour montrer que est injective, il faut j=0 se fatiguer plus : soit n xj (uij ) M Z ZN dont limage par est nulle, cest--dire j=0 n uij xj = 0 pour tout i. Mais lensemble R des relations entre x0 , ..., xn , cest--dire j=0 lensemble des (n + 1)-uplets (v0 , ..., vn ) de naturels tels que n vj xj = 0, est un groupe j=0 ablien, de type ni car sous-groupe de Zn+1 (il se trouve mme quil est libre, mais on nen aura pas besoin). Du coup, il existe des (v j ) pour = 0, ..., r (et j = 0, ..., n toujours) tels que, pour chaque i, (uij ) soit combinaison Z-linaire des (v j ), mettons uij = r=0 ki v j ; mais alors par bilinarit de on a n xj (uij ) = r=0 (ki ) ( n v j xj ) = 0, do j=0 j=0 linjectivit.
(2 ) Pour sen convaincre, on suppose quon a f0 x2 + f1 xy + f2 y 2 = 0, on remarque que f0 est forcment divisible par y et f2 par x et alors que f1 appartient m, bref, f0 = yh0 , f1 = yh2 xh0 et f2 = xh2 et les deux relations annonces sont bien gnratrices. (3 ) Ce nest pas vident ; en tout cas, ce qui suit ne le prouve pas.

TD Algbre II (20042005)

Produits tensoriels de modules

No 1 (corrig)

/ page 6

Considrons maintenant lanneau A ainsi dni : on part dun corps k et on forme la runion (ou, pour parler mieux, la limite inductive), note k[y, (xi )], de tous les anneaux de polynmes k[y, x1 , ..., xn ] (n tant un entier naturel), et enn on pose A = k[y, (xi )]/((xi xj )i=j , (yxi )) le quotient de k[y, (xi )] par lidal engendr par tous les produits de deux indtermines distinctes, soit les xi xj (i = j tous deux dans N) et les yxi (pour i dans N). Soit enn I lidal engendr par y dans A. Alors llment y (xi ) de I A AN senvoie sur 0 dans I N . Pourtant, il nest pas nul. En effet, I est (grce la che A I de P multiplication par y) le quotient de A par limage de lapplication : A(N) A qui envoie (ai ) presque nulle sur j aj xj ; on en dduit que PA AN est le quotient de AN par limage de lapplication idAN : A(N) A AN = (AN )(N) A qui I envoie (cij ) sur ( j cij xj ) : mais on constate facilement que la suite (xi ) ne peut pas scrire comme limage par cette che dun (cij ) vriant le fait (traduisant lappartenance (AN )(N) ) quil ny a quun nombre ni de j pour lesquels cij nest pas nul pour tout i. Enn, pour donner un exemple o U et V sont deux modules sur un anneau (commutatif) A et o lapplication : U A V HomA (U, V ) dnie par v (x (x) v) nest pas injective, on reprend les notations ci-dessus, cest--dire un anneau commutatif A et un idal I de A tels que AN A I I N ne soit pas injective ; alors en posant U = A(N) on a U = AN , et avec V = I on voit que : U A V HomA (U, V ) concide prcisment avec AN A I I N do la non injectivit.

8 (modules plats). Un module P sur un anneau (commutatif) A est dit plat lorsque pour tout A-module M et tout sous-module M de A, en notant i: M M linjection canonique, lapplication A-linaire i idP : M A P M A P est injective. Montrer quun module libre est plat, quun produit tensoriel (ni) de modules plats est plat, et quune somme directe (nie ou innie) est plate si et seulement si chacun des termes est plat. Corrig. Si F = A(I) = iI A est un module libre, alors M A F = iI M est le sous-module de M A F = iI M form des lments toutes les coordonnes sont dans M , et i idF est linclusion, donc F est bien plat. Si P1 et P2 sont plats et i: M M linclusion dun sous-module M dans un module M , alors i 1P1 P2 = i 1P1 1P2 est injective car i lest donc (par platitude de P1 ) i 1P1 lest donc (par platitude de P2 ) i 1P1 1P2 lest. Par une rcurrence immdiate on en dduit le cas dun produit tensoriel ni quelconque. Si (Pi )iI est une famille quelconque de A-modules et P = iI Pi alors pour M un M A Pi et M A P = sous-module de M on a M A P = iI M A Pi et iI i idP est la somme directe des i idPi (cest--dire lapplication qui envoie une famille (xi ) presque nulle dlments de M A Pi vers la famille ((i idPi )(xi )) de ses images par ces applications). Manifestement, pour quune application somme directe soit injective il faut et il suft que chacune de ses composantes le soit, ce qui conclut. 9. () Soit : A B un morphisme danneaux (commutatifs). Tout B-module M peut tre considr comme un A-module par la multiplication a x = (a) x pour a A et x M . Montrer lquivalence entre (i) toute application A-linaire M N de B-modules est automatiquement B-linaire, (ii) une quelconque des deux ches B B A B (donnes par b 1 b et b b 1) est un isomorphisme (auquel cas les deux concident) et (iii) pour nimporte quel B-module M , la che M B A M donne par x 1 x est un isomorphisme et les structures de B-module de B A M sont les mmes pour la multiplication sur le facteur de gauche ou de droite. Corrig. Montrons que (i) implique (ii). On considre B A B comme un B-module par multiplication sur le facteur de gauche. La che b 1 b est A-linaire par dnition du produit tensoriel sur A (a b = 1 ab) : lhypothse (i) assure donc quelle est B-linaire, cest--dire en particulier (comme on a choisi de mettre sur B A B la structure correspondant la multiplication sur le facteur de gauche) que b b = 1 bb pour tous b, b B. On peut donc dire que les ches B B A B, b 1 b et B A B B, b b bb sont des bijections rciproques et (ii) est prouv.

TD Algbre II (20042005)

Produits tensoriels de modules

No 1 (corrig)

/ page 7

Montrons prsent que (ii) implique (iii). La che M B A M donne par x 1 x se factorise en M B B M (B A B) B M B A M o la premire che est lisomorphisme naturel x 1 x, la deuxime est b x (1 b) x, et la troisime est (b b ) x b b x : cette fois, B A B a t considr comme B-module par multiplication sur le facteur de droite. Mais lhypothse (ii) assure que B B A B et donc aussi B B M (B A B) B M , est un isomorphisme. Donc M B A M , en tant que compose disomorphismes, en est un, et comme les deux ches B B A B concident les deux structures de B-module sur B A M concident aussi, ce qui dmontre (iii). Montrons enn que (iii) implique (i) : dune che A-linaire M N entre deux Amodules on dduit une che B-linaire 1 f : B A M B A N , qui daprs (iii) concide avec f elle-mme modulo des isomorphismes naturels. Donc f est bien B-linaire. 10 (le foncteur Tor). Soit A un anneau (commutatif). Si N est un A-module, on dnit un A-module R(N ) appel module des relations (ou : premier module des syzygies ) de N : cest lensemble des combinaisons formelles i ai [xi ] (avec ai A, xi N et la somme nie ; les [xi ] sont des symboles formels) telles que i ai xi = 0, avec laddition terme terme et la multiplication vidente par les lments de A. Si on prfre, R(N ) est le noyau de lapplication naturelle du A-module libre de base N , soit A(N ) , vers N . Si P est un autre Amodule, on dnit le produit de torsion ou produit Tor de N et P , not N A P (ou, de faon plus standard mais plus encombrante, Tor1 (N, P )) comme lensemble des lments de A R(N ) A P , disons j ( i aij [xi ]) yj , tels que j aij yj = 0 pour tout i (i.e., qui sannulent dans P (N ) ). (1) Calculer directement (Z/2Z) Z (Z/2Z) avec cette dnition. (2) () Montrer que, contrairement aux apparences, N A P est symtrique en N et P (dans un sens prciser).
(3) () Montrer que si on a une suite exacte 0 M M M 0 de A-modules (rappelons que ceci signie que limage de chaque che est le noyau de la suivante ; en loccurrence, que M est un sous-module de M et que le quotient de M par M est M ) alors on a une suite exacte M A P M A P M A P M A P M A P M A P 0.

Corrig. (1) Les relations sur Z/2Z sont manifestement R(Z/2Z) = Z[ Z(2[ Du 0] 1]). (Z/2Z)(2[ et nalement on trouve que coup, R(Z/2Z) Z (Z/2Z) = (Z/2Z)[0] 1 1]) 1 (Z/2Z) Z (Z/2Z) vaut Z/2Z avec un gnrateur qui peut scrire 2[ 1, 1]. (2) On est tent denvoyer llment j ( i aij [xi ]) yj de N A P sur llment de P A N donn par i ( j aij [yj ]) xi . Reste vrier que cest bien dni : tout dabord, on a i aij xi = 0 pour tout j (car les i aij [xi ] sont censs appartenir R(N ) et j aij yj = 0 pour tout i (par dnition de R(N )) ; mais il faut aussi vrier que les conditions de bilinarits sont bien vries (attention cependant, car on dnit une application linaire sur un sousespace du produit tensoriel) : or si j bj yj = 0, on envoie ( i ai [xi ]) ( j bj yj ) (qui est nul dans R(N )) sur ( j bj [yj ]) ( i ai xi ) avec encore i ai xi = 0, donc sur zro comme on voulait. On a bien obtenue la symtrie du produit Tor. Si on veut, on peut encore dcire N A P de la faon symtrique suivante : on part de A(N P ) (comme pour construire N A P ), on se restreint la partie des (cxy ) tels que x cxy x = 0 pour tout y et y cxy y = 0 pour tout x, et on quotiente par le sous-module engendr par tous les cxy de la forme (ax by ) pour des ax vriant x ax x = 0 (une relation sur N , donc) et des by vriant y by y = 0 (une relation sur P ).
(3) La suite exacte M A P M A P M A P 0 est dj connue. Dnissons une application A-linaire de P P connexion : M A P M A P ; en fait, on a tout fait pour : si on se donne A P , on j( i aij [xi ]) yj M P relve les xi arbitrairement en des xi M , et comme P ij P senvoie sur 0 dans M P P a xi pour tout j il provient dun lment i P de M , quon notera galement i aij xi , et on dnit ( j ( i ai [xi ]) yj ) comme j ( i aPi ) yj dans M A P . ij x Cette valeur ne dpend pas des choix des xi car deux choix diffrent par un lment de la forme i,j aij ti yj qui est nul P puisque j aij yj est nul pour tout i. Manifestement cet lment de M A P senvoie vers 0 dans M A P .

TD Algbre II (20042005)

Produits tensoriels de modules

No 1 (corrig)

/ page 8

Pour montrer que limage de est prcisment le noyau de M A P M A P , on procde de la faon suivante. Soit M une partie de M (sans plus de structure que a) contenant un et un seul reprsentant de chaque image dans M : la P che A(M M ) M qui une combinaison formelle ai [xi ] avec chaque xi M M est alors surjective, et on peut ) considrer R son noyau. Comme 0 R A(M M M 0 est exacte, R A P P(M M ) M A P 0 P P lest aussi. Soit maintenant ij aij xi yj M A P qui sannule dans M A P , alors ij aij yj [xi ] (vu dans P (M ) donc dans P (M M ) ) provient dun lment de R A P daprs ce quon vient de dire, dont limage dans R(M ) A P est (M ) nulle dans P , cest--dire que cest un lment de M A P qui par construction est celui quon cherche. Le reste est du mme acabit. Il faut avouer que cest plus facile faire avec de la vraie algbre homologique... Motivations : Lexercice 1 est cens donner une ide de ce quoi peuvent ressembler les produits tensoriels sur un anneau qui nest pas un corps (Z, ici, pour ne pas faire trop compliqu). Lexercice 2 tend justier la ressemblance entre produits tensoriels et applications linaires : pour les espaces vectoriel de dimension nie cest la mme chose si on dualise lespace de dpart. Lexercice 3 gnralise trivialement le produit tensoriel pour considrer les applications multilinaires en s variables. Lexercice 4 est plutt taupinal (ou agrgatif). Lexercice 5 cherche dterminer les produits tensoriels sur lanneau des polynmes une indtermine. Lexercice 6, long mais censment peu difcile, devrait donner une ide dun produit tensoriel en prsence de relations plus compliques (ici un module qui na pas de torsion en acquiert en passant au produit tensoriel). Lexercice 7 tudie le produit tensoriel avec le module des suites valeurs dans lanneau de base. Lexercice 8 introduit la notion de module plat et y dmontre des sorites lmentaires. Lexercice 9 demande un maniement intensif de la proprit universelle et considrations formelles sur le produit tensoriel. Lexercice 10 introduit le produit Tor, qui est le foncteur driv du produit tensoriel (et en mesure le dfaut dexactitude gauche).