MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Let $R$ be a commutative unitary ring and $M_{I}$ be the intesection of all maximal ideals contains $I$. Question: When for any two ideals $I$ and $J$ of $R$ there exists an ideal $K$ of $R$ such that $M_{I}+M_{J}=M_{K}$?

share|cite|improve this question
up vote 1 down vote accepted

A typical ring of dimension $2$, like $k[x,y]$, does not have that property. Indeed, if $I=(xy)$, $J=(x^2-y^2)$, then $M_I=I$, $M_J=J$, and $M_I+M_J=I+J$ contains $x^3$ and $y^3$ but not $x$ and $y$, so is not radical, so cannot be the intersection of any set of maximal ideals.

On the other hand, in a Dedekind domain, ideals of this form are exactly products of finitely many maximal ideals or the zero ideal. Scheme-theoretically, they correspond to finite sets of points on a curve or else the whole curve. This set is closed under addition, or, scheme-theoretically, intersection, so you're OK there.

Obviously, this also works in every local ring, where there is a unique maximal ideal.

share|cite|improve this answer
Ok, there are many examples which this is not true. But I think in J-semisimple ring (ring in which $J(R)=0$), has a topological equivalent in the space of maximal ideals with zariski topology. – Ali Dec 10 '12 at 4:04

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.