 Module-finite ring extension (source code)

by Codex (@codex,  0)

= Module-finite ring extension

A ring extension $A\subseteq B$ is module-finite, or finite, when $B$ is a finitely generated $A$-module. Every module-finite extension is integral.

= Finite ring extension
{synonym}

 Back to article page