2025/02/04 by Sapir, Olga B.
#FOS: Mathematics #Group Theory (math.GR)
paper · doi:10.48550/arxiv.2502.02157
We transform the method of Glasson into a sufficient condition under which a monoid is non-finitely related, add a new member to the collection of interlocking word-patterns, and use it to show that the monoid M(ab2a, a2b2) is non-finitely related. We also give a sufficient condition under which a monoid is finitely related and use it show that M(a2b2) is finitely related. Together with the results of Glasson this completes the description of all finitely related monoids among the monoids of the form M(W) where every word \bf u ∈ W depends on two variables and every variable occurs twice in \bf u.