TY - JOUR
T1 - Holonomy Embedding for Arbitrary Stable Semigroups
AU - Elston, G.Z.
AU - Nehaniv, C.L.
N1 - Original article can be found at: http://ejournals.wspc.com.sg/journals/ijac/mkt/archive.shtml Copyright World Scientific Publishing Company. DOI: 10.1142/S0218196702001206 [Full text of this article is not available in the UHRA]
PY - 2002
Y1 - 2002
N2 - We show how the Rhodes expansion Ŝ of any stable semigroup S embeds into the cascade integral (a natural generalization of the wreath product) of permutation-reset transformation semigroups with zero adjoined. The permutation groups involved are exactly the Schützenberger groups of the -classes of S. Since S ←← Ŝ is an aperiodic map via which all subgroups of S lift to Ŝ, this results in a strong Krohn–Rhodes–Zeiger decomposition for the entire class of stable semigroups. This class includes all semigroups that are finite, torsion, finite -above, compact Hausdorff, or relatively free profinite, as well as many other semigroups. Even if S is not stable, one can expand it using Henckell's expansion and then apply our embedding. This gives a simplified proof of the Holonomy Embedding theorem for all semigroups.
AB - We show how the Rhodes expansion Ŝ of any stable semigroup S embeds into the cascade integral (a natural generalization of the wreath product) of permutation-reset transformation semigroups with zero adjoined. The permutation groups involved are exactly the Schützenberger groups of the -classes of S. Since S ←← Ŝ is an aperiodic map via which all subgroups of S lift to Ŝ, this results in a strong Krohn–Rhodes–Zeiger decomposition for the entire class of stable semigroups. This class includes all semigroups that are finite, torsion, finite -above, compact Hausdorff, or relatively free profinite, as well as many other semigroups. Even if S is not stable, one can expand it using Henckell's expansion and then apply our embedding. This gives a simplified proof of the Holonomy Embedding theorem for all semigroups.
U2 - 10.1142/S0218196702001206
DO - 10.1142/S0218196702001206
M3 - Article
SN - 0218-1967
VL - 12
SP - 791
EP - 810
JO - International Journal of Algebra and Computation
JF - International Journal of Algebra and Computation
IS - 6
ER -