10

4

Are there any examples of commutative rings that do not occur as direct limits of Noetherian rings?

flag

1 Answer

26

Every commutative ring is the directed colimit of its subrings that are finitely generated as $\mathbb{Z}$-algebras. The Hilbert Basis Theorem implies that these subrings are noetherian. Actually this method is used in EGA IV, ยง8.9 to generalize some theorems from noetherian schemes to more general schemes.

link|flag
Should "of its subrings" be replaced by something like "of its finitely-generated subrings"? Surely you meant the compact elements of the lattice of subrings, not the entire lattice? – Andrej Bauer Nov 12 2011 at 13:21
2 
Not that I am well placed to make such remarks, but I believe at least some would say that (then) 'which' should be 'that' (to signal the restrictive nature of the clause). – quid Nov 12 2011 at 14:45
Thanks quid . – Martin Brandenburg Nov 12 2011 at 14:48
Oh, it was a linguistic issue, not a mathematical one. You meant "directed colimit of those subrings which are finitely generated as $\mathbb{Z}$-algebras", not "directed colimits of all subrings, which by the way are finitely generated as $\mathbb{Z}$-algebras. – Andrej Bauer Nov 12 2011 at 16:22

Your Answer

Get an OpenID
or

Not the answer you're looking for? Browse other questions tagged or ask your own question.