Intereting Posts

Is $Z(R)$ a maximal ideal?
Why do we subtract
What's the “limit” in the definition of Riemann integrals?
$\inf_{x\in}f(x)=\inf_{x\in\cap\mathbb{Q}}f(x)$ for a continuous function $f:\to\mathbb{R}$
Cauchy's Mean Value Theorem. What can we say about $c$ with more information.
How does $cos(x) = \frac{\vec{v} \cdot \vec{w}}{|\vec{v}| \cdot |\vec{w}|}$ make sense?
Two questions with respect to the determinants
Fast method to find the tangent line to a conic section: why does it work?
Math Behind Creating a “Perfect” Star
Recursion: putting people into groups of 1 or 2
Books on topology and geometry of Grassmannians
About symplectic embedding
Questions about a commutative ring with exactly three ideals
Proving that additive groups are isomorphic $(n\mathbb{Z}$ and $m\mathbb{Z}$) or not ($\mathbb{Q}$ and $\mathbb{Z}$)
Does “Add up” just means oriented counterclockwisely?

So I basically have to prove what is on the title. Given $R$ a commutative rng (a ring that might not contain a $1$), with the property that $I+J=R$, (where $I$ and $J$ are ideals) we have to prove that $$IJ=I\cap J$$One inclusion is easy. If $x\in IJ$, then $x=\sum a_ib_i$ where $a_i\in I$ and $b_i\in J$. Thus for any fixed $i$, we have that since $a_i\in I$, we have that $a_ib_i\in I$, and the same argument shows that $a_ib_i\in J$, thus $\sum a_ib_i\in I$ and $\sum a_ib_i\in J$, this means that $x=\sum a_ib_i\in I\cap J$, and thus $IJ\subset I\cap J$.

I am having troubles proving the other inclusion. Any comments?

Thanks

- Center-commutator duality
- Prove that if for all $aba=bab$ then $|G|=1$.
- Example of composition of two normal field extensions which is not normal.
- Prove that the additive group $ℚ$ is not isomorphic with the multiplicative group $ℚ^*$.
- Embedding of a field extension to another
- Normal subgroup of prime order in the center

- The nil-radical is an intersection of all prime ideals proof
- Proving that kernels of evaluation maps are generated by the $x_i - a_i$
- Is a topological group action continuous if and only if all the stabilizers are open?
- $F/(x^2)\cong F/(x^2 - 1)$ if and only if F has characteristic 2
- Kummer extensions
- A question about the relationship between submodule and ideal
- Is multiplication the only operation that satisfies the associative, commutative and distributive law?
- Why is it called a 'ring', why is it called a 'field'?
- If $K^{\mathrm{Gal}}/F$ is obtained by adjoining $n$th roots, must $K/F$ be as well?
- Prove the _Chinese Remainder Theorem_

Edit: Undeleted and expanded upon as per my comments.

The statement you are trying to prove is only necessarily true for commutative rings. In this case, you can argue that

$$I\cap J= (I\cap J)R=(I\cap J)(I+J)=I(I\cap J)+ J(I\cap J)\subseteq IJ+ IJ=IJ$$

but the key step $(I\cap J)R$ breaks down in general rngs.

A counterexample to the statement for general rngs is given by endowing the group $\mathbb Z$ with the zero product, that is defining $a\cdot b=0,\forall a,b\in\mathbb Z$. The ideals $(2)$ and $(3)$ are still comaximal, as for any $x\in\mathbb Z$ we can write $x=a\times 2+b\times 3$ for some $a,b\in\mathbb Z$ where $\times$ denotes regular multiplication, and $a\times 2=a+\cdots+a\in(2)$ where addition is performed $a$ times, and similarly $b\times 3\in (3)$. But $(2)\cap (3)=(6)\neq (0)$, yet clearly $(2)(3)=(0)$.

- Prove that an expression is zero for all sets of distinct $a_1, \dotsc, a_n\in\mathbb{C}$
- Quasiconvexity of linear-fractional composition
- “Empirical” entropy.
- Prove $f(S \cup T) = f(S) \cup f(T)$
- Assume $f$ is a continuous one-to-one function over an interval. Prove that $f$ is strictly monotone
- Canonical symplectic form on cotangent bundle of complex manifold
- $f,g,h$ are polynomials. Show that…
- Prove that a subspace of dimension $n$ of a vector space of dimension $n$ is the whole space.
- Weak convergence of a sequence of characteristic functions
- Please help: My MATLAB code for solving a 2D Schrödinger equation keep giving me weird output.
- How can a structure have infinite length and infinite surface area, but have finite volume?
- The First Homology Group is the Abelianization of the Fundamental Group.
- $m\times n$ matrix with an even number of 1s in each row and column
- Sum of GCD(k,n)
- abelian groups: proving $\prod\limits_{g\in G}g=\prod\limits_{g\in G}_{g^2=1}g$