On join irreducible \(J\)-trivial semigroups (Q2154568)

Let \({\mathcal L}(S)\) be the lattice of pseudovarieties of finite semigroups. A pseudovariety \(\mathbf{V} \in {\mathcal L}(S)\) is join irreducible if whenever it is contained in the join of some pseudovarieties then it is contained in one of the joined pseudovarieties; a finite semigroup \(S\) is join irreducible if the pseudovariety generated by \(S\) is join irreducible, such as, e.g. every cyclic group with prime power order and every monogenic nilpotent semigroup. Here, new finite \({\mathscr J}\)-trivial semigroups \({{\mathcal C}_n}\) (\(n \geqslant 2\) ) are found having the property that while each \({{\mathcal C}_n}\) is not join irreducible, the monoid \({\mathcal C}_n^I\) is join irreducible and a complete description of all join irreducible pseudovarieties generated by a \({\mathscr J}\)-trivial semigroup of order \( \leqslant 6\) presented, e.g. there are precisely 15 join irreducible pseudovarieties generated by a \({\mathscr J}\)-trivial semigroup of order six.