Factor Monoid and Monoid Presentations
Since is a congruence, we can define the factor monoid of the free monoid by the Thue congruence in the usual manner. If a monoid is isomorphic with, then the semi-Thue system is called a monoid presentation of .
We immediately get some very useful connections with other areas of algebra. For example, the alphabet {a, b} with the rules { ab → ε, ba → ε }, where ε is the empty string, is a presentation of the free group on one generator. If instead the rules are just { ab → ε }, then we obtain a presentation of the bicyclic monoid.
The importance of semi-Thue systems as presentation of monoids is made stronger by the following:
Theorem: Every monoid has a presentation of the form, thus it may be always be presented by a semi-Thue system, possibly over an infinite alphabet.
In this context, the set is called the set of generators of, and R is called the set of defining relations . We can immediately classify monoids based on their presentation. is called
- finitely generated if is finite.
- finitely presented if both and R are finite.
Read more about this topic: Semi-Thue System
Famous quotes containing the word factor:
“Children of the middle years do not do their learning unaffected by attendant feelings of interest, boredom, success, failure, chagrin, joy, humiliation, pleasure, distress and delight. They are whole children responding in a total way, and what they feel is a constant factor that can be constructive or destructive in any learning situation.”
—Dorothy H. Cohen (20th century)