Commutative monoids have complete presentations by free (non-commutative) monoids (Q1085284)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Commutative monoids have complete presentations by free (non-commutative) monoids |
scientific article |
Statements
Commutative monoids have complete presentations by free (non-commutative) monoids (English)
0 references
1986
0 references
It is shown that any finitely generated commutative monoid A has a finite complete presentation in the sense that there exist a finite alphabet X and a finite Noetherian confluent semi-Thue system \(P\subset X^*\times X^*\) such that A is isomorphic to \(X^*/P\).
0 references
finitely generated commutative monoid
0 references
finite complete presentation
0 references
finite alphabet
0 references
finite Noetherian confluent semi-Thue system
0 references
0 references
