Uniform tilings in hyperbolic plane on:
[Wikipedia]
[Google]
[Amazon]
In
Quadrilateral fundamental domains also exist in the hyperbolic plane, with the *3222
The EPINET project explores 2D hyperbolic (H²) tilings
{{Tessellation
hyperbolic geometry
In mathematics, hyperbolic geometry (also called Lobachevskian geometry or János Bolyai, Bolyai–Nikolai Lobachevsky, Lobachevskian geometry) is a non-Euclidean geometry. The parallel postulate of Euclidean geometry is replaced with:
:For a ...
, a uniform hyperbolic tiling (or regular, quasiregular or semiregular hyperbolic tiling) is an edge-to-edge filling of the hyperbolic plane which has regular polygon
In Euclidean geometry, a regular polygon is a polygon that is Equiangular polygon, direct equiangular (all angles are equal in measure) and Equilateral polygon, equilateral (all sides have the same length). Regular polygons may be either ''convex ...
s as faces
The face is the front of the head that features the eyes, nose and mouth, and through which animals express many of their emotions. The face is crucial for human identity, and damage such as scarring or developmental deformities may affect the ...
and is vertex-transitive
In geometry, a polytope (e.g. a polygon or polyhedron) or a tiling is isogonal or vertex-transitive if all its vertices are equivalent under the symmetries of the figure. This implies that each vertex is surrounded by the same kinds of face i ...
( transitive on its vertices, isogonal, i.e. there is an isometry
In mathematics, an isometry (or congruence, or congruent transformation) is a distance-preserving transformation between metric spaces, usually assumed to be bijective. The word isometry is derived from the Ancient Greek: ἴσος ''isos'' me ...
mapping any vertex onto any other). It follows that all vertices are congruent
Congruence may refer to:
Mathematics
* Congruence (geometry), being the same size and shape
* Congruence or congruence relation, in abstract algebra, an equivalence relation on an algebraic structure that is compatible with the structure
* In modu ...
, and the tiling has a high degree of rotational and translational symmetry
Symmetry () in everyday life refers to a sense of harmonious and beautiful proportion and balance. In mathematics, the term has a more precise definition and is usually used to refer to an object that is Invariant (mathematics), invariant und ...
.
Uniform tilings can be identified by their vertex configuration
In geometry, a vertex configuration is a shorthand notation for representing a polyhedron or Tessellation, tiling as the sequence of Face (geometry), faces around a Vertex (geometry), vertex. It has variously been called a vertex description, vert ...
, a sequence of numbers representing the number of sides of the polygons around each vertex. For example, 7.7.7 represents the heptagonal tiling which has 3 heptagon
In geometry, a heptagon or septagon is a seven-sided polygon or 7-gon.
The heptagon is sometimes referred to as the septagon, using ''Wikt:septa-, septa-'' (an elision of ''Wikt:septua-, septua-''), a Latin-derived numerical prefix, rather than ...
s around each vertex. It is also regular since all the polygons are the same size, so it can also be given the Schläfli symbol
In geometry, the Schläfli symbol is a notation of the form \ that defines List of regular polytopes and compounds, regular polytopes and tessellations.
The Schläfli symbol is named after the 19th-century Swiss mathematician Ludwig Schläfli, wh ...
.
Uniform tilings may be regular (if also face- and edge-transitive), quasi-regular (if edge-transitive but not face-transitive) or semi-regular (if neither edge- nor face-transitive). For right triangles (''p'' ''q'' 2), there are two regular tilings, represented by Schläfli symbol
In geometry, the Schläfli symbol is a notation of the form \ that defines List of regular polytopes and compounds, regular polytopes and tessellations.
The Schläfli symbol is named after the 19th-century Swiss mathematician Ludwig Schläfli, wh ...
and .
Wythoff construction
There are an infinite number of uniform tilings based on the Schwarz triangles (''p q r'') where + + < 1, where ''p'', ''q'', ''r'' are each orders of reflection symmetry at three points of the fundamental domain triangle – the symmetry group is a hyperbolictriangle 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 triang ...
.
Each symmetry family contains 7 uniform tilings, defined by a Wythoff symbol or Coxeter-Dynkin diagram, 7 representing combinations of 3 active mirrors. An 8th represents an alternation operation, deleting alternate vertices from the highest form with all mirrors active.
Families with ''r'' = 2 contain regular hyperbolic tilings, defined by a Coxeter group
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean ref ...
such as ,3 ,3 ,3 ... ,4 ,4 ....
Hyperbolic families with ''r'' = 3 or higher are given by (''p q r'') and include (4 3 3), (5 3 3), (6 3 3) ... (4 4 3), (5 4 3), ... (4 4 4)....
Hyperbolic triangles (''p q r'') define compact uniform hyperbolic tilings. In the limit any of ''p'', ''q'' or ''r'' can be replaced by ∞ which defines a paracompact hyperbolic triangle and creates uniform tilings with either infinite faces (called apeirogon
In geometry, an apeirogon () or infinite polygon is a polygon with an infinite number of sides. Apeirogons are the rank 2 case of infinite polytopes. In some literature, the term "apeirogon" may refer only to the regular apeirogon, with an in ...
s) that converge to a single ideal point, or infinite vertex figure with infinitely many edges diverging from the same ideal point.
More symmetry families can be constructed from fundamental domains that are not triangles.
Selected families of uniform tilings are shown below (using the Poincaré disk model
In geometry, the Poincaré disk model, also called the conformal disk model, is a model of 2-dimensional hyperbolic geometry in which all points are inside the unit disk, and straight lines are either circular arcs contained within the disk t ...
for the hyperbolic plane). Three of them – (7 3 2), (5 4 2), and (4 3 3) – and no others, are ''minimal'' in the sense that if any of their defining numbers is replaced by a smaller integer the resulting pattern is either Euclidean or spherical rather than hyperbolic; conversely, any of the numbers can be increased (even to infinity) to generate other hyperbolic patterns.
Each uniform tiling generates a dual uniform tiling, with many of them also given below.
Right triangle domains
There are infinitely many (''p q'' 2)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 triang ...
families. This article shows the regular tiling up to ''p'', ''q'' = 8, and uniform tilings in 12 families: (7 3 2), (8 3 2), (5 4 2), (6 4 2), (7 4 2), (8 4 2), (5 5 2), (6 5 2) (6 6 2), (7 7 2), (8 6 2), and (8 8 2).
Regular hyperbolic tilings
The simplest set of hyperbolic tilings are regular tilings , which exist in a matrix with the regular polyhedra and Euclidean tilings. The regular tiling has a dual tiling across the diagonal axis of the table. Self-dual tilings , , , , etc. pass down the diagonal of the table.(7 3 2)
The (7 3 2)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 triang ...
, Coxeter group
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean ref ...
,3 orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space that is locally a finite group quotient of a Euclidean space.
D ...
(*732) contains these uniform tilings:
(8 3 2)
The (8 3 2)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 triang ...
, Coxeter group
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean ref ...
,3 orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space that is locally a finite group quotient of a Euclidean space.
D ...
(*832) contains these uniform tilings:
(5 4 2)
The (5 4 2)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 triang ...
, Coxeter group
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean ref ...
,4 orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space that is locally a finite group quotient of a Euclidean space.
D ...
(*542) contains these uniform tilings:
(6 4 2)
The (6 4 2) triangle group,Coxeter group
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean ref ...
,4 orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space that is locally a finite group quotient of a Euclidean space.
D ...
(*642) contains these uniform tilings. Because all the elements are even, each uniform dual tiling one represents the fundamental domain of a reflective symmetry: *3333, *662, *3232, *443, *222222, *3222, and *642 respectively. As well, all 7 uniform tiling can be alternated, and those have duals as well.
(7 4 2)
The (7 4 2) triangle group,Coxeter group
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean ref ...
,4 orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space that is locally a finite group quotient of a Euclidean space.
D ...
(*742) contains these uniform tilings:
(8 4 2)
The (8 4 2) triangle group, Coxeter group ,4orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space that is locally a finite group quotient of a Euclidean space.
D ...
(*842) contains these uniform tilings. Because all the elements are even, each uniform dual tiling one represents the fundamental domain of a reflective symmetry: *4444, *882, *4242, *444, *22222222, *4222, and *842 respectively. As well, all 7 uniform tiling can be alternated, and those have duals as well.
(5 5 2)
The (5 5 2) triangle group,Coxeter group
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean ref ...
,5 orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space that is locally a finite group quotient of a Euclidean space.
D ...
(*552) contains these uniform tilings:
(6 5 2)
The (6 5 2) triangle group, Coxeter group ,5orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space that is locally a finite group quotient of a Euclidean space.
D ...
(*652) contains these uniform tilings:
(6 6 2)
The (6 6 2)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 triang ...
, Coxeter group
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean ref ...
,6 orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space that is locally a finite group quotient of a Euclidean space.
D ...
(*662) contains these uniform tilings:
(8 6 2)
The (8 6 2) triangle group, Coxeter group ,6orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space that is locally a finite group quotient of a Euclidean space.
D ...
(*862) contains these uniform tilings.
(7 7 2)
The (7 7 2) triangle group, Coxeter group ,7orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space that is locally a finite group quotient of a Euclidean space.
D ...
(*772) contains these uniform tilings:
(8 8 2)
The (8 8 2)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 triang ...
, Coxeter group
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean ref ...
,8 orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space that is locally a finite group quotient of a Euclidean space.
D ...
(*882) contains these uniform tilings:
General triangle domains
There are infinitely many generaltriangle 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 triang ...
families (''p q r''). This article shows uniform tilings in 9 families: (4 3 3), (4 4 3), (4 4 4), (5 3 3), (5 4 3), (5 4 4), (6 3 3), (6 4 3), and (6 4 4).
(4 3 3)
The (4 3 3)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 triang ...
, Coxeter group
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean ref ...
4,3,3) orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space that is locally a finite group quotient of a Euclidean space.
D ...
(*433) contains these uniform tilings. Without right angles in the fundamental triangle, the Wythoff construction
In geometry, a Wythoff construction, named after mathematician Willem Abraham Wythoff, is a method for constructing a uniform polyhedron or plane tiling. It is often referred to as Wythoff's kaleidoscopic construction.
Construction process ...
s are slightly different. For instance in the (4,3,3) triangle family, the ''snub'' form has six polygons around a vertex and its dual has hexagons rather than pentagons. In general the vertex figure
In geometry, a vertex figure, broadly speaking, is the figure exposed when a corner of a general -polytope is sliced off.
Definitions
Take some corner or Vertex (geometry), vertex of a polyhedron. Mark a point somewhere along each connected ed ...
of a snub tiling in a triangle (''p'',''q'',''r'') is p. 3.q.3.r.3, being 4.3.3.3.3.3 in this case below.
(4 4 3)
The (4 4 3)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 triang ...
, Coxeter group
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean ref ...
4,4,3) orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space that is locally a finite group quotient of a Euclidean space.
D ...
(*443) contains these uniform tilings.
(4 4 4)
The (4 4 4)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 triang ...
, Coxeter group
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean ref ...
4,4,4) orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space that is locally a finite group quotient of a Euclidean space.
D ...
(*444) contains these uniform tilings.
(5 3 3)
The (5 3 3)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 triang ...
, Coxeter group
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean ref ...
5,3,3) orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space that is locally a finite group quotient of a Euclidean space.
D ...
(*533) contains these uniform tilings.
(5 4 3)
The (5 4 3)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 triang ...
, Coxeter group
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean ref ...
5,4,3) orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space that is locally a finite group quotient of a Euclidean space.
D ...
(*543) contains these uniform tilings.
(5 4 4)
The (5 4 4)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 triang ...
, Coxeter group
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean ref ...
5,4,4) orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space that is locally a finite group quotient of a Euclidean space.
D ...
(*544) contains these uniform tilings.
(6 3 3)
The (6 3 3)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 triang ...
, Coxeter group
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean ref ...
6,3,3) orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space that is locally a finite group quotient of a Euclidean space.
D ...
(*633) contains these uniform tilings.
(6 4 3)
The (6 4 3)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 triang ...
, Coxeter group
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean ref ...
6,4,3) orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space that is locally a finite group quotient of a Euclidean space.
D ...
(*643) contains these uniform tilings.
(6 4 4)
The (6 4 4)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 triang ...
, Coxeter group
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean ref ...
6,4,4) orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space that is locally a finite group quotient of a Euclidean space.
D ...
(*644) contains these uniform tilings.
Summary of tilings with finite triangular fundamental domains
:Reference: Template:Finite triangular hyperbolic tilings tableQuadrilateral domains
(3 2 2 2)
Quadrilateral fundamental domains also exist in the hyperbolic plane, with the *3222 orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space that is locally a finite group quotient of a Euclidean space.
D ...
( ��,3,∞Coxeter notation) as the smallest family. There are 9 generation locations for uniform tiling within quadrilateral domains. The vertex figure can be extracted from a fundamental domain as 3 cases (1) Corner (2) Mid-edge, and (3) Center. When generating points are corners adjacent to order-2 corners, degenerate digon
In geometry, a bigon, digon, or a ''2''-gon, is a polygon with two sides (edge (geometry), edges) and two Vertex (geometry), vertices. Its construction is Degeneracy (mathematics), degenerate in a Euclidean plane because either the two sides wou ...
faces at those corners exist but can be ignored. Snub and alternated uniform tilings can also be generated (not shown) if a vertex figure contains only even-sided faces.
Coxeter diagram
Harold Scott MacDonald "Donald" Coxeter (9 February 1907 – 31 March 2003) was a British-Canadian geometer and mathematician. He is regarded as one of the greatest geometers of the 20th century.
Coxeter was born in England and educated ...
s of quadrilateral domains are treated as a degenerate tetrahedron
In geometry, a tetrahedron (: tetrahedra or tetrahedrons), also known as a triangular pyramid, is a polyhedron composed of four triangular Face (geometry), faces, six straight Edge (geometry), edges, and four vertex (geometry), vertices. The tet ...
graph with 2 of 6 edges labeled as infinity, or as dotted lines. A logical requirement of at least one of two parallel mirrors being active limits the uniform cases to 9, and other ringed patterns are not valid.
(3 2 3 2)
Ideal triangle domains
There are infinitely manytriangle 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 triang ...
families including infinite orders. This article shows uniform tilings in 9 families: (∞ 3 2), (∞ 4 2), (∞ ∞ 2), (∞ 3 3), (∞ 4 3), (∞ 4 4), (∞ ∞ 3), (∞ ∞ 4), and (∞ ∞ ∞).
(∞ 3 2)
The ideal (∞ 3 2)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 triang ...
, Coxeter group
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean ref ...
��,3 orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space that is locally a finite group quotient of a Euclidean space.
D ...
(*∞32) contains these uniform tilings:
(∞ 4 2)
The ideal (∞ 4 2)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 triang ...
, Coxeter group
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean ref ...
��,4 orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space that is locally a finite group quotient of a Euclidean space.
D ...
(*∞42) contains these uniform tilings:
(∞ 5 2)
The ideal (∞ 5 2)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 triang ...
, Coxeter group
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean ref ...
��,5 orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space that is locally a finite group quotient of a Euclidean space.
D ...
(*∞52) contains these uniform tilings:
(∞ ∞ 2)
The ideal (∞ ∞ 2)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 triang ...
, Coxeter group
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean ref ...
��,∞ orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space that is locally a finite group quotient of a Euclidean space.
D ...
(*∞∞2) contains these uniform tilings:
(∞ 3 3)
The ideal (∞ 3 3)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 triang ...
, Coxeter group
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean ref ...
∞,3,3) orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space that is locally a finite group quotient of a Euclidean space.
D ...
(*∞33) contains these uniform tilings.
(∞ 4 3)
The ideal (∞ 4 3)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 triang ...
, Coxeter group
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean ref ...
∞,4,3) orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space that is locally a finite group quotient of a Euclidean space.
D ...
(*∞43) contains these uniform tilings:
(∞ 4 4)
The ideal (∞ 4 4)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 triang ...
, Coxeter group
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean ref ...
∞,4,4) orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space that is locally a finite group quotient of a Euclidean space.
D ...
(*∞44) contains these uniform tilings.
(∞ ∞ 3)
The ideal (∞ ∞ 3)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 triang ...
, Coxeter group
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean ref ...
∞,∞,3) orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space that is locally a finite group quotient of a Euclidean space.
D ...
(*∞∞3) contains these uniform tilings.
(∞ ∞ 4)
The ideal (∞ ∞ 4)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 triang ...
, Coxeter group
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean ref ...
∞,∞,4) orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space that is locally a finite group quotient of a Euclidean space.
D ...
(*∞∞4) contains these uniform tilings.
(∞ ∞ ∞)
The ideal (∞ ∞ ∞)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 triang ...
, Coxeter group
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean ref ...
∞,∞,∞) orbifold
In the mathematical disciplines of topology and geometry, an orbifold (for "orbit-manifold") is a generalization of a manifold. Roughly speaking, an orbifold is a topological space that is locally a finite group quotient of a Euclidean space.
D ...
(*∞∞∞) contains these uniform tilings.
Summary of tilings with infinite triangular fundamental domains
For a table of all uniform hyperbolic tilings with fundamental domains (''p q r''), where 2 ≤ ''p'',''q'',''r'' ≤ 8, and one or more as ∞.References
*John Horton Conway
John Horton Conway (26 December 1937 – 11 April 2020) was an English mathematician. He was active in the theory of finite groups, knot theory, number theory, combinatorial game theory and coding theory. He also made contributions to many b ...
, Heidi Burgiel, Chaim Goodman-Strauss, ''The Symmetries of Things'' 2008, (Chapter 19, The Hyperbolic Archimedean Tessellations)
External links
* * * *The EPINET project explores 2D hyperbolic (H²) tilings
{{Tessellation
Hyperbolic tilings
In hyperbolic geometry, a uniform hyperbolic tiling (or regular, quasiregular or semiregular hyperbolic tiling) is an edge-to-edge filling of the hyperbolic plane which has regular polygons as Face (geometry), faces and is vertex-transitive (Tran ...
Uniform tilings
Mathematics-related lists