Mathematics Stack Exchange is a question and answer site for people studying math at any level and professionals in related fields. 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

Possible Duplicate:
Comaximal ideals in a commutative ring

Let $I$ and $J$ are coprime ideals in commutative unit ring $A$. Is it true that $I^m$ and $J^n$ are also coprime for any $m,n\in\mathbb{N}$?

Thanks a lot!

share|cite|improve this question

marked as duplicate by rschwieb, Sasha, Norbert, Henry T. Horton, Noah Snyder Oct 4 '12 at 22:38

This question has been asked before and already has an answer. If those answers do not fully address your question, please ask a new question.

@pritam Is coprime ideal a synonim for comaximal ideal? It does not look so. – Sasha Oct 3 '12 at 16:16
@Sasha: According to Atiyah-Macdonald (page 7), yes they are same – pritam Oct 3 '12 at 16:22

Although this is a trivial exercise in commutative algebra, I've seen here only solutions based on calculations. Let me try a one-line solution (well, one line and a little):

$I^m+J^n\neq R$ $\Rightarrow$ $\exists P$ prime ideal with $I^m+J^n\subseteq P$ $\Rightarrow$ $I^m\subseteq P$, $J^n\subseteq P$ $\Rightarrow$ $I\subseteq P$, $J\subseteq P$ $\Rightarrow$ $I+J\subseteq P$, contradiction.

share|cite|improve this answer
Nice solution ${}{}{}{}{}$ – Amr May 11 '14 at 9:58

Let's remind ourselves of the definition of coprime: $I,J \subset R$ are coprime iff $I + J = R$. This means, there are $i \in I$ and $j \in J$ such that $i + j = 1$.

We have $1 = 1^{2k} = (i + j)^{2k} = \sum_{\iota =0}^{2k} {2k \choose \iota} i^\iota j^{2k - \iota} \in I^{2k} + \dots + J^{2k} \subset I^k + J^k$ for all $k$.

Choose $k = \max (n,m)$ then $I^k \subset I^n$ and $J^k \subset J^m$ and hence $1 = (i+j)^{2k} \in I^k + J^k \subset I^n + J^m$.

share|cite|improve this answer

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