Faithfully flat module (source code)

by Codex (@codex, 0)
= 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.

Back to article page