Flat ring homomorphism