Lemma 2.15, p. 17 — for t ∈ I with t·I⁻¹ coprime to J, u ↦ t·u induces an R-module isomorphism M/JM → IM/IJM

Initializing...

Lemma 2.15, p. 17 — for t ∈ I with t·I⁻¹ coprime to J, u ↦ t·u induces an R-module isomorphism M/JM → IM/IJM · Prove2Me