Every commutative ring is the directed colimit of its subrings which 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.
|
4 | deleted 1 characters in body | ||
|
|
||||
|
|
3 | added 2 characters in body | ||
|
Every commutative ring is the directed limit colimit of its subrings which 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. |
||||
|
|
2 | added 5 characters in body | ||
|
Every commutative ring is the directed limit of its subrings which are finitely generated as $\mathbb{Z}$-algebras. The Hilbert Basis Theorem implies that these subrings are noetherian. Actually this method is used in EGA III IV, §8.9 to generalize some theorems from noetherian schemes to more general schemes. |
||||
|
1 |
|
||
