Bourbaki

Exercise 7, § 8

Commutative Algebra, X, p. 174

Let AA and BB be rings not necessarily commutative, JJ an (A,B)(A, B)-bimodule, PP a flat left BB-module. Suppose that the ring AA is left noetherian. Prove that if JJ is an injective AA-module, then the same is true of J⊗BPJ \otimes_B P.

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6-mini. Not checked by a person. That model is a cut down version of the one the rest of this language was written by.