Skip to main content
Reformulated q.2 (which was not equivalent to q.1)
Source Link
jmc
  • 5.5k
  • 27
  • 60

$\DeclareMathOperator{\Spec}{Spec}$ [Edit] Martin pointed out that $\dim A = 0$ does not imply that $\Spec A$ is discrete. Therefore I changed the wording of question 2.[/Edit]


With dimension of a ring I mean the Krull-dimension.


It is well-known that for a commutative ring $A$ the following are equivelent

  • $A$ is noetherian and $\dim A = 0$;
  • $A$ is artinian.

It is easy to think of noetherian rings that are not artinian ($\mathbb{Z}$). However I cannot find an example of a $0$-dimensional ring that is not artinian.

QuestionQuestions

What is an example of a commutative ring $A$ with $\dim A = 0$ that is not artinian (or equivalently, not noetherian)?

  1. What is an example of a commutative ring $A$ with $\dim A = 0$ that is not artinian (or equivalently, not noetherian)?

An equivalent question is: Give an example of an affine scheme $X$, such that $X$ is discrete as topological space, but $\mathcal{O}_X(X)$ is not noetherian/artinian.

  1. A related question is: Give an example of an affine scheme $X$, such that $X$ is discrete as topological space, but $\mathcal{O}_X(X)$ is not noetherian/artinian.

Or equivalently again: Why does the converse of proposition 8.3 in Atiyah-MacDonald fail for a ring $A$ with $\dim A = 0$? (The proposition says that artinian rings have finitely many maximal ideals.)

  1. Yet another question: Why does the converse of proposition 8.3 in Atiyah-MacDonald fail for a ring $A$ with $\dim A = 0$? (The proposition says that artinian rings have finitely many maximal ideals.)

I have tried various constructions, but they all fail somehow.

With dimension of a ring I mean the Krull-dimension.


It is well-known that for a commutative ring $A$ the following are equivelent

  • $A$ is noetherian and $\dim A = 0$;
  • $A$ is artinian.

It is easy to think of noetherian rings that are not artinian ($\mathbb{Z}$). However I cannot find an example of a $0$-dimensional ring that is not artinian.

Question

What is an example of a commutative ring $A$ with $\dim A = 0$ that is not artinian (or equivalently, not noetherian)?

An equivalent question is: Give an example of an affine scheme $X$, such that $X$ is discrete as topological space, but $\mathcal{O}_X(X)$ is not noetherian/artinian.

Or equivalently again: Why does the converse of proposition 8.3 in Atiyah-MacDonald fail for a ring $A$ with $\dim A = 0$? (The proposition says that artinian rings have finitely many maximal ideals.)

I have tried various constructions, but they all fail somehow.

$\DeclareMathOperator{\Spec}{Spec}$ [Edit] Martin pointed out that $\dim A = 0$ does not imply that $\Spec A$ is discrete. Therefore I changed the wording of question 2.[/Edit]


With dimension of a ring I mean the Krull-dimension.


It is well-known that for a commutative ring $A$ the following are equivelent

  • $A$ is noetherian and $\dim A = 0$;
  • $A$ is artinian.

It is easy to think of noetherian rings that are not artinian ($\mathbb{Z}$). However I cannot find an example of a $0$-dimensional ring that is not artinian.

Questions

  1. What is an example of a commutative ring $A$ with $\dim A = 0$ that is not artinian (or equivalently, not noetherian)?
  1. A related question is: Give an example of an affine scheme $X$, such that $X$ is discrete as topological space, but $\mathcal{O}_X(X)$ is not noetherian/artinian.
  1. Yet another question: Why does the converse of proposition 8.3 in Atiyah-MacDonald fail for a ring $A$ with $\dim A = 0$? (The proposition says that artinian rings have finitely many maximal ideals.)

I have tried various constructions, but they all fail somehow.

Source Link
jmc
  • 5.5k
  • 27
  • 60

A $0$-dimensional ring that is not noetherian

With dimension of a ring I mean the Krull-dimension.


It is well-known that for a commutative ring $A$ the following are equivelent

  • $A$ is noetherian and $\dim A = 0$;
  • $A$ is artinian.

It is easy to think of noetherian rings that are not artinian ($\mathbb{Z}$). However I cannot find an example of a $0$-dimensional ring that is not artinian.

Question

What is an example of a commutative ring $A$ with $\dim A = 0$ that is not artinian (or equivalently, not noetherian)?

An equivalent question is: Give an example of an affine scheme $X$, such that $X$ is discrete as topological space, but $\mathcal{O}_X(X)$ is not noetherian/artinian.

Or equivalently again: Why does the converse of proposition 8.3 in Atiyah-MacDonald fail for a ring $A$ with $\dim A = 0$? (The proposition says that artinian rings have finitely many maximal ideals.)

I have tried various constructions, but they all fail somehow.