A class of finite semigroups without irredundant bases of identities. (Q2799600)

Let \(L=\langle e,f\mid e^2=e,\;f^2=f,\;efe=0\rangle\), one of the four nonisomorphic six-element semigroups that are nonfinitely based (the six-element Brandt monoid being the originally discovered one). It is shown that \(L\) has no irredundant basis for the identities it satisfies; in fact, the same is true for its direct product with any finite cyclic group: an explicit irredundant basis of identities is found for each semigroup. (The author [Monatsh. Math. 168, No. 3-4, 461-472 (2012; Zbl 1292.20065)] had previously shown that these semigroups were nonfinitely based.)NEWLINENEWLINE While not the first examples of finite semigroups with this property [\textit{G. I. Mashevitskij}, Usp. Mat. Nauk 38, No. 2(230), 211-212 (1983; Zbl 0526.20047); translation in Russ. Math. Surv. 38, No. 2, 192-193 (1983)], the author will in two sequels use the particulars to demonstrate various types of behaviour relating the existence or otherwise of an irredundant basis of (unary) identities for a finite unary semigroup with the same property (for `plain' identities) in its semigroup reduct. The relationship in the case of the existence or otherwise of a finite basis has received considerable attention in recent years (e.g. \textit{K. Auinger, I. Dolinka, M. V. Volkov} [J. Algebra 369, 203-225 (2012; Zbl 1294.20072)]).