IA-automorphisms and Lie algebras related to the McCool group (Q2333348)

The McCool group \(M_n\) (the basis-conjugating group) is a subgroup of the automorphisms group of the free group \(F_n\). The structure of McCool group is poorly studied. In this article some subgroup \(I_n\) (partial inner automorphisms group) of the McCool group, consisting of automorphisms acting on initial segments of the basis of \(F_n\) by conjugations, is investigated. It is proved that \(I_n\) has solvable conjuracy problem. Then in a biggest part of this article corresponding graduated Lie algebra \(\mathrm{gr}(I_n)\) is investigated and its presentation is given. Also it is proved that \(\mathrm{gr}(I_n)\) is naturally embedded into the Andreadakis-Johnson Lie algebra of the IA-automorphisms of the group \(F_n\).