Free Commutative Monoids
The free commutative monoid on a set X (see free object) can be taken to be the set of finite multisets with elements drawn from X, with the monoid operation being multiset sum and the empty multiset as identity element. Such monoids are also known as (finite) formal sums of elements of X with natural coefficents. The free commutative semigroup is the subset of the free commutative monoid which contains all multisets with elements drawn from X except the empty multiset.
Free abelian groups are formal sums (i.e. linear combinations) of elements of X with integer coefficients. Equivalently, they may be seen as signed finite multisets with elements drawn from X.
Read more about this topic: Multiset
Famous quotes containing the word free:
“... whilst you are proclaiming peace and good will to men, Emancipating all Nations, you insist upon retaining absolute power over wives. But you must remember that Arbitrary power is like most other things which are very hard, very liable to be broken—and notwithstanding all your wise Laws and Maxims we have it in our power not only to free ourselves but to subdue our Masters, and without violence throw both your natural and legal authority at our feet ...”
—Abigail Adams (1744–1818)