No label defined (Q4951274)

In 1939, for a group \(A=F/R\), where \(F\) is a free group, W.~Magnus described an embedding of the group \(F/[R,R]\) into \(AT\), where \(T\) is the additive group of a free \(ZA\)-module. \textit{A.~L.~Shmel'kin} [Izv. Akad. Nauk SSSR, Ser. Mat. 31, 443-444 (1967; Zbl 0165.03701)] generalized this embedding. He found an embedding for the group \(F/V(R)\), where \(V(R)\) is a verbal subgroup of \(R\). Later, A.~L.~Shmel'kin found such an embedding for a group \(F\) that is a free product of arbitrary groups. In the article under review, the author generalizes the two Shmel'kin embeddings for a group \(F\) that is a free product of arbitrary groups \(A_i\) (\(i\in I\)) and a free group \(X\). The author also generalizes the Shmel'kin embedding for a group \(F\) that is a free product of arbitrary profinite groups \(A_i\) (\(i\in I\)) and a free profinite group \(X\).