Null semigroup
title: "Null semigroup" type: doc version: 1 created: 2026-02-28 author: "Wikipedia contributors" status: active scope: public tags: ["semigroup-theory"] topic_path: "general/semigroup-theory" source: "https://en.wikipedia.org/wiki/Null_semigroup" license: "CC BY-SA 4.0" wikipedia_page_id: 0 wikipedia_revision_id: 0
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. 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 A. H. Clifford and G. B. 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 xy = 0 for all x and y in S.
Cayley table for a null semigroup
Let S = {0, a, b, c} be (the underlying set of) a null semigroup. Then the Cayley table for S is as given below:
::data[format=table title=""]
| 0 | a | b | c | 0 | a | b | c |
|---|---|---|---|---|---|---|---|
| 0 | 0 | 0 | 0 | ||||
| 0 | 0 | 0 | 0 | ||||
| 0 | 0 | 0 | 0 | ||||
| 0 | 0 | 0 | 0 | ||||
| :: |
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 xy = x for all x and y in S.
Cayley table for a left zero semigroup
Let S = {a, b, c} be a left zero semigroup. Then the Cayley table for S is as given below:
::data[format=table title=""]
| a | b | c | a | b | c |
|---|---|---|---|---|---|
| a | a | a | |||
| b | b | b | |||
| c | c | c | |||
| :: |
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 xy = y for all x and y in S.
Cayley table for a right zero semigroup
Let S = {a, b, c} be a right zero semigroup. Then the Cayley table for S is as given below:
::data[format=table title=""]
| a | b | c | a | b | c |
|---|---|---|---|---|---|
| a | b | c | |||
| a | b | c | |||
| a | b | c | |||
| :: |
Properties
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. On the other hand, a null (left/right zero) semigroup with an identity adjoined is called a find-unique (find-first/find-last) monoid.
The class of null semigroups is:
- closed under taking subsemigroups
- closed under taking quotient of subsemigroup
- closed under arbitrary direct products.
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.
References
References
- A H Clifford. (1964). "The Algebraic Theory of Semigroups, volume I". [[American Mathematical Society]].
- M. Kilp, U. Knauer, A.V. Mikhalev, ''Monoids, Acts and Categories with Applications to Wreath Products and Graphs'', De Gruyter Expositions in Mathematics vol. 29, Walter de Gruyter, 2000, {{isbn. 3-11-015248-7, p. 19
::callout[type=info title="Wikipedia Source"] This article was imported from Wikipedia and is available under the Creative Commons Attribution-ShareAlike 4.0 License. Content has been adapted to SurfDoc format. Original contributors can be found on the article history page. ::