Idempotent element

In abstract algebra, an element x of a set with a binary operation ∗ is called an idempotent element (or just an idempotent) if xx = x. This reflects the idempotence of the binary operation on that particular element.

Idempotents are especially prominent in ring theory. For general rings, elements idempotent under multiplication are tied with decompositions of modules, as well as to homological properties of the ring. In Boolean algebra, the main objects of study are rings in which all elements are idempotent under both addition and multiplication.

Definitions

An idempotent element of a ring is an element a such that a2 = a.[1] That is, the element is idempotent under the ring's multiplication. Inductively then, one can also conclude that a = a2 = a3 = a4 … = an for any positive integer n.

There are many special types of idempotents defined after the following examples section.

Examples

One may consider the ring of integers mod n, where n is squarefree. By the Chinese remainder theorem, this ring factors into the direct product of rings of integers mod p. Now each of these factors is a field, so it is clear that the only idempotents will be 0 and 1. That is, each factor has 2 idempotents. So if there are m factors, there will be 2m idempotents.

We can check this for the integers mod 6, R = Z/6Z. Since 6 has 2 factors (2 and 3) it should have 22 idempotents.

02 = 0 = 0 (mod 6)
12 = 1 = 1 (mod 6)
22 = 4 = 4 (mod 6)
32 = 9 = 3 (mod 6)
42 = 16 = 4 (mod 6)
52 = 25 = 1 (mod 6)

From these computations, 0, 1, 3, and 4 are idempotents of this ring, while 2 and 5 are not. This also demonstrates the decomposition properties described below: because 3 + 4 = 1 (mod 6), there is a ring decomposition 3Z/6Z⊕4Z/6Z. In 3Z/6Z the identity is 3+6Z and in 4Z/6Z the identity is 4+6Z.

Other examples

There is a catenoid of idempotents in the coquaternion ring.

Types of ring idempotents

A partial list of important types of idempotents includes:

Any non-trivial idempotent a is a zero divisor (because ab = 0 with neither a nor b being zero, where b = 1 − a). This shows that integral domains and division rings don't have such idempotents. Local rings also don't have such idempotents, but for a different reason. The only idempotent contained in the Jacobson radical of a ring is 0.

Rings characterized by idempotents

Role in decompositions

The idempotents of R have an important connection to decomposition of R modules. If M is an R module and E = EndR(M) is its ring of endomorphisms, then AB = M if and only if there is a unique idempotent e in E such that A = e(M) and B = (1 − e) (M). Clearly then, M is directly indecomposable if and only if 0 and 1 are the only idempotents in E.[2]

In the case when M = R the endomorphism ring EndR(R) = R, where each endomorphism arises as left multiplication by a fixed ring element. With this modification of notation, AB = R as right modules if and only if there exists a unique idempotent e such that eR = A and (1 − e)R = B. Thus every module direct summand of R is generated by an idempotent.

If a is a central idempotent, then the corner ring aRa = Ra is a ring with multiplicative identity a. Just as idempotents determine the direct decompositions of R as a module, the central idempotents of R determine the decompositions of R as a direct sum of rings. If R is the direct sum of the rings R1,...,Rn, then the identity elements of the rings Ri are central idempotents in R, pairwise orthogonal, and their sum is 1. Conversely, given central idempotents a1,...,an in R that are pairwise orthogonal and have sum 1, then R is the direct sum of the rings Ra1,…,Ran. So in particular, every central idempotent a in R gives rise to a decomposition of R as a direct sum of the corner rings aRa and (1 − a)R(1 − a). As a result, a ring R is directly indecomposable as a ring if and only if the identity 1 is centrally primitive.

Working inductively, one can attempt to decompose 1 into a sum of centrally primitive elements. If 1 is centrally primitive, we are done. If not, it is a sum of central orthogonal idempotents, which in turn are primitive or sums of more central idempotents, and so on. The problem that may occur is that this may continue without end, producing an infinite family of central orthogonal idempotents. The condition "R does not contain infinite sets of central orthogonal idempotents" is a type of finiteness condition on the ring. It can be achieved in many ways, such as requiring the ring to be right Noetherian. If a decomposition R = c1Rc2R ⊕ ... ⊕ cnR exists with each ci a centrally primitive idempotent, then R is a direct sum of the corner rings ciRci, each of which is ring irreducible.[3]

