Representing subalgebras as retracts of finite subdirect powers

2020/05/05 by Kearnes, Keith A., Rasstrigin, Alexander
#08A60 #20F17 #FOS: Mathematics #Group Theory (math.GR) #Logic (math.LO) #Primary: 08A05 #Rings and Algebras (math.RA) #Secondary: 08A30

paper · doi:10.48550/arxiv.2005.02461

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.

Related

• Supernilpotence Need Not Imply Nilpotence
• The subpower membership problem of 2-nilpotent algebras
• Is supernilpotence super nilpotence?
• Supernilpotent Taylor algebras are nilpotent
• Algebras from Congruences