Advertisement

Algebra universalis

, 79:17 | Cite as

Galois connection for multiple-output operations

  • Emil Jeřábek
Article
  • 26 Downloads

Abstract

It is a classical result from universal algebra that the notions of polymorphisms and invariants provide a Galois connection between suitably closed classes (clones) of finitary operations \(f:B^n\rightarrow B\), and classes (coclones) of relations \(r\subseteq B^k\). We will present a generalization of this duality to classes of (multi-valued, partial) functions \(f:B^n\rightarrow B^m\), employing invariants valued in partially ordered monoids instead of relations. In particular, our set-up encompasses the case of permutations \(f:B^n\rightarrow B^n\), motivated by problems in reversible computing.

Keywords

Clones and coclones Galois connection Multiple-output operations Partially ordered monoids 

Mathematics Subject Classification

08A40 06F05 06A15 

References

  1. 1.
    Aaronson, S.: Classifying reversible gates. Theoretical Computer Science Stack Exchange (2014). http://cstheory.stackexchange.com/q/25730. Accessed 14 Mar 2018
  2. 2.
    Aaronson, S., Grier, D., Schaeffer, L.: The classification of reversible bit operations (2015). arXiv:1504.05155 (quant-ph)
  3. 3.
    Bloom, S.L.: Varieties of ordered algebras. J. Comput. Syst. Sci. 13(2), 200–212 (1976)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Bodnarchuk, V.G., Kaluzhnin, L.A., Kotov, V.N., Romov, B.A.: Galois theory for Post algebras. I. Cybernetics 5(3), 243–252 (1969). (Translated from Kibernetika 5(3), 1–10 (1969))MathSciNetCrossRefzbMATHGoogle Scholar
  5. 5.
    Bodnarchuk, V.G., Kaluzhnin, L.A., Kotov, V.N., Romov, B.A.: Galois theory for Post algebras. II. Cybernetics 5(5), 531–539 (1969). (Translated from Kibernetika 5(5), 1–9 (1969))CrossRefzbMATHGoogle Scholar
  6. 6.
    Burris, S.N., Sankappanavar, H.P.: A Course in Universal Algebra, Graduate Texts in Mathematics, vol. 78. Springer, New York (1981)zbMATHGoogle Scholar
  7. 7.
    Couceiro, M.: Galois Connections for Generalized Functions and Relational Constraints. In: Chajda, Dorfer, Eigenthaler, Halaš, Müller, Pöschel (eds.) Contributions to General Algebra, vol. 16, pp. 35–54. Verlag Johannes Heyn, Klagenfurt (2005)Google Scholar
  8. 8.
    Geiger, D.: Closed systems of functions and predicates. Pac. J. Math. 27(1), 95–100 (1968)MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    Grillet, P.A.: On subdirectly irreducible commutative semigroups. Paci. J. Math. 69(1), 55–71 (1977)MathSciNetCrossRefzbMATHGoogle Scholar
  10. 10.
    Iskander, A.A.: Subalgebra systems of powers of partial universal algebras. Pac. J. Math. 38(2), 457–463 (1971)MathSciNetCrossRefzbMATHGoogle Scholar
  11. 11.
    Jaeger, G.: Quantum Information: An Overview. Springer, New York (2007)zbMATHGoogle Scholar
  12. 12.
    Jeřábek, E.: Answer to [1]. Theoretical Computer Science Stack Exchange (2014). http://cstheory.stackexchange.com/a/25791. Accessed 14 Mar 2018
  13. 13.
    Kerkhoff, S.: A general Galois theory for operations and relations in arbitrary categories. Algebra Universalis 68(3–4), 325–352 (2012)MathSciNetCrossRefzbMATHGoogle Scholar
  14. 14.
    Krasner, M.: Généralisation abstraite de la théorie de Galois. In: Algèbre et théorie des nombres, Paris 25. 9.–1. 10. 1949. Colloques Internationaux du Centre National de la Recherche Scientifique, vol. 24, pp. 163–168 (1950)Google Scholar
  15. 15.
    Krasner, M.: Abstract Galois theory and endotheory. I. Acta Sci. Math. 50, 253–286 (1986)MathSciNetzbMATHGoogle Scholar
  16. 16.
    Mal’cev, A.I.: On homomorphisms onto finite groups. Uchen. Zap. Ivanov. Gos. Ped. Inst. 18, 49–60 (1958)Google Scholar
  17. 17.
    Mal’cev, A.I.: Algebraic Systems, Die Grundlehren der mathematischen Wissenschaften, vol. 192. Springer, Berlin (1973). (Translated from Russian by B. D. Seckler and A. P. Doohovskoy (1973)) Google Scholar
  18. 18.
    Perumalla, K.S.: Introduction to Reversible Computing. Chapman and Hall/CRC, Computational Science Series, Boca Raton (2013)Google Scholar
  19. 19.
    Pigozzi, D.: Partially ordered varieties and quasivarieties. Lecture notes (2004). http://orion.math.iastate.edu/dpigozzi. Accessed 14 Mar 2018
  20. 20.
    Pöschel, R.: A General Galois Theory for Operations and Relations and Concrete Characterization of Related Algebraic Structures. Tech. Rep. R-01/80. Akademie der Wissenschaften der DDR, Zentralinstitut für Mathematik und Mechanik, Berlin (1980)Google Scholar
  21. 21.
    Post, E.L.: The Two-Valued Iterative Systems of Mathematical Logic. No. 5 in Annals of Mathematics Studies. Princeton University Press, Princeton (1941)zbMATHGoogle Scholar
  22. 22.
    Rosenberg, I.G.: A classification of universal algebras by infinitary relations. Algebra Universalis 1(1), 350–354 (1971)MathSciNetCrossRefzbMATHGoogle Scholar
  23. 23.
    Rosenberg, I.G.: Galois theory for partial algebras. In: R.S. Freese, O.C. Garcia (eds.) Universal Algebra and Lattice Theory. Lecture Notes in Mathematics, vol. 1004, pp. 257–272. Springer, Berlin (1983)Google Scholar
  24. 24.
    Schein, B.M.: Homomorphisms and subdirect decompositions of semigroups. Pac. J. Math. 17(3), 529–547 (1966)CrossRefzbMATHGoogle Scholar

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  1. 1.Institute of Mathematics of the Czech Academy of SciencesPraha 1Czech Republic

Personalised recommendations