It is interesting FACT that given $l,m,n\geq 2$, there is (are) a finite group with elements $a,b$ such that $o(a)=l, o(b)=m$, and $o(ab)=n$ (see link for a nice example by Derek Holt / B. Sury).

Although, the group

$G_{l,m,n}=\langle a,b\colon a^l,b^m,(ab)^n\rangle$

contains elements with above property (?), it need not be finite. But for certain values of $l,m,n$, $G_{l,m,n}$ is finite (and these are interesting groups by their geometry):

$G_{2,2,n}\cong D_{2n}$,

$G_{2,3,3}\cong A_4$,

$G_{2,3,4}\cong S_4$,

$G_{2,3,5}\cong A_5$.

A natural question I would like to ask is:

For what values of $l,m,n$, the group $G_{l,m,n}$ is finite?

I wondered by the above FACT, and very useful discussion on it in mathoverflow, with nice answer by Derek Holt/ B. Sury. I tried to solve the question in the link, and for $(l,m,n)=(2,2,n)$, I quickly found that the group $D_{2n}$ is the best example for it. Then I came up with the natural question above. This question may have been discussed with different point of view; but I didn't know too much about it.

Also, if possible, one may suggest(and edit) suitable title for this question.

  • 5
    $\begingroup$ See groupprops.subwiki.org/wiki/Von_Dyck_group or wikipedea (Von Dyck group is infinite iff it is of hyperbolic or Euclidean type). $\endgroup$ – Misha Feb 10 '13 at 5:50
  • 5
    $\begingroup$ In other words, it is finite iff $1/l+1/m+1/n > 1$. $\endgroup$ – Derek Holt Feb 10 '13 at 11:08
  • $\begingroup$ Since all finite groups are finite quotients of free groups, a better title would be 'Which are the finite von Dyck groups?' $\endgroup$ – HJRW Feb 10 '13 at 22:29
  • $\begingroup$ I hope that someone will post Misha's link as an answer which can be accepted. $\endgroup$ – HJRW Feb 10 '13 at 22:30

These groups are called von Dyck groups, see e.g. here. Von Dyck group $D(l,m,n)$ is finite if and only if it is of spherical type: $$ \chi=-1+ l^{-1} + m^{-1} + n^{-1}>0. $$ A side note: Von Dyck groups are fundamental groups of 2-dimensional oriented orbifolds. The number $\chi$ above is the orbifold Euler characteristic. This is explained nicely, for instance, in Peter Scott's paper "Geometries of 3-manifolds", Bull. London Math. Soc. 15 (1983), no. 5, 401–487.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

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