In mathematics, a null semigroup (also called a zero semigroup) is a semigroup with an absorbing element, called zero, in which the product of any two elements is zero.[1] 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.[2]
According to A. H. Clifford and G. B. Preston, "In spite of their triviality, these semigroups arise naturally in a number of investigations."
Let S be a semigroup with zero element 0. Then S is called a null semigroup if xy = 0 for all x and y in S.
Let S = be (the underlying set of) a null semigroup. Then the Cayley table for S is as given below:
0 | 0 | 0 | 0 | 0 | |
---|---|---|---|---|---|
a | 0 | 0 | 0 | 0 | |
b | 0 | 0 | 0 | 0 | |
c | 0 | 0 | 0 | 0 |
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 xy = x for all x and y in S.
Let S = be a left zero semigroup. Then the Cayley table for S is as given below:
a | a | a | a | |
---|---|---|---|---|
b | b | b | b | |
c | c | c | c |
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 xy = y for all x and y in S.
Let S = be a right zero semigroup. Then the Cayley table for S is as given below:
a | a | b | c | |
---|---|---|---|---|
b | a | b | c | |
c | a | b | c |
A non-trivial null (left/right zero) semigroup does not contain an identity element. It follows that the only null (left/right zero) monoid is the trivial monoid.
The class of null semigroups is:
It follows that the class of null (left/right zero) semigroups 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.