Bourbaki

Exercise 4, § 2

Commutative Algebra, V, 363

Let AA be a Noetherian ring, ρ:A→B\rho : A \to B a ring homomorphism making BB into a finitely generated AA-module and NN a finitely generated BB-module. Show that the prime ideals p∈Ass⁡(ρ∗(N))p \in \operatorname{Ass}(\rho_*(N)) are the inverse images under ρ\rho of the prime ideals q∈Ass⁡(N)q \in \operatorname{Ass}(N).

Solution

No solution has been written yet.

Transcribed from the printed volume. Not translated.