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] nested ideals in von Neumann regular ring (Theorem)
Theorem 1   Let $\mathfrak{a}$ be an ideal of the von Neumann regular ring $R$ Then $\mathfrak{a}$ itself is a von Neumann regular ring and any ideal $\mathfrak{b}$ of $\mathfrak{a}$ is likewise an ideal of $R$
Proof. If $a\in \mathfrak{a}$ then $asa = a$ , for some $s\in R$ Setting $t = sas$ , we see that $t$ belongs to the ideal $\mathfrak{a}$ and satisfies $$ata = a(sas)a = (asa)sa = asa = a.$$ Secondly, we have to show that whenever $b\in\mathfrak{b} \subseteq \mathfrak{a}$ , and $r\in R$ then both $br$ and $rb$ lie in $\mathfrak{b}$ Now, $br\in \mathfrak{a}$ , because $\mathfrak{a}$ is an ideal of $R$ Thus there is an element $x$ in $\mathfrak{a}$ satisfying $brxbr = br$ Since $rxbr$ belongs to $\mathfrak{a}$ and $\mathfrak{b}$ is assumed to be an ideal of $\mathfrak{a}$ we conclude that the product $b\cdot rxbr$ , must lie in $\mathfrak{b}$ i.e. $br\in\mathfrak{b}$ Similarly it can be shown that $rb\in\mathfrak{b}$ $ \qedsymbol$

Bibliography

1
David M. Burton: A first course in rings and ideals. Addison-Wesley. Reading, Massachusetts (1970).




"nested ideals in von Neumann regular ring" is owned by CWoo. [ full author list (2) | owner history (3) ]
(view preamble | get metadata)

View style:


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

Cross-references: product, von Neumann regular ring, ideal

This is version 9 of nested ideals in von Neumann regular ring, born on 2004-11-10, modified 2008-04-30.
Object id is 6463, canonical name is NestedIdealsInVonNeumannRegularRing.
Accessed 1596 times total.

Classification:
AMS MSC16E50 (Associative rings and algebras :: Homological methods :: von Neumann regular rings and generalizations)

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

No messages.

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