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] properties of the Jacobson radical (Result)

Theorem:
Let $R, T$ be rings and $\varphi : R \rightarrow T$ be a surjective homomorphism. Then $\varphi(J(R)) \subseteq J(T)$ .

Proof:
We shall use the characterization of the Jacobson radical as the set of all $a \in R$ such that for all $r \in R$ , $1-ra$ is left invertible.

Let $a \in J(R), t \in T$ . We claim that $1-t\varphi(a)$ is left invertible:

Since $\varphi$ is surjective, $t=\varphi(r)$ for some $r \in R$ . Since $a \in J(R)$ , we know $1-ra$ is left invertible, so there exists $u \in R$ such that $u(1-ra)=1$ . Then we have $$ \varphi(u) \left( \varphi(1)-\varphi(r)\varphi(a) \right) = \varphi(u)\varphi(1-ra) = \varphi(1)=1 $$ So $\varphi(a) \in J(T)$ as required.

Theorem:
Let $R, T$ be rings. Then $J(R \times T) \subseteq J(R) \times J(T)$ .

Proof:
Let $\pi_1 : R \times T \rightarrow R$ be a (surjective) projection. By the previous theorem, $\pi_1(J(R \times T)) \subseteq J(R)$ .

Similarly let $\pi_2 : R \times T \rightarrow T$ be a (surjective) projection. We see that $\pi_2(J(R \times T)) \subseteq J(T)$ .

Now take $(a,b) \in J(R \times T)$ . Note that $a = \pi_1(a,b) \in J(R)$ and $b = \pi_2(a,b) \in J(T)$ . Hence $(a,b) \in J(R) \times J(T)$ as required.




"properties of the Jacobson radical" is owned by yark. [ owner history (1) ]
(view preamble | get metadata)

View style:


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

Cross-references: projection, left invertible, Jacobson radical, characterization, proof, homomorphism, surjective, rings, theorem

This is version 9 of properties of the Jacobson radical, born on 2002-07-02, modified 2004-03-17.
Object id is 3152, canonical name is EpimorphicImageOfTheJacobsonRadical.
Accessed 2650 times total.

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

Pending Errata and Addenda
None.
[ View all 2 ]
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)