Representing subalgebras as retracts of finite subdirect powers

DOI10.1007/S00012-020-00675-5MaRDI QIDQ783295zbMATH OpenOpenAlexFDO

Authors A. L. Rasstrigin, Keith A. Kearnes

Publication date 12 August 2020

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2005.02461

zbMATH Keywords

retractnilpotentsubalgebraformationhigher commutatorpseudovarietysubdirect powersupernilpotenttwo term condition

Mathematics Subject Classification ID

Structure theory of algebraic structures (08A05) Subalgebras, congruence relations (08A30) Unary algebras (08A60) Formations of groups, Fitting classes (20F17)

Abstract: We prove that if $mathbbA$ is an algebra that is supernilpotent with respect to the $2$-term higher commutator, and $mathbbB$ is a subalgebra of $mathbbA$, then $mathbbB$ is representable as a retract of a finite subdirect power of $mathbbA$.

Recommendations

• On supernilpotent algebras
• Subdirect products of hereditary congruence lattices
• Algebras from congruences
• Absolute retracts and essential extensions in congruence modular varieties
• Turning retractions of an algebra into an algebra

Cites work

• scientific article; zbMATH DE number 4035895 (Why is no real title available?)
• A Note on Formations of Finite Nilpotent Groups
• An axiomatic formation that is not a variety.
• Characteristic Subgroups of Free Groups
• Congruence modular varieties with small free spectra
• Higher commutator theory for congruence modular varieties
• Is supernilpotence super nilpotence?
• Some applications of higher commutators in Mal'cev algebras
• The Relationship Between Two Commutators
• The structure of finite algebras
• Three remarks on the modular commutator

Cited in

(6)

• On the definability of \(P_ S(A)\)
• On supernilpotent algebras
• On the Direct Decomposition of Nilpotent Expanded Groups
• On Nilpotent Extensions of Algebras
• Commutator equations
• Finite representation of commutator sequences

This page was built for publication: Representing subalgebras as retracts of finite subdirect powers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q783295)