The strong endomorphism kernel property for modular p-algebras and for distributive lattices. (English) Zbl 1348.06008

Let \(A\) denote an algebra and let \(\theta\in \mathrm{Con}(A).\) We say that a mapping \(f:A\rightarrow A\) is compatible with \(\theta\) if \((a,b)\in \theta\) implies \((f(a),f(b))\in \theta.\) An endomorphism of \(A\) is called strong if it is compatible with every \(\theta\in \mathrm{Con}(A).\) Now, an algebra \(A\) has the (strong) endomorphism kernel property (shortly EKP or SEKP) if every \(\theta\in \mathrm{Con}(A)\) with \(\theta\neq \nabla_A\) \((=A\times A)\) is the kernel of a (strong) endomorphism of \(A.\) For more details see [T. S. Blyth et al., Commun. Algebra 32, No. 6, 2225–2242 (2004; Zbl 1060.06018); T. S. Blyth and H. J. Silva, Commun. Algebra 36, No. 5, 1682–1694 (2008; Zbl 1148.06005)].
An algebra \(L=(L;\wedge,\vee,^*,0,1)\) of type \((2,2,1,0,0)\) is called a (modular) p-algebra, if \((L;\wedge,\vee,0.1)\) is a (modular) bounded lattice and \(a\mapsto a^*\) means the operation of pseudocomplementation of \(a,\) i.e. \(x\leq a^*\) iff \(x\wedge a=0.\) It is known that the set \(S(L)=\{x\in L: x=x^{**}\}\) of all closed elements of \(L\) forms a Boolean algebra \((S(L);\wedge,+,^*,0,1),\) where \(x+y=(x^*\wedge y^*)^*\) for any \(x, y\in S(L).\) Another significant subset of \(L\) is the dense set \(D(L)=\{x\in L: x^*=0\}.\) Clearly, \(D(L)\) is a dual ideal (= filter) of \(L.\) The third important part of \(L\) is the mapping \(\varphi(L): S(L)\rightarrow F(D(L)),\) where \(F(D(L))\) is the lattice of filters of \(D(L)\) and is defined by \(\varphi(L): a\mapsto D(L)\cap [a^*)\) for every \(a\in S(L).\) If \(L\) is a modular p-algebra, then the associated triple \((S(L), D(L), \varphi(L))\) uniquely determines the algebra \(L\) (see [T. Katrinak and P. Mederly, Algebra Univers. 4, 301–315 (1974; Zbl 0316.06005)]). This result enables to reduce a problem concerning modular p-algebras to two problems: one for Boolean algebras and one for modular lattices with 1.
Main results: The authors characterize the strong congruence kernel property for modular p-algebras applying the method of triple decomposition, and for distributive lattices using Priestley duality. More precisely, (1) Let \(L\) be a non-trivial modular p-algebra. Then \(L\) has SEKP iff (i) \(S(L)\) is a two-element Boolean algebra and (ii) \(D(L)\) has SEKP as a modular lattice with 1. (2) Let \(L\) be a distributive lattice. Then \(L\) has SEKP iff \(L\) is locally finite (i.e. every interval is finite) and there exists \(c\in L\) such that for every \(x<c\) or \(c>x\) the intervals \([x,c]\) and \([c,x]\) (if \(x>c\)) are finite Boolean lattices.


06D15 Pseudocomplemented lattices
08A30 Subalgebras, congruence relations
08A35 Automorphisms and endomorphisms of algebraic structures
06D10 Complete distributivity
Full Text: DOI


[1] Balbes, R., Dwinger, Ph.: Distributive lattices. Univ. Missouri Press, Columbia (1974) · Zbl 0321.06012
[2] Blyth, T.S.; Fang, J.; Silva, H.J., The endomorphism kernel property in finite distributive lattices and De Morgan algebras, Comm. Algebra, 32, 2225-2242, (2004) · Zbl 1060.06018
[3] Blyth, T.S.; Fang, J.; Wang, L.-B., The strong endomorphism kernel property in distributive double p-algebras, Sci. Math. Jpn., 76, 227-234, (2013) · Zbl 1320.06009
[4] Blyth, T.S.; Silva, H.J., The strong endomorphism kernel property in ockham algebras, Comm. Algebra, 36, 1682-1694, (2004) · Zbl 1148.06005
[5] Clark, D.M., Davey, B.A.: Natural Dualities for the Working Algebraist. Cambridge University Press (1998) · Zbl 0910.08001
[6] Davey, B.A., Priestley, H.A.: Introduction to Lattices and Order, 2nd edn. Cambridge University Press, Cambridge (2002) · Zbl 1002.06001
[7] Fang, G.; Fang, J., The strong endomorphism kernel property in distributive p-algebras, Southeast Asian Bull. Math., 37, 491-497, (2013) · Zbl 1299.06017
[8] Fang, J.; Sun, Z.-J., Semilattices with the strong endomorphism kernel property, Algebra Universalis, 70, 393-401, (2013) · Zbl 1305.06004
[9] Gaitan, B.; Cortes, Y.J., The endomorphism kernel property in finite stone algebras, JP J. Algebra Number Theory Appl., 14, 51-64, (2009) · Zbl 1191.06007
[10] Grätzer, G.: Lattice theory: Foundation. Birkhäuser, Basel (2011) · Zbl 1060.06018
[11] Guričan, J., The endomorphism kernel property for modular p-algebras and stone lattices of order \(n\), JP J. Algebra Number Theory Appl., 25, 69-90, (2012) · Zbl 1258.06002
[12] Kaarli, K., Pixley, A.F.: Polynomial completeness in algebraic systems. Chapman & Hall/CRC (2001) · Zbl 0964.08001
[13] Katriňák, T.; Mederly, P., Construction of modular p-algebras, Algebra Universalis, 4, 301-315, (1974) · Zbl 0316.06005
[14] McKenzie, R., McNulty, G.F., Taylor, W.: Algebras, Lattices and Varieties, vol. 1. Wadsworth and Brooks, Monterey (1987) · Zbl 0611.08001
[15] Ploščica, M., Affine completions of distributive lattices, Order, 13, 295-311, (1996) · Zbl 0907.06013
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.