## IDEMPOTENT

### idempotent

#### Noun

- An idempotent ring or other structure

#### Adjective

- Describing an action which, when performed multiple times, has no further effect on its subject after the first time it is performed.
- A projection operator is
**idempotent**. - Every finite semigroup has an
**idempotent**element.

- A projection operator is
*Said of an element of an algebraic structure (such as a group or semigroup) with a binary operation*: that when the element operates on itself, the result is equal to itself.- Every group has a unique
**idempotent**element: namely, its identity element.

- Every group has a unique
*Said of a binary operation*: that all of the distinct elements it can operate on are idempotent (in the sense given just above).- Since the AND logical operator is commutative, associative, and
**idempotent**, then it distributes with respect to itself. (This is useful for understanding one of the conjunction rules of simplification to Prenex Normal Form, if the universal quantifier is thought of as a "big AND".)

- Since the AND logical operator is commutative, associative, and

*The above text is a snippet from Wiktionary: idempotent*

and as such is available under the Creative Commons Attribution/Share-Alike License.

and as such is available under the Creative Commons Attribution/Share-Alike License.