Commutative monoids have complete presentations by free (non-commutative) monoids (Q1085284)
From MaRDI portal
 | This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use this page instead for the normal view: Commutative monoids have complete presentations by free (non-commutative) monoids |
scientific article; zbMATH DE number 3981440
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Commutative monoids have complete presentations by free (non-commutative) monoids |
scientific article; zbMATH DE number 3981440 |
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
