Skip to main content
replaced http://math.stackexchange.com/ with https://math.stackexchange.com/
Source Link

Is a domain $D$, all of whose localizations $D_P$ for $P \in Spec(D)$ are noetherian, itself noetherian ?

The question is motivated by proposition 11.5 of Neukirch's Algebraic Number Theory:

Let $\mathfrak{o}$ be a noetherian integral domain. $\mathfrak{o}$ is a Dedekind domain if and only if, for all prime ideals $\mathfrak{p}\neq 0$, the localizations $\mathfrak{o}_\mathfrak{p}$ are discrete valuation rings.

If the question above has a positive answer, this proposition would give an unconditioned (i.e. without precondition "noetherian") characterization of Dedekind domains by a local property.

By googling I found a counterexample for a ring with zero-divisors:

http://math.stackexchange.com/questions/73421/a-non-noetherian-ring-with-all-localizations-noetherianhttps://math.stackexchange.com/questions/73421/a-non-noetherian-ring-with-all-localizations-noetherian

But I couldn't find a counterexample for a domain.

Is a domain $D$, all of whose localizations $D_P$ for $P \in Spec(D)$ are noetherian, itself noetherian ?

The question is motivated by proposition 11.5 of Neukirch's Algebraic Number Theory:

Let $\mathfrak{o}$ be a noetherian integral domain. $\mathfrak{o}$ is a Dedekind domain if and only if, for all prime ideals $\mathfrak{p}\neq 0$, the localizations $\mathfrak{o}_\mathfrak{p}$ are discrete valuation rings.

If the question above has a positive answer, this proposition would give an unconditioned (i.e. without precondition "noetherian") characterization of Dedekind domains by a local property.

By googling I found a counterexample for a ring with zero-divisors:

http://math.stackexchange.com/questions/73421/a-non-noetherian-ring-with-all-localizations-noetherian

But I couldn't find a counterexample for a domain.

Is a domain $D$, all of whose localizations $D_P$ for $P \in Spec(D)$ are noetherian, itself noetherian ?

The question is motivated by proposition 11.5 of Neukirch's Algebraic Number Theory:

Let $\mathfrak{o}$ be a noetherian integral domain. $\mathfrak{o}$ is a Dedekind domain if and only if, for all prime ideals $\mathfrak{p}\neq 0$, the localizations $\mathfrak{o}_\mathfrak{p}$ are discrete valuation rings.

If the question above has a positive answer, this proposition would give an unconditioned (i.e. without precondition "noetherian") characterization of Dedekind domains by a local property.

By googling I found a counterexample for a ring with zero-divisors:

https://math.stackexchange.com/questions/73421/a-non-noetherian-ring-with-all-localizations-noetherian

But I couldn't find a counterexample for a domain.

Source Link
KBuck
  • 558
  • 4
  • 13

Is a domain all of whose localizations are noetherian itself noetherian ?

Is a domain $D$, all of whose localizations $D_P$ for $P \in Spec(D)$ are noetherian, itself noetherian ?

The question is motivated by proposition 11.5 of Neukirch's Algebraic Number Theory:

Let $\mathfrak{o}$ be a noetherian integral domain. $\mathfrak{o}$ is a Dedekind domain if and only if, for all prime ideals $\mathfrak{p}\neq 0$, the localizations $\mathfrak{o}_\mathfrak{p}$ are discrete valuation rings.

If the question above has a positive answer, this proposition would give an unconditioned (i.e. without precondition "noetherian") characterization of Dedekind domains by a local property.

By googling I found a counterexample for a ring with zero-divisors:

http://math.stackexchange.com/questions/73421/a-non-noetherian-ring-with-all-localizations-noetherian

But I couldn't find a counterexample for a domain.