PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] a ring modulo its Jacobson radical is semiprimitive (Theorem)

Let $R$ be a ring. Then $J(R/J(R))=(0)$ .

Proof:
We will only prove this in the case where $R$ is a unital ring (although it is true without this assumption).

Let $[u] \in J(R/J(R))$ . By one of the characterizations of the Jacobson radical, $1-[r][u]$ is left invertible for all $r \in R$ , so there exists $v \in R$ such that $[v](1-[r][u])=1$ .

Then $v(1-ru)=1-a$ for some $a \in J(R)$ . There is a $w \in R$ such that $w(1-a)=1$ , and we have $wv(1-ru)=1$ .

Since this holds for all $r \in R$ , it follows that $u \in J(R)$ , and therefore $[u]=0$ .




"a ring modulo its Jacobson radical is semiprimitive" is owned by yark. [ full author list (2) | owner history (1) ]
(view preamble | get metadata)

View style:


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: left invertible, Jacobson radical, unital ring, proof, ring

This is version 10 of a ring modulo its Jacobson radical is semiprimitive, born on 2002-07-02, modified 2008-01-07.
Object id is 3149, canonical name is ARingModuloItsJacobsonRadicalIsSemiprimitive.
Accessed 1880 times total.

Classification:
AMS MSC16N20 (Associative rings and algebras :: Radicals and radical properties of rings :: Jacobson radical, quasimultiplication)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | prove | add result | add corollary | add example | add (any)