Triangle group
This article defines a family of groups whose members are parametrized by tuples of natural numbers. In other words, for every tuple of natural numbers, there is a unique corresponding group (upto isomorphism) in that family
Contents
Definition
In terms of presentations
Let be an (unordered) tuple of natural numbers. The triangle group
is defined by the following presentation:
Here are integers greater than or equal to 2.
Equivalently, it is a Coxeter group on three generators, where the non-diagonal entries are .
Geometric description
The triangle group with parameters is the group of isometries in a suitable simply connected Riemannian surface (the Euclidean plane, sphere or hyperbolic plane) generated by reflections about the sides of a triangle with angles
.
Note that sometimes the term triangle group is used for von Dyck group which is actually the subgroup of index two in the triangle group comprising all the elements expressible using words of even length (in other words, all the orientation-preserving transformations).
The three types
Spherical triangle groups
This corresponds to the case:
.
to which the solutions are ,
,
,
, and
.
The model for all of these is spherical geometry, i.e., the unit sphere. Since the isometry group of this is , these are all finite subgroups of
. In fact, they are the only finite subgroups of
that contain orientation-reversing transformations.
Euclidean triangle groups
This corresponds to the case:
,
with solutions and
, corresponding to the equilateral triangle and right isosceles triangle in the Euclidean plane. Both of these give rise to wallpaper groups, neither of which is finite.
Hyperbolic triangle groups
This corresponds to the case:
,
This has infinitely many solutions.
Particular cases
Smallest parameter | Middle parameter | Largest parameter | Common name for group | Group order | Symmetry object |
---|---|---|---|---|---|
1 | ![]() |
![]() |
Dihedral group | ![]() |
Regular polygon, symmetries in ![]() |
2 | 3 | 3 | Symmetric group:S4 | ![]() |
Regular tetrahedron, symmetries in ![]() |
2 | 3 | 4 | Cube group | ![]() |
Cube or octahedron, symmetries in ![]() |
2 | 3 | 5 | Direct product of alternating group:A5 and cyclic group:Z2 | ![]() |
Icosahedron or dodecahedron, symmetries in ![]() |