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.

Inverse semigroups with apartness

A. Cherubini;A. Frigeri
2019

Abstract

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.
Cocongruence
Semigroup with apartness
File in questo prodotto:
File Dimensione Formato  
Cherubini-Frigeri2019_Article_InverseSemigroupsWithApartness.pdf

accesso aperto

: Publisher’s version
Dimensione 301.95 kB
Formato Adobe PDF
301.95 kB Adobe PDF Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11311/1086906
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? 2
social impact