Abstract
We prove that if \({\mathbb {A}}\) is an algebra that is supernilpotent with respect to the 2-term higher commutator, and \({\mathbb {B}}\) is a subalgebra of \({\mathbb {A}}\), then \({\mathbb {B}}\) is representable as a retract of a finite subdirect power of \(\mathbb A\).
Similar content being viewed by others
References
Aichinger, E., Mudrinski, N.: Some applications of higher commutators in Mal’cev algebras. Algebra Univers. 63, 367–403 (2010)
Freese, R., McKenzie, R.: Commutator Theory for Congruence Modular Varieties. London Mathematical Society Lecture Note Series, vol. 125. Cambridge University Press, Cambridge (1987)
Hobby, D., McKenzie, R.: The Structure of Finite Algebras. Contemporary Mathematics, vol. 76. American Mathematical Society, Providence (1988)
Kearnes, K.A.: Congruence modular varieties with small free spectra. Algebra Univers. 42, 165–181 (1999)
Kearnes, Keith A.: An axiomatic formation that is not a variety. J. Group Theory 13, 233–241 (2010)
Kearnes, K.A., Szendrei, Á.: The relationship between two commutators. Int. J. Algebra Comput. 8, 497–531 (1998)
Kearnes, K.A., Szendrei, Á.: Is supernilpotence super nilpotence? Algebra Univers. 81, 3 (2020)
Kiss, E.W.: Three remarks on the modular commutator. Algebra Univers. 29, 455–476 (1992)
Moorhead, A.: Higher commutator theory for congruence modular varieties. J. Algebra 513, 133–158 (2018)
Moorhead, A.: Supernilpotent Taylor algebras are nilpotent. arXiv:1906.09163v2
Neumann, P.M.: A note on formations of finite nilpotent groups. Bull. Lond. Math. Soc. 2, 91 (1970)
Vaughan-Lee, M.R.: Characteristic subgroups of free groups. Bull. Lond. Math. Soc. 2, 87–90 (1970)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by E. W. Kiss.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This material is based upon work supported by the National Science Foundation Grant No. DMS 1500254.
Rights and permissions
About this article
Cite this article
Kearnes, K.A., Rasstrigin, A. Representing subalgebras as retracts of finite subdirect powers. Algebra Univers. 81, 46 (2020). https://doi.org/10.1007/s00012-020-00675-5
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00012-020-00675-5
Keywords
- Formation
- Higher commutator
- Nilpotent
- Pseudovariety
- Retract
- Subalgebra
- Subdirect power
- Supernilpotent
- Two term condition