For associative algebras or Jordan algebras over a field, the Peirce decomposition is a decomposition of an algebra as a sum of eigenspaces of commuting idempotent elements.

Relation with involutions

If a is an idempotent of the endomorphism ring EndR(M), then the endomorphism f = 1 − 2a is an R module involution of M. That is, f is an R homomorphism such that f 2 is the identity endomorphism of M.

An idempotent element a of R and its associated involution f gives rise to two involutions of the module R, depending on viewing R as a left or right module. If r represents an arbitrary element of R, f can be viewed as a right R-homomorphism rfr so that ffr = r, or f can also be viewed as a left R module homomorphism rrf, where rff = r.

This process can be reversed if 2 is an invertible element of R:[4] if b is an involution, then 2−1(1 − b) and 2−1(1 + b) are orthogonal idempotents, corresponding to a and 1 − a. Thus for a ring in which 2 is invertible, the idempotent elements correspond to involutions in a one-to-one manner.

Category of R modules

Lifting idempotents also has major consequences for the category of R modules. All idempotents lift modulo I if and only if every R direct summand of R/I has a projective cover as an R module.[5] Idempotents always lift modulo nil ideals and rings for which R/I is I-adically complete.

Lifting is most important when I = J(R), the Jacobson radical of R. Yet another characterization of semiperfect rings is that they are semilocal rings whose idempotents lift modulo J(R).[6]

Lattice of ideals

One may define a partial order on the idempotents of a ring as follows: if a and b are idempotents, we write ab if and only if ab = ba = a. With respect to this order, 0 is the smallest and 1 the largest idempotent. For orthogonal idempotents a and b, a + b is also idempotent, and we have aa + b and ba + b. The atoms of this partial order are precisely the primitive idempotents. (Lam 2001, p. 323)

When the above partial order is restricted to the central idempotents of R, a lattice structure can be given. For two central idempotents e and f the complement ¬e = 1 − e and the join and meet are given by

ef = e + fef

and

ef = ef.

The ordering now becomes simply ef if and only if eRfR, and the join and meet satisfy (ef)R = eR + fR and (ef)R = eRfR = (eR)(fR). It is shown in (Goodearl 1991, p. 99) that if R is von Neumann regular and right self-injective, then the lattice is a complete lattice.

See also

Notes

  1. See Hazewinkel et al. (2004), p. 2.
  2. Anderson & Fuller 1992, p.69-72.
  3. Lam 2001, p.326.
  4. Rings in which 2 is not invertible are not hard to find. The element 2 is not invertible in any Boolean algebra, nor in any ring of characteristic 2.
  5. Anderson & Fuller 1992, p.302.
  6. Lam 2001, p.336.

References

  • idempotent” at FOLDOC
  • Goodearl, K. R. (1991), von Neumann regular rings (2 ed.), Malabar, FL: Robert E. Krieger Publishing Co. Inc., pp. xviii+412, ISBN 0-89464-632-X, MR 1150975 (93m:16006) 
  • Hazewinkel, Michiel; Gubareni, Nadiya; Kirichenko, V. V. (2004), Algebras, rings and modules. Vol. 1, Mathematics and its Applications 575, Dordrecht: Kluwer Academic Publishers, pp. xii+380, ISBN 1-4020-2690-0, MR 2106764 (2006a:16001) 
  • Lam, T. Y. (2001), A first course in noncommutative rings, Graduate Texts in Mathematics 131 (2 ed.), New York: Springer-Verlag, pp. xx+385, ISBN 0-387-95183-0, MR 1838439 (2002c:16001) 
  • Lang, Serge (1993), Algebra (Third ed.), Reading, Mass.: Addison-Wesley Pub. Co., ISBN 978-0-201-55540-0, Zbl 0848.13001  p. 443
  • Peirce, Benjamin.. Linear Associative Algebra 1870.
  • Polcino Milies, César; Sehgal, Sudarshan K. (2002), An introduction to group rings, Algebras and Applications 1, Dordrecht: Kluwer Academic Publishers, pp. xii+371, ISBN 1-4020-0238-6, MR 1896125 (2003b:16026) 
This article is issued from Wikipedia - version of the Thursday, June 18, 2015. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.