Stream: math-comp users

Topic: Presenting infinite monoids by generators and relations


view this post on Zulip Alen Đurić (Dec 12 2023 at 14:33):

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