Unipotent magma

From Groupprops
Jump to: navigation, search
This article defines a property that can be evaluated for a magma, and is invariant under isomorphisms of magmas.
View other such properties

Definition

A unipotent magma is defined as a magma (S,*) with an element e such that x * x = e for all x \in S.

Thus it is a magma with one single idempotent element. Such an element e is called middle neutral element.