A theorem on anti-ordered factor-semigroups
Author(s) -
Siniša Crvenković,
Daniel A. Romano
Publication year - 2007
Publication title -
publications de l institut mathematique
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.246
H-Index - 17
eISSN - 1820-7405
pISSN - 0350-1302
DOI - 10.2298/pim0796119c
Subject(s) - semigroup , mathematics , constructive , ideal (ethics) , congruence (geometry) , pure mathematics , order (exchange) , relation (database) , discrete mathematics , algebra over a field , computer science , law , geometry , process (computing) , finance , economics , operating system , database , political science
Let K be an anti-ideal of a semigroup (S, =, =, · ,θ )w ith apart- ness. A construction of the anti-congruence Q(K) and the quasi-antiorder θ, generated by K, are presented. Besides, a construction of the anti-order rela- tion Θ on syntactic semigroup S/Q(K), generated by θ, is given in Bishop's constructive mathematics.
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom