Abstract
Let \(\textbf{K}\) and \(\textbf{M}\) be locally finite quasivarieties of finite type such that \(\textbf{K}\subset \textbf{M}\). If \(\textbf{K}\) is profinite then the filter \([\textbf{K},\textbf{M}]\) in the quasivariety lattice \(\textrm{Lq}(\textbf{M})\) is an atomic lattice and \(\textbf{K}\) has an independent quasi-equational basis relative to \(\textbf{M}\). Applications of these results for lattices, unary algebras, groups, unary algebras, and distributive algebras are presented which concern some well-known problems on standard topological quasivarieties and other problems.
Similar content being viewed by others
References
Basheyeva, A.O., M. Mustafa, and A.M. Nurakunov, Properties not retained by pointed enrichments of finite lattices, Algebra Universalis 81:56, 2020
Bestsennyi, I.P., Quasiidentities of finite unary algebras, Algebra and Logic 28(5):327–340, 1989.
Clark, D.M., and B.A. Davey, Natural Dualities for the Working Algebraist, Cambridge University Press, Cambridge, 1998.
Clark, D.M., B.A. Davey, R.S. Freese, and M. Jackson, Standard topological algebras: syntactic and principal congruences and profiniteness, Algebra Universalis 52(2-3):343–376, 2005.
Clark, D.M., B.A. Davey, M. Haviar, J.G. Pitkethly, and M.R. Talukder, Standard topological quasi-varieties, Houston Journal of Mathematics 29(4):859–887, 2003.
Clark, D.M., B.A. Davey, M.G. Jackson, and J.G. Pitkethly, The axiomatizability of topological prevarieties, Advances in Mathematics 218(5):1604–1653, 2008.
Davey, B.A., M. Jackson, M. Maroti, and R.N. McKenzie, Principal and syntactic congruences in congruence-distributive and congruence-permutable varieties, Journal of the Australian Mathematical Society 85(1):59–74, 2008.
Dziobiak, W. Finitely generated congruence distributive quasivarieties of algebras, Fundamenta Mathematicae 133(1):47–57, 1989.
Dziobiak, W. Concerning axiomatizability of the quasivariety generated by a finite Heyting or topological Boolean algebra, Studia Logica 41(4):415–428, 1982.
Gorbunov, V.A. Algebraic Theory of Quasivarieties, Plenum, New York, 1998.
Gorbunov, V.A., and D.M. Smirnov, Finite algebras and the general theory of quasi-varieties, in B. Csàkàny, and I. Rosenberg, (eds.), Finite Algebra and Multiple-Valued Logic (Szeged, 1979), Colloq. Math. Soc. J. Bolyai 28, North-Holland, Amsterdam–New York, 1981, pp. 325–332.
Jackson, M. Residual bounds for compact totally disconnected algebras, Houston Journal of Mathematics 34(1):33–67, 2008.
Jackson, M., and B. Trotta, Constraint satisfaction, irredundant axiomatisability and continuous colouring, Studia Logica 101(1):65–94, 2013.
Johnstone, P.T., Stone Spaces, Cambridge University Press, Cambridge, 1982.
Kravchenko, A.V., A.M. Nurakunov, and M.V. Schwidefsky, Structure of quasivariety lattices. I. Independent axiomatizability, Algebra and Logic 57(6):445–462, 2018.
Kravchenko, A.V., A.M. Nurakunov, and M.V. Schwidefsky, Structure of quasivariety lattices. II. Undecidable problems, Algebra and Logic 58(2):123–136, 2019.
Kravchenko, A.V., A.M. Nurakunov, and M.V. Schwidefsky, Structure of quasivariety lattices. III. Finitely partitionable bases, Algebra and Logic 59(3):222–229, 2020.
Kravchenko, A.V., A.M. Nurakunov, and M.V. Schwidefsky, Structure of quasivariety lattices. IV. Nonstandard quasivarieties, Siberian Mathematical Journal 62(5):850–858, 2021.
Kravchenko, A.V., A.M. Nurakunov, and M.V. Schwidefsky, Quasi-equational bases of differential groupoids and unary algebras, Siberian Electronic Mathematical Reports 14:1330–1337, 2017.
Kravchenko, A.V., and M.V. Schwidefsky, On non-standard quasivarieties of differential groupoids and unary algebras, Siberian Electronic Mathematical Reports 19(2):768–783, 2022
Nurakunov, A.M., and M.M. Stronkowski, Profiniteness in finitely generated varieties is undecidable, Journal of Symbolic Logic 83(4):1566–1578, 2018.
Ribes, L., and P. Zalesskii, Profinite Groups, Springer-Verlag, Berlin, 2000.
Tropin, M.P., Bases of quasiidentities of finite distributive \(p\)-algebras, Algebra and Logic 26(4):267–283, 1987.
Tropin, M.P., Finite pseudo-Boolean and topological Boolean algebras not having an independent basis of quasiidentities, Algebra and Logic 27(1):57–69, 1988.
Trotta, B., Residual properties of reflexive anti-symmetric digraphs, Houston Journal of Mathematics 37(1):27–46, 2011.
Tumanov, V.I., Finite lattices having no independent basis of quasiidentities, Mathematical Notes 36(4):811–815, 1984.
Acknowledgements
The authors are grateful to the referee for thorough reading the paper and many helpful comments. The second author was supported by the Russian Science Foundation, project no. 22-21-00104.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Presented by Francesco Paoli
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Nurakunov, A.M., Schwidefsky, M.V. Profinite Locally Finite Quasivarieties. Stud Logica (2023). https://doi.org/10.1007/s11225-023-10077-y
Received:
Published:
DOI: https://doi.org/10.1007/s11225-023-10077-y
Keywords
- Inverse limit
- Locally finite
- Quasi-equational basis
- Quasivariety
- Profinite structure
- Standard quasivariety