CEP-Subgroups of Free Burnside Groups of Large Odd Exponents

DOI10.1081/AGB-120023127MaRDI QIDQ4428210zbMATH OpenFDO

Authors Dmitriy Sonkin

Publication date 14 September 2003

Published in Communications in Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1081/AGB-120023127

zbMATH Keywords

free Burnside groupstwo-generator groupsvan Kampen diagrams

Mathematics Subject Classification ID

Subgroup theorems; subgroup growth (20E07) Generators, relations, and presentations of groups (20F05) Cancellation theory of groups; application of van Kampen diagrams (20F06) Periodic groups; locally finite groups (20F50)

Review text

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.

Recommendations

• On subgroups of free Burnside groups of large odd exponent.
• On subgroups of free Burnside groups of odd exponent n\ge 1003
• On finite and locally finite subgroups of free Burnside groups of large even exponents
• Infinite Burnside groups of even exponent
• Subgroups of free Burnside groups of odd nonprime exponent

Cites work

• A Sequence Without Repeats on x, x -1 , y, y -1
• AN IMBEDDING THEOREM FOR GROUPS AND ITS COROLLARIES
• The SQ-universality of hyperbolic groups

Cited in

(11)

• Monomorphisms of free Burnside groups.
• On subgroups of free Burnside groups of large odd exponent.
• Almost congruence extension property for subgroups of free groups
• Groups finitely presented in Burnside varieties
• Small cancellation theory over Burnside groups
• On normal subgroups in the periodic products of S. I. Adyan.
• Universal Borel actions of countable groups
• On CEP-subgroups of \(n\)-periodic products.
• The universal theory of free Burnside groups of large prime exponent
• Torsion subgroups of groups with quadratic Dehn function
• Subgroups of free Burnside groups of odd nonprime exponent

This page was built for publication: CEP-Subgroups of Free Burnside Groups of Large Odd Exponents

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4428210)