Probablemente estos resultados servirán para resolver su pregunta
- En un anillo arbitrario $R$ si $rad(R)\neq R$ $rad(R)=\{r\in R| \forall x,y\in R: \;xry\mbox{ is right quasi-regular}\}$
prueba: Recuerde que $Rad(M)=\bigcap\{M|M\mbox{ maximal modular right ideal of }R\}$ y deje $H=\{r\in R| \forall x,y\in R: \;xry\mbox{ is right quasi-regular}\}$. Tenga en cuenta que si un elemento $a\in R$ no es un derecho cuasi-regular, a continuación, hay un modular ideal maximal $M$ tal que $a\notin M$. de esta manera, si $a$ no es correcto cuasi-regular, el ideal de derecho $S=\{at-t| t\in R\}$ no contiene $a$.
En particular, la aplicación de los Zorn Lema se puede ver que no existe un derecho ideal $M$ maximal en el conjunto de todos los ideales que contiene $S$, pero no el elemento $a$. por otra parte, es fácil comprobar que este ideal es un derecho máxima en $R$. Por otro lado $M$ es modular desde $ar-r\in M$ por cada $r\in R$, por lo que si $b\notin H$ hay elementos $x$, $y$ en $R$ tal que $xby$ no es correcto cuasi-regular. entonces hay una máxima modular ideal de derecho, que no contenga $xby$ y, por lo tanto, no contiene $b$, e $b\notin Rad(R)$.
Por el contrario, uno tiene que probar primero que si $M$ es la máxima modular ideal de derecho en $R$ $H\subseteq (R:M)=\{s\in R| \forall m\in M, sm\in R\}$ (la prueba de esta propiedad se puede encontrar en T. Y. Lam, un primer curso de no conmutativa de anillo o de cada libro en el anillo de la teoría). Desde $rad(R)\neq R$ entonces existe una máxima modular ideal de derecho $M$$R$$H\subseteq \bigcap\{(R:M)| M\mbox{maximal modular right ideals in }R\}$. Por lo tanto $RH\subseteq M$ por cada $M$ $M$ ser modular, también tenemos $H\subseteq M$. Finalmente, $H\subseteq rad(R)$.
- En un anillo con identidad $R$, $rad(R)=\{r\in R|\forall s\in R\mbox{ the element }1-rs \mbox{ is right invertible}\}$.
prueba: Es el momento de utilizar la observación, se ve que en un anillo con identidad $R$ elemento $r\in R$ es derecho cuasi-regular si y sólo si es a la derecha invertible ($r+s-rs=0\Leftrightarrow (1-r)(1-s)=1$). Ahora, tenemos que definir
$M=\{r\in R|xry \mbox{ is right quasi-regular in }R,\forall x\in R\}$ $N=\{r\in R|xr \mbox{ is right quasi-regular in }R,\forall x\in R\}$ , debido a que el anillo de tener identidad, a continuación,$M \subseteq N$. Por otro lado, si $xr+t-xrt=0$$xry+ty-xrty=(xr+t-xrt)y=0$$N\subset M$, y usted puede utilizar el resultado anterior, por lo que la identidad se hace.