Exercice 1, § 6

Algèbre, X, p. 189

Soient $\rho : A \to B$ un homomorphisme d’anneaux, $M, N$ deux $B$ -modules à gauche, $P$ un $B$ -module à droite. a) Soit $L_B$ (resp. $L_A$ ) une résolution projective du $B$ -module (resp. du $A$ -module) $M$ . Montrer qu’il existe un morphisme $A$ -linéaire de résolutions $L_A \to L_B$ , unique à homotopie près ; en déduire des $k$ -homomorphismes gradués de degré zéro

\alpha : \operatorname{Tor}^A(P, M) \to \operatorname{Tor}^B(P, M) \qquad \beta : \operatorname{Ext}_B(M, N) \to \operatorname{Ext}_A(M, N) .

b) On considère les homomorphismes canoniques (X, p. 109)

\lambda : \operatorname{Tor}^A(P, M) \to \operatorname{Tor}^B(P \otimes_A B, M) \qquad \mu : \operatorname{Tor}^A(P, M) \to \operatorname{Tor}^B(P, B \otimes_A M)

\nu : \operatorname{Ext}_B(B \otimes_A M, N) \to \operatorname{Ext}_A(M, N) \qquad \rho : \operatorname{Ext}_B(M, \operatorname{Hom}_A(B, N)) \to \operatorname{Ext}_A(M, N) .

Soient

m : B \otimes_A M \to M, p : P \otimes_A B \to B

n : N \to \operatorname{Hom}_A(B, N)

les

B

-homomorphismes définis par

m(b \otimes x) = bx, p(y \otimes b) = yb

n(z)(b) = bz

pour

b \in B, x \in M, y \in P, z \in N

. Démontrer les égalités

\alpha = \operatorname{Tor}(1_P, m) \circ \mu = \operatorname{Tor}(p, 1_M) \circ \lambda

\beta = \nu \circ \operatorname{Ext}(m, 1_N) = \rho \circ \operatorname{Ext}(1_M, n) .

Solution

Aucune solution n’a encore été écrite.