MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).
show/hide this revision's text 2 finite rank

Let $F$ be a free group of finite rank $r>1$ and let $c_1,c_2,...$ be a full set of basic commutators for $F$. Upon completing the $k$-th step of the collection process for an arbitrary $g\in F$, one obtains a representation

$g=c_1^{n_1}c_2^{n_2}\ldots c_{t}^{n_t}g_k$,

where

$c_1,\ldots,c_t$ are all basic commutators of weight less than $k$ ($t$ depending on $k$),

$n_1,\ldots,n_t$ are integers,

$g_k\in \gamma_k$, the $k$-th term of the lower central series for $F$.

Question. Is there always $g\in G$ such that the series $g_1,g_2,\ldots$ never terminates (i.e. has nonidentity terms $g_i$ for arbitrarily large $i$)?

show/hide this revision's text 1

Is the collection process for commutators potentially infinite?

Let $F$ be a free group of rank $r>1$ and let $c_1,c_2,...$ be a full set of basic commutators for $F$. Upon completing the $k$-th step of the collection process for an arbitrary $g\in F$, one obtains a representation

$g=c_1^{n_1}c_2^{n_2}\ldots c_{t}^{n_t}g_k$,

where

$c_1,\ldots,c_t$ are all basic commutators of weight less than $k$ ($t$ depending on $k$),

$n_1,\ldots,n_t$ are integers,

$g_k\in \gamma_k$, the $k$-th term of the lower central series for $F$.

Question. Is there always $g\in G$ such that the series $g_1,g_2,\ldots$ never terminates (i.e. has nonidentity terms $g_i$ for arbitrarily large $i$)?