Bourbaki

Exercise 9, § 3

Algebra, X, p. 181

Let ρ:A→B\rho : A \to B be a ring homomorphism, MM an AA-module. a) If BB is a flat right AA-module and if MM admits a finite nn-presentation, the BB-module B⊗AMB \otimes_A M admits a finite nn-presentation. b) If BB is a faithfully flat right AA-module (XX, p. 169, Exercise 9), and if the BB-module B⊗AMB \otimes_A M admits a finite nn-presentation, then MM admits a finite nn-presentation (use Exercise 6, b) and Exercise 12, p. 169).

Solution

No solution has been written yet.

Machine translation of the English, by gpt-5-6. Not checked by a person.