Null semigroup


In mathematics, a null semigroup is a semigroup with an absorbing element, called zero, in which the product of any two elements is zero. If every element of a semigroup is a left zero then the semigroup is called a left zero semigroup; a right zero semigroup is defined analogously.
According to Clifford and Preston, "In spite of their triviality, these semigroups arise naturally in a number of investigations."

Null semigroup

Let S be a semigroup with zero element 0. Then S is called a null semigroup if for all x and y in S we have xy = 0.

Cayley table for a null semigroup

Let S = be a null semigroup. Then the Cayley table for S is as given below:
0abc
00000
a0000
b0000
c0000

Left zero semigroup

A semigroup in which every element is a left zero element is called a left zero semigroup. Thus a semigroup S is a left zero semigroup if for all x and y in S we have xy = x.

Cayley table for a left zero semigroup

Let S = be a left zero semigroup. Then the Cayley table for S is as given below:
abc
aaaa
bbbb
cccc

Right zero semigroup

A semigroup in which every element is a right zero element is called a right zero semigroup. Thus a semigroup S is a right zero semigroup if for all x and y in S we have xy = y.

Cayley table for a right zero semigroup

Let S = be a right zero semigroup. Then the Cayley table for S is as given below:
abc
aabc
babc
cabc

Properties

A non trivial null semigroup does not contain an identity element. It follows that the only null monoid is the trivial monoid.
The set of null semigroup is:
It follows that the set of null semigroup is a variety of universal algebra, and thus a variety of finite semigroups. The variety of finite null semigroups is defined by the identity ab = cd.