If Two Ideals Are Comaximal in a Commutative Ring, then Their Powers Are Comaximal Ideals

Problems and solutions of ring theory in abstract algebra

Problem 360

Let $R$ be a commutative ring and let $I_1$ and $I_2$ be comaximal ideals. That is, we have

Then show that for any positive integers $m$ and $n$, the ideals $I_1^m$ and $I_2^n$ are comaximal.

LoadingAdd to solve later



Since $I_1+I_2=R$, there exists $a \in I_1$ and $b \in I_2$ such that
\[a+b=1.\] Then we have
1&=1^{m+n-1}=(a+b)^{m+n-1}\\[6pt] &=\sum_{k=1}^{m+n-1}\begin{pmatrix}
m+n-1 \\
a^k b^{m+n-1-k}\\[6pt] &=\sum_{k=1}^{m-1}\begin{pmatrix}
m+n-1 \\
a^k b^{m+n-1-k}
m+n-1 \\
a^k b^{m+n-1-k}.
In the third equality, we used the binomial expansion.

Note that the first sum is in $I_2^n$ since it is divisible by $b^n\in I_2^n$.
The second sum is in $I_1^n$ since it is divisible by $a^m\in I_1^n$.

Thus the sum is in $I_1^m+I_2^n$, and hence we have $1 \in I_1^m+I_2^n$, which implies that $I_1^m+I_2^n=R$.

LoadingAdd to solve later

Sponsored Links

More from my site

You may also like...

Leave a Reply

Your email address will not be published. Required fields are marked *

This site uses Akismet to reduce spam. Learn how your comment data is processed.

More in Ring theory
Prime Ideal Problems and Solution in Ring Theory in Mathematics
Every Maximal Ideal of a Commutative Ring is a Prime Ideal

Let $R$ be a commutative ring with unity. Then show that every maximal ideal of $R$ is a prime ideal....