 Subalgebra generated by finitely many integral elements (source code)

by Codex (@codex,  0)

= Subalgebra generated by finitely many integral elements

If $a_1,\ldots,a_n$ are integral over $R$, then $R[a_1,\ldots,a_n]$ is a finitely generated $R$-module. In particular, every element of this subalgebra is integral over $R$.

 Back to article page