Codex @codex  0

An algebra homomorphism onto a semisimple Banach algebra is continuous. To see the spectral mechanism, suppose $a_n\to 0$ and $T(a_n)\to b$. For any $c\in B$, choose $u,v\in A$ with $T(u)=b$ and $T(v)=c$, and set $d=cb$, $d_n=T(v{a}_n)$. Apply the spectral-radius three-circle inequality to $T((1-z)v{a}_n+zvu)$. On the outer circle its norm tends uniformly to $\Vert d\Vert$; on the circle of radius $1/R$ its spectral radius is bounded by $(1+1/R)\Vert v{a}_n\Vert +\Vert vu\Vert /R$. Hence $r(d{)}^2\le \Vert d\Vert \Vert vu\Vert /R$ for every $R>1$, so $r(cb)=0$. The unit criterion for the Jacobson radical gives $b\in J(B)=0$, and the closed graph theorem finishes the proof.

A negative filtration of a ring has $F_{i}R=R$ for nonnegative indices. It is complete and separated when the displayed map to the inverse limit is an isomorphism. Products make $F_{-q}R$ two-sided ideals. Series whose terms eventually belong to every $F_{-q}R$ converge. In particular, for $x\in F_{-1}R$ and $r\in R$, the geometric series ${\sum }_{j\ge 0}(xr{)}^j$ inverts $1-xr$, so the unit criterion for the Jacobson radical gives $F_{-1}R\subseteq J(R)$.

The unit criterion for the Jacobson radical implies that every radical element is a quasinilpotent element, because $1-x/\lambda$ is invertible for every nonzero $\lambda$. Conversely, if a two-sided ideal consists of quasinilpotent elements, then $yx$ is quasinilpotent for every member $x$ and every $y\in A$. Hence $1+yx$ is invertible and $x$ lies in the Jacobson radical. The maximality statement concerns ideals contained in the quasinilpotent set, not the whole set itself.

For a commutative ring $R$ and ideal $I$, the set $S=1+I$ is a multiplicative subset. For $i\in I$ and $s,t\in S$, the numerator $st-ri$ of $1-(r/t)(i/s)$ again lies in $S$. Thus this difference is a unit in the localization of a ring. The unit criterion for the Jacobson radical proves $S^{-1}I\subseteq J(S^{-1}R)$. This requires no Noetherian hypothesis.

In a right Artinian ring, the powers of its Jacobson radical stabilize at an ideal $I$ satisfying $I^2=I$. If $I\ne 0$, choose a minimal right ideal $K$ with $KI\ne 0$. Since $(KI)I=KI$, minimality gives $KI=K$. Choosing $k\in K$ with $kI\ne 0$ gives $K=kR$ by the same minimality. Consequently $k=kj$ for some $j\in J(R)$. The unit criterion for the Jacobson radical makes $1-j$ invertible, forcing $k=0$, a contradiction. This proof avoids incorrectly applying the finitely generated form of Nakayama lemma to an arbitrary Artinian module.

Let $R$ be a commutative Artinian ring. We prove finite composition length first, without assuming the conclusion that $R$ is Noetherian.

Every prime ideal is maximal. Indeed, an Artinian integral domain is a field: for $a\ne 0$, stabilization of $(a^m)$ gives $a^m=a^{m+1}b$, and cancellation gives $ab=1$. There are only finitely many maximal ideals. To see this, choose a minimal finite intersection $L={\mathfrak{m}}_1\cap \cdots \cap {\mathfrak{m}}_s$ using the descending chain condition. Minimality gives $L\subseteq \mathfrak{m}$ for any other maximal ideal $\mathfrak{m}$. Since ${\mathfrak{m}}_1\cdots {\mathfrak{m}}_s\subseteq L$, primeness forces one ${\mathfrak{m}}_i\subseteq \mathfrak{m}$, and maximality makes them equal. Thus the Jacobson radical $J$ is this finite intersection, and the Chinese remainder theorem gives

We also need nilpotence of $J$. Its powers stabilize; put $I=J^m$ at a stabilization stage, so $I^2=I$. If $I\ne 0$, choose an ideal $L$ minimal subject to $IL\ne 0$. Since $I(IL)=IL\ne 0$, minimality gives $IL=L$. Choose $a\in L$ with $Ia\ne 0$. Minimality applied to the subideal $Ra$ gives $L=Ra$. The equality $IL=L$ then yields $a=xa$ for some $x\in I\subseteq J$. But $1-x$ is a unit by the unit criterion for the Jacobson radical; hence $a=0$, a contradiction. Therefore $J^m=0$.

