EMIS ELibM Electronic Journals Publications de l'Institut Mathématique, Nouvelle Série
Vol. 81(95), pp. 95–102 (2007)

Previous Article

Next Article

Contents of this Issue

Other Issues

ELibM Journals

ELibM Home


Pick a mirror



Daniel Abraham Romano

Prirodno-matematicki fakultet, 78000 Banja Luka, Srpska, Bosnia and Herzegovina

Abstract: For an anti-congruence $q$ we say that it is regular anti-congruence on semigroup $(S,=,\neq,\cdot,\alpha)$ ordered under anti-order $\alpha$ if there exists an anti-order $\theta$ on $S/q$ such that the natural epimorphism is a reverse isotone homomorphism of semigroups. Anti-congruence $q$ is regular if there exists a quasi-antiorder $\sigma$ on $S$ under $\alpha$ such that $q=\sigma\cup\sigma^{-1}$. Besides, for regular anti-congruence $q$ on $S$, a construction of the maximal quasi-antiorder relation under $\alpha$ with respect to $q$ is shown.

Keywords: Constructive mathematics, semigroup with apartness, anti-ordered semigroup, anti-congruence, regular anti-congruence, quasi-antiorder

Classification (MSC2000): 03F65; 06F05, 20M10

Full text of the article: (for faster download, first choose a mirror)

Electronic fulltext finalized on: 20 Feb 2008. This page was last modified: 26 Feb 2008.

© 2008 Mathematical Institute of the Serbian Academy of Science and Arts
© 2008 ELibM and FIZ Karlsruhe / Zentralblatt MATH for the EMIS Electronic Edition