Hello!

Denote by $B(m,n)$ the free Burnside group with $m$ generators and order $n$, i.e., $$B(m,n):=\langle x_1,\ldots,x_m\mid w(x_1,\ldots,x_m)^n=1\ \forall w\rangle,$$ where $w(x_1,\ldots,x_m)$ is any word.

On the other hand, the von Dyck group admits the presentation $$D(a,b,c):=\langle x,y\mid x^a=y^b=(xy)^c=1\rangle.$$ So, $B(2,n)$ is "covered" by $D(n,n,n)$, in the sense that the latter projects over the former, since it has the same generators but less relations: $x$, $y$, and $xy$ are just particular words $w(x,y)$.

Question 1: Has the group epimorphism $D(n,n,n)\to B(2,n)$ been observed before? And, if yes, to which purpose?

Question 2: Any idea how to generalize it for $m>2$, i.e., how to speak of "higher-dimensional von Dyck groups"?

Thanks in advance!