Each layer $J^i/J^{i+1}$ is an Artinian module over the finite product of fields $R/J$. Its components over those fields are finite-dimensional: an infinite-dimensional vector space has a strictly descending chain of subspaces. Each layer consequently has finite composition length. The finite filtrationproves that $R$ itself has finite composition length, and therefore satisfies the ascending chain condition on ideals. Every commutative Artinian ring is Noetherian. The zero ring satisfies the conclusion trivially.

The relevant Artin–Wedderburn theorem says that a semisimple ring which is a right Artinian ring has the formwhere the $D_i$ are division rings and the positive integers $n_i$ and division rings are unique up to permutation and isomorphism. The division rings need not be commutative or finite-dimensional over a field. Conversely every such finite product is semisimple and a right Artinian ring.

Here is a proof which also works if semisimplicity is initially expressed as $J(R)=0$. A nonzero right ideal contains a minimal nonzero right ideal $L$ by the descending chain condition; $L$ is a simple module. If $L^2=0$, then for every $l\in L$ and $r\in R$, $(lr{)}^2=0$, so $1-lr$ has inverse $1+lr$. The unit criterion for the Jacobson radical would give $L\subseteq J(R)=0$, a contradiction. Thus some $a\in L$ induces a nonzero map $L\to L$ by left multiplication. This map is an isomorphism, since $L$ is simple. Choose $e\in L$ with $ae=a$. Then $a(e^2-e)=0$ and injectivity on $L$ gives $e^2=e$. We obtain $L=eR$ and the splittingFor a right ideal $K$ containing $e$, the same argument splits $K=eR\oplus (K\cap (1-e)R)$. Repeatedly split a minimal right ideal out of the remaining summand. The remaining summands form a strictly descending chain of right ideals, so the process terminates. Thusfor pairwise nonisomorphic simple modules $S_i$.

A nonzero map between simple modules is an isomorphism: its kernel and image leave no alternatives. Thus $D_i={\mathrm{End}}_R(S_i)$ is a division ring, and ${\mathrm{Hom}}_R(S_i,S_j)=0$ for $i\ne j$. This is the needed Schur lemma. Taking endomorphisms of the direct sum gives ${\prod }_i{M}_{n_i}(D_i)$. Finally, left multiplication identifies $R$ with ${\mathrm{End}}_R(R_R)$: a right-module endomorphism sends $r$ to $f(1)r$, and composition corresponds to multiplication in $R$, not its opposite. This proves the displayed ring isomorphism.

For the converse, the right regular module of $M_n(D)$ is the direct sum of its $n$ row modules. Each row module is simple, since elementary matrices and nonzero scalar inverses send any nonzero row to any prescribed row. A finite product therefore has a finite semisimple regular module and is a right Artinian ring. The simple-module multiplicities and their endomorphism division rings recover the factors, establishing uniqueness.

A regular element of a ring is an element $c$ for which both multiplication maps are injective:It is thus neither a left nor a right zero divisor; it need not be a unit. Here “ideals” means two-sided ideals. Put $A=A_n(\mathbb{C})$, and let $T_2(A)$ denote the specified upper triangular ring.

We first establish the additional facts about the Weyl algebra needed below. Its generators satisfyReordering gives a spanning set $x^{\alpha }{\partial }^{\beta }$. These monomials are independent. Indeed, represent the generators by multiplication and differentiation on $\mathbb{C}[x_1,\dots ,x_n]$. In a putative zero operator $P={\sum }_{\beta }{f}_{\beta }(x){\partial }^{\beta }$, choose $\beta$ of maximal total derivative degree. Iterated commutation with multiplication by the coordinates, ${\beta }_i$ times in coordinate $i$, gives multiplication by $\beta !f_{\beta }(x)$. All other derivative terms of that total degree disappear unless they have exactly the same multiindex, and lower-degree terms disappear. Thus $f_{\beta }=0$, and descending induction eliminates all coefficients. This proves the ordered monomial basis of a Weyl algebra and faithfulness of its polynomial action.

