n-torsion Groups

Abstract

A group is called an n-torsion group if it has a system of defining relations of the form rⁿ = 1 for some elements r, and for any of its finite order element a the defining relation aⁿ = 1 holds. It is assumed that the group can contain elements of infinite order. In this paper, we show that for every odd n ≥ 665 for each n-torsion group can be constructed a theory similar to that of constructed in S. I. Adian’s well-known monograph on the free Burnside groups. This allows us to explore the n-torsion groups by methods developed in that work. We prove that every n-torsion group can be specified by some independent system of defining relations; the center of any non-cyclic n-torsion group is trivial; the n-periodic product of an arbitrary family of n-torsion groups is an n-torsion group; in any recursively presented n-torsion group the word and conjugacy problems are solvable.