Free operated monoids and Rewriting systems
arXiv:1804.04307 · doi:10.1007/s00233-018-9939-0
Abstract
The construction of bases for quotients is an important problem. In this paper, applying the method of rewriting systems, we give a unified approach to construct sections---an alternative name for bases in semigroup theory---for quotients of free operated monoids. As applications, we capture sections of free -monoids and free groups, respectively.
17 pages