# Free semigroup

In abstract algebra, the **free monoid** on a set *A* is the monoid whose elements are all the finite sequences (or strings) of zero or more elements from *A*, with the binary operation of concatenation. It is usually denoted *A**. The identity element is the unique sequence of zero letters, often called the empty string and denoted by ε or λ. The **free semigroup** on *A* is the subsemigroup of *A** containing all elements except the empty string. It is usually denoted *A ^{+}*.

For example, if *A* = {*a*, *b*, *c*} elements of *A** are of the form

- {ε,
*a*,*ab*,*ba*,*caa*,*cccbabbc*}

More generally, a monoid (or semigroup) *S* is described as **free** if it is isomorphic to the free monoid (or semigroup) on some set. A set of elements which maps onto the set of single-letter words under such an isomorphism is called a *set of free generators* for *S*. Each free semigroup (or monoid) *S* has exactly one set of free generators, the cardinality of which is called the *rank* of *S*.

For example, the monoid (**N**,+) of natural numbers (including zero) under addition is a free monoid on a single generator (i.e. rank 1). The unique free generator is the number 1.

Two free monoids or semigroups are isomorphic if and only if they have the same rank. In fact, *every* set of generators for a free semigroup or monoid *S* contains the free generators. It follows that a free semigroup or monoid is finitely generated if and only if it has finite rank.

As the name implies, free monoids and semigroups are those objects which satisfy the usual universal property defining free objects, in the respective categories of monoids and semigroups. It follows that every monoid (or semigroup) arises as a homomorphic image of a free monoid (or semigroup). The study of semigroups as images of free semigroups is called combinatorial semigroup theory.

If *A* is a set, the *word length* function on *A** is the unique monoid homomorphism from *A** to **N** that maps each element of *A* to 1.

If Σ is a *finite alphabet* (a set of symbols), then Σ* consists of all *words* over Σ in the sense of formal language theory. Thus, the abstract study of formal languages can be thought of as the study of subsets of finitely generated free monoids. There are deep connections between the theory of semigroups and that of automata. For example, the regular languages over Σ are the homomorphic pre-images in Σ* of subsets of finite monoids.

## Free commutative monoid

Given a set *A*, the **free commutative monoid** on *A* is the set of all multisets with elements drawn from *A*. This forms a commutative monoid with the binary operation of multiset union.

For example, if *A* = {*a*, *b*, *c*} elements of the free commutative monoid on *A* are of the form

- {ε,
*a*,*ab*,*a*^{2}*b*,*ab*^{3}*c*^{4}}