An example of a nonfinitely based involution monoid of order five has recently been discovered. We confirm that this example is, up to isomorphism, the unique smallest among all involution monoids.
No takes yet. Share an insight, caveat, or question.
Han et al. (2023) studied this question.
Synapse has enriched one closely related paper. Consider it for comparative context: