The Free Commutative Monoid
Given a set A, the free commutative monoid on A is the set of all finite multisets with elements drawn from A, with the monoid operation being multiset sum and the monoid unit being the empty multiset.
For example, if A = {a, b, c}, elements of the free commutative monoid on A are of the form
- {ε, a, ab, a2b, ab3c4, ...}
The fundamental theorem of arithmetic states that the monoid of positive integers under multiplication is a free commutative monoid on an infinite set of generators, the prime numbers.
The free commutative semigroup is the subset of the free commutative monoid which contains all multisets with elements drawn from A except the empty multiset.
Read more about this topic: Free Monoid
Famous quotes containing the word free:
“The American adolescent, then, is faced, as are the adolescents of all countries who have entered or are entering the machine age, with the question: freedom from what and at what price? The American feels so rich in his opportunities for free expression that he often no longer knows what it is he is free from. Neither does he know where he is not free; he does not recognize his native autocrats when he sees them.”
—Erik H. Erikson (1904–1994)