Skip to main content
added 327 characters in body
Source Link
Martin Brandenburg
  • 63.1k
  • 13
  • 207
  • 426

Take any compact totally disconnected Hausdorff space $X$ (for example the Cantor set, or the one-point compactification of $\mathbb{N}$). Then $\mathcal{C}(X,\mathbb{F}_2)$ is a ring whose spectrum is homeomorphic to $X$. In particular, this ring is zero-dimensional, but this ring is noetherian iff $X$ is finite.

More generally, a commutative ring is called von Neumann regular when for every $x$ we have $x^2 | x$ (in particular, boolean rings qualify). Equivalently, every localization at a prime ideal is a field. In particular, they are zero-dimensional (in fact, they are precisely the reduced zero-dimensional rings). It is easy to check that these rings are closed under infinite products.

In particular, an infinite product of fields is a zero-dimensional ring, which is not noetherian. If the index set is $I$, the spectrum is the space of ultrafilters on $I$.

EDIT: It is even more trivial to give non-reduced examples. If $V$ is any $k$-module, then $A=k \oplus V$ is a $k$-algebra (with $V^2=0$). Then $A_{\mathrm{red}}=k$ is a field, in particular $\mathrm{Spec}(A)$ is just a single point. If $V$ is not noetherian as a module, it is clear that $A$ won't be noetherian as a ring.

Take any compact totally disconnected Hausdorff space $X$ (for example the Cantor set, or the one-point compactification of $\mathbb{N}$). Then $\mathcal{C}(X,\mathbb{F}_2)$ is a ring whose spectrum is homeomorphic to $X$. In particular, this ring is zero-dimensional, but this ring is noetherian iff $X$ is finite.

More generally, a commutative ring is called von Neumann regular when for every $x$ we have $x^2 | x$ (in particular, boolean rings qualify). Equivalently, every localization at a prime ideal is a field. In particular, they are zero-dimensional (in fact, they are precisely the reduced zero-dimensional rings). It is easy to check that these rings are closed under infinite products.

In particular, an infinite product of fields is a zero-dimensional ring, which is not noetherian. If the index set is $I$, the spectrum is the space of ultrafilters on $I$.

Take any compact totally disconnected Hausdorff space $X$ (for example the Cantor set, or the one-point compactification of $\mathbb{N}$). Then $\mathcal{C}(X,\mathbb{F}_2)$ is a ring whose spectrum is homeomorphic to $X$. In particular, this ring is zero-dimensional, but this ring is noetherian iff $X$ is finite.

More generally, a commutative ring is called von Neumann regular when for every $x$ we have $x^2 | x$ (in particular, boolean rings qualify). Equivalently, every localization at a prime ideal is a field. In particular, they are zero-dimensional (in fact, they are precisely the reduced zero-dimensional rings). It is easy to check that these rings are closed under infinite products.

In particular, an infinite product of fields is a zero-dimensional ring, which is not noetherian. If the index set is $I$, the spectrum is the space of ultrafilters on $I$.

EDIT: It is even more trivial to give non-reduced examples. If $V$ is any $k$-module, then $A=k \oplus V$ is a $k$-algebra (with $V^2=0$). Then $A_{\mathrm{red}}=k$ is a field, in particular $\mathrm{Spec}(A)$ is just a single point. If $V$ is not noetherian as a module, it is clear that $A$ won't be noetherian as a ring.

added 563 characters in body
Source Link
Martin Brandenburg
  • 63.1k
  • 13
  • 207
  • 426

Take any compact totally disconnected Hausdorff space $X$ (for example the Cantor set, or the one-point compactification of $\mathbb{N}$). Then $\mathcal{C}(X,\mathbb{F}_2)$ is a ring whose spectrum is homeomorphic to $X$. In particular, this ring is zero-dimensional, but this ring is noetherian iff $X$ is finite.

More generally, a commutative ring is called von Neumann regular when for every $x$ we have $x^2 | x$ (in particular, boolean rings qualify). Equivalently, every localization at a prime ideal is a field. In particular, they are zero-dimensional (in fact, they are precisely the reduced zero-dimensional rings). It is easy to check that these rings are closed under infinite products.

In particular, an infinite product of fields is a zero-dimensional ring, which is not noetherian. If the index set is $I$, the spectrum is the space of ultrafilters on $I$.

Take any compact totally disconnected Hausdorff space $X$ (for example the Cantor set, or the one-point compactification of $\mathbb{N}$). Then $\mathcal{C}(X,\mathbb{F}_2)$ is a ring whose spectrum is homeomorphic to $X$. In particular, this ring is zero-dimensional, but this ring is noetherian iff $X$ is finite.

Take any compact totally disconnected Hausdorff space $X$ (for example the Cantor set, or the one-point compactification of $\mathbb{N}$). Then $\mathcal{C}(X,\mathbb{F}_2)$ is a ring whose spectrum is homeomorphic to $X$. In particular, this ring is zero-dimensional, but this ring is noetherian iff $X$ is finite.

More generally, a commutative ring is called von Neumann regular when for every $x$ we have $x^2 | x$ (in particular, boolean rings qualify). Equivalently, every localization at a prime ideal is a field. In particular, they are zero-dimensional (in fact, they are precisely the reduced zero-dimensional rings). It is easy to check that these rings are closed under infinite products.

In particular, an infinite product of fields is a zero-dimensional ring, which is not noetherian. If the index set is $I$, the spectrum is the space of ultrafilters on $I$.

Source Link
Martin Brandenburg
  • 63.1k
  • 13
  • 207
  • 426

Take any compact totally disconnected Hausdorff space $X$ (for example the Cantor set, or the one-point compactification of $\mathbb{N}$). Then $\mathcal{C}(X,\mathbb{F}_2)$ is a ring whose spectrum is homeomorphic to $X$. In particular, this ring is zero-dimensional, but this ring is noetherian iff $X$ is finite.