On Fitting ideals of Kahler differential module (Q2333781)

Summary: Let \(k\) be an algebraically closed field of characteristic zero, and \(R/I\) and \(S/J\) be algebras over \(k\). \(\Gamma_1(R/I)\) and \(\Gamma_1(S/J)\) denote universal module of first order derivation over \(k\). The main result of this paper asserts that the first nonzero Fitting ideal \(\Gamma_1(R/I\otimes_k S/J)\) is an invertible ideal, if the first nonzero Fitting ideals \(\Gamma_1(R/I)\) and \(\Gamma_1(S/J)\) are invertible ideals. Then using this result, we conclude that the projective dimension of \(\Gamma_1(R/I \otimes_k S/J)\) is less than or equal to one.