Lemma 15.34.2. Let $K \subset L \subset M$ be field extensions. Then the Jacobi-Zariski sequence
\[ 0 \to H_1(L_{L/K}) \otimes _ L M \to H_1(L_{M/K}) \to H_1(L_{M/L}) \to \Omega _{L/K} \otimes _ L M \to \Omega _{M/K} \to \Omega _{M/L} \to 0 \]
is exact.
Comments (0)