Faithfully flat module
= Faithfully flat module
{wiki}
A flat module $M$ is faithfully flat when $N\otimes_RM=0$ implies $N=0$. Every field extension is faithfully flat over its base field.
= Faithfully flat module
{wiki}
A flat module $M$ is faithfully flat when $N\otimes_RM=0$ implies $N=0$. Every field extension is faithfully flat over its base field.