Hello, everyone!

I am looking for a way to present infinite monoids by generators and relations. To the best of my knowledge, the closest thing available is a presentation of a finite group by generators and relations: https://math-comp.github.io/htmldoc_2_0_0/mathcomp.fingroup.presentation.html.

Has anyone tried (or is anyone planning) generalising it to monoids?

Last updated: Jul 25 2024 at 15:02 UTC