In studying derived objects on universal algebras, such as automorphisms, endomorphisms, congruences, subalgebras, etc., we are naturally interested in those that can be defined by the means of the universal algebras themselves (i.e., are definable in one sense or another)—in particular, in which part of all relevant derived objects is constituted by these. It is proved that for any algebraic lattice L and any of its 0-1-lower subsemilattices L 0 ⊆ L 1 ⊆ L 2, there exist a universal algebra \( \mathcal{A} \) and an isomorphism φ of the lattice L onto the lattice Sub\( \mathcal{A} \) such that φ(L 0) = OFSub\( \mathcal{A} \), φ(L 1) = POFSub\( \mathcal{A} \), φ(L 2) = FSub\( \mathcal{A} \), and PFSub\( \mathcal{A} \) = FSub\( \mathcal{A} \).
Similar content being viewed by others
References
A. G. Pinus, “Semilattices of definable subalgebras,” Algebra Logika, 44, No. 4, 474–482 (2005).
A. G. Pinus, “Proper automorphisms of universal algebras,” Sib. Mat. Zh., 45, No. 6, 1329–1337 (2004).
A. G. Pinus, “On the subsemilattices of first-order definable and openly first-order definable congruences of the congruence lattice of a universal algebra,” Sib. Mat. Zh., 47, No. 4, 865–872 (2006).
A. G. Pinus, “Definability by formulas of derived objects on universal algebras,” Izv. Vyssh. Uch. Zav., Mat., No. 3, 36–40 (2006).
A. G. Pinus, “Termal and polynomial endomorphisms of universal algebras,” Algebra Logika, 49, No. 1, 18–25 (2010).
G. Birkhoff and O. Frink, “Representations of lattices by sets,” Trans. Am. Math. Soc., 64, 299–316 (1948).
G. Grätzer, General Lattice Theory, Academie-Verlag, Berlin (1978).
Author information
Authors and Affiliations
Corresponding author
Additional information
Translated from Algebra i Logika, Vol. 51, No. 2, pp. 276-284, March-April, 2012.
Rights and permissions
About this article
Cite this article
Pinus, A.G. Semilattices of definable subalgebras. II. Algebra Logic 51, 185–191 (2012). https://doi.org/10.1007/s10469-012-9181-x
Received:
Revised:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10469-012-9181-x