Skip to main content
MathOverflow

Return to Question

deleted 49 characters in body
Source Link
user26857
user26857
  • 1.3k
  • 14
  • 30

I can give examplesexamples of non-noetherian rings having irreducible ideals that are not primary. Among them there are idealizations and valuation domains. But the first non-noetherian ring we are thinking about is $K[X_1,\dots,X_n,\dots]$, $K$ a field. The finitely generated ideals of this ring have primary decomposition, so if they are irreducible then are necessarily primary.

My question is the following:

Are there irreducible ideals that are not primary in $K[X_1,\dots,X_n,\dots]$?

I can give examples of non-noetherian rings having irreducible ideals that are not primary. Among them are idealizations and valuation domains. But the first non-noetherian ring we are thinking about is $K[X_1,\dots,X_n,\dots]$, $K$ a field. The finitely generated ideals of this ring have primary decomposition, so if they are irreducible then are necessarily primary.

My question is the following:

Are there irreducible ideals that are not primary in $K[X_1,\dots,X_n,\dots]$?

I can give examples of non-noetherian rings having irreducible ideals that are not primary. Among them there are idealizations and valuation domains. But the first non-noetherian ring we are thinking about is $K[X_1,\dots,X_n,\dots]$, $K$ a field. The finitely generated ideals of this ring have primary decomposition, so if they are irreducible then are necessarily primary.

My question is the following:

Are there irreducible ideals that are not primary in $K[X_1,\dots,X_n,\dots]$?

Notice removed Draw attention by user26857
Bounty Ended with David Lampert's answer chosen by user26857
Notice added Draw attention by user26857
Bounty Started worth 50 reputation by user26857
Source Link
user26857
user26857
  • 1.3k
  • 14
  • 30

Are there irreducible ideals that are not primary in $K[X_1,\dots,X_n,\dots]$?

I can give examples of non-noetherian rings having irreducible ideals that are not primary. Among them are idealizations and valuation domains. But the first non-noetherian ring we are thinking about is $K[X_1,\dots,X_n,\dots]$, $K$ a field. The finitely generated ideals of this ring have primary decomposition, so if they are irreducible then are necessarily primary.

My question is the following:

Are there irreducible ideals that are not primary in $K[X_1,\dots,X_n,\dots]$?