4
$\begingroup$

Let $G$ be a finite soluble group, let $x$ be a non-identity element of $G$, let $v$ be an $n$-tuple in $G$, and let $w$ be a word in $n+2$ variables. Does there exist $(G,x,v,w)$ satisfying the following equations?

$w(1,1,v)=w(x,1,v)=w(1,x,v)=1; w(x,x,v)=x.$

As for why the soluble condition is there: let $w(a,b,c) = [a,c^{-1}bc]$, and suppose we have chosen $x,v \in G$ such that $[x,v^{-1}xv]=x$. This seems quite a plausible equation in a simple group (at first glance, anyway) but obviously has no non-trivial solutions in a soluble group, because the left-hand side is further down the derived series than the right-hand side. But perhaps a more complicated word does not have this limitation.

$\endgroup$

1 Answer 1

3
$\begingroup$

After thinking about it some more, I realise it can't be done. Suppose $x$ is contained in a normal subgroup $M$ of $G$, but not in $M'=[M,M]$. Then modulo $M'$ we have

$w(x,1,v) = w(1,1,v)m_1; w(1,x,v) = w(1,1,v)m_2; w(x,x,v) = w(1,1,v)m_1m_2$

where $m_1,m_2 \in M$ (just 'pull through' all occurrences of the first two variables up to conjugacy, eg $xd$ can be rewritten $dx^d$). The first set of equations force $m_1 = m_2 = 1$ (all modulo $M'$), so $w(x,x,v)$ is in $M'$, in particular $w(x,x,v)$ does not equal $x$.

$\endgroup$
1
  • $\begingroup$ Which is a good thing, because if it could be done, it would follow from the usual proof of Barrington’s theorem (and the Barrington–Thérien classification) that $\mathrm{NC}^1=\mathrm{TC}^0=\mathrm{AC}^0[m]$ for some $m$. $\endgroup$ Jun 14, 2014 at 18:17

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.