Finite separability of groups and Lie algebras (Q1070030)

The author answers in the negative two questions, due to M. I. Kargapolov and G. P. Kukin, on finite separability of finitely generated subgroups (resp. subalgebras) in free soluble groups (resp. Lie algebras). For every \(m\geq 3\) he produces a finitely generated, say, subgroup H and an element \(g\not\in H\) in an arbitrary nonabelian free soluble group G of soluble length m such that \(g\in HK\) for any normal subgroup \(K\) of finite index in G. The same is true in the Lie algebra case. For \(m=2\) the above question in the Lie algebra setting has been answered in the positive by the reviewer. In the same paper of the reviewer [J. Lond. Math. Soc., II. Ser. 20, 415-422 (1979; Zbl 0432.17007)] a finitely inseparable subalgebra was constructed in a free algebra of the soluble variety given by \((x_ 1x_ 2x_ 3)(x_ 4x_ 5x_ 6)\equiv 0.\)