Idempotent element

From Citizendium
Jump to: navigation, search
This article is a stub and thus not approved.
Main Article
Related Articles  [?]
Bibliography  [?]
External Links  [?]
Citable Version  [?]
This editable Main Article is under development and subject to a disclaimer.

In algebra, an idempotent element with respect to a binary operation is an element which is unchanged when combined with itself.

Formally, let be a binary operation on a set X. An element E of X is an idempotent for if

Examples include an identity element or an absorbing element. An important class of examples is formed by considering operators on a set (functions from a set to itself) under function composition: for example, endomorphisms of a vector space. Here the idempotents are projections, corresponding to direct sum decompositions. For example, the idempotent matrix

is an idempotent for matrix multiplication corresponding to the operation of projection onto the x-axis along the y-axis.

An idempotent binary operation is one for which every element is an idempotent.