Namespaces
Variants
Actions

Difference between revisions of "Burnside problem"

From Encyclopedia of Mathematics
Jump to: navigation, search
(Importing text file)
 
m (tex encoded by computer)
Line 1: Line 1:
 +
<!--
 +
b0178001.png
 +
$#A+1 = 89 n = 2
 +
$#C+1 = 89 : ~/encyclopedia/old_files/data/B017/B.0107800 Burnside problem
 +
Automatically converted into TeX, above some diagnostics.
 +
Please remove this comment and the {{TEX|auto}} line below,
 +
if TeX found to be correct.
 +
-->
 +
 +
{{TEX|auto}}
 +
{{TEX|done}}
 +
 
The Burnside problem for finite groups: Do unsolvable finite groups of odd order exist? Or, in another formulation: Are all finite simple non-Abelian groups of even order? This problem is connected with the name of W. Burnside, who noted in 1897 that all simple non-Abelian groups which were known at that time were of even order [[#References|[1]]]. The problem was solved in 1962 by W. Feit and J.G. Thompson [[#References|[2]]], who showed that all finite groups of odd order are solvable.
 
The Burnside problem for finite groups: Do unsolvable finite groups of odd order exist? Or, in another formulation: Are all finite simple non-Abelian groups of even order? This problem is connected with the name of W. Burnside, who noted in 1897 that all simple non-Abelian groups which were known at that time were of even order [[#References|[1]]]. The problem was solved in 1962 by W. Feit and J.G. Thompson [[#References|[2]]], who showed that all finite groups of odd order are solvable.
  
Line 4: Line 16:
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  W. Burnside,  "Theory of groups of finite order" , Cambridge Univ. Press  (1897)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  W. Feit,  J.G. Thompson,  "Solvability of groups of odd order"  ''Pacific J. Math.'' , '''13'''  (1964)  pp. 775–1029</TD></TR></table>
 
<table><TR><TD valign="top">[1]</TD> <TD valign="top">  W. Burnside,  "Theory of groups of finite order" , Cambridge Univ. Press  (1897)</TD></TR><TR><TD valign="top">[2]</TD> <TD valign="top">  W. Feit,  J.G. Thompson,  "Solvability of groups of odd order"  ''Pacific J. Math.'' , '''13'''  (1964)  pp. 775–1029</TD></TR></table>
  
 +
====Comments====
 +
In [[#References|[1]]], Burnside also showed that all groups of order  $  p  ^ {a} q  ^ {b} $,
 +
where  $  p, q $
 +
are prime numbers and  $  a, b \geq  0 $,
 +
are solvable.
  
 +
The Burnside problem for periodic groups: This problem was posed by W. Burnside in 1902 [[#References|[1]]]: Is a finitely-generated group, each element of which is of finite order, always finite (the unbounded Burnside problem)? This problem may also be formulated as follows: Are all periodic groups locally finite (cf. [[Locally finite group|Locally finite group]])? Burnside himself stressed an important special case of this problem, when the orders of all elements of the groups are bounded uniformly (the bounded Burnside problem), i.e. for a certain natural number  $  n $
 +
the identity  $  x  ^ {n} = 1 $
 +
is valid in the group. It is the bounded variant of the Burnside problem which has received the most attention. In other words, the object studied was the quotient group  $  B(d, n) = F/ F  ^ {n} $
 +
of a free group  $  F $
 +
with  $  d \geq  2 $
 +
generators by the smallest normal subgroup  $  F  ^ {n} $
 +
containing the  $  n $-
 +
th powers  $  f  ^ {n} $
 +
of all elements  $  f \in F $.
 +
The following results are known:  $  B(d, 2) $
 +
is an elementary Abelian group of order  $  2  ^ {d} $;
 +
$  B(d, 3) $
 +
is a finite group of order  $  3 ^ {m _ {d} } $,
 +
where
  
====Comments====
+
$$
In [[#References|[1]]], Burnside also showed that all groups of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b0178001.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b0178002.png" /> are prime numbers and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b0178003.png" />, are solvable.
+
m _ {d}  = \left (
 +
\begin{array}{c}
 +
d \\
 +
1  
 +
\end{array}
 +
 
 +
\right ) + \left (
 +
\begin{array}{c}
 +
d \\
 +
2
 +
\end{array}
  
The Burnside problem for periodic groups: This problem was posed by W. Burnside in 1902 [[#References|[1]]]: Is a finitely-generated group, each element of which is of finite order, always finite (the unbounded Burnside problem)? This problem may also be formulated as follows: Are all periodic groups locally finite (cf. [[Locally finite group|Locally finite group]])? Burnside himself stressed an important special case of this problem, when the orders of all elements of the groups are bounded uniformly (the bounded Burnside problem), i.e. for a certain natural number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b0178004.png" /> the identity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b0178005.png" /> is valid in the group. It is the bounded variant of the Burnside problem which has received the most attention. In other words, the object studied was the quotient group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b0178006.png" /> of a free group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b0178007.png" /> with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b0178008.png" /> generators by the smallest normal subgroup <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b0178009.png" /> containing the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780010.png" />-th powers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780011.png" /> of all elements <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780012.png" />. The following results are known: <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780013.png" /> is an elementary Abelian group of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780014.png" />; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780015.png" /> is a finite group of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780016.png" />, where
+
\right ) + \left (
 +
\begin{array}{c}
 +
d \\
 +
3
 +
\end{array}
  
<table class="eq" style="width:100%;"> <tr><td valign="top" style="width:94%;text-align:center;"><img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780017.png" /></td> </tr></table>
+
\right )
 +
$$
  
[[#References|[1]]], [[#References|[2]]]; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780018.png" /> is a finite group (of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780019.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780020.png" /> and of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780021.png" /> if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780022.png" /> [[#References|[1]]], [[#References|[3]]], [[#References|[4]]]); <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780023.png" /> is a finite group of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780024.png" />, where <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780025.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780026.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780027.png" /> [[#References|[5]]], [[#References|[6]]]. The negative solution to the bounded Burnside problem was announced in 1959 [[#References|[7]]]. The negative solution to the unbounded Burnside problem was published in 1964 [[#References|[8]]]. Another construction of a periodic group which is not locally finite was subsequently given [[#References|[9]]]. P.S. Novikov and S.I. Adyan
+
[[#References|[1]]], [[#References|[2]]]; $  B(d, 4) $
 +
is a finite group (of order $  2  ^ {12} $
 +
if $  d = 2 $
 +
and of order $  2  ^ {69} $
 +
if $  d = 3 $[[#References|[1]]], [[#References|[3]]], [[#References|[4]]]); $  B(d, 6) $
 +
is a finite group of order $  2  ^ {s} 3  ^ {t} $,  
 +
where $  s = 1 + (d - 1) 3 ^ {m _ {d} } $,  
 +
$  t = m _ {r} $
 +
and $  r = 1 + (d-1) 2  ^ {d} $[[#References|[5]]], [[#References|[6]]]. The negative solution to the bounded Burnside problem was announced in 1959 [[#References|[7]]]. The negative solution to the unbounded Burnside problem was published in 1964 [[#References|[8]]]. Another construction of a periodic group which is not locally finite was subsequently given [[#References|[9]]]. P.S. Novikov and S.I. Adyan
  
proved in 1968 that the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780028.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780029.png" /> is infinite for all odd <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780030.png" /> (a negative solution of the bounded Burnside problem). It was subsequently shown that the word problem and the conjugation problem for these values of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780031.png" /> are solvable in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780032.png" />; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780033.png" /> cannot be presented by means of a finite number of [[Defining relationships|defining relationships]]; all finite subgroups in <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780034.png" /> are Abelian, and all Abelian subgroups are cyclic; <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780035.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780036.png" />, do not meet the maximum or minimum conditions for normal subgroups; the <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780037.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780038.png" />, are isomorphically imbeddable in the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780039.png" />. For a study of the properties of the infinite groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780040.png" />, based on the advanced methods of , see the monograph [[#References|[11]]] in which, in particular, the bound on the odd values of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780041.png" /> indicated above is reduced to <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780042.png" />. To give a final bound for the indices <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780043.png" /> to which correspond finite or infinite groups <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780044.png" /> is a difficult problem. The values <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780045.png" />, and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780046.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780047.png" />, are especially interesting in this context.
+
proved in 1968 that the group $  B(d, n) $,
 +
$  d \geq  2, $
 +
is infinite for all odd $  n \geq  4381 $(
 +
a negative solution of the bounded Burnside problem). It was subsequently shown that the word problem and the conjugation problem for these values of $  d, n $
 +
are solvable in $  B(d, n) $;  
 +
$  B(d, n) $
 +
cannot be presented by means of a finite number of [[Defining relationships|defining relationships]]; all finite subgroups in $  B(d, n) $
 +
are Abelian, and all Abelian subgroups are cyclic; $  B(d, n) $,  
 +
$  d \geq  n $,  
 +
do not meet the maximum or minimum conditions for normal subgroups; the $  B(d, n) $,  
 +
$  d > 2 $,  
 +
are isomorphically imbeddable in the group $  B(2, n) $.  
 +
For a study of the properties of the infinite groups $  B(d, n) $,  
 +
based on the advanced methods of , see the monograph [[#References|[11]]] in which, in particular, the bound on the odd values of $  n $
 +
indicated above is reduced to $  n \geq  665 $.  
 +
To give a final bound for the indices $  n $
 +
to which correspond finite or infinite groups $  B(d, n) $
 +
is a difficult problem. The values $  n = 5, 12 $,  
 +
and $  n = 2  ^ {m} $,  
 +
$  m \geq  3 $,  
 +
are especially interesting in this context.
  
In accordance with the idea which has been gradually evolving ever since the middle of the 1930s, the answer to the following question is of importance in the theory of finite groups: Is the order of any finite group with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780048.png" /> generators, obeying the identity relation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780049.png" />, be bounded from above by a certain natural number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780050.png" />, depending only on <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780051.png" /> and <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780052.png" />? This is the so-called restricted Burnside problem. It has been positively solved [[#References|[13]]] for all prime exponents <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780053.png" />. It has thus been proved that there exists a universal finite <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780054.png" />-group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780055.png" /> of order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780056.png" /> whose quotient groups are isomorphic to all other finite <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780057.png" />-groups with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780058.png" /> generators and satisfying the relation <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780059.png" />. If <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780060.png" /> is finite, one has the identity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780061.png" />. A comparison of the results in
+
In accordance with the idea which has been gradually evolving ever since the middle of the 1930s, the answer to the following question is of importance in the theory of finite groups: Is the order of any finite group with $  d $
 +
generators, obeying the identity relation $  x  ^ {n} = 1 $,  
 +
be bounded from above by a certain natural number b(d, n) $,  
 +
depending only on $  d $
 +
and $  n $?  
 +
This is the so-called restricted Burnside problem. It has been positively solved [[#References|[13]]] for all prime exponents $  n = p $.  
 +
It has thus been proved that there exists a universal finite $  p $-
 +
group $  {B(d, p) } bar $
 +
of order b (d, p) $
 +
whose quotient groups are isomorphic to all other finite $  p $-
 +
groups with $  d $
 +
generators and satisfying the relation $  x  ^ {p} = 1 $.  
 +
If $  B(d, p) $
 +
is finite, one has the identity $  {B(d, p) } bar = B(d, p) $.  
 +
A comparison of the results in
  
and [[#References|[13]]] leads to the conclusion that if <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780062.png" /> is sufficiently large, there exists a finitely-generated infinite simple <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780063.png" />-group of exponent <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780064.png" />. It has been shown that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780065.png" />. For <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780066.png" /> there are only a few estimates from below for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780067.png" />, connected with corresponding estimates <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780068.png" /> for the nilpotency class of the group <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780069.png" />. It is known that <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780070.png" /> cannot be a linear function of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780071.png" />. More importantly, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780072.png" /> increases without limit with <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780073.png" /> [[#References|[14]]], [[#References|[15]]]. The question of the existence of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780074.png" /> for <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780075.png" />, <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780076.png" />, beginning from <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780077.png" /> and 9 is still (1977) open. At the same time, the existence of <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780078.png" /> for all square-free <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780079.png" /> is a consequence of the results reported in [[#References|[6]]] and [[#References|[13]]], and of the theorem of the solvability of groups of odd-order (cf. Burnside problem for finite groups), and of certain facts concerning the classification of simple groups.
+
and [[#References|[13]]] leads to the conclusion that if $  p $
 +
is sufficiently large, there exists a finitely-generated infinite simple $  p $-
 +
group of exponent $  p $.  
 +
It has been shown that $  b(2, 5) = 5  ^ {34} $.  
 +
For $  p \geq  7 $
 +
there are only a few estimates from below for b(d, p) $,  
 +
connected with corresponding estimates $  c (d, p) $
 +
for the nilpotency class of the group $  {B(d, p) } bar $.  
 +
It is known that $  c (2, p) $
 +
cannot be a linear function of $  p $.  
 +
More importantly, $  {c } (d, p) $
 +
increases without limit with $  d $[[#References|[14]]], [[#References|[15]]]. The question of the existence of $  {B (d, n) } bar $
 +
for $  n = p  ^ {m} $,  
 +
$  m > 1 $,  
 +
beginning from $  n = 8 $
 +
and 9 is still (1977) open. At the same time, the existence of $  B(d, n) $
 +
for all square-free $  n $
 +
is a consequence of the results reported in [[#References|[6]]] and [[#References|[13]]], and of the theorem of the solvability of groups of odd-order (cf. Burnside problem for finite groups), and of certain facts concerning the classification of simple groups.
  
The original solutions [[#References|[8]]] of the unbounded Burnside problem and [[#References|[13]]] of the restricted Burnside problem are partly based on the theory of algebras — in the former case on the criterion of infinite dimensionality of an algebra, in the latter on an identity of Lie algebras (cf. [[Lie algebra|Lie algebra]]), which is an analogue of the identity <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780080.png" /> in groups [[#References|[16]]], [[#References|[17]]]. There are other Burnside-type problems than those mentioned above, and they receive considerable attention [[#References|[8]]], [[#References|[9]]].
+
The original solutions [[#References|[8]]] of the unbounded Burnside problem and [[#References|[13]]] of the restricted Burnside problem are partly based on the theory of algebras — in the former case on the criterion of infinite dimensionality of an algebra, in the latter on an identity of Lie algebras (cf. [[Lie algebra|Lie algebra]]), which is an analogue of the identity $  x  ^ {p} = 1 $
 +
in groups [[#References|[16]]], [[#References|[17]]]. There are other Burnside-type problems than those mentioned above, and they receive considerable attention [[#References|[8]]], [[#References|[9]]].
  
 
====References====
 
====References====
Line 29: Line 135:
  
 
====Comments====
 
====Comments====
A positive solution of the restricted Burnside problem for the case of exponent five was first obtained in [[#References|[a11]]]. In the period 1977–1986 a lot of additional results on the Burnside problem for periodic groups were obtained. R.I. Grigorchuk [[#References|[a1]]] proposed a most-simple construction of finitely-generated infinite <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780083.png" />-groups. One of its versions leads, in particular (cf. [[#References|[a2]]]), to the construction of groups of intermediate growth, i.e. neither polynomial, nor exponential growth; it leads, moreover, to the construction of both such periodic groups as well as of such torsion-free groups (solutions to Milnor's problem).
+
A positive solution of the restricted Burnside problem for the case of exponent five was first obtained in [[#References|[a11]]]. In the period 1977–1986 a lot of additional results on the Burnside problem for periodic groups were obtained. R.I. Grigorchuk [[#References|[a1]]] proposed a most-simple construction of finitely-generated infinite $  p $-
 +
groups. One of its versions leads, in particular (cf. [[#References|[a2]]]), to the construction of groups of intermediate growth, i.e. neither polynomial, nor exponential growth; it leads, moreover, to the construction of both such periodic groups as well as of such torsion-free groups (solutions to Milnor's problem).
  
A simple and geometrically obvious version of the negative solution to the bounded Burnside problem for odd numbers <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780084.png" /> was given by A.Yu. Ol'shanskii [[#References|[a3]]]. Later (cf. [[#References|[a4]]]) he constructed for each sufficiently-large prime number <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780085.png" /> an infinite <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780086.png" />-group in which all proper subgroups have order <img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780087.png" /> (Tarski's monster). This is the strongest form of a negative solution to Burnside's problem. Everything that has been done on the restricted Burnside problem is summarized in [[#References|[a5]]] and the book [[#References|[a6]]]. In [[#References|[a6]]] a complete list of references is given, as well as results of computer experiments of various scientists:
+
A simple and geometrically obvious version of the negative solution to the bounded Burnside problem for odd numbers $  n > 10  ^ {10} $
 +
was given by A.Yu. Ol'shanskii [[#References|[a3]]]. Later (cf. [[#References|[a4]]]) he constructed for each sufficiently-large prime number $  p $
 +
an infinite $  p $-
 +
group in which all proper subgroups have order $  p $(
 +
Tarski's monster). This is the strongest form of a negative solution to Burnside's problem. Everything that has been done on the restricted Burnside problem is summarized in [[#References|[a5]]] and the book [[#References|[a6]]]. In [[#References|[a6]]] a complete list of references is given, as well as results of computer experiments of various scientists:
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780088.png" /> (cf. [[#References|[a7]]]),
+
$  | B (4, 4) | = 2  ^ {422} $(
 +
cf. [[#References|[a7]]]),
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780089.png" /> (cf. [[#References|[a8]]]),
+
$  | B (3, 5) | \leq  5  ^ {2282} $(
 +
cf. [[#References|[a8]]]),
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780090.png" />,
+
$  | B (2, 7) | > 7  ^ {6366} $,
  
<img align="absmiddle" border="0" src="https://www.encyclopediaofmath.org/legacyimages/b/b017/b017800/b01780091.png" /> (cf. [[#References|[a9]]]).
+
$  | B (2, 5) | = 5  ^ {34} $(
 +
cf. [[#References|[a9]]]).
  
 
Further, [[#References|[a10]]] may prove to be useful.
 
Further, [[#References|[a10]]] may prove to be useful.

Revision as of 06:29, 30 May 2020


The Burnside problem for finite groups: Do unsolvable finite groups of odd order exist? Or, in another formulation: Are all finite simple non-Abelian groups of even order? This problem is connected with the name of W. Burnside, who noted in 1897 that all simple non-Abelian groups which were known at that time were of even order [1]. The problem was solved in 1962 by W. Feit and J.G. Thompson [2], who showed that all finite groups of odd order are solvable.

References

[1] W. Burnside, "Theory of groups of finite order" , Cambridge Univ. Press (1897)
[2] W. Feit, J.G. Thompson, "Solvability of groups of odd order" Pacific J. Math. , 13 (1964) pp. 775–1029

Comments

In [1], Burnside also showed that all groups of order $ p ^ {a} q ^ {b} $, where $ p, q $ are prime numbers and $ a, b \geq 0 $, are solvable.

The Burnside problem for periodic groups: This problem was posed by W. Burnside in 1902 [1]: Is a finitely-generated group, each element of which is of finite order, always finite (the unbounded Burnside problem)? This problem may also be formulated as follows: Are all periodic groups locally finite (cf. Locally finite group)? Burnside himself stressed an important special case of this problem, when the orders of all elements of the groups are bounded uniformly (the bounded Burnside problem), i.e. for a certain natural number $ n $ the identity $ x ^ {n} = 1 $ is valid in the group. It is the bounded variant of the Burnside problem which has received the most attention. In other words, the object studied was the quotient group $ B(d, n) = F/ F ^ {n} $ of a free group $ F $ with $ d \geq 2 $ generators by the smallest normal subgroup $ F ^ {n} $ containing the $ n $- th powers $ f ^ {n} $ of all elements $ f \in F $. The following results are known: $ B(d, 2) $ is an elementary Abelian group of order $ 2 ^ {d} $; $ B(d, 3) $ is a finite group of order $ 3 ^ {m _ {d} } $, where

$$ m _ {d} = \left ( \begin{array}{c} d \\ 1 \end{array} \right ) + \left ( \begin{array}{c} d \\ 2 \end{array} \right ) + \left ( \begin{array}{c} d \\ 3 \end{array} \right ) $$

[1], [2]; $ B(d, 4) $ is a finite group (of order $ 2 ^ {12} $ if $ d = 2 $ and of order $ 2 ^ {69} $ if $ d = 3 $[1], [3], [4]); $ B(d, 6) $ is a finite group of order $ 2 ^ {s} 3 ^ {t} $, where $ s = 1 + (d - 1) 3 ^ {m _ {d} } $, $ t = m _ {r} $ and $ r = 1 + (d-1) 2 ^ {d} $[5], [6]. The negative solution to the bounded Burnside problem was announced in 1959 [7]. The negative solution to the unbounded Burnside problem was published in 1964 [8]. Another construction of a periodic group which is not locally finite was subsequently given [9]. P.S. Novikov and S.I. Adyan

proved in 1968 that the group $ B(d, n) $, $ d \geq 2, $ is infinite for all odd $ n \geq 4381 $( a negative solution of the bounded Burnside problem). It was subsequently shown that the word problem and the conjugation problem for these values of $ d, n $ are solvable in $ B(d, n) $; $ B(d, n) $ cannot be presented by means of a finite number of defining relationships; all finite subgroups in $ B(d, n) $ are Abelian, and all Abelian subgroups are cyclic; $ B(d, n) $, $ d \geq n $, do not meet the maximum or minimum conditions for normal subgroups; the $ B(d, n) $, $ d > 2 $, are isomorphically imbeddable in the group $ B(2, n) $. For a study of the properties of the infinite groups $ B(d, n) $, based on the advanced methods of , see the monograph [11] in which, in particular, the bound on the odd values of $ n $ indicated above is reduced to $ n \geq 665 $. To give a final bound for the indices $ n $ to which correspond finite or infinite groups $ B(d, n) $ is a difficult problem. The values $ n = 5, 12 $, and $ n = 2 ^ {m} $, $ m \geq 3 $, are especially interesting in this context.

In accordance with the idea which has been gradually evolving ever since the middle of the 1930s, the answer to the following question is of importance in the theory of finite groups: Is the order of any finite group with $ d $ generators, obeying the identity relation $ x ^ {n} = 1 $, be bounded from above by a certain natural number $ b(d, n) $, depending only on $ d $ and $ n $? This is the so-called restricted Burnside problem. It has been positively solved [13] for all prime exponents $ n = p $. It has thus been proved that there exists a universal finite $ p $- group $ {B(d, p) } bar $ of order $ b (d, p) $ whose quotient groups are isomorphic to all other finite $ p $- groups with $ d $ generators and satisfying the relation $ x ^ {p} = 1 $. If $ B(d, p) $ is finite, one has the identity $ {B(d, p) } bar = B(d, p) $. A comparison of the results in

and [13] leads to the conclusion that if $ p $ is sufficiently large, there exists a finitely-generated infinite simple $ p $- group of exponent $ p $. It has been shown that $ b(2, 5) = 5 ^ {34} $. For $ p \geq 7 $ there are only a few estimates from below for $ b(d, p) $, connected with corresponding estimates $ c (d, p) $ for the nilpotency class of the group $ {B(d, p) } bar $. It is known that $ c (2, p) $ cannot be a linear function of $ p $. More importantly, $ {c } (d, p) $ increases without limit with $ d $[14], [15]. The question of the existence of $ {B (d, n) } bar $ for $ n = p ^ {m} $, $ m > 1 $, beginning from $ n = 8 $ and 9 is still (1977) open. At the same time, the existence of $ B(d, n) $ for all square-free $ n $ is a consequence of the results reported in [6] and [13], and of the theorem of the solvability of groups of odd-order (cf. Burnside problem for finite groups), and of certain facts concerning the classification of simple groups.

The original solutions [8] of the unbounded Burnside problem and [13] of the restricted Burnside problem are partly based on the theory of algebras — in the former case on the criterion of infinite dimensionality of an algebra, in the latter on an identity of Lie algebras (cf. Lie algebra), which is an analogue of the identity $ x ^ {p} = 1 $ in groups [16], [17]. There are other Burnside-type problems than those mentioned above, and they receive considerable attention [8], [9].

References

[1] W. Burnside, "On an unsettled question in the theory of discontinuous groups" Quart. J. Pure Appl. Math. , 33 (1902) pp. 230–238
[2] F.V. Levi, B.L. van der Waerden, "Ueber eine besondere klasse von Gruppen" Abh. Math. Sem. Univ. Hamburg , 9 (1932) pp. 154–158
[3] I.N. Sanov, "Solution of the Burnside problem for exponent 4" Uchen. Zap. Leningrad. Gos. Univ. Ser. Mat. , 10 (1940) pp. 166–170 (In Russian)
[4] A.J. Bayes, J. Kautsky, J.W. Wamsley, , Proc. 2-nd Internat. Conf. Theory of Groups , Canberra (1973) pp. 82–89
[5] M. Hall, "Solution of the Burnside problem for exponent 6" Proc. Nat. Acad. Sci. USA , 43 (1957) pp. 751–753
[6] P. Hall, G. Higman, "On the -length of soluble groups and reduction theorems for Burnside's problem" Proc. London Math. Soc. (3) , 6 (1956) pp. 1–42
[7] P.S. Novikov, "On periodic groups" Amer. Math. Soc. Transl. , 45 (1965) pp. 19–22 (In Russian) Dokl. Akad. Nauk SSSR , 127 : 4 (1959) pp. 749–752
[8] E.S. Golod, "On nil algebras and residually-finite groups" Izv. Akad. Nauk SSSR Ser. Mat. , 28 (1964) pp. 273–276 (In Russian)
[9] S.V. Aleshin, "Finite automata and Burnside's problem for periodic groups" Math. Notes , 11 : 3 (1972) pp. 199–203 Mat. Zametki , 11 : 3 (1972) pp. 319–328
[10a] P.S. Novikov, S.I. Adyan, Izv. Akad. Nauk SSSR Ser. Mat. , 32 : 1 (1968) pp. 212–244
[10b] P.S. Novikov, S.I. Adyan, Izv. Akad. Nauk SSSR Ser. Mat. , 32 : 3 (1968) pp. 709–731
[11] S.I. Adyan, "The Burnside problem and identities in groups" , Springer (1979) (Translated from Russian)
[12] O.Yu. Shmidt, , Selected works on mathematics , Moscow (1959) pp. 298–300 (In Russian)
[13] A.I. Kostrikin, "On Burnside's problem" Izv. Akad. Nauk SSSR Ser. Mat. , 23 (1959) pp. 3–34 (In Russian)
[14] S.M. Bachmuth, H.Y. Motuzucki, D.W. Walkup, "A nonsolvable group of exponent 5" Bull. Amer. Math. Soc. , 76 : 3 (1970) pp. 638–640
[15] Yu.P. Razmyslov, "On Lie algebras satisfying the Engel condition" Algebra and Logic , 10 : 1 (1971) pp. 21–29 Algebra i Logika , 10 : 1 (1971) pp. 33–44
[16] W. Magnus, "Ueber Beziehungen zwischen höheren Kommutatoren" J. Reine Angew. Math. , 177 (1937) pp. 105–115
[17] G. Higman, "Lie ring methods in the theory of finite nilpotent groups" J.A. Todd (ed.) , Proc. Internat. Congress Mathematicians (Edinburgh, 1958) , Cambridge Univ. Press (1960) pp. 307–312
[18] A.G. Kurosh, "Ring-theoretical problems connected with Burnside's problem for periodic groups" Izv. Akad. Nauk SSSR Ser. Mat. , 5 (1941) pp. 233–240 (In Russian) (German abstract)

A.I. Kostrikin

Comments

A positive solution of the restricted Burnside problem for the case of exponent five was first obtained in [a11]. In the period 1977–1986 a lot of additional results on the Burnside problem for periodic groups were obtained. R.I. Grigorchuk [a1] proposed a most-simple construction of finitely-generated infinite $ p $- groups. One of its versions leads, in particular (cf. [a2]), to the construction of groups of intermediate growth, i.e. neither polynomial, nor exponential growth; it leads, moreover, to the construction of both such periodic groups as well as of such torsion-free groups (solutions to Milnor's problem).

A simple and geometrically obvious version of the negative solution to the bounded Burnside problem for odd numbers $ n > 10 ^ {10} $ was given by A.Yu. Ol'shanskii [a3]. Later (cf. [a4]) he constructed for each sufficiently-large prime number $ p $ an infinite $ p $- group in which all proper subgroups have order $ p $( Tarski's monster). This is the strongest form of a negative solution to Burnside's problem. Everything that has been done on the restricted Burnside problem is summarized in [a5] and the book [a6]. In [a6] a complete list of references is given, as well as results of computer experiments of various scientists:

$ | B (4, 4) | = 2 ^ {422} $( cf. [a7]),

$ | B (3, 5) | \leq 5 ^ {2282} $( cf. [a8]),

$ | B (2, 7) | > 7 ^ {6366} $,

$ | B (2, 5) | = 5 ^ {34} $( cf. [a9]).

Further, [a10] may prove to be useful.

References

[a1] R.I. Grigorchuk, "On Burnside's problem for periodic groups" Funktsional. Anal. i Prilozhen. , 14 : 1 (1980) pp. 53–54 (In Russian)
[a2] R.I. Grigorchuk, "Milnor's problem on the growth of groups" Dokl. Akad. Nauk SSSR , 271 : 1 (1983) pp. 30–33 (In Russian)
[a3] A.Yu. Ol'shanskii, "On a theorem of Novikov–Adyan" Mat. Sb. , 118 : 2 (1982) pp. 202–235 (In Russian)
[a4] A.Yu. Ol'shanskii, "Groups of bounded period in which all subgroups are of prime order" Algebra i Logika , 21 : 5 (1982) pp. 555–618 (In Russian)
[a5] M.R. Vaughan-Lee, "The restricted Burnside problem" Bull. London Math. Soc. , 17 (1985) pp. 113–133
[a6] A.I. Kostrikin, "Around Burnside" , Springer (1989) (Translated from Russian)
[a7] W.A. Alford, G. Havas, M.F. Newman, "Groups of exponent four" Notices Amer. Math. Soc. , 22 (1975) pp. A.301
[a8] G. Havas, M.F. Newman, M.R. Vaughan-Lee, "A nilpotent quotient algorithm for graded Lie rings" To appear
[a9] G. Havas, G.E. Wall, J.W. Wamsley, "The two-generator restricted Burnside group of order five" Bull. Austral. Math. Soc. , 10 (1974) pp. 459–470
[a10] J.L. Mennicke (ed.) , Proc. Burnside workshop Bielefeld, 1977 , Lect. notes in math. , 806 , Springer (1980)
[a11] G. Higman, "On finite groups of exponent five" Proc. Cambridge Phil. Soc , 52 (1956) pp. 381–390
How to Cite This Entry:
Burnside problem. Encyclopedia of Mathematics. URL: http://encyclopediaofmath.org/index.php?title=Burnside_problem&oldid=46176
This article was adapted from an original article by V.D. Mazurov (originator), which appeared in Encyclopedia of Mathematics - ISBN 1402006098. See original article