The Formanek-Procesi group with base a right-angled Artin group: Residual nilpotence and Lie algebra
arXiv:2102.05339
Abstract
We investigate the Lie algebra of the Formanek-Procesi group FP(H) with base group H a right-angled Artin group. We show that the Lie algebra gr(FP(H)) has a presentation that is dictated by the group presentation. Moreover we show that FP(H) is a Magnus group.
Improved exposition, several proofs simplified, different approach to residual nilpotence