Faithfully flat ring homomorphism