Idempotent-generated subsemigroups of the symmetric semigroup of degree four: computer investigations (Q1058604)

Die Verfasser berichten über Eigenschaften des Unterhalbgruppenverbandes der symmetrischen Halbgruppe \(T_ 4\) vom Grade 4, die sie mit Hilfe von Rechnern bestimmt haben. Wie zu erwarten, sind die Methoden erheblich komplizierter als in dem früher von \textit{S. Raney} und \textit{C. Wilde} untersuchten Fall von \(T_ 3\) [J. Aust. Math. Soc. 14, 335 (1972; Zbl 0255.20036)]. Die vorgelegte Beschreibung ist zunächst eher quantitativ (zum Beispiel: wie viele verschiedene Isomorphietypen von Unterhalbgruppen?); Strukturaussagen sind das Ziel.