Finite \(\mathfrak L\)-trivial transformation semigroups (Q1976436)

Let \(T(X_n)\) denote the full transformation semigroup on the set of positive integers from \(1\) to \(n\) and let \(ST(X_n)\) denote its set of all subsemigroups. Let \(C\) be a class of semigroups. We say that \(C\) is inductively constructible in \(T(X_n)\) if \(T(X_1)\in C\) and there is an algorithm to construct every member of \(C\cap ST(X_k)\), where \(k<n\). The author has shown in a previous paper that all finite \(\mathcal R\)-trivial and \(\mathcal J\)-trivial semigroups are inductively constructible and here he uses similar techniques to show the same is true of the class of all finite \(\mathcal L\)-trivial semigroups. The main result is Theorem 3 which also characterizes the maximal \(\mathcal L\)-trivial subsemigroups of \(T(X_n)\).