Small conjugacy classes in the automorphism groups of relatively free groups. (Q538052)

A group \(G\) is said to be `complete' if all automorphisms of \(G\) are inner and the center of \(G\) is trivial. In a series of papers, which appeared in the 70ies, Dyer and Formanek justified several conjectures by G. Baumslag on the automorphism towers of finitely generated relatively free groups. For instance, they proved that the automorphism group of a free group of finite rank \(\geq 2\) is complete. Also they proved that the automorphism group \(\Aut(F_n/R'\)) of a group of form \(F_n/R'\) is complete where \(R\) is a characteristic subgroup of the free group \(F_n\) of rank \(n\) which is contained in the derived subgroup \(F_n'\) of \(F_n\) such that the quotient group \(F_n/R\) is residually torsion-free nilpotent. The author extends a result by Dyer and Formanek by proving that the automorphism group \(\Aut(F/R')\) of the group \(F/R'\) is complete where \(F\) is an infinitely generated free group, \(R\) is a fully invariant subgroup of \(F\) contained in \(F'\), and the quotient group \(F/R\) is residually torsion-free nilpotent. In particular, the automorphism group of any infinitely generated free solvable group of derived length at least two is complete.