Namespaces
Variants
Actions

Idempotent

From Encyclopedia of Mathematics
Revision as of 19:11, 13 November 2016 by Richard Pinch (talk | contribs) (link)
Jump to: navigation, search
The printable version is no longer supported and may have rendering errors. Please update your browser bookmarks and please use the default browser print function instead.

idempotent element

An element $e$ of a ring, semi-group or groupoid equal to its own square: $e^2=e$. An idempotent $e$ is said to contain an idempotent $f$ (denoted by $e\geq f$) if $ef=e=fe$. For associative rings and semi-groups, the relation $\geq$ is a partial order on the set $E$ of idempotent elements, called the natural partial order on $E$. Two idempotents $u$ and $v$ of a ring are said to be orthogonal if $uv=0=vu$. With every idempotent of a ring (and also with every system of orthogonal idempotents) there is associated the so-called Peirce decomposition of the ring. For an $n$-ary algebraic relation $\omega$, an element $e$ is said to be an idempotent if $(e\ldots e)\omega=e$, where $e$ occurs $n$ times between the brackets.


Comments

An algebraic operation $\omega$ is sometimes said to be idempotent if every element of the set on which it acts is idempotent in the sense defined above. Such operations are also called affine operations; the latter name is preferable because an affine unary operation is not the same thing as an idempotent element of the semi-group of unary operations. In the theory of $R$-modules, the affine operations are those of the form

$$(x_1,\ldots,x_n)\mapsto\sum_{i=1}^nr_ix_i$$

with $\sum_{i=1}^nr_i=1$.

How to Cite This Entry:
Idempotent. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Idempotent&oldid=39746
This article was adapted from an original article by O.A. Ivanova (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article