Endoprimal algebras

被引:18
作者
Davey, BA
Pitkethly, JG
机构
[1] La Trobe Univ, Dept Math, Bundoora, Vic 3083, Australia
[2] Math Inst, Oxford OX1 3LB, England
关键词
endoprimal; endodualisable; natural duality; abelian groups; vector spaces; distributive lattices; Stone algebras; Heyting algebras; semilattices;
D O I
10.1007/s000120050055
中图分类号
O1 [数学];
学科分类号
0701 ; 070101 ;
摘要
An algebra A is endoprimal if, for all k is an element of N, the only maps from A(k) to A which preserve the endomorphisms of A are its term functions. One method for finding finite endoprimal algebras is via the theory of natural dualities since an endodualisable algebra is necessarily endoprimal. General results on endoprimality and endodualisability are proved and then applied to the varieties of sets, vector spaces, distributive lattices, Boolean algebras, Stone algebras, Heyting algebras, semilattices and abelian groups. In many classes the finite endoprimal algebras turn out to be endodualisable. We show that this fails in general by proving that 2(2) + 1, regarded as either a bounded semilattice or upper-bounded semilattice is dualisable, endoprimal but not endodualisable.
引用
收藏
页码:266 / 288
页数:23
相关论文
共 17 条
[1]  
[Anonymous], 1983, C MATH SOC J ANOS BO
[2]   INJECTIVE AND PROJECTIVE HEYTING ALGEBRAS [J].
BALBES, R ;
HORN, A .
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1970, 148 (02) :549-&
[3]  
Clark D.M., 1998, Cambridge Studies in Advanced Mathematics, V57
[4]  
Davey B., 1990, INTRO LATTICES ORDER
[5]  
Davey B.A., 1982, C MATH, V46, P1
[6]  
Davey B.A., 1983, C MATH SOC J BOLYAI, V43, P61
[7]  
DAVEY BA, 1993, NATO ADV SCI INST SE, V389, P71
[8]   OPTIMAL NATURAL DUALITIES [J].
DAVEY, BA ;
PRIESTLEY, HA .
TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY, 1993, 338 (02) :655-677
[9]   ENDOPRIMAL DISTRIBUTIVE LATTICES ARE ENDODUALISABLE [J].
DAVEY, BA ;
HAVIAR, M ;
PRIESTLEY, HA .
ALGEBRA UNIVERSALIS, 1995, 34 (03) :444-453
[10]   The syntax and semantics of entailment in duality theory [J].
Davey, BA ;
Haviar, M ;
Priestley, HA .
JOURNAL OF SYMBOLIC LOGIC, 1995, 60 (04) :1087-1114