PlanetMath (more info)
 Math for the people, by the people.
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: High Entry average rating: Very high
quasi-regularity (Definition)

An element $ x$ of a ring is called right quasi-regular [resp. left quasi-regular] if there is an element $ y$ in the ring such that $ x + y + xy = 0$ [resp. $ x + y + yx = 0$].

For calculations with quasi-regularity, it is useful to introduce the operation $ *$ defined:

$\displaystyle x * y = x + y + xy .$
Thus $ x$ is right quasi-regular if there is an element $ y$ such that $ x * y = 0$. The operation $ *$ is easily demonstrated to be associative, and $ x * 0 = 0 * x = x$ for all $ x$.

An element $ x$ is called quasi-regular if it is both left and right quasi-regular. In this case, there are elements $ y$ and $ z$ such that $ x + y + xy = 0 = x + z + zx$ (equivalently, $ x * y = z * x = 0$). A calculation shows that

$\displaystyle y = 0 * y = (z * x) * y = z * (x * y) = z.$
So $ y = z$ is a unique element, depending on $ x$, called the quasi-inverse of $ x$.

An ideal (one- or two-sided) of a ring is called quasi-regular if each of its elements is quasi-regular. Similarly, a ring is called quasi-regular if each of its elements is quasi-regular (such rings cannot have an identity element).

Lemma 1   Let $ A$ be an ideal (one- or two-sided) in a ring $ R$. If each element of $ A$ is right quasi-regular, then $ A$ is a quasi-regular ideal.

This lemma means that there is no extra generality gained in defining terms such as right quasi-regular left ideal, etc.

Quasi-regularity is important because it provides elementary characterizations of the Jacobson radical for rings without an identity element:

  • The Jacobson radical of a ring is the sum of all quasi-regular left (or right) ideals.
  • The Jacobson radical of a ring is the largest quasi-regular ideal of the ring.

For rings with an identity element, note that $ x$ is [right, left] quasi-regular if and only if $ 1 + x$ is [right, left] invertible in the ring.



"quasi-regularity" is owned by mclase.
(view preamble | get metadata)

View style:

See Also: Jacobson radical, regular ideal, homotopes and isotopes of algebras

Other names:  quasi regular, quasi regularity
Also defines:  quasi-regular, right quasi-regular, left quasi-regular, quasi-inverse, quasi-regular ideal, quasi-regular ring
Log in to rate this entry.
(view current ratings)

Cross-references: left invertible, right, sum, Jacobson radical, characterizations, left ideal, identity element, ideal, associative, operation, ring
There is 1 reference to this entry.

This is version 5 of quasi-regularity, born on 2002-12-07, modified 2006-12-11.
Object id is 3681, canonical name is QuasiRegularity.
Accessed 9450 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 derivation | add example | add (any)