In abstract algebra, a free semigroup over a set is all possible finite sequences constructed from one or more of the set’s elements. Unlike free monoids, free semigroups have no identity element and the empty set ε does not exist. Like free monoids, concatenation is the semigroup operation. The free semigroup of a set A is denoted A+.
« Back to Glossary Index