EMIS ELibM Electronic Journals Publications de l'Institut Mathématique, Nouvelle Série
Vol. 82(96), pp. 119–128 (2007)

Previous Article

Next Article

Contents of this Issue

Other Issues

ELibM Journals

ELibM Home

EMIS Home

Pick a mirror

 		 

A THEOREM ON ANTI-ORDERED FACTOR-SEMIGROUPS

Sinisa Crvenkovic and Daniel A. Romano

Prirodno-matematicki fakultet, 21000 Novi Sad, Serbia and Prirodno-matematicki fakultet, 78000 Banja Luka, Srpska, Bosnia and Herzegovina

Abstract: Let $K$ be an anti-ideal of a semigroup $(S,=,\neq,\cdot,\theta)$ with apartness. A construction of the anti-congruence $Q(K)$ and the quasi-antiorder $\theta$, generated by $K$, are presented. Besides, a construction of the anti-order relation $\Theta$ on syntactic semigroup $S/Q(K)$, generated by $\theta$, is given in Bishop's constructive mathematics.

Keywords: constructive mathematics; semigroup with apartness; anti-order; quasi-antiorder; anti-ordered semigroup

Classification (MSC2000): 03F65; 06F05; 20M99

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