Lemma 15.118.3. Let R be a ring. Let
\xymatrix{ 0 \ar[r] & M' \ar[r] \ar[d]^ u & M \ar[r] \ar[d]^ v & M'' \ar[r] \ar[d]^ w & 0 \\ 0 \ar[r] & K' \ar[r] & K \ar[r] & K'' \ar[r] & 0 }
be a commutative diagram of finite projective R-modules whose vertical arrows are isomorphisms. Then we get a commutative diagram of isomorphisms
\xymatrix{ \det (M') \otimes \det (M'') \ar[r]_-\gamma \ar[d]_{\det (u) \otimes \det (w)} & \det (M) \ar[d]^{\det (v)} \\ \det (K') \otimes \det (K'') \ar[r]^-\gamma & \det (K) }
where the horizontal arrows are the ones constructed in Lemma 15.118.2.
Comments (0)