Abstract
Self-similar monoids arising from a partially ordered set \(\Omega \) are characterized by generators and relations, and put into a one-to-one correspondence with an abelian lattice-ordered group, the restricted Hahn group of \(\Omega ^{\text{ op }}\). The group of left fractions of such a self-similar monoid A is determined and shown to be closely related to non-commutative prime factorization of elements in A. For a well-ordered set \(\Omega \), this prime factorization specializes to the Cantor Normal Form Theorem for ordinals
Similar content being viewed by others
Notes
The terminology is apparent when the operation is interpreted as implication, so that 1 stands for logical truth.
References
Anderson, M., Feil, T.: Lattice-Ordered Groups, An Introduction, Reidel Texts in the Mathematical Sciences. D. Reidel Publishing Co., Dordrecht (1988)
Artin, E.: Theorie der Zöpfe. Abh. Math. Sem. Univ. Hamburg 4(1), 47–72 (1925)
Artin, E.: Theory of braids. Ann. Math. 48, 101–126 (1947)
Brieskorn, E., Saito, K.: Artin-Gruppen und Coxeter-Gruppen. Invent. Math. 17, 245–271 (1972)
Conrad, P.: The structure of a lattice-ordered group with a finite number of disjoint elements. Mich. Math. J. 7, 171–180 (1960)
Conrad, P.: The lattice of all convex \(\ell \)-subgroups of a lattice-ordered group. Czechoslov. Math. J. 15, 101–123 (1965)
Conrad, P., Harvey, J., Holland, C.: The Hahn embedding theorem for abelian lattice-ordered groups. Trans. Am. Math. Soc. 108, 143–169 (1963)
Darnel, M.R.: Theory of Lattice-Ordered Groups, Monographs and Textbooks in Pure and Applied Mathematics, vol. 187. Marcel Dekker, New York (1995)
Dehornoy, P.: Groupes de Garside. Ann. Sci. École Norm. Sup. 35(2), 267–306 (2002)
Dehornoy, P.: Left-Garside categories, self-distributivity, and braids. Ann. Math. Blaise Pascal 16(2), 189–244 (2009)
Dehornoy, P., Digne, F., Godelle, E., Krammer, D., Michel, J.: Foundations of Garside theory, EMS tracts in Math. 22, European Mathematical Society (2015)
Dehornoy, P., Paris, L.: Gaussian groups and Garside groups, two generalisations of Artin groups. Proc. London Math. Soc. 79(3), 569–604 (1999)
Deligne, P.: Les immeubles des groupes de tresses généralisés. Invent. Math. 17, 273–302 (1972)
Dvurečenskij, A.: Pseudo MV-algebras are intervals in \(l\)-groups. J. Aust. Math. Soc. 72, 427–445 (2002)
Dye, H.A.: On the geometry of projections in certain operator algebras. Ann. Math. 61, 73–89 (1955)
Etingof, P., Schedler, T., Soloviev, A.: Set-theoretical solutions to the quantum Yang-Baxter equation. Duke Math. J. 100, 169–209 (1999)
Garside, F.A.: The braid group and other groups. Quart. J. Math. Oxford Ser. 20, 235–254 (1969)
Georgescu, G., Iorgulescu, A.: Pseudo MV-algebras. Multiple-Valued Logic 6, 95–135 (2001)
Grigorchuk, R.I., Nekrashevich, V.V., Sushchanskiĭ, V.I.: Automata, dynamical systems, and groups, Tr. Mat. Inst. Steklova 231 (2000), Din. Sist., Avtom. i Beskon. Gruppy, 134–214; Engl. translation in: Proc. Steklov Inst. Math. 2000, 4(231), 128–203
Jech, T.: Set Theory, Springer Monographs in Mathematics, 3rd edn. Springer-Verlag, Berlin (2003)
Kopytov, V.M., Medvedev, N.Y.: Right-Ordered Groups. Siberian School of Algebra and Logic, Consultants Bureau, New York (1996)
Lavrenyuk, Y., Mazorchuk, V., Oliynyk, A., Sushchanskiĭ, V.: Faithful group actions on rooted trees induced by actions of quotients. Comm. Algebra 35(11), 3759–3775 (2007)
Lawson, M.V.: A correspondence between a class of monoids and self-similar group actions I. Semigroup Forum 76(3), 489–517 (2008)
Mundici, D.: Interpretation of AFC\(^\ast \) algebras in Łukasiewicz sentential calculus. J. Funct. Anal. 65, 15–63 (1986)
Nekrashevych, V.V.: Self-Similar Groups, Mathematical Surveys and Monographs, vol. 117. American Mathematical Society, Providence (2005)
Perrot, J.-F.: Contribution à l’étude des Monoïdes Syntactiques et de Certains Groupes Associés Aux Automates Finis. Thèse présentée à l’Université Paris VI, Paris (1972)
Perrot, J.-F.: Une famille de monoïdes inversifs 0-bisimples généralisant le monoïde bicyclique, Séminaire Dubreil Algèbre, 1-15 (1971-1972), 15 pp., Secrétariat Mathématique, Paris, (1973)
Picantin, M.: Automatic semigroups vs. automaton semigroups, 46th International Colloquium on Automata, Languages, and Programming, article no. 124, LIPIcs. Leibniz Int. Proc. Inform., 132, Schloss Dagstuhl, Leibniz-Zent. Inform., Wadern, (2019)
Rachůnek, J.: A non-commutative generalization of MV-algebras. Czech. Math. J. 52, 255–273 (2002)
Rees, D.: On the ideal structure of a semi-group satisfying a cancellation law. Quart. J. Math. Oxford Ser. 19, 101–108 (1948)
Rump, W.: \(L\)-Algebras, self-similarity, and \(\ell \)-Groups. J. Algebra 320(6), 2328–2348 (2008)
Rump, W.: Semidirect products in algebraic logic and solutions of the quantum Yang-Baxter equation. J. Algebra Appl. 7(4), 471–490 (2008)
Rump, W.: A general Glivenko theorem. Algebra Univ. 61(3–4), 455–473 (2009)
Rump, W.: Right \(l\)-groups, geometric Garside Groups, and solutions of the quantum Yang-Baxter equation. J. Algebra 439, 470–510 (2015)
Rump, W.: Von Neumann algebras, \(L\)-algebras, Baer \({}^\ast \)-monoids, and Garside groups. Forum Math. 30(4), 973–995 (2018)
Rump, W.: \(L\)-algebras with duality and the structure group of a set-theoretic solution to the Yang-Baxter equation. J. Pure Appl. Algebra 224(8), 106314 (2020)
Sasaki, U.: Orthocomplemented lattices satisfying the exchange axiom. J. Sci. Hiroshima Univ. (Ser. A) 17, 293–302 (1954)
Silva, P.V., Steinberg, B.: On a class of automata groups generalizing lamplighter groups. Internat. J. Algebra Comput. 15(5–6), 1213–1234 (2005)
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Mark V. Lawson.
Dedicated to B. V. M.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Rump, W. Self-similar monoids related to Hahn groups. Semigroup Forum 104, 448–463 (2022). https://doi.org/10.1007/s00233-022-10267-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00233-022-10267-5