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. It is usually denoted A∗. The identity element is the unique sequence of zero elements, often called the empty string and denoted by ε or λ, and the monoid operation is string concatenation. The free semigroup on A is the subsemigroup of A∗ containing all elements except the empty string. It is usually denoted A+.
More generally, an abstract monoid (or semigroup) S is described as free if it is isomorphic to the free monoid (or semigroup) on some set.
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.
Read more about Free Monoid: Conjugate Words, Free Generators and Rank, Free Hull, Morphisms, Endomorphisms, The Free Commutative Monoid, Generalization, Free Monoids and Computing
Famous quotes containing the word free:
“I wish more and more that health were studied half as much as disease is. Why, with all the endowment of research against cancer is no study made of those who are free from cancer? Why not inquire what foods they eat, what habits of body and mind they cultivate? And why never study animals in health and natural surroundings? why always sickened and in an environment of strangeness and artificiality?”
—Sarah N. Cleghorn (1976–1959)