Post #4248985

Ok, now I’m completely sure that <a, b | aaa=1, ababbb=ba> is a finite monoid with 336 elements. I got Knuth-Bendix completion to succeed by adding the generator c=bbbbbbbb. It generates several million rules, before settling at 216 and establishing confluence. Most of those intermediate rules don’t participate in any reductions leading up to the final system, so they can be thrown out. Only ~32,000 intermediate rules are referenced by the 216 that remain at the end. For every necessary rule, I recorded a path that defines it from the two original axioms, together with c=bbbbbbbb. Here is the result (warning - large HTML file): https://monoids.net/336.html