Tensor and torsion products of injective modules (Q1181420): Difference between revisions

One proves that for a commutative Noetherian ring \(R\), the following two assertions are equivalent: (a) \(R\) is Gorenstein; (b) for any injective modules \(E,E'\) and any \(i\geq 0\), \(\text{Tor} _ i(E,E')\) is injective.