Post #1968495
2026-05-01 12:46 UTC
@OscarCunningham Ah that’s interesting, so Grp is isomorphic to Grp, but the monoids with the same presentation are not isomorphic, because their commutative quotients are different! Here is , which is not even cancellative: https://monoids.net/2,2/7190.html
Replies (1)
-
@slava@mathstodon.xyz 2026-05-01 12:56
@OscarCunningham and here’s the one-relation monoid . I think this is actually the set of positive words in the B3 group https://monoids.net/2,1/123.html