Artin-Tate lemma
Statement
Suppose are commutative unital rings, such that:
- is Noetherian
- and are -algebras, with a subalgebra of
- is finitely generated as an -algebra
- is finitely generated as a -module
Then: is finitely generated as an -algebra
Suppose are commutative unital rings, such that:
Then: is finitely generated as an -algebra