Namespaces
Variants
Actions

Difference between revisions of "Idempotent"

From Encyclopedia of Mathematics
Jump to: navigation, search
(TeX)
m (dots)
 
(One intermediate revision by one other user not shown)
Line 2: Line 2:
 
''idempotent element''
 
''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|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.
+
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|Peirce decomposition]] of the ring. For an $n$-ary algebraic relation $\omega$, an element $e$ is said to be an idempotent if $(e\cdots e)\omega=e$, where $e$ occurs $n$ times between the brackets.
  
  
  
 
====Comments====
 
====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
+
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$$
+
$$(x_1,\dotsc,x_n)\mapsto\sum_{i=1}^nr_ix_i$$
  
 
with $\sum_{i=1}^nr_i=1$.
 
with $\sum_{i=1}^nr_i=1$.

Latest revision as of 12:30, 14 February 2020

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\cdots 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,\dotsc,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=32667
This article was adapted from an original article by O.A. Ivanova (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article