Triangle group

Triangle group

In mathematics, a triangle group is a group that can be realized geometrically by sequences of reflections across the sides of a triangle. The triangle can be an ordinary Euclidean triangle, a triangle on the sphere, or a hyperbolic triangle. Each triangle group is the symmetry group of a tiling of the Euclidean plane, the sphere or the hyperbolic plane by congruent triangles.

Definition

A triangle group Delta(l,m,n) is a group of motions of the Euclidean plane, the two-dimensional sphere, or the hyperbolic plane. Delta(l,m,n) is the group generated by the reflections in the sides of a triangle with angles frac{pi}{l}, frac{pi}{m}, and frac{pi}{n}(measured in radians). The product of the reflections in two adjacent sides is a rotation by the angle which is twice the angle between those sides. Therefore, if the generating reflections are labeled a, b, c and the angles between them in the cyclic order are as given above, then the following relations hold:

: a^2=b^2=c^2=1, quad (ab)^l=(bc)^n=(ca)^m=1. It is a theorem that all other relations between a, b, c are consequences of these relations. An abstract triangle group can be defined by the group presentation

:Delta(l,m,n)=langle a,b,c mid a^2,b^2,c^2,(ab)^l,(bc)^n,(ca)^m anglewhere l,m,n are integers greater than or equal to 2. Triangle groups are Coxeter groups with three generators.

Classification

Given any natural numbers l, m, ngeq 2, exactly one of the classical two-dimensional geometries (Euclidean, spherical, or hyperbolic) admits a triangle with the angles frac{pi}{l}, frac{pi}{m}, and frac{pi}{n}. The sum of the angles of the triangle determines the type of the geometry by the Gauss–Bonnet theorem: it is Euclidean if the angle sum is exactly π, spherical if it exceeds π and hyperbolic if it is strictly smaller than π. Moreover, any two triangles with the given angles are congruent.

In terms of the numbers l, m, ngeq 2, there are the following possibilities:

The Euclidean case

:frac{1}{l}+frac{1}{m}+frac{1}{n}=1.

The triangle group is the infinite symmetry group of a certain tessellation (or tiling) of the Euclidean plane by triangles whose angles add up to π (or 180°). Up to permutations, the triple (l, m, n) is one of the triples (2,3,6), (2,4,4), (3,3,3). The corresponding triangle groups are instances of wallpaper groups.

The spherical case

:frac{1}{l}+frac{1}{m}+frac{1}{n}>1.

The triangle group is the finite symmetry group of a tiling of a unit sphere by spherical triangles, or Schwarz triangles, whose angles add up to a number greater than π. Up to permutations, the triple (l,m,n) has the form (2,3,3), (2,3,4), (2,3,5), or (2,2,"n"), "n"≥2. Spherical triangle groups can be identified with the symmetry groups of regular polyhedra in the three-dimensional Euclidean space: Delta(2,3,3) corresponds to the tetrahedron, Delta(2,3,4) to both the cube and the octahedron (which have the same symmetry group), Delta(2,3,5) to both the dodecahedron and the icosahedron. The groups Delta(2,2,n), ngeq 2 can be interpreted as the symmetry groups of a family of "degenerate solids" formed by two identical regular "n"-gons joined together.

The spherical tiling corresponding to a regular polyhedron is obtained by forming the barycentric subdivision of the polyhedron and projecting the resulting points and lines onto the circumscribed sphere. In the case of the tetrahedron, there are four faces and each face is an equilateral triangle that is subdivided into 6 smaller pieces by the medians intersecting in the center. The resulting tesselation has 4*6=24 spherical triangles.

The hyperbolic case

:frac{1}{l}+frac{1}{m}+frac{1}{n}<1.

The triangle group is the infinite symmetry group of a tiling of the hyperbolic plane by hyperbolic triangles whose angles add up to a number less than &pi;. All triples not already listed represent tilings of the hyperbolic plane. For example, the triple (2,3,7) produces the (2,3,7) triangle group.

von Dyck groups

Denote by D(l,m,n) the subgroup of index 2 in Delta(l,m,n), corresponding to the elements of the group that preserve the orientation of the triangle. Such subgroups are sometimes referred to as von Dyck groups. The D(l,m,n) are defined by the following presentation::D(l,m,n)=langle x,y mid x^l,y^m,(xy)^n angle. 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.

ee also

* The Schwarz triangle map is a map of triangles to the upper half-plane.

References

* Robert Dawson [http://cs.smu.ca/faculty/dawson/images4.html Some spherical tilings] (undated, earlier than 2004) "(Shows a number of interesting sphere tilings, most of which are not triangle group tilings.)"


Wikimedia Foundation. 2010.

Игры ⚽ Поможем написать курсовую

Look at other dictionaries:

  • Triangle Group (Company) — Triangle Group is a tyre company based in Weihai, China. According to the Economist, it is one of only two Chinese companies that have anything approaching a global market share (about 1% in its case) [… …   Wikipedia

  • (2,3,7) triangle group — In the theory of Riemann surfaces and hyperbolic geometry, the triangle group (2, 3, 7) is particularly important. This importance stems from its connection to Hurwitz surfaces, namely Riemann surfaces of genus g with the largest possible order,… …   Wikipedia

  • Group (mathematics) — This article covers basic notions. For advanced topics, see Group theory. The possible manipulations of this Rubik s Cube form a group. In mathematics, a group is an algebraic structure consisting of a set together with an operation that combines …   Wikipedia

  • Triangle Sun — Основная информация …   Википедия

  • Triangle Heart — とらいあんぐるハート~Sweet Songs Forever~ (Toraianguru Hāto Sweet Songs Forever ) Genre Action, Romance …   Wikipedia

  • Triangle Forest — is an indie rock band from Providence, Rhode Island, founded in August 2005.In April 2007, Triangle Forest were the winners of the WBRU Rock Hunt [http://mog.com/music/Triangle Forest ] , an annual battle of the bands.The group played a WBRU… …   Wikipedia

  • Triangle Foundation — Infobox Organization name = Triangle Foundation image border = Triangle Foundation Logo.jpg caption = Triangle Foundation logo location=Michigan headquarters = Detroit, Michigan formation = 1991 leader title = Interim Executive Director leader… …   Wikipedia

  • Triangle and Robert — Infobox Webcomic| title = Triangle and Robert caption = author = Patrick Shaughnessy url = http://home.comcast.net/ pshaughn/tandr.html status = Completed began = August 1999 ended = September 2007 genre = ratings = Triangle and Robert is a… …   Wikipedia

  • Triangle of Death (Iraq) — During the 2003 present occupation of Iraq, the name Triangle of Death was given by U.S. and allied forces to a region south of Baghdad which saw major combat activity during the last months of 2004. Description of the AreaThe Triangle of Death… …   Wikipedia

  • Group action — This article is about the mathematical concept. For the sociology term, see group action (sociology). Given an equilateral triangle, the counterclockwise rotation by 120° around the center of the triangle acts on the set of vertices of the… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”