Prime decomposition theorem for arbitrary semigroups: General holonomy decomposition and synthesis theorem (Q1822636)

The authors generalize the holonomy form of the Prime Decomposition Theorem of Krohn and Rhodes for finite semigroups to arbitrary infinite semigroups. This is accomplished by embedding \(\hat S\) into an infinite Zeiger wreath product after applying the triple Schützenberger product which makes S finite-J-above (Rhodes' theorem). Here finite-J-above means every element has only a finite number of divisors.