Skip to main content
mention witt's formula
Source Link
Sean Eberhard
  • 9.7k
  • 30
  • 57

Converting my comment into an answer:

TheLet $k$th term of$G = G_1 \ge G_2 \ge \cdots$ be the lower central series modulo the. Then $(k+1)$th term$G_k/G_{k+1}$ is generatedspanned by the left-normed commutators $[x_1, \dotsc, x_k]$ with $x_1, \dotsc, x_k \in \{g_1, \dotsc, g_m\}$, of which there are at most $m^{k-1}(m-1)$ nontrivial for $k > 1$ (since $x_1 \ne x_2$). Therefore $$\dim G \le m + \sum_{k=2}^C m^{k-1}(m-1) = m^C.$$

This bound is not sharp. For the free Lie algebra, $G_k/G_{k+1}$ has a basis given by the basic commutators, and the number of these is given by Witt's formula: $$\dim G_k/G_{k+1} = \frac1k \sum_{d \mid k} \mu(d) m^{k/d}.$$

Converting my comment into an answer:

The $k$th term of the lower central series modulo the $(k+1)$th term is generated by the left-normed commutators $[x_1, \dotsc, x_k]$ with $x_1, \dotsc, x_k \in \{g_1, \dotsc, g_m\}$, of which there are at most $m^{k-1}(m-1)$ for $k > 1$ (since $x_1 \ne x_2$). Therefore $$\dim G \le m + \sum_{k=2}^C m^{k-1}(m-1) = m^C.$$

Converting my comment into an answer:

Let $G = G_1 \ge G_2 \ge \cdots$ be the lower central series. Then $G_k/G_{k+1}$ is spanned by the left-normed commutators $[x_1, \dotsc, x_k]$ with $x_1, \dotsc, x_k \in \{g_1, \dotsc, g_m\}$, of which there are at most $m^{k-1}(m-1)$ nontrivial for $k > 1$ (since $x_1 \ne x_2$). Therefore $$\dim G \le m + \sum_{k=2}^C m^{k-1}(m-1) = m^C.$$

This bound is not sharp. For the free Lie algebra, $G_k/G_{k+1}$ has a basis given by the basic commutators, and the number of these is given by Witt's formula: $$\dim G_k/G_{k+1} = \frac1k \sum_{d \mid k} \mu(d) m^{k/d}.$$

Link to comment
Source Link
LSpice
  • 12.9k
  • 4
  • 45
  • 69

Converting my commentcomment into an answer:

The $k$th term of the lower central series modulo the $(k+1)$th term is generated by the left-normed commutators $[x_1, \dots, x_k]$$[x_1, \dotsc, x_k]$ with $x_1, \dots, x_k \in \{g_1, \dots, g_m\}$$x_1, \dotsc, x_k \in \{g_1, \dotsc, g_m\}$, of which there are at most $m^{k-1}(m-1)$ for $k > 1$ (since $x_1 \ne x_2$). Therefore $$\dim G \le m + \sum_{k=2}^C m^{k-1}(m-1) = m^C.$$

Converting my comment into an answer:

The $k$th term of the lower central series modulo the $(k+1)$th term is generated by the left-normed commutators $[x_1, \dots, x_k]$ with $x_1, \dots, x_k \in \{g_1, \dots, g_m\}$, of which there are at most $m^{k-1}(m-1)$ for $k > 1$ (since $x_1 \ne x_2$). Therefore $$\dim G \le m + \sum_{k=2}^C m^{k-1}(m-1) = m^C.$$

Converting my comment into an answer:

The $k$th term of the lower central series modulo the $(k+1)$th term is generated by the left-normed commutators $[x_1, \dotsc, x_k]$ with $x_1, \dotsc, x_k \in \{g_1, \dotsc, g_m\}$, of which there are at most $m^{k-1}(m-1)$ for $k > 1$ (since $x_1 \ne x_2$). Therefore $$\dim G \le m + \sum_{k=2}^C m^{k-1}(m-1) = m^C.$$

Source Link
Sean Eberhard
  • 9.7k
  • 30
  • 57

Converting my comment into an answer:

The $k$th term of the lower central series modulo the $(k+1)$th term is generated by the left-normed commutators $[x_1, \dots, x_k]$ with $x_1, \dots, x_k \in \{g_1, \dots, g_m\}$, of which there are at most $m^{k-1}(m-1)$ for $k > 1$ (since $x_1 \ne x_2$). Therefore $$\dim G \le m + \sum_{k=2}^C m^{k-1}(m-1) = m^C.$$