Flat ring homomorphism

Summary