Abstract
An algebraic structure A is said to be finitely subdirectly reducible if A is not finitely subdirectly irreducible. We show that for any signature providing only finitely many relation symbols, the class of finitely subdirectly reducible algebraic structures is closed with respect to the formation of ultraproducts. We provide some corollaries and examples for axiomatizable classes that are closed with respect to the formation of finite subdirect products, in particular, for varieties and quasivarieties.
Similar content being viewed by others
References
Baker K.: Some non-finitely based varieties of lattices. Colloq. Math. 29, 53–59 (1977)
Baker K.A., McNulty G.F., Wang J.: An extension of Willard’s Finite Basis Theorem: Congruence meet-semidistributive varieties of finite critical depth. Algebra Universalis 52, 289–302 (2004)
Birkhoff G.: Subdirect union in universal algebra. Bull. Amer. Math. Soc. 50, 764–768 (1944)
Burris B., Sankappanavar H.P.: A Course in Universal Algebra. Graduate Texts in Mathematics. vol. 78. Springer, New York (1980)
Chang, C.C., Keisler, H.J.: Model Theory. North-Holland Publ. Co., Amsterdam (1973)
Freese R., McNulty G.F., Nation J.B.: Inherently nonfinitely based lattices. Ann. Pure Appl. Logic. 115, 175–193 (2002)
Gorbunov V.A.: Covers in lattices of quasivarieties and independent axiomatizability. Algebra and Logic 16, 340–369 (1977)
Gorbunov V.A., Tumanov, V.I.: The structure of lattices of quasivarieties. Proceedings of the Institute of Mathematics. Siberian Branch of the USSR Academy of Sciences 2, 12–44 (1982) (Russian)
Gorbunov V.A.: Algebraic Theory of Quasivarieties. Plenum Publ. Co., New York (1998)
Grätzer G.: General Lattice Theory. Academic Press, New York (1978)
Herrmann C.: Weak (projective) radius and finite equational bases for classes of lattices. Algebra Universalis 3, 51–58 (1973)
Jónsson B.: Algebras whose congruence lattices are distributive. Math. Scand. 21, 110–121 (1967)
Jónsson, B.: In: Gumm, H.P. (ed.) Abstracts of the Oberwolfach meeting held Aug. 15–21, 1976 (unpublished)
Jónsson B.: On finitely based varieties of algebras. Colloq. Math. 42, 255–261 (1979)
Lyndon R.C.: Properties preserved in subdirect products. Pacific J. Math. 9, 155–164 (1959)
McKenzie R.: Equational bases for lattice theories. Math. Scand. 27, 24–38 (1970)
Nurakunov A.M.: Quasi-identities of congruence-distributive quasivarieties of algebras. Siberian Math. J. 42, 108–118 (2001)
Willard R.: Extending Baker’s theorem. Algebra Universalis 45, 335–344 (2001)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by R. Willard.
The research was supported by Ministry of Education and Sciences of Kazakhstan, grant 3953/GF4.
Rights and permissions
About this article
Cite this article
Nurakunov, A.M. Ultraproducts preserve finite subdirect reducibility. Algebra Univers. 78, 181–192 (2017). https://doi.org/10.1007/s00012-017-0450-3
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-017-0450-3