CEP-Subgroups of Free Burnside Groups of Large Odd Exponents (Q4428210)

A subgroup \(H\) of a group \(G\) satisfies the congruence extension property (CEP) in \(G\) if for any normal subgroup \(N\) in \(H\) there is a normal subgroup \(L\) in \(G\) such that the intersection of \(L\) and \(H\) is \(N\). In this case \(H\) is called a CEP-subgroup of \(G\). Such subgroups were used by \textit{A. Yu. Ol'shanskij} [Mat. Sb. 186, No. 8, 119-132 (1995; Zbl 0864.20023)] to prove SQ-universality of nonelementary hyperbolic groups. Recently \textit{A. Yu. Ol'shanskij} and \textit{M. V. Sapir} [Publ. Math., Inst. Hautes Étud. Sci. 96, 43-169 (2002; Zbl 1050.20019)] constructed a CEP-subgroup in the \(m\)-generated free Burnside group \(B(m,n)\) of sufficiently large odd exponent \(n\) (\(m\) is also large enough), isomorphic to an infinitely generated free Burnside group of the same exponent. The main result of the paper under review is the following Theorem A. For sufficiently large odd exponent \(n\) there exists a CEP-subgroup isomorphic to a free Burnside group \(B(\infty,n)\) with infinite number of generators in the free Burnside group \(B(2,n)\) on two generators. The following result due to \textit{V. N. Obraztsov} [Mat. Sb. 180, No. 4, 529-541 (1989; Zbl 0685.20030)] is an immediate corollary of this theorem. Corollary. Any countable group satisfying the identity \(x^n=1\) for sufficiently large odd \(n\) can be embedded into a two-generated group satisfying the same identity.