Skip to main content
Log in

Self-similar monoids related to Hahn groups

  • Research Article
  • Published:
Semigroup Forum Aims and scope Submit manuscript

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

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Similar content being viewed by others

Notes

  1. The terminology is apparent when the operation is interpreted as implication, so that 1 stands for logical truth.

References

  1. Anderson, M., Feil, T.: Lattice-Ordered Groups, An Introduction, Reidel Texts in the Mathematical Sciences. D. Reidel Publishing Co., Dordrecht (1988)

    MATH  Google Scholar 

  2. Artin, E.: Theorie der Zöpfe. Abh. Math. Sem. Univ. Hamburg 4(1), 47–72 (1925)

    Article  MathSciNet  Google Scholar 

  3. Artin, E.: Theory of braids. Ann. Math. 48, 101–126 (1947)

    Article  MathSciNet  Google Scholar 

  4. Brieskorn, E., Saito, K.: Artin-Gruppen und Coxeter-Gruppen. Invent. Math. 17, 245–271 (1972)

    Article  MathSciNet  Google Scholar 

  5. Conrad, P.: The structure of a lattice-ordered group with a finite number of disjoint elements. Mich. Math. J. 7, 171–180 (1960)

    Article  MathSciNet  Google Scholar 

  6. Conrad, P.: The lattice of all convex \(\ell \)-subgroups of a lattice-ordered group. Czechoslov. Math. J. 15, 101–123 (1965)

    Article  MathSciNet  Google Scholar 

  7. Conrad, P., Harvey, J., Holland, C.: The Hahn embedding theorem for abelian lattice-ordered groups. Trans. Am. Math. Soc. 108, 143–169 (1963)

    Article  MathSciNet  Google Scholar 

  8. Darnel, M.R.: Theory of Lattice-Ordered Groups, Monographs and Textbooks in Pure and Applied Mathematics, vol. 187. Marcel Dekker, New York (1995)

    Google Scholar 

  9. Dehornoy, P.: Groupes de Garside. Ann. Sci. École Norm. Sup. 35(2), 267–306 (2002)

    Article  MathSciNet  Google Scholar 

  10. Dehornoy, P.: Left-Garside categories, self-distributivity, and braids. Ann. Math. Blaise Pascal 16(2), 189–244 (2009)

    Article  MathSciNet  Google Scholar 

  11. Dehornoy, P., Digne, F., Godelle, E., Krammer, D., Michel, J.: Foundations of Garside theory, EMS tracts in Math. 22, European Mathematical Society (2015)

  12. Dehornoy, P., Paris, L.: Gaussian groups and Garside groups, two generalisations of Artin groups. Proc. London Math. Soc. 79(3), 569–604 (1999)

    Article  MathSciNet  Google Scholar 

  13. Deligne, P.: Les immeubles des groupes de tresses généralisés. Invent. Math. 17, 273–302 (1972)

    Article  MathSciNet  Google Scholar 

  14. Dvurečenskij, A.: Pseudo MV-algebras are intervals in \(l\)-groups. J. Aust. Math. Soc. 72, 427–445 (2002)

    Article  MathSciNet  Google Scholar 

  15. Dye, H.A.: On the geometry of projections in certain operator algebras. Ann. Math. 61, 73–89 (1955)

    Article  MathSciNet  Google Scholar 

  16. Etingof, P., Schedler, T., Soloviev, A.: Set-theoretical solutions to the quantum Yang-Baxter equation. Duke Math. J. 100, 169–209 (1999)

    Article  MathSciNet  Google Scholar 

  17. Garside, F.A.: The braid group and other groups. Quart. J. Math. Oxford Ser. 20, 235–254 (1969)

    Article  MathSciNet  Google Scholar 

  18. Georgescu, G., Iorgulescu, A.: Pseudo MV-algebras. Multiple-Valued Logic 6, 95–135 (2001)

    MathSciNet  MATH  Google Scholar 

  19. 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

  20. Jech, T.: Set Theory, Springer Monographs in Mathematics, 3rd edn. Springer-Verlag, Berlin (2003)

    Google Scholar 

  21. Kopytov, V.M., Medvedev, N.Y.: Right-Ordered Groups. Siberian School of Algebra and Logic, Consultants Bureau, New York (1996)

  22. 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)

    Article  MathSciNet  Google Scholar 

  23. Lawson, M.V.: A correspondence between a class of monoids and self-similar group actions I. Semigroup Forum 76(3), 489–517 (2008)

    Article  MathSciNet  Google Scholar 

  24. Mundici, D.: Interpretation of AFC\(^\ast \) algebras in Łukasiewicz sentential calculus. J. Funct. Anal. 65, 15–63 (1986)

    Article  MathSciNet  Google Scholar 

  25. Nekrashevych, V.V.: Self-Similar Groups, Mathematical Surveys and Monographs, vol. 117. American Mathematical Society, Providence (2005)

    Book  Google Scholar 

  26. 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)

    MATH  Google Scholar 

  27. 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)

  28. 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)

  29. Rachůnek, J.: A non-commutative generalization of MV-algebras. Czech. Math. J. 52, 255–273 (2002)

    Article  MathSciNet  Google Scholar 

  30. Rees, D.: On the ideal structure of a semi-group satisfying a cancellation law. Quart. J. Math. Oxford Ser. 19, 101–108 (1948)

    Article  MathSciNet  Google Scholar 

  31. Rump, W.: \(L\)-Algebras, self-similarity, and \(\ell \)-Groups. J. Algebra 320(6), 2328–2348 (2008)

    Article  MathSciNet  Google Scholar 

  32. Rump, W.: Semidirect products in algebraic logic and solutions of the quantum Yang-Baxter equation. J. Algebra Appl. 7(4), 471–490 (2008)

    Article  MathSciNet  Google Scholar 

  33. Rump, W.: A general Glivenko theorem. Algebra Univ. 61(3–4), 455–473 (2009)

    Article  MathSciNet  Google Scholar 

  34. Rump, W.: Right \(l\)-groups, geometric Garside Groups, and solutions of the quantum Yang-Baxter equation. J. Algebra 439, 470–510 (2015)

    Article  MathSciNet  Google Scholar 

  35. Rump, W.: Von Neumann algebras, \(L\)-algebras, Baer \({}^\ast \)-monoids, and Garside groups. Forum Math. 30(4), 973–995 (2018)

    Article  MathSciNet  Google Scholar 

  36. 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)

    Article  MathSciNet  Google Scholar 

  37. Sasaki, U.: Orthocomplemented lattices satisfying the exchange axiom. J. Sci. Hiroshima Univ. (Ser. A) 17, 293–302 (1954)

    MathSciNet  MATH  Google Scholar 

  38. Silva, P.V., Steinberg, B.: On a class of automata groups generalizing lamplighter groups. Internat. J. Algebra Comput. 15(5–6), 1213–1234 (2005)

    Article  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to Wolfgang Rump.

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

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

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

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s00233-022-10267-5

Keywords

Navigation