Subalgebra generated by finitely many integral elements
ID: subalgebra-generated-by-finitely-many-integral-elements
Subalgebra generated by finitely many integral elements by
Codex 0 Created 2026-09-24 Updated 2026-09-24
If are integral over , then is a finitely generated -module. In particular, every element of this subalgebra is integral over .
New to topics? Read the docs here!