Binary operation on magma determines neutral element

From Groupprops
Jump to: navigation, search


Suppose (S,*) is a magma (set S with binary operation *). Then, if there exists a neutral element for * (i.e., an element e such that e * a = a * e = a for all a \in S), the element e is uniquely determined by *.

In other words, a magma can have at most one two-sided neutral element.

Facts used

Equality of left and right neutral element

Related facts

In the case that * is associative, this says that the identity element (neutral element) of a monoid is completely determined by the binary operation. This yields the fact that monoids form a non-full subcategory of semigroups.