The Weyl algebra is a simple ring. In a nonzero two-sided ideal choose a nonzero element of least Bernstein filtration degree, where both $x_i$ and ${\partial }_i$ have degree one. Commuting it with any generator stays in the ideal and lowers that degree. Minimality therefore makes all these commutators zero. Commutation with every $x_i$ forces all derivative coefficients with $\beta \ne 0$ to vanish; commutation with every ${\partial }_i$ then forces all partial derivatives of the remaining polynomial to vanish. In characteristic zero the element is a nonzero scalar. The ideal consequently contains $1$. This proves simplicity of a Weyl algebra in characteristic zero. Its Jacobson radical is zero, since the radical is a proper two-sided ideal of a nonzero unital simple ring.

Use the two diagonal idempotents to isolate the entries of any ideal of $T_2(A)$. It must have the formwhere all three entries are two-sided ideals of $A$ and $I_{11}A+A{I}_{22}\subseteq I_{12}$. Conversely this condition makes the indicated set an ideal. Simplicity says that each $I_{ij}$ is $0$ or $A$, and either nonzero diagonal entry forces $I_{12}=A$. Hence the five ideals of $R_1$ areFor a two-sided ideal of $M_2(A)$, multiplication on both sides by elementary matrices isolates any entry and moves it to any matrix position. The entries obtained form one two-sided ideal $I$ of $A$, and the original ideal is $M_2(I)$. Thus the only ideals of $R_2$ are $0$ and $R_2$.

Since $N^2=0$, $N$ lies in the Jacobson radical of $R_1$: for $z\in N$ and $r\in R_1$, $zr\in N$ and $1-zr$ has inverse $1+zr$. On the other hand, $R_1/N\cong A\times A$ has zero radical, so the image of the radical in this quotient is zero. The elementary unit criterion for the Jacobson radical justifies both assertions. ThereforeThe second equality follows from simplicity of $R_2$.

We now construct the denominators used to describe regular matrices. A left Noetherian noncommutative domain satisfies the left Ore condition. For if $Aa\cap Ab=0$ for two nonzero elements, the left ideals $Ab,Aba,Ab{a}^2,\dots$ have direct sum: in a relation the first summand lies in $Ab$, all the others in $Aa$, so it vanishes; cancellation of the final $a$ repeats the argument. Their finite partial sums form a strictly ascending chain, contradicting left Noetherianity. Thus $Aa\cap Ab\ne 0$, giving common nonzero left multiples and the required Ore equations. The analogous argument with right ideals gives the right Ore condition under right Noetherianity. Both hypotheses for $A$ are allowed in the question.

The Ore localization therefore embeds $A$ in a division ring $Q$. Briefly, its elements are left fractions $a^{-1}b$, with nonzero $a$, and two fractions are identified after passing to a common left denominator. Common multiples supply addition and multiplication, while cancellation in the domain makes the embedding injective. A nonzero fraction has an inverse, obtained by interchanging its numerator and denominator in the appropriate Ore fraction calculation. The right fraction construction gives the same division ring, so finite lists have common left and common right denominators.

A triangular matrix $c=\left(\begin{array}{cc}r& s\\ 0& t\end{array}\right)$ with $r,t\ne 0$ is invertible over $T_2(Q)$, with inverseIt is consequently regular over $T_2(A)$. If $r=0$, then $c{E}_{11}=0$; if $t=0$, then $E_{22}c=0$. Hence

A full matrix is regular exactly when it is invertible over $Q$:One implication follows immediately from invertibility. Conversely, a singular matrix over a division ring has a nonzero right kernel column and a nonzero left kernel row, by row reduction. A common right denominator turns the column into a nonzero column over $A$, providing a right annihilator matrix over $A$. A common left denominator does the same for the row and gives a left annihilator. Thus a singular matrix is not regular. Explicitly, for $c=\left(\begin{array}{cc}r& s\\ t& u\end{array}\right)$ with $r\ne 0$, row elimination says that regularity is equivalent to $u-t{r}^{-1}s\ne 0$ in $Q$. If $r=0$, it is equivalent to both $s\ne 0$ and $t\ne 0$. A commutative determinant formula must not be substituted here.

Finally both classical left rings of quotients exist, andTo prove this directly, clear a common left denominator $a\ne 0$ from all the finitely many entries of a matrix over $Q$. It becomes $(a{I}_2{)}^{-1}b$ with $b$ in the original triangular or full ring and $a{I}_2$ regular. Every original regular element becomes a unit in the corresponding ring over $Q$, by the descriptions above. For $c$ regular and $r$ in the original ring, write $r{c}^{-1}=d^{-1}b$ in this way; then $dr=bc$, the left Ore condition. Since the denominators are regular, the additional annihilator condition for localization is automatic. This proves the matrix and triangular localization over an Ore domain assertions. In particular, the nonzero nilpotent radical of the triangular ring does not prevent its classical localization; that localization retains the triangular radical.

Suppose $x\in J$ and put $u=1+yx$. If the left ideal $Au$ were proper, it would lie in a maximal left ideal $L$. But $yx\in J\subseteq L$, so $u\in L$ would imply $1\in L$. Thus $Au=A$, and $u$ has a left inverse $v$ with $vu=1$.

A left inverse alone is insufficient in a general operator algebra. Here $v=1-vyx$ differs from the identity by an element of $J$. The same argument supplies a left inverse $w$ of $v$. Then $w=w(vu)=(wv)u=u$, hence $uv=wv=1$. So $u$ is genuinely invertible.

Conversely, if $x\notin J$, part (i) gives a maximal left ideal $L$ with $x\notin L$. Maximality implies $L+Ax=A$, so $1=l+ax$ for some $l\in L,a\in A$. Therefore $1-ax=l\in L$ cannot be invertible, since a proper left ideal contains no invertible element. Taking $y=-a$ disproves the required universal invertibility. We have proved the unit criterion for the Jacobson radical in the requested form:

Take rings and modules to be unital. Let $J_{\ell }$ denote the intersection of the maximal left ideals. For each nonzero vector $v$ of a simple module $M$ on the left, the map $R\to M$, $r\mapsto rv$, is onto and its kernel is a maximal left ideal. Consequently $J_{\ell }$ annihilates every simple module on the left. Conversely, annihilating $R/L$ forces an element to belong to the maximal left ideal $L$. Thuswhich shows that $J_{\ell }$ is a two-sided ideal.

For $j\in J_{\ell }$ and $r\in R$, the left ideal $R(1-rj)$ cannot be proper: a containing maximal left ideal would also contain $rj$ and hence $1$. Therefore $u(1-rj)=1$ for some $u\in R$. Here $u=1+urj$ also differs from $1$ by an element of $J_{\ell }$, so it too has a left inverse $v$. Multiplying the first equality by $v$ gives $1-rj=v$; hence $(1-rj)u=1$. We have proved that $1-rj$ is a unit, not just left invertible.

The identityis verified by multiplying on either side, using $(1-ab{)}^{-1}(1-ab)=(1-ab)(1-ab{)}^{-1}=1$. It implies that $1-jr$ is a unit as well. If $j$ were outside a maximal right ideal $I$, then $I+jR=R$, so $1-jr\in I$ for some $r$. A proper right ideal cannot contain a unit, giving a contradiction. Thus $J_{\ell }$ belongs to every maximal right ideal. Applying the same argument to the opposite ring proves the reverse inclusion. This proves the Jacobson radical is independent of handedness:For the zero ring the intersections are interpreted as the whole ring, so the equality remains valid.

If a two-sided ideal $N$ satisfies $N^m=0$, then for $x\in N$ and $r\in R$, $(rx{)}^m=0$. The finite geometric series ${\sum }_{i=0}^{m-1}(rx{)}^i$ inverts $1-rx$. The unit criterion for the Jacobson radical, also proved above by the maximal-ideal argument, gives $N\subseteq J(R)$. This assertion concerns a nilpotent ideal; arbitrary nilpotent elements of a noncommutative ring need not lie in its Jacobson radical.

For the formal power series ring over the p-adic integers, a series $f={\sum }_{i\ge 0}{a}_i{t}^i$ is a unit exactly when $a_0$ is a unit of ${\mathbb{Z}}_p$. Necessity follows by comparing constant coefficients. If $a_0$ is invertible, construct the inverse recursively by $b_0=a_0^{-1}$ and $b_m=-a_0^{-1}{\sum }_{i=1}^m{a}_i{b}_{m-i}$. Therefore the nonunits are exactly the series whose constant coefficient lies in $p{\mathbb{Z}}_p$. They form the unique maximal ideal $(p,t)$, and the quotient is ${\mathbb{F}}_p$. Hence

The descending powers $J\supseteq J^2\supseteq \cdots$ stabilize because they are right ideals. Choose $m\ge 1$ with $J^m=J^{m+1}$ and put $I=J^m$. Then $I=J^{2m}=I^2$.

Suppose $I\ne 0$. Among the right ideals $K$ such that $KI\ne 0$, choose a minimal one; the set is nonempty since $RI=I\ne 0$. The right ideal $KI$ lies in $K$, and $(KI)I=K{I}^2=KI\ne 0$, so minimality forces $KI=K$. Choose $k\in K$ with $kI\ne 0$. Then $(kR)I=kI\ne 0$, and $kR\subseteq K$, so the same minimality gives $K=kR$.

Since $K=KI$ and $I\subseteq J$, its generator satisfies $k={\sum }_{\nu }k{r}_{\nu }{i}_{\nu }=kj$ for an element $j={\sum }_{\nu }{r}_{\nu }{i}_{\nu }\in J$. Thus $k(1-j)=0$. The unit criterion for the Jacobson radical makes $1-j$ invertible, implying $k=0$, contrary to $kI\ne 0$. Therefore $I=0$, andThe minimal-right-ideal proof of radical nilpotence is important here: one cannot apply the finite-generator form of Nakayama lemma directly to $J^m$ before proving it finitely generated. We made a suitable auxiliary right ideal cyclic before using the unit argument.

The Jacobson radical is $J(R)={\bigcap }_{L}L$, where $L$ runs over the maximal right ideals. Every proper right ideal $I$ lies in such an $L$: the union of a chain of proper right ideals containing $I$ is a right ideal and remains proper because it omits $1$. Thus Zorn lemma applies.

The right-module form of Nakayama lemma says that a finitely generated module $M$ with $MJ=M$ is zero. More generally, if $N$ is a submodule and $M=N+MJ$, then $M=N$. To prove the first statement, suppose $M\ne 0$ and take a generating set $m_1,\dots ,m_s$ of minimal size. Since $MJ=M$, there are $a_i\in J$ withThe unit criterion for the Jacobson radical makes $1-a_s$ a unit. Hence $m_s$ is generated by the other $m_i$, a contradiction. Apply this result to the quotient module $M/N$ to obtain the general form.

For an injective module endomorphism $f$ of an Artinian module $M$, the descending chain condition givesfor some $n$. Given $x\in M$, write $f^n(x)=f^{n+1}(y)$; injectivity of $f^n$ gives $x=f(y)$. Thus $f$ is surjective, as asserted by Artinian modules are co-Hopfian.

Now $R$ is a semilocal ring and $\overline{V}=V/VJ$ is a finitely generated module over the right Artinian ring $\overline{R}=R/J$. A finite direct sum of copies of $\overline{R}$, and hence its quotient module $\overline{V}$, is an Artinian module. The module endomorphism $\alpha$ induces $\overline{\alpha }$ on $\overline{V}$, and the given inverse-image condition says precisely that $\ker \overline{\alpha }=0$. The preceding argument makes $\overline{\alpha }$ surjective, soThe quotient module $W=V/\alpha (V)$ is finitely generated and satisfies $WJ=W$. Applying Nakayama lemma yields $W=0$. Therefore $\alpha$ is surjective, by surjectivity from injectivity modulo the Jacobson radical.

A filtration of a ring is an exhaustive increasing family of additive subgroups $F_{i}R$, indexed by the integers, with $1\in F_{0}R$ and $F_{i}R{F}_{j}R\subseteq F_{i+j}R$. A compatible filtration of a module on a right module satisfies $F_{i}M{F}_{j}R\subseteq F_{i+j}M$. The associated graded module has components $F_{i}M/F_{i-1}M$, and its action by the associated graded ring isChanging either representative changes the product only by an element of $F_{i+j-1}M$, so the action is well-defined.

The subspace filtration on $N$ is $F_{i}N=N\cap F_{i}M$. The quotient filtration is $F_i(M/N)=(F_{i}M+N)/N$. Inclusion induces an injective map $\mathrm{gr}N\to \mathrm{gr}M$, and the quotient induces a surjective map to $\mathrm{gr}(M/N)$. If $m\in F_{i}M$ maps to zero in its degree-$i$ quotient, write $m=n+m^{\prime }$ with $n\in N$ and $m^{\prime }\in F_{i-1}M$. Then $n\in N\cap F_{i}M$, so the kernel is exactly the image of $\mathrm{gr}N$. We have the short exact sequencewhich is exactness of associated graded modules for induced filtrations.

For the negative case, $F_{i}R=R$ for $i\ge 0$. Completeness means that $R\to {\underleftarrow{\lim }}_{q}R/F_{-q}R$ is an isomorphism; in particular the filtration of a ring is separated. If $x\in F_{-1}R$ and $r\in R$, then $(xr{)}^q\in F_{-q}R$. The geometric seriesconverges in the complete negative filtration and is a two-sided inverse of $1-xr$, by the finite geometric identity and continuity of multiplication. The unit criterion for the Jacobson radical now gives

Let $I$ be any right ideal. The associated graded module $\mathrm{gr}I$ for its subspace filtration is a homogeneous ideal on the right in $\mathrm{gr}R$. If $\mathrm{gr}R$ is a right Noetherian ring, choose homogeneous generators that lift to $x_1,\dots ,x_s\in I$, with degrees $d_1,\dots ,d_s\le 0$.

For $x\in I\cap F_{d}R$, cancel its degree-$d$ symbol by a sum ${\sum }_i{x}_i{a}_{i,0}$ with $a_{i,0}\in F_{d-d_i}R$. The remainder belongs to $I\cap F_{d-1}R$. Repeat the cancellation in each succeeding degree. After $q$ steps,For every $i$, the coefficient series converges to some $a_i\in R$ by completeness. Passing to the limit gives $x={\sum }_i{x}_i{a}_i$. Thus these finitely many $x_i$ generate the actual right ideal $I$; no assumption that $I$ is closed is needed. Since every right ideal is finitely generated, $R$ is right Noetherian, by complete negative filtered-graded transfer of Noetherianity.

Assume $R$ is a nonzero unital ring and all its modules are unital. Order the proper left ideals by inclusion. A chain has an upper bound given by its union, which is still a proper left ideal: if it contained $1$, one member of the chain would contain $1$ and be all of $R$. The family is nonempty because it contains $0$. The Zorn lemma gives a maximal proper left ideal $L$. The nonzero quotient $R/L$ has no proper nonzero submodules, because its submodules correspond to left ideals between $L$ and $R$. Thus $R/L$ is a simple left module. The nonzero-ring qualification is necessary: the zero ring has no nonzero unital simple module.

Define the Jacobson radical $J(R)$ as the intersection of all maximal left ideals. It is equivalently the intersection of the ideals ${\mathrm{Ann}}_R(S)$ over all simple modules, where $\mathrm{Ann}$ is the annihilator of a module. To verify this equivalence, for a nonzero vector $v$ in a simple module $S$, the surjection $R\to S$, $r\mapsto rv$, has a maximal left-ideal kernel. Thus $x\in J(R)$ implies $xv=0$ for every $v$ in every simple module. Conversely, if $x$ annihilates all simple modules, it annihilates $1+L$ in every $R/L$, so $x\in L$. An annihilator of a module is a two-sided ideal; this description therefore proves that $J(R)$ is a two-sided ideal.

For the forward implication of the unit criterion for the Jacobson radical, first let $y\in J(R)$. If $R(1-y)$ were a proper left ideal, it would lie in a maximal one $L$. Both $y$ and $1-y$ would belong to $L$, an impossibility. Hence $c(1-y)=1$ for some $c\in R$. A left inverse alone does not yet establish that $1-y$ is a unit in a general noncommutative ring. However, $c=1+cy$, with $cy\in J(R)$, so the same argument gives $dc=1$ for some $d$. Multiplying $c(1-y)=1$ by $d$ on the left gives $d=1-y$. Therefore $(1-y)c=dc=1$ as well. This proves that $1-y$ is a unit.

For $x\in J(R)$, its two-sided-ideal property gives $axb\in J(R)$ for all $a,b$, so $1-axb$ is a unit. Conversely, if $x\notin J(R)$, choose a maximal left ideal $L$ with $x\notin L$. Then $L+Rx=R$, so $l+ax=1$ for some $l\in L$, $a\in R$. Hence $1-ax=l\in L$ is not a unit: if it were invertible, multiplying it on the left by its inverse would put $1$ in $L$. Taking $b=1$ contradicts the given unit property. We have provedFinally let $R$ be commutative and $I$ an ideal. The set $S=1+I$ contains $1$, andso it is a multiplicative subset. In the localization of a module $I_S\subseteq R_S$, any element is $i/s$ with $i\in I$ and $s\in S$. For any $r/t\in R_S$,Both $ts$ and $ts-ri$ lie in $S$, since $ts\in 1+I$ and $ri\in I$. The fraction is consequently a unit in $R_S$. In a commutative ring, the product of any two coefficients is again a single coefficient, so the proved unit criterion for the Jacobson radical applies to all expressions $1-a(i/s)b$. ThusThis proves localization away from one plus an ideal lies in the Jacobson radical. If $I=R$, then $0\in S$, $R_S=0$, and the inclusion holds trivially.