Commutative monoids have complete presentations by free (non-commutative) monoids
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\).
finite Noetherian confluent semi-Thue system
scientific article; zbMATH DE number 3981440