Idempotent In mathematics, an idempotent element (or simply an idempotent) is something that when multiplied by (for a function, composed with) itself, gives itself as a result. For example, the only two real numbers which are idempotent under multiplication are 0 and 1. Definition Formally, if S is a set with a binary operation * on it, then an element s of S is said to be idempotent (with respect to *) if s * s = s. In particular, any identity element is idempotent. If every element of S is idempotent, then the binary operation * is said to be idempotent. For example, the operations of set union and set intersection are both idempotent. Composition of functions If S is the set of all functions from a given set X to X, then composition of functions is a binary operation on S, and we say that a function f from X to itself is idempotent if f o f = f, that is, f(f(x)) = f(x) for all x in X. This is equivalent to saying that f(x) = x for all x in the image f(X). Trivial examples of idempotent functions on X are the identity map and the constant maps. Less trivial examples are the absolute value function of a real or complex argument, and the function which assigns to every subset U of some topological space X the closure of U. The latter is an idempotent function on the power set of X. It is an example of a closure operator; all closure operators are idempotent functions. Idempotent ring elements An idempotent element of a ring is by definition an element that's idempotent with respect to the ring's multiplication. One may define a partial order on the idempotents of a ring as follows: if e and f are idempotents, we write e≤f iff ef = fe = e. With respect to this order, 0 is the smallest and 1 the largest idempotent. If e is idempotent in the ring R, then eRe is again a ring, with multiplicative identity e. Two idempotents e and f are called orthogonal if ef = fe = 0. In this case, e+f is also idempotent, and we have e ≤ e+f and f ≤ e+f. If e is idempotent in the ring R, then so is f = 1-e; e and f are orthogonal. An idempotent e in R is called central if ex = xe for all x in R. In this case, Re is a ring with multiplicative identity e. The central idempotents of R are closely related to 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 e1,...,en in R which are pairwise orthogonal and have sum 1, then R is the direct sum of the rings Re1,...,Ren. So in particular, every central idempotent e in R gives rise to a decomposition of R as a direct sum of Re and R(1-e). Any idempotent e which is different from 0 and 1 is a zero divisor (because e(1-e) = 0). 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 that's contained in the Jacobson radical of a ring is 0. A ring in which all elements are idempotent is called a boolean ring. It can be shown that in every such ring, multiplication is commutative, and every element is its own additive inverse. Other examples Idempotent operations can be found in Boolean algebra as well. Logical and and logical or are both idempotent operations over the elements of the Boolean algebra. In linear algebra, projections are idempotent. That is, any linear transformation that projects all vectors onto a subspace V (not necessarily orthogonally) is idempotent, if V itself is pointwise fixed. An idempotent semiring is a semiring whose addition (not multiplication) is idempotent. Computer science In computing, idempotence is the quality of something that has the same effect if used multiple times as it does if used only once. In particular, C header files are often designed to be idempotent, that is, if the header file is included more than once (as can easily happen with nested #includes), then nothing untoward happens - the effect is the same as if it had been included only once. Idempotent behaviour is the basis for the caching ability of the web; if the same request delivers the same response one can also work with a copy instead of requiring the original page. In user interface design, a button can be called "idempotent" if pressing it more than once will have the same effect as pressing it once. For example, a "Pause" button is not idempotent if it toggles the paused state. On the other hand, if pressing it multiple times keeps the system paused and pressing "Play" resumes, then "Pause" is idempotent. This is useful in interfaces such as infrared remote controls and touch screens where the user may not be sure of having pressed the button successfully and may press it again. Elevator call buttons are also idempotent, though many people think they are not. FAVORITE ARTICLES: History of the World    History of the United States    History of Europe    Ancient History    History    Military History    World War I    Bombing of Dresden    California    US Constitution    Frank Sinatra    Boston    Marbury v. Madison This article is licensed under the GNU Free Documentation License at http://www.gnu.org/copyleft/fdl.html You may copy and modify it as long as the entire work (including additions) remains under this license. You must provide a link to http://www.gnu.org/copyleft/fdl.html To view or edit this article at Wikipedia go to http://www.wikipedia.org/wiki/Idempotent