On bases of identities of finite inverse semigroups with solvable subgroups. (Q1434257)

The author studies the finite basis problem for inverse semigroups considered as algebras of type \(\langle 2,1\rangle\). The study relies on an extension of \textit{E. I. Klejman}'s techniques [Sib. Mat. Zh. 20, 760-777 (1979; Zbl 0417.20051)] and on the author's profound membership criterion for the inverse semigroup variety generated by the 6-element Brandt monoid \(B_2^1\) [Semigroup Forum 43, No. 3, 305-330 (1991; Zbl 0743.20057)]. (It should be mentioned that in the paper under review the author provides several essential corrections to the proof of this criterion.) As the main result, the author shows that the identities of an inverse semigroup \(S\) have no finite basis whenever (1) all chains of idempotents in \(S\) are finite and their lengths admit a uniform upper bound; (2) all subgroups of \(S\) are solvable and their derived lengths admit a uniform upper bound; (3) the Brandt monoid \(B_2^1\) belongs to the inverse semigroup variety generated by \(S\) (Theorem~5.1). In particular, a finite inverse semigroup with solvable subgroups has a finite identity basis iff it is a subdirect product of groups and Brandt semigroups (Corollary~5.3). Yet another important application is the fact that the Mal'cev product of the variety of all semilattices by the variety of all solvable groups of derived length at most \(k\) has no finite identity basis for all \(k\) (Corollary~5.4).