The Burnside problem asks whether a finitely generated group in which every element has finite order must necessarily be a finite group. It was posed by William Burnside in 1902, making it one of the oldest questions in group theory, and was influential in the development of combinatorial group theory. It is known to have a negative answer in general, as Evgeny Golod and Igor Shafarevich provided a counter-example in 1964. The problem has many refinements and variants that differ in the additional conditions imposed on the orders of the group elements (see bounded and restricted below). Some of these variants are still open questions.
Initial work pointed towards the affirmative answer. For example, if a group G is finitely generated and the order of each element of G is a divisor of 4, then G is finite. Moreover, A. I. Kostrikin was able to prove in 1958 that among the finite groups with a given number of generators and a given prime exponent, there exists a largest one. This provides a solution for the restricted Burnside problem for the case of prime exponent. (Later, in 1989, Efim Zelmanov was able to solve the restricted Burnside problem for an arbitrary exponent.) Issai Schur had shown in 1911 that any finitely generated periodic group that was a subgroup of the group of invertible n × n complex matrices was finite; he used this theorem to prove the Jordan–Schur theorem.[1]
Nevertheless, the general answer to the Burnside problem turned out to be negative. In 1964, Golod and Shafarevich constructed an infinite group of Burnside type without assuming that all elements have uniformly bounded order. In 1968, Pyotr Novikov and Sergei Adian supplied a negative solution to the bounded exponent problem for all odd exponents larger than 4381 which was later improved to an odd exponent larger than 665 by Adian[2] and the best odd number bound is 101 also by Adian. In 1982, A. Yu. Ol'shanskii found some striking counterexamples for sufficiently large odd exponents (greater than 1010), and supplied a considerably simpler proof based on geometric ideas.
The case of even exponents turned out to be much harder to settle. In 1992, S. V. Ivanov announced the negative solution for sufficiently large even exponents divisible by a large power of 2 (detailed proofs were published in 1994 and occupied some 300 pages). Later joint work of Ol'shanskii and Ivanov established a negative solution to an analogue of the Burnside problem for hyperbolic groups, provided the exponent is sufficiently large. By contrast, when the exponent is small and different from 2, 3, 4 and 6, very little is known.
General Burnside problem
A group G is called periodic (or torsion) if every element has finite order; in other words, for each g in G, there exists some positive integer n such that gn = 1. Clearly, every finite group is periodic. There exist easily defined groups such as the p∞-group which are infinite periodic groups; but the latter group cannot be finitely generated.
General Burnside problem. If G is a finitely generated, periodic group, then is G necessarily finite?
This question was answered in the negative in 1964 by Evgeny Golod and Igor Shafarevich, who gave an example of an infinite p-group that is finitely generated (see Golod–Shafarevich theorem). However, the orders of the elements of this group are not a priori bounded by a single constant.
Bounded Burnside problem
The Cayley graph of the 27-element free Burnside group of rank 2 and exponent 3.
Part of the difficulty with the general Burnside problem is that the requirements of being finitely generated and periodic give very little information about the possible structure of a group. Therefore, we pose more requirements on G. Consider a periodic group G with the additional property that there exists a least integer n such that for all g in G, gn = 1. A group with this property is said to be periodic with bounded exponentn, or just a group with exponentn. The Burnside problem for groups with bounded exponent asks:
Burnside problem I. If G is a finitely generated group with exponent n, is G necessarily finite?
It turns out that this problem can be restated as a question about the finiteness of groups in a particular family. The free Burnside group of rank m and exponent n, denoted B(m, n), is a group with m distinguished generators x1, ..., xm in which the identity xn = 1 holds for all elements x, and which is the "largest" group satisfying these requirements. More precisely, the characteristic property of B(m, n) is that, given any group G with m generators g1, ..., gm and of exponent n, there is a unique homomorphism from B(m, n) to G that maps the ith generator xi of B(m, n) into the ith generator gi of G. In the language of group presentations, the free Burnside group B(m, n) has m generators x1, ..., xm and the relations xn = 1 for each word x in x1, ..., xm, and any group G with m generators of exponent n is obtained from it by imposing additional relations. The existence of the free Burnside group and its uniqueness up to an isomorphism are established by standard techniques of group theory. Thus if G is any finitely generated group of exponent n, then G is a homomorphic image of B(m, n), where m is the number of generators of G. The Burnside problem can now be restated as follows:
Burnside problem II. For which positive integers m, n is the free Burnside group B(m, n) finite?
The full solution to Burnside problem in this form is not known. Burnside considered some easy cases in his original paper:
B(m, 2) is the direct product of m copies of the cyclic group of order 2 and hence finite.[note 1]
The following additional results are known (Burnside, Sanov, M. Hall):
B(m, 3), B(m, 4), and B(m, 6) are finite for all m.
The particular case of B(2, 5) remains open.
The breakthrough in solving the Burnside problem was achieved by Pyotr Novikov and Sergei Adian in 1968. Using a complicated combinatorial argument, they demonstrated that for every odd number n with n > 4381, there exist infinite, finitely generated groups of exponent n. Adian later improved the bound on the odd exponent to 665.[3] The latest improvement to the bound on odd exponent is 101 obtained by Adian himself in 2015. The case of even exponent turned out to be considerably more difficult. It was only in 1994 that Sergei Vasilievich Ivanov was able to prove an analogue of Novikov–Adian theorem: for any m > 1 and an even n ≥ 248, n divisible by 29, the group B(m, n) is infinite; together with the Novikov–Adian theorem, this implies infiniteness for all m > 1 and n ≥ 248. This was improved in 1996 by I. G. Lysënok to m > 1 and n ≥ 8000. Novikov–Adian, Ivanov and Lysënok established considerably more precise results on the structure of the free Burnside groups. In the case of the odd exponent, all finite subgroups of the free Burnside groups were shown to be cyclic groups. In the even exponent case, each finite subgroup is contained in a product of two dihedral groups, and there exist non-cyclic finite subgroups. Moreover, the word and conjugacy problems were shown to be effectively solvable in B(m, n) both for the cases of odd and even exponents n.
A famous class of counterexamples to the Burnside problem is formed by finitely generated non-cyclic infinite groups in which every nontrivial proper subgroup is a finite cyclic group, the so-called Tarski Monsters. First examples of such groups were constructed by A. Yu. Ol'shanskii in 1979 using geometric methods, thus affirmatively solving O. Yu. Schmidt's problem. In 1982 Ol'shanskii was able to strengthen his results to establish existence, for any sufficiently large prime numberp (one can take p > 1075) of a finitely generated infinite group in which every nontrivial proper subgroup is a cyclic group of order p. In a paper published in 1996, Ivanov and Ol'shanskii solved an analogue of the Burnside problem in an arbitrary hyperbolic group for sufficiently large exponents.
Restricted Burnside problem
Formulated in the 1930s, it asks another, related, question:
Restricted Burnside problem. If it is known that a group G with m generators and exponent n is finite, can one conclude that the order of G is bounded by some constant depending only on m and n? Equivalently, are there only finitely many finite groups with m generators of exponent n, up to isomorphism?
This variant of the Burnside problem can also be stated in terms of category theory: an affirmative answer for all m is equivalent to saying that the category of finite groups of exponent n has all finite limits and colimits.[4] It can also be stated more explicitly in terms of certain universal groups with m generators and exponent n. By basic results of group theory, the intersection of two normal subgroups of finite index in any group is itself a normal subgroup of finite index. Thus, the intersection M of all the normal subgroups of the free Burnside group B(m, n) which have finite index is a normal subgroup of B(m, n). One can therefore define the free restricted Burnside group B0(m, n) to be the quotient group B(m, n)/M. Every finite group of exponent n with m generators is isomorphic to B(m,n)/N where N is a normal subgroup of B(m,n) with finite index. Therefore, by the Third Isomorphism Theorem, every finite group of exponent n with m generators is isomorphic to B0(m,n)/(N/M) — in other words, it is a homomorphic image of B0(m, n). The restricted Burnside problem then asks whether B0(m, n) is a finite group. In terms of category theory, B0(m, n) is the coproduct of n cyclic groups of order m in the category of finite groups of exponent n.
In the case of the prime exponent p, this problem was extensively studied by A. I. Kostrikin during the 1950s, prior to the negative solution of the general Burnside problem. His solution, establishing the finiteness of B0(m, p), used a relation with deep questions about identities in Lie algebras in finite characteristic. The case of arbitrary exponent has been completely settled in the affirmative by Efim Zelmanov, who was awarded the Fields Medal in 1994 for his work.
Notes
↑ The key step is to observe that the identities a2 = b2 = (ab)2 = 1 together imply that ab = ba, so that a free Burnside group of exponent two is necessarily abelian.
Related Research Articles
In mathematics, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written. That is, the group operation is commutative. With addition as an operation, the integers and the real numbers form abelian groups, and the concept of an abelian group may be viewed as a generalization of these examples. Abelian groups are named after early 19th century mathematician Niels Henrik Abel.
In mathematics, specifically group theory, given a prime number p, a p-group is a group in which the order of every element is a power of p. That is, for each element g of a p-group G, there exists a nonnegative integer n such that the product of pn copies of g, and not fewer, is equal to the identity element. The orders of different elements may be different powers of p.
In abstract algebra, a cyclic group or monogenous group is a group, denoted Cn, that is generated by a single element. That is, it is a set of invertible elements with a single associative binary operation, and it contains an element g such that every other element of the group may be obtained by repeatedly applying the group operation to g or its inverse. Each element can be written as an integer power of g in multiplicative notation, or as an integer multiple of g in additive notation. This element g is called a generator of the group.
In mathematics, for given real numbers a and b, the logarithm logba is a number x such that bx = a. Analogously, in any group G, powers bk can be defined for all integers k, and the discrete logarithm logba is an integer k such that bk = a. In number theory, the more commonly used term is index: we can write x = indra (mod m) (read "the index of a to the base r modulo m") for rx ≡ a (mod m) if r is a primitive root of m and gcd(a,m) = 1.
In abstract algebra, a finite group is a group whose underlying set is finite. Finite groups often arise when considering symmetry of mathematical or physical objects, when those objects admit just a finite number of structure-preserving transformations. Important examples of finite groups include cyclic groups and permutation groups.
In mathematics, the von Neumann conjecture stated that a group G is non-amenable if and only if G contains a subgroup that is a free group on two generators. The conjecture was disproved in 1980.
In the area of modern algebra known as group theory, a Tarski monster group, named for Alfred Tarski, is an infinite group G, such that every proper subgroup H of G, other than the identity subgroup, is a cyclic group of order a fixed prime number p. A Tarski monster group is necessarily simple. It was shown by Alexander Yu. Olshanskii in 1979 that Tarski groups exist, and that there is a Tarski p-group for every prime p > 1075. They are a source of counterexamples to conjectures in group theory, most importantly to Burnside's problem and the von Neumann conjecture.
In algebra, a finitely generated group is a group G that has some finite generating set S so that every element of G can be written as the combination of finitely many elements of S and of inverses of such elements.
In group theory, a branch of mathematics, a torsion group or a periodic group is a group in which every element has finite order. The exponent of such a group, if it exists, is the least common multiple of the orders of the elements.
In mathematics, in the field of group theory, a locally finite group is a type of group that can be studied in ways analogous to a finite group. Sylow subgroups, Carter subgroups, and abelian subgroups of locally finite groups have been studied. The concept is credited to work in the 1930s by Russian mathematician Sergei Chernikov.
Sergei Ivanovich Adian, also Adyan, was a Soviet and Armenian mathematician. He was a professor at the Moscow State University and was known for his work in group theory, especially on the Burnside problem.
In mathematics, a group is called boundedly generated if it can be expressed as a finite product of cyclic subgroups. The property of bounded generation is also closely related with the congruence subgroup problem.
In mathematical finite group theory, the concept of regular p-group captures some of the more important properties of abelian p-groups, but is general enough to include most "small" p-groups. Regular p-groups were introduced by Phillip Hall.
In mathematics, a monogenic semigroup is a semigroup generated by a single element. Monogenic semigroups are also called cyclic semigroups.
In the mathematical area of group theory, the Grigorchuk group or the first Grigorchuk group is a finitely generated group constructed by Rostislav Grigorchuk that provided the first example of a finitely generated group of intermediate growth. The group was originally constructed by Grigorchuk in a 1980 paper and he then proved in a 1984 paper that this group has intermediate growth, thus providing an answer to an important open problem posed by John Milnor in 1968. The Grigorchuk group remains a key object of study in geometric group theory, particularly in the study of the so-called branch groups and automata groups, and it has important connections with the theory of iterated monodromy groups.
In the mathematical area of geometric group theory, a Van Kampen diagram is a planar diagram used to represent the fact that a particular word in the generators of a group given by a group presentation represents the identity element in that group.
In the mathematical subject of group theory, small cancellation theory studies groups given by group presentations satisfying small cancellation conditions, that is where defining relations have "small overlaps" with each other. Small cancellation conditions imply algebraic, geometric and algorithmic properties of the group. Finitely presented groups satisfying sufficiently strong small cancellation conditions are word hyperbolic and have word problem solvable by Dehn's algorithm. Small cancellation methods are also used for constructing Tarski monsters, and for solutions of Burnside's problem.
In mathematics, two Prüfer theorems, named after Heinz Prüfer, describe the structure of certain infinite abelian groups. They have been generalized by L. Ya. Kulikov.
In the mathematical subject of group theory, a one-relator group is a group given by a group presentation with a single defining relation. One-relator groups play an important role in geometric group theory by providing many explicit examples of finitely presented groups.
References
↑ Curtis, Charles; Reiner, Irving (1962). Representation Theory of Finite Groups and Associated Algebras. John Wiley & Sons. pp.256–262.
↑ John Britton proposed a nearly 300 page alternative proof to the Burnside problem in 1973; however, Adian ultimately pointed out a flaw in that proof.
↑ Nahlus, Nazih; Yang, Yilong (2021). "Projective Limits and Ultraproducts of Nonabelian Finite Groups". p.19. arXiv:2107.09900 [math.GR]. Corollary 3.2
S. I. Adian (2015). "New estimates of odd exponents of infinite Burnside groups". Trudy Matematicheskogo Instituta Imeni V. A. Steklova (in Russian). 289: 41–82. doi:10.1134/S0371968515020041. Translation in Adian, S. I. (2015). "New estimates of odd exponents of infinite Burnside groups". Proceedings of the Steklov Institute of Mathematics. 289 (1): 33–71. doi:10.1134/S0081543815040045.
S. V. Ivanov (1994). "The Free Burnside Groups of Sufficiently Large Exponents". International Journal of Algebra and Computation. 04: 1–308. doi:10.1142/S0218196794000026.
A. I. Kostrikin (1990) Around Burnside. Translated from the Russian and with a preface by James Wiegold. Ergebnisse der Mathematik und ihrer Grenzgebiete (3) [Results in Mathematics and Related Areas (3)], 20. Springer-Verlag, Berlin. ISBN3-540-50602-0.
A. Yu. Ol'shanskii (1989) Geometry of defining relations in groups. Translated from the 1989 Russian original by Yu. A. Bakhturin (1991) Mathematics and its Applications (Soviet Series), 70. Dordrecht: Kluwer Academic Publishers Group. ISBN0-7923-1394-1.
This page is based on this Wikipedia article Text is available under the CC BY-SA 4.0 license; additional terms may apply. Images, videos and audio are available under their respective licenses.
