Artin-Tate lemma

From Commalg
Revision as of 15:42, 14 January 2008 by Vipul (talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Statement

Suppose A,B,C are commutative unital rings, such that:

  • A is Noetherian
  • B and C are A-algebras, with B a subalgebra of C
  • C is finitely generated as an A-algebra
  • C is finitely generated as a B-module

Then: B is finitely generated as an A-algebra