Abstract
We prove some representation theorems for lattices and their lower subsemilattices as the lattices of congruences and subsemilattices of first-order definable congruences of universal algebras.
Similar content being viewed by others
References
Grant I., “Automorphisms definable by formulas,” Pacific J. Math., 44, No. 1, 107–115 (1973).
Pinus A. G., “Proper automorphisms of universal algebras,” Siberian Math. J., 6, No. 45, 1084–1090 (2004).
Pinus A. G., “On semilattices of first-order definable subalgebras,” Algebra i Logika, 44, No. 4, 474–482 (2005).
Blok W. J. and Pigozzi D., “On the structure of varieties with equationally definable principal congruences,” Algebra Univ., 15, No. 2, 195–227 (1982).
Frid E., Gratzer G., and Quackenbush R., “Uniform congruence schemes,” Algebra Univ., 10, No. 2, 176–189 (1980).
Kohler P. and Pigozzi D., “Varieties with equational definable principal congruences,” Algebra Univ., 11, No. 2, 213–219 (1980).
Ershov Yu. L., “Decidability of the elementary theory of distributive structures with relative complements and the theory of filters,” Algebra i Logika, 3, No. 3, 17–38 (1964).
Szmielev W., “Elementary properties of Abelian groups,” Fund. Math., 41, No. 2, 203–271 (1955).
Gratzer G., Universal Algebra, Springer-Verlag, Berlin (1979).
Pudlak P., “A new proof of the congruence lattice representation theorem,” Algebra Univ., 2, No. 6, 269–275 (1976).
Author information
Authors and Affiliations
Additional information
Original Russian Text Copyright © 2006 Pinus A. G.
The author was supported by the Russian Foundation for Basic Research (Grant 02-01-00258).
__________
Translated from Sibirskiĭ Matematicheskiĭ Zhurnal, Vol. 47, No. 4, pp. 865–872, July–August, 2006.
Rights and permissions
About this article
Cite this article
Pinus, A.G. On the subsemilattices of first-order definable and openly first-order definable congruences of the congruence lattice of a universal algebra. Sib Math J 47, 714–719 (2006). https://doi.org/10.1007/s11202-006-0082-x
Received:
Revised:
Issue Date:
DOI: https://doi.org/10.1007/s11202-006-0082-x