Intereting Posts

How can prove this $\binom{n}{p}\equiv \left\lfloor\frac{n}{p}\right\rfloor \pmod {p^2}$
Metric Space Axioms
Is XOR a combination of AND and NOT operators?
Germs of $C^\infty$ functions near $0$ vs. germs of infinitely differentiable functions at $0$
Showing a Ring of endomorphisms is isomorphic to a Ring
Prob. 18, Chap. 3 in Baby Rudin: Behaviour of $x_{n+1}=\frac{p-1}{p} x_n+\frac{\alpha}{p} x_n^{1-p}$ with $\alpha>0$ and $p$ a positive integer
Prove by induction that for all $n \geq 3$: $n^{n+1} > (n+1)^n$
zeros of linear recurence sequences
Primes of the form $x^2+ny^2$
Can the limit $\lim_{x\to0}\left(\frac{1}{x^5}\int_0^xe^{-t^2}\,dt-\frac{1}{x^4}+\frac{1}{3x^2}\right)$ be calculated?
Reps of $Lie(G)$ lift to universal cover of $G$. Reps of $G$ descend to highest weight reps of $Lie(G)$?
Prove withoui calculus: the integral of 1/x is logarithmic
Definition of Category
Different ways to prove there are infinitely many primes?
Solving $(z+1)^5 = z^5$

In which kinds of rings $R$ does the following hold:

$$(a)\cdot (b) = (ab) \; ?$$

With $a, b\in R$, $(a)$ denoting the (two-sided) ideal generated by $a$ and the multiplication of ideals $I, J\subset R$ defined as

$$ I\cdot J = \biggl\{\sum_{i=1}^n x_i y_i : n\in\mathbb{N}, x_i \in I, y_i \in J \biggr\}\, .$$

- Image of Jacobson Radical is the Jacobson Radical
- How many idempotent elements does the ring ${\bf Z}_n$ contain?
- Is $\sqrt{2}$ contained in $\mathbb{Q}(\zeta_n)$?
- Show that $A/(aX+b)$ is an integral domain
- Group actions in towers of Galois extensions
- $S_4$ does not have a normal subgroup of order $8$

It seems to me that it only holds for commutative rings with $1$. Is that right?

Ok, I’m trying a proof:

Let $R$ be commutative with $1\in R$. Then $(a)\cdot (b) = (a b)$ for any $a, b\in R$.

First let $I_a := \{ra : r\in R\}$, we’re going to show that

$$(a) = I_a\, .$$

$I_a$ is obviously an ideal. Since $1 \in R$ we have $1 \cdot a \in I_a$, so $(a) \subset I_a$. On the other hand, any $x \in I_a$ can be written as $x = ra$ and so must be an element of $(a)$. This proves that $(a) = I_a$.

Then $$(a)\cdot (b) = I_a \cdot I_b = \biggl\{\sum_{i=1}^n x_i y_i : n\in\mathbb{N}, x_i \in I_a, y_i \in I_b \biggr\} = \biggl\{\sum_{i=1}^n (r_i a) (s_i b) : n\in\mathbb{N}, r_i, s_i \in R \biggr\} = \biggl\{a b \sum_{i=1}^n r_i s_i : n\in\mathbb{N}, r_i, s_i \in R \biggr\} = \biggl\{a b r : r \in R \biggr\} = I_{ab} = (ab)\, .$$

We obviously had to use that $R$ is commutative. In the last step we also used that every $r \in R$ can be written as $r=\sum_{i=1}^n r_i s_i$. This is because $1 \in R$, so with $n=1$ we have $r = 1\cdot r$.

- What does it mean when two groups commute?
- Give an intuitive explanation for polynomial quotient ring, or polynomial ring mod kernel
- Computing $\operatorname{Tor}_1^R(R/I,R/J)$
- Variety generated by finite fields
- Vieta's theorem
- The maximal subfield of $\mathbb C$ not containing $\sqrt2$
- The Center of $\operatorname{GL}(n,k)$
- Equivalent characterizations of faithfully exact functors of abelian categories
- Directly indecomposable rings
- Proving that all integers are even or odd

Take $R:=M_2(\mathbb{R})$.

$$a=b:=\begin{pmatrix}0&1\\0&0\end{pmatrix} $$

Then :

$$(ab)=(0)=\{0\} $$

However :

$$\begin{pmatrix}0&1\\0&0\end{pmatrix} \begin{pmatrix}0&1\\1&1\end{pmatrix}=\begin{pmatrix}1&1\\0&0\end{pmatrix} \in (a),(b) $$

And :

$$\begin{pmatrix}1&1\\0&0\end{pmatrix}\begin{pmatrix}1&1\\0&0\end{pmatrix}=\begin{pmatrix}1&1\\0&0\end{pmatrix}\neq 0$$

So $(a).(b)\neq(ab)$.

Here I used the fact that there are nilpotents of order $2$ in the non-commutative ring. I don’t know if you can find an example for a non-commutative-ring with no nilpotent elements (seems harder to me…).

Now for $(a)(b)=(ab)$ in commutative rings.

I claim that this does not hold for commutative ring without unity. First a definition :

In a commutative ring $A$, for $a\in A$, I define $(a)$ to be the set $\{ba|b\in A\}$. It is an ideal of $A$. Note that this definition does not imply that $a\in (a)$ (it does if $A$ has a unity).

Take $A_0:=\mathbb{Z}[X,Y]$ and $A:=(X,Y)$ it is an ideal of $A$ and hence a ring (although it has not a unit, it is an additive group which is closed for the multiplication). From now on any ideal has to be taken as an ideal of the ring $A$ (and not $A_0$).

Then take $a:=X$ and $b:=Y$. I claim that $abX=X^2Y\in (ab)$ but :

$$X^2Y\notin (a)(b) $$

The proof is straightforward because any element of $(a)$ or $(b)$ is either null or has total degree $\geq 2$ hence a non null element of $(a)(b)$ has total degree $\geq 4$ but $X^2Y$ is of total degree $3$.

So I would conclude by saying that both commutativity and unity are essential to this result. However I am still trying to find a non-commutative ring in which $ab=0$ implies $a=0$ or $b=0$ with a unit for which the relation does not hold… Let’s see if this works :

$$A:=\mathbb{C}<X,Y> $$

It is the ring of “polynomials” over $\mathbb{C}$ for which $XY\neq YX$ (it exists…). I claim that this is a ring with a unity (it contains $\mathbb{C}$) and furthermore if $ab=0$ then $a=0$ or $b=0$ for this ring. However if :

$$a:=X^2\text{and } b:=Y^2 $$

Then $X^2Y\in (a)$, $XY^2\in (b)$ but :

$$X^2YXY^2\notin (X^2Y^2) $$

So the relation does not hold for “non-commutative domain” even with unity.

- What is the difference between a function and a distribution?
- Show two functions are uniformly comparable on the real line
- Considering the linear system $Y'=AY$
- Can one obtain Neumann boundary conditions via Friedrichs extension?
- Euler characteristic of a boundary?
- Showing range is countable
- $f :
- Nonlinear simultaneous equations
- Probabilistic method Kraft-McMillan inequality
- How $a+bi$ becomes $\left(\matrix{a & -b\\b & a}\right)$?
- How did Archimedes find the surface area of a sphere?
- Polar Plots and square roots
- Compact topological space with closed graph implies continuity
- Eisenbud's proof of right-exactness of the exterior algebra
- Expectation of a product of Brownian Motion.