Let $r\geq 2$. Let $N$ be the normal subgroup of $B_{n}$ generated by conjugates of $\sigma_{i}^{2r}$. Then is the word problem in the quotient group $B_{n}/N$ solvable (in polynomial time)? Furthermore, does there exist a normal form for the elements in $B_{n}/N$? I am mostly interested in this group where $r=3$, so $N$ is generated by the conjugates of $\sigma_{i}^{6}$.
$\begingroup$
$\endgroup$
5
-
$\begingroup$ "normal subgroup generated by $x$" = "subgroup generated by conjugates of $x$" ("normal subgroup generated by conjugates of $x$" is redundant) $\endgroup$– YCorNov 22, 2016 at 16:33
-
$\begingroup$ This is known for small values of n and some ranges of $r$ but the general case is wide open as far as I know. My personal guess is that these groups are automatic for large (or even all) $r$. Derek Holt has software for verifying automaticity of groups, maybe you should ask him. $\endgroup$– MishaNov 22, 2016 at 17:03
-
3$\begingroup$ I have tried these examples but without success. The braid groups are in any case difficult for my programs because you have to use the full set of $n!-1$ Garside generators to get a geodesic automatic structure. $\endgroup$– Derek HoltNov 22, 2016 at 19:14
-
$\begingroup$ Misha. Can you give a reference for your claim that it is known for certain values? $\endgroup$– Joseph Van NameNov 23, 2016 at 0:01
-
$\begingroup$ It will take a bit of work on my part. The examples I know stem from complex hyperbolic manifolds of small complex dimension and their ramified covers. $\endgroup$– MishaNov 23, 2016 at 18:39
Add a comment
|