Inverse semigroups with apartness

  • Alessandra CherubiniEmail author
  • Achille Frigeri
Research Article


The notion of semigroups with apartness has been introduced recently as a constructive counterpart of classical semigroups. On such structures, a constructive analogue of the isomorphism theorem has been proved, and quasiorder relations and related substructures have been studied. In this paper, we extend this approach by introducing inverse semigroups with apartness, a useful tool to describe partial symmetries in sets with apartness. We prove a constructive analogue of the isomorphism theorem for inverse semigroups and provide a characterisation of cocongruences on inverse semigroups.


Set with apartness Semigroup with apartness Inverse semigroup with apartness Cocongruence 



The authors acknowledge the research cooperation project among Department of Mathematics of Politecnico di Milano, Faculty of Science of the University of Novi Sad, and the Department of Mathematics and Computer Science of the University of Maribor. In this framework, Professor Crvenković gave a talk on semigroups with apartness which drew our attention to constructive algebra. The authors thank the referee for constructive comments and recommendations which helped to improve the readability and quality of the paper.


  1. 1.
    Bishop, E.A.: Foundations of Constructive Analysis. McGraw-Hill, New York (1967)zbMATHGoogle Scholar
  2. 2.
    Bishop, E.A., Bridges, D.S.: Constructive Analysis, Grundlehren der mathematischen Wissenschaften, vol. 279. Springer, Berlin (1985)Google Scholar
  3. 3.
    Bridges, D.S., Reeves, S.: Constructive mathematics in theory and programming practice. Philosophia Mathematica 7(3), 65–104 (1999)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Bridges, D.S., Richman, F.: Varieties of Constructive Mathematics. London Mathematical Society Lecture Notes, vol. 97. Cambridge University Press, Cambridge (1987)CrossRefzbMATHGoogle Scholar
  5. 5.
    Bridges, D.S., Vîţă, L.S.: Techniques in Constructive Analysis. Universitext. Springer, Berlin (2006)zbMATHGoogle Scholar
  6. 6.
    Bridges, D.S., Vîţă, L.S.: Apartness and Uniformity: A Constructive Development. CiE series on theory and applications of computability. Springer, Berlin (2011)CrossRefzbMATHGoogle Scholar
  7. 7.
    Crvenković, S., Mitrović, M., Romano, D.: Semigroups with apartness. Math. Log. Q. 59(6), 407–414 (2013)MathSciNetCrossRefzbMATHGoogle Scholar
  8. 8.
    Crvenković, S., Mitrović, M., Romano, D.: Basic notions of (constructive) semigroups with apartness. Semigroup Forum 92(3), 659–674 (2016)MathSciNetCrossRefzbMATHGoogle Scholar
  9. 9.
    Green, D.G.: The lattice of congruences on an inverse semigroup. Pac. J. Math. 57(1), 141–152 (1975)MathSciNetCrossRefzbMATHGoogle Scholar
  10. 10.
    Howie, J.M.: Why study semigroups? Math. Chron. 16, 1–14 (1987)MathSciNetzbMATHGoogle Scholar
  11. 11.
    Howie, J.M.: Fundamentals of Semigroup Theory. Clarendon Press, Oxford (1995)zbMATHGoogle Scholar
  12. 12.
    Kripke, S.: Semantical analysis of modal logic I, Normal modal propositional calculi. Zeitschrift für mathematische Logik und Grundlagen der Mathematik 9(5–6), 67–96 (1963)MathSciNetCrossRefzbMATHGoogle Scholar
  13. 13.
    Lawson, M.V.: Inverse Semigroups: The Theory of Partial Symmetries. World Scientific, Singapore (1999)zbMATHGoogle Scholar
  14. 14.
    Mines, R., Richman, F., Ruitenburg, W.: A Course of Constructive Algebra. Universitext. Springer, New York (1988)CrossRefzbMATHGoogle Scholar
  15. 15.
    Martin-Löf, Per: Constructive mathematics and computer programming. Philos. Trans. R. Soc. Lond. A 312, 501–518 (1984)MathSciNetCrossRefzbMATHGoogle Scholar
  16. 16.
    Petrich, M.: Inverse Semigroups. Wiley, New York (1984)zbMATHGoogle Scholar
  17. 17.
    Petrich, M., Reilly, N.R.: A network of congruences on an inverse semigroup. Trans. Am. Math. Soc. 270, 309–325 (1982)MathSciNetCrossRefzbMATHGoogle Scholar
  18. 18.
    Preston, G.B.: Inverse semi-groups. J. Lond. Math. Soc. 29(4), 396–403 (1954)MathSciNetCrossRefzbMATHGoogle Scholar
  19. 19.
    Scheiblich, H.E.: Kernels of inverse semigroup homomorphisms. J. Aust. Math. Soc. 18(3), 289–292 (1974)MathSciNetCrossRefzbMATHGoogle Scholar
  20. 20.
    Troelstra, A., van Dalen, D.: Constructivism in Mathematics. An Introduction. Volume II, Studies in Logic and the Foundations of Mathematics, vol. 123. North-Holland, Amsterdam (1988)zbMATHGoogle Scholar
  21. 21.
    Wagner, V.V.: The theory of generalized heaps and generalized groups. Matematicheskii Sbornik. Novaya Seriya 32(3), 545–632 (1953). (in Russian)MathSciNetGoogle Scholar

Copyright information

© Springer Science+Business Media, LLC, part of Springer Nature 2019

Authors and Affiliations

  1. 1.Dipartimento di MatematicaPolitecnico di MilanoMilanItaly

Personalised recommendations