Restricted Burnside group: Difference between revisions

From Groupprops
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,d)</math>.
* 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 RB(d,n), sometimes denoted R(n,d), is defined as the quotient group by the finite residual of the Burnside group B(d,n). In other words, it is the quotient of B(n,d) 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 (d,n) has the answer Yes.

Facts

  • Kostrikin's theorem on restricted Burnside problem: For any prime number p, the group RB(d,p) is finite for every value of d.
  • The condition that this group be finite is weaker than the condition that the Burnside group B(d,n) be finite, i.e., there are many cases where B(d,n) is known to be infinite and RB(d,n) is known to be finite. This includes all odd primes greater than 665.
  • In those cases where B(d,n) is finite, RB(d,n) is isomorphic to B(d,n).