6
$\begingroup$

For a ring $R$, Kaplansky defines $x\circ y= x+y+xy$ and an element $x$ is s.t.b. right quasi-regular (r.q.r) if $x\circ y=0$ for some element $y$. He defines radical to be set theoretic join (sum) of all right quasi regular (r.q.r) ideals where an ideal is r.q.r if all its elements are r.q.r.

Jacobson radical $J(R)$ is the intersection of maximal left (or right) ideals of a ring.

Does either of these radical implies other or are they completely unrelated? I can't see any connection here.

$\endgroup$
  • $\begingroup$ Can you explain if you want all these rings to have identity? You would have to for the intersection definition to be precise, and it simplifies the discussion using quasiregular elements a bit $\endgroup$ – rschwieb Mar 15 at 13:55
  • $\begingroup$ @rschwieb yes rings have identity $\endgroup$ – blabla Mar 16 at 6:55
3
$\begingroup$

I'm assuming for the time being that you intended for all these rings to have identity, because the maximal left ideal definition needs to be refined when identity is gone. I'm pretty sure everything holds without identity, it just takes more care.

Here's some observations to work through:

  1. $x$ is r.q.r as you defined iff $x+1$ is right invertible in $R$.
  2. The statement that "For $x\in R$, there exists $y$ such that $x+y-xy=0$" is equivalent to $x-1$ being right invertible.
  3. These statements are equivalent:

    1. $xr-1$ is right invertible for every $r\in R$
    2. $xr+1$ is right invertible for every $r\in R$.
    3. $1+xr$ is right invertible for every $r\in R$.
    4. $1-xr$ is right invertible for every $r\in R$.
  4. From the wiki article you can see that an element $x\in R$ is in $J(R)$ iff $1-xr$ is right invertible for all $r\in R$.

So from the last point, you can see that $J(R)$ itself has the property that all elements are r.q.r., and furthermore any element $x$ which lies in a r.q.r. ideal must have the property "$1-xr$ is right invertible for every $r\in R$" and therefore such an ideal is contained in $J(R)$.

Then the sum of all r.q.r. ideals would have to be equal to $J(R)$.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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