Math 501 duke. Let φ: R → S be a homomorhpism of commutative rings.