In mathematics, a semigroup with no elements (the empty semigroup) is a semigroup in which the underlying set is the empty set. Many authors do not admit the existence of such a semigroup. For them a semigroup is by definition a non-empty set together with an associative binary operation.[1][2] However not all authors insist on the underlying set of a semigroup being non-empty.[3] One can logically define a semigroup in which the underlying set S is empty. The binary operation in the semigroup is the empty function from S × S to S. This operation vacuously satisfies the closure and associativity axioms of a semigroup. Not excluding the empty semigroup simplifies certain results on semigroups. For example, the result that the intersection of two subsemigroups of a semigroup T is a subsemigroup of T becomes valid even when the intersection is empty.
When a semigroup is defined to have additional structure, the issue may not arise. For example, the definition of a monoid requires an identity element, which rules out the empty semigroup as a monoid.
In category theory, the empty semigroup is always admitted. It is the unique initial object of the category of semigroups.
A semigroup with no elements is an inverse semigroup, since the necessary condition is vacuously satisfied.
^A. H. Clifford, G. B. Preston (1964). The Algebraic Theory of Semigroups Vol. I (Second Edition). American Mathematical Society. ISBN 978-0-8218-0272-4
^Howie, J. M. (1976). An Introduction to Semigroup Theory. L.M.S.Monographs. Vol. 7. Academic Press. pp. 2–3
^P. A. Grillet (1995). Semigroups. CRC Press. ISBN 978-0-8247-9662-4 pp. 3–4
In mathematics, a semigroup with no elements (the emptysemigroup) is a semigroup in which the underlying set is the empty set. Many authors do not admit...
a semigroup is an associative magma. Emptysemigroup: the empty set forms a semigroup with the empty function as the binary operation. Semigroup with...
computer science, an action or act of a semigroup on a set is a rule which associates to each element of the semigroup a transformation of the set in such...
In mathematics, the bicyclic semigroup is an algebraic object important for the structure theory of semigroups. Although it is in fact a monoid, it is...
called the empty string and denoted by ε or λ, as the identity element. The free monoid on a set A is usually denoted A∗. The free semigroup on A is the...
In group theory, an inverse semigroup (occasionally called an inversion semigroup) S is a semigroup in which every element x in S has a unique inverse...
mathematics, particularly in abstract algebra, a semigroup with involution or a *-semigroup is a semigroup equipped with an involutive anti-automorphism...
However, the integer 0 can not be expressed as a (non-empty) sum of 1s, thus {1} is not a semigroup generator of the natural numbers. Similarly, while {1}...
In mathematics, a trivial semigroup (a semigroup with one element) is a semigroup for which the cardinality of the underlying set is one. The number of...
mathematics, a semigroup is a nonempty set together with an associative binary operation. A special class of semigroups is a class of semigroups satisfying...
In mathematics, a regular semigroup is a semigroup S in which every element is regular, i.e., for each element a in S there exists an element x in S such...
inverse semigroups. They are built in the same way as completely 0-simple semigroups: Let G be a group and I , J {\displaystyle I,J} be non-empty sets....
nothing, a transformation semigroup can be made into a monoid by adding the identity function. Let M be a monoid and Q be a non-empty set. If there exists...
non-commutative non-band semigroups. Special classes of semigroupsSemigroup with two elements Semigroup with one element Emptysemigroup Andreas Distler, Classification...
they are used to classify certain classes of simple semigroups. Let S be a semigroup, I and Λ non-empty sets and P a matrix indexed by I and Λ with entries...
with addition form a monoid, the identity element being 0. Monoids are semigroups with identity. Such algebraic structures occur in several branches of...
In mathematics, and more precisely in semigroup theory, a variety of finite semigroups is a class of semigroups having some nice algebraic properties...
a semigroup with two elements is a semigroup for which the cardinality of the underlying set is two. There are exactly five nonisomorphic semigroups having...
use this paper as the basis for a 1947 proof "that the word problem for semigroups was recursively insoluble", and later devised the canonical system for...
element with any element of the set is the absorbing element itself. In semigroup theory, the absorbing element is called a zero element because there is...
the second structure. For example: A semigroup homomorphism is a map between semigroups that preserves the semigroup operation. A monoid homomorphism is...
or occasionally as the full linear semigroup or general linear monoid. Notably, it constitutes a regular semigroup. If one removes the restriction of...