Abstract
We prove that if \({\mathcal{V}}\) is a modular variety such that the subdirectly irreducible algebras form a first order class in which there are no trivial subalgebras, then the class of directly indecomposable algebras of \({\mathcal{V}}\) is also first order.
Similar content being viewed by others
References
Kollár J.: Congruences and one element subalgebras. Algebra Universalis 9, 266–267 (1979)
Vaggione D.: Varieties of shells. Algebra Universalis 36, 483–487 (1996)
Vaggione D.: Modular varieties with the Fraser–Horn property. Proc. Amer. Math. Soc. 127, 701–708 (1999)
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Badano, M., Vaggione, D. \({\mathcal{V}_{SI}}\) first order implies \({\mathcal{V}_{DI}}\) first order. Acta Math. Hungar. 151, 47–49 (2017). https://doi.org/10.1007/s10474-016-0676-0
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10474-016-0676-0