## You are here

Hometriangle groups

## Primary tabs

# triangle groups

Consider the following group presentation:

$\Delta(l,m,n)=\langle a,b,c:a^{2},b^{2},c^{2},(ab)^{l},(bc)^{n},(ca)^{m}\rangle$ |

where $l,m,n\in\mathbb{N}$.

A group with this presentation corresponds to a triangle; roughly, the generators are reflections in its sides and its angles are $\pi/l,\pi/m,\pi/n$.

Denote by $D(l,m,n)$ the subgroup of index 2 in $\Delta(l,m,n)$, corresponding to preservation of orientation of the triangle.

The $D(l,m,n)$ are defined by the following presentation:

$D(l,m,n)=\langle x,y:x^{l},y^{m},(xy)^{n}\rangle$ |

Note that $D(l,m,n)\cong D(m,l,n)\cong D(n,m,l)$, so $D(l,m,n)$ is independent of the order of the $l,m,n$.

Arising from the geometrical nature of these groups,

$1/l+1/m+1/n>1$ |

is called the *spherical case*,

$1/l+1/m+1/n=1$ |

is called the *Euclidean case*, and

$1/l+1/m+1/n<1$ |

is called the *hyperbolic case*

Groups either of the form $\Delta(l,m,n)$ or $D(l,m,n)$ are referred to as *triangle groups*; groups of the form $D(l,m,n)$ are sometimes refered to as *von Dyck groups*.

## Mathematics Subject Classification

20F05*no label found*

- Forums
- Planetary Bugs
- HS/Secondary
- University/Tertiary
- Graduate/Advanced
- Industry/Practice
- Research Topics
- LaTeX help
- Math Comptetitions
- Math History
- Math Humor
- PlanetMath Comments
- PlanetMath System Updates and News
- PlanetMath help
- PlanetMath.ORG
- Strategic Communications Development
- The Math Pub
- Testing messages (ignore)

- Other useful stuff

## Recent Activity

new question: Prove a formula is part of the Gentzen System by LadyAnne

Mar 30

new question: A problem about Euler's totient function by mbhatia

new problem: Problem: Show that phi(a^n-1), (where phi is the Euler totient function), is divisible by n for any natural number n and any natural number a >1. by mbhatia

new problem: MSC browser just displays "No articles found. Up to ." by jaimeglz

Mar 26

new correction: Misspelled name by DavidSteinsaltz

Mar 21

new correction: underline-typo by Filipe

Mar 19

new correction: cocycle pro cocyle by pahio

Mar 7

new image: plot W(t) = P(waiting time <= t) (2nd attempt) by robert_dodier

new image: expected waiting time by robert_dodier

new image: plot W(t) = P(waiting time <= t) by robert_dodier