Restricted Burnside group: Difference between revisions
(→Facts) |
(→Facts) |
||
| Line 9: | Line 9: | ||
* [[Kostrikin's theorem on restricted Burnside problem]]: For any [[prime number]] <math>p</math>, the group <math>RB(d,p)</math> is finite for every value of <math>d</math>. | * [[Kostrikin's theorem on restricted Burnside problem]]: For any [[prime number]] <math>p</math>, the group <math>RB(d,p)</math> is finite for every value of <math>d</math>. | ||
* The condition that this group be finite is ''weaker'' than the condition that the [[Burnside group]] <math>B(d,n)</math> be finite, i.e., there are many cases where <math>B(d,n)</math> is known to be infinite and <math>RB(d,n)</math> is known to be finite. This includes all odd primes greater than 665. | * The condition that this group be finite is ''weaker'' than the condition that the [[Burnside group]] <math>B(d,n)</math> be finite, i.e., there are many cases where <math>B(d,n)</math> is known to be infinite and <math>RB(d,n)</math> is known to be finite. This includes all odd primes greater than 665. | ||
* In those cases where <math>B(d,n)</math> is finite, <math>RB(d,n)</math> is isomorphic to <math>B(n | * In those cases where <math>B(d,n)</math> is finite, <math>RB(d,n)</math> is isomorphic to <math>B(d,n)</math>. | ||
Revision as of 06:12, 13 April 2015
Definition
The restricted Burnside group , sometimes denoted , is defined as the quotient group by the finite residual of the Burnside group . In other words, it is the quotient of by the intersection of all normal subgroups of finite index in it.
Note that this group is a finite group if and only if the restricted Burnside problem for the pair has the answer Yes.
Facts
- Kostrikin's theorem on restricted Burnside problem: For any prime number , the group is finite for every value of .
- The condition that this group be finite is weaker than the condition that the Burnside group be finite, i.e., there are many cases where is known to be infinite and is known to be finite. This includes all odd primes greater than 665.
- In those cases where is finite, is isomorphic to .