## 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 that for any sets A, B, and C, An(BUC)=(AnB)U(AnC) by St_Louis

Apr 20

new image: information-theoretic-distributed-measurement-dds.png by rspuzio

new image: information-theoretic-distributed-measurement-4.2 by rspuzio

new image: information-theoretic-distributed-measurement-4.1 by rspuzio

new image: information-theoretic-distributed-measurement-3.2 by rspuzio

new image: information-theoretic-distributed-measurement-3.1 by rspuzio

new image: information-theoretic-distributed-measurement-2.1 by rspuzio

Apr 19

new collection: On the Information-Theoretic Structure of Distributed Measurements by rspuzio

Apr 15

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