Skip to main content
MathOverflow

Return to Question

Added "and $p>d$" to Question 2.
Source Link
Glasby
Glasby
  • 2k
  • 12
  • 22

Let $p$ be a prime and let $F$ be a free group of rank $d\geq 1$. Kostrikin [1] proved that the $d$-generated Burnside group $B=B(d,p)=F/F^p$ of exponent $p$ has a maximal finite quotient $\overline{B}=\overline{B(d,p)}=B/N$ where $N$ is the intersection of all the subgroups of $B$ of finite index. I understand that Kostrikin proved that the nilpotency class $c(d,p)$ of $\overline{B(d,p)}$ has an upper bound.

Question 1: Are lower bounds known for $c(d,p)$?

Question 2: Is $c(d,p)\geq d$ for $d\leq 5$$d\leq 4$ and $p>d$?

Question 3: For which $n$ is the $n$th section of the lower exponent-$p$ central series for $\overline{B(d,p)}$ isomorphic to the $n$th Lie power $L^n(V)$ where $V=({\mathbb F}_p)^d$?

[1] Kostrikin, A. L: On Lie rings with Engel's condition. Dokl. Akad. Nauk SSSR 108, no. 4 (1956) 580-582.

Let $p$ be a prime and let $F$ be a free group of rank $d\geq 1$. Kostrikin [1] proved that the $d$-generated Burnside group $B=B(d,p)=F/F^p$ of exponent $p$ has a maximal finite quotient $\overline{B}=\overline{B(d,p)}=B/N$ where $N$ is the intersection of all the subgroups of $B$ of finite index. I understand that Kostrikin proved that the nilpotency class $c(d,p)$ of $\overline{B(d,p)}$ has an upper bound.

Question 1: Are lower bounds known for $c(d,p)$?

Question 2: Is $c(d,p)\geq d$ for $d\leq 5$?

Question 3: For which $n$ is the $n$th section of the lower exponent-$p$ central series for $\overline{B(d,p)}$ isomorphic to the $n$th Lie power $L^n(V)$ where $V=({\mathbb F}_p)^d$?

[1] Kostrikin, A. L: On Lie rings with Engel's condition. Dokl. Akad. Nauk SSSR 108, no. 4 (1956) 580-582.

Let $p$ be a prime and let $F$ be a free group of rank $d\geq 1$. Kostrikin [1] proved that the $d$-generated Burnside group $B=B(d,p)=F/F^p$ of exponent $p$ has a maximal finite quotient $\overline{B}=\overline{B(d,p)}=B/N$ where $N$ is the intersection of all the subgroups of $B$ of finite index. I understand that Kostrikin proved that the nilpotency class $c(d,p)$ of $\overline{B(d,p)}$ has an upper bound.

Question 1: Are lower bounds known for $c(d,p)$?

Question 2: Is $c(d,p)\geq d$ for $d\leq 4$ and $p>d$?

Question 3: For which $n$ is the $n$th section of the lower exponent-$p$ central series for $\overline{B(d,p)}$ isomorphic to the $n$th Lie power $L^n(V)$ where $V=({\mathbb F}_p)^d$?

[1] Kostrikin, A. L: On Lie rings with Engel's condition. Dokl. Akad. Nauk SSSR 108, no. 4 (1956) 580-582.

$F/F^p$ inserted and the vector space should be GF(p)^d not GF(d)^p
Source Link
Glasby
Glasby
  • 2k
  • 12
  • 22

Let $p$ be a prime and let $F$ be a free group of rank $d\geq 1$. Kostrikin [1] proved that the $d$-generated Burnside group $B=B(d,p)$$B=B(d,p)=F/F^p$ of exponent $p$ has a maximal finite quotient $\overline{B}=\overline{B(d,p)}=B/N$ where $N$ is the intersection of all the subgroups of $B$ of finite index. I understand that Kostrikin proved that the nilpotency class $c(d,p)$ of $\overline{B(d,p)}$ hadhas an upper bound.

Question 1: Are lower bounds bounds known for $c(d,p)$?

Question 2: Is $c(d,p)\geq d$ for $d\leq 5$?

Question 3: For which $n$ is the $n$th section of the lower exponent-$p$ central series for $\overline{B(d,p)}$ isomorphic to the $n$th Lie power $L^n(V)$ where $V={\mathbb F}_d^p$$V=({\mathbb F}_p)^d$?

[1] Kostrikin, A. L: On Lie rings with Engel's condition. Dokl. Akad. Nauk SSSR 108, no. 4 (1956) 580-582.

Let $p$ be a prime and let $F$ be a free group of rank $d\geq 1$. Kostrikin [1] proved that the $d$-generated Burnside group $B=B(d,p)$ of exponent $p$ has a maximal finite quotient $\overline{B}=\overline{B(d,p)}=B/N$ where $N$ is the intersection of all the subgroups of $B$ of finite index. I understand that Kostrikin proved that the nilpotency class $c(d,p)$ of $\overline{B(d,p)}$ had an upper bound.

Question 1: Are lower bounds known for $c(d,p)$?

Question 2: Is $c(d,p)\geq d$ for $d\leq 5$?

Question 3: For which $n$ is the $n$th section of the lower exponent-$p$ central series for $\overline{B(d,p)}$ isomorphic to the $n$th Lie power $L^n(V)$ where $V={\mathbb F}_d^p$?

[1] Kostrikin, A. L: On Lie rings with Engel's condition. Dokl. Akad. Nauk SSSR 108, no. 4 (1956) 580-582.

Let $p$ be a prime and let $F$ be a free group of rank $d\geq 1$. Kostrikin [1] proved that the $d$-generated Burnside group $B=B(d,p)=F/F^p$ of exponent $p$ has a maximal finite quotient $\overline{B}=\overline{B(d,p)}=B/N$ where $N$ is the intersection of all the subgroups of $B$ of finite index. I understand that Kostrikin proved that the nilpotency class $c(d,p)$ of $\overline{B(d,p)}$ has an upper bound.

Question 1: Are lower bounds known for $c(d,p)$?

Question 2: Is $c(d,p)\geq d$ for $d\leq 5$?

Question 3: For which $n$ is the $n$th section of the lower exponent-$p$ central series for $\overline{B(d,p)}$ isomorphic to the $n$th Lie power $L^n(V)$ where $V=({\mathbb F}_p)^d$?

[1] Kostrikin, A. L: On Lie rings with Engel's condition. Dokl. Akad. Nauk SSSR 108, no. 4 (1956) 580-582.

Source Link
Glasby
Glasby
  • 2k
  • 12
  • 22

Restricted Burnside Problem: Lower bound nilpotency class

Let $p$ be a prime and let $F$ be a free group of rank $d\geq 1$. Kostrikin [1] proved that the $d$-generated Burnside group $B=B(d,p)$ of exponent $p$ has a maximal finite quotient $\overline{B}=\overline{B(d,p)}=B/N$ where $N$ is the intersection of all the subgroups of $B$ of finite index. I understand that Kostrikin proved that the nilpotency class $c(d,p)$ of $\overline{B(d,p)}$ had an upper bound.

Question 1: Are lower bounds known for $c(d,p)$?

Question 2: Is $c(d,p)\geq d$ for $d\leq 5$?

Question 3: For which $n$ is the $n$th section of the lower exponent-$p$ central series for $\overline{B(d,p)}$ isomorphic to the $n$th Lie power $L^n(V)$ where $V={\mathbb F}_d^p$?

[1] Kostrikin, A. L: On Lie rings with Engel's condition. Dokl. Akad. Nauk SSSR 108, no. 4 (1956) 580-582.