View source for Uniform tilings in hyperbolic plane

{{Short description|Symmetric subdivision in hyperbolic geometry}}
{| class=wikitable align=right width=300
|+ Examples of uniform tilings
|-
!Spherical
!Euclidean 
!colspan=4|Hyperbolic
|- align=center
|[[File:Uniform tiling 532-t0.png|100px]]<BR>[[Regular dodecahedron|{5,3}]]<BR>5.5.5<BR>{{CDD|node_1|5|node|3|node}}
|[[File:Uniform tiling 63-t0.svg|100px]]<BR>[[hexagonal tiling|{6,3}]]<BR>6.6.6<BR>{{CDD|node_1|6|node|3|node}}
|[[File:Heptagonal tiling.svg|100px]]<BR>[[heptagonal tiling|{7,3}]]<BR>7.7.7<BR>{{CDD|node_1|7|node|3|node}}
|[[File:H2-I-3-dual.svg|100px]]<BR>[[Order-3 apeirogonal tiling|{∞,3}]]<BR>∞.∞.∞<BR>{{CDD|node_1|infin|node|3|node}}
|-
|colspan=4|''[[Regular tiling]]s'' {p,q} of the sphere, Euclidean plane, and hyperbolic plane using regular pentagonal, hexagonal and heptagonal and apeirogonal faces.
|- align=center
|[[File:Uniform tiling 532-t01.png|100px]]<BR>[[truncated dodecahedron|t{5,3}]]<BR>10.10.3<BR>{{CDD|node_1|5|node_1|3|node}}
|[[File:Uniform tiling 63-t01.png|100px]]<BR>[[truncated hexagonal tiling|t{6,3}]]<BR>12.12.3<BR>{{CDD|node_1|6|node_1|3|node}}
|[[File:Truncated heptagonal tiling.svg|100px]]<BR>[[Truncated heptagonal tiling|t{7,3}]]<BR>14.14.3<BR>{{CDD|node_1|7|node_1|3|node}}
|[[File:H2 tiling 23i-3.png|100px]]<BR>[[Truncated apeirogonal tiling|t{∞,3}]]<BR>∞.∞.3<BR>{{CDD|node_1|infin|node_1|3|node}}
|-
|colspan=4|[[Truncation (geometry)|Truncated tilings]] have 2p.2p.q vertex figures from regular {p,q}.
|- align=center
|[[File:Uniform tiling 532-t1.png|100px]]<BR>[[icosidodecahedron|r{5,3}]]<BR>3.5.3.5<BR>{{CDD|node|5|node_1|3|node}}
|[[File:Uniform tiling 63-t1.png|100px]]<BR>[[trihexagonal tiling|r{6,3}]]<BR>3.6.3.6<BR>{{CDD|node|6|node_1|3|node}}
|[[File:Triheptagonal tiling.svg|100px]]<BR>[[triheptagonal tiling|r{7,3}]]<BR>3.7.3.7<BR>{{CDD|node|7|node_1|3|node}}
|[[File:H2 tiling 23i-2.png|100px]]<BR>r{∞,3}<BR>3.∞.3.∞<BR>{{CDD|node|infin|node_1|3|node}}
|-
|colspan=4|''[[Quasiregular tiling]]s'' are similar to regular tilings but alternate two types of regular polygon around each vertex.
|- align=center
|[[File:Uniform tiling 532-t02.png|100px]]<BR>[[rhombicosidodecahedron|rr{5,3}]]<BR>3.4.5.4<BR>{{CDD|node_1|5|node|3|node_1}}
|[[File:Uniform tiling 63-t02.png|100px]]<BR>[[Rhombitrihexagonal tiling|rr{6,3}]]<BR>3.4.6.4<BR>{{CDD|node_1|6|node|3|node_1}}
|[[File:Rhombitriheptagonal tiling.svg|100px]]<BR>[[Rhombitriheptagonal tiling|rr{7,3}]]<BR>3.4.7.4<BR>{{CDD|node_1|7|node|3|node_1}}
|[[File:H2 tiling 23i-5.png|100px]]<BR>[[Rhombitriapeirogonal tiling|rr{∞,3}]]<BR>3.4.∞.4<BR>{{CDD|node_1|infin|node|3|node_1}}
|-
|colspan=4|''[[Semiregular tiling]]s'' have more than one type of regular polygon.
|- align=center
|[[File:Uniform tiling 532-t012.png|100px]]<BR>[[truncated icosidodecahedron|tr{5,3}]]<BR>4.6.10<BR>{{CDD|node_1|5|node_1|3|node_1}}
|[[File:Uniform tiling 63-t012.svg|100px]]<BR>[[truncated trihexagonal tiling|tr{6,3}]]<BR>4.6.12<BR>{{CDD|node_1|6|node_1|3|node_1}}
|[[File:Truncated triheptagonal tiling.svg|100px]]<BR>[[truncated triheptagonal tiling|tr{7,3}]]<BR>4.6.14<BR>{{CDD|node_1|7|node_1|3|node_1}}
|[[File:H2 tiling 23i-7.png|100px]]<BR>[[truncated triapeirogonal tiling|tr{∞,3}]]<BR>4.6.∞<BR>{{CDD|node_1|infin|node_1|3|node_1}}
|-
|colspan=4|''[[Omnitruncated tiling]]s'' have three or more even-sided regular polygons.
|}<div style="font-size:75%;display:inline-block;float:right;clear:right;">
{| class="wikitable collapsible collapsed" align=right
|+ Construction of Archimedean Solids and Tessellations
!colspan=2|Symmetry
!colspan=2|[[Dihedral symmetry in three dimensions|Triangular dihedral symmetry]]<br />[[File:Sphere symmetry group d3h.png|100px]]
![[Tetrahedral symmetry|Tetrahedral]]<br />[[File:Tetrahedral reflection domains.png|100px]]
!colspan=2|[[Octahedral symmetry|Octahedral]]<br />[[File:Octahedral reflection domains.png|100px]]
!colspan=2|[[Icosahedral symmetry|Icosahedral]]<br />[[File:Icosahedral reflection domains.png|100px]]
!colspan=2|[[p6m symmetry]]<br />[[File:Tiling Dual Semiregular V4-6-12 Bisected Hexagonal.svg|100px]]
!colspan=2|[[Coxeter–Dynkin diagram#Hyperbolic groups in H2|[3,7] symmetry]]<br />[[File:H2checkers 237.png|100px]]
!colspan=2|[[Coxeter–Dynkin diagram#Hyperbolic groups in H2|[3,8] symmetry]]<br />[[File:H2checkers 238.png|100px]]
|-
! Starting solid<br />Operation||Symbol<br />{p,q}<br />{{CDD|node_1|p|node|q|node}}
! [[Hosohedron|Triangular hosohedron]]<br />{2,3}<br />[[File:Spherical trigonal hosohedron.svg|50px]] || [[Dihedron|Triangular dihedron]]<br />{3,2}<br />[[File:Trigonal dihedron.svg|50px]] || [[Tetrahedron]]<br />{3,3}<br />[[File:Uniform polyhedron-33-t0.png|50px]] || [[Cube]]<br />{4,3}<br />[[File:Uniform polyhedron-43-t0.svg|50px]] || [[Octahedron]]<br />{3,4}<br />[[File:Uniform polyhedron-43-t2.svg|50px]] || [[Dodecahedron]]<br />{5,3}<br />[[File:Uniform polyhedron-53-t0.svg|50px]] || [[Regular icosahedron|Icosahedron]]<br />{3,5}<br />[[File:Uniform polyhedron-53-t2.svg|50px]] || [[Hexagonal tiling]]<br />{6,3}<br />[[File:Uniform tiling 63-t0.svg|50px]] || [[Triangular tiling]]<br />{3,6}<br />[[File:Uniform tiling 63-t2.svg|50px]] || [[Heptagonal tiling]]<br />{7,3}<br />[[File:Heptagonal tiling.svg|50px]] || [[Order-7 triangular tiling]]<br />{3,7}<br />[[File:Order-7 triangular tiling.svg|50px]] || [[Octagonal tiling]]<br />{8,3}<br />[[File:H2 tiling 238-1.png|50px]] || [[Order-8 triangular tiling]]<br />{3,8}<br />[[File:H2 tiling 238-4.png|50px]]
|- align=center
! [[truncation (geometry)|Truncation]] (t)||t{p,q}<br />{{CDD|node_1|p|node_1|q|node}}
| [[triangular prism]]<br />[[File:Spherical triangular prism.svg|50px]] || [[truncated triangular dihedron]]<br />[[File:Hexagonal_dihedron.svg|50px]]<span style="font-size:70%">(Half of the "edges" count as degenerate [[digon|digon faces]]. The other half are normal edges.)</span> || [[truncated tetrahedron]]<br />[[File:Uniform polyhedron-33-t01.png|50px]] || [[truncated cube]]<br />[[File:Uniform polyhedron-43-t01.svg|50px]] || [[truncated octahedron]]<br />[[File:Uniform polyhedron-43-t12.svg|50px]] || [[truncated dodecahedron]]<br />[[File:Uniform polyhedron-53-t01.svg|50px]] || [[truncated icosahedron]]<br />[[File:Uniform polyhedron-53-t12.svg|50px]] || [[Truncated hexagonal tiling]]<br />[[File:Uniform tiling 63-t01.svg|50px]] || [[Hexagonal_tiling|Truncated triangular tiling]]<br />[[File:Uniform tiling 63-t12.svg|50px]] || [[Truncated heptagonal tiling]]<br />[[File:Truncated heptagonal tiling.svg|50px]] || [[Truncated order-7 triangular tiling]]<br />[[File:Truncated order-7 triangular tiling.svg|50px]]  || [[Truncated octagonal tiling]]<br />[[File:H2 tiling 238-3.png|50px]] || [[Truncated order-8 triangular tiling]]<br />[[File:H2 tiling 238-6.png|50px]]
|- align=center
! [[Rectification (geometry)|Rectification]] (r)<br />Ambo (a)||r{p,q}<br />{{CDD|node|p|node_1|q|node}}
|colspan=2|  [[tridihedron]]<br />[[File:Trigonal_dihedron.svg|50px]]<span style="font-size:70%">(All of the "edges" count as degenerate [[digon|digon faces]].)</span> ||[[tetratetrahedron]]<br />[[File:Uniform polyhedron-33-t1.svg|50px]] ||colspan=2| [[cuboctahedron]]<br />[[File:Uniform polyhedron-43-t1.svg|50px]] ||colspan=2| [[icosidodecahedron]]<br />[[File:Uniform polyhedron-53-t1.svg|50px]] ||colspan=2| [[Trihexagonal tiling]]<br />[[File:Uniform polyhedron-63-t1.svg|50px]] ||colspan=2| [[Triheptagonal tiling]]<br />[[File:Triheptagonal tiling.svg|50px]] ||colspan=2| [[Trioctagonal tiling]]<br />[[File:H2 tiling 238-2.png|50px]]
|- align=center
! [[Bitruncation]] (2t)<br />Dual kis (dk)||2t{p,q}<br />{{CDD|node|p|node_1|q|node_1}}
| truncated triangular dihedron<br />[[File:Hexagonal_dihedron.svg|50px]]<span style="font-size:70%">(Half of the "edges" count as degenerate [[digon|digon faces]]. The other half are normal edges.)</span> || triangular prism<br />[[File:Spherical triangular prism.svg|50px]] || truncated tetrahedron<br />[[File:Uniform polyhedron-33-t12.png|50px]] || truncated octahedron<br />[[File:Uniform polyhedron-43-t12.svg|50px]] || truncated cube<br />[[File:Uniform polyhedron-43-t01.svg|50px]] || truncated icosahedron<br />[[File:Uniform polyhedron-53-t12.svg|50px]] || truncated dodecahedron<br />[[File:Uniform polyhedron-53-t01.svg|50px]] || truncated triangular tiling<br />[[File:Uniform tiling 63-t12.svg|50px]] || truncated hexagonal tiling<br />[[File:Uniform tiling 63-t01.png|50px]] || Truncated order-7 triangular tiling<br />[[File:Truncated order-7 triangular tiling.svg|50px]] || Truncated heptagonal tiling<br />[[File:Truncated heptagonal tiling.svg|50px]] || Truncated order-8 triangular tiling<br />[[File:H2 tiling 238-6.png|50px]] || Truncated octagonal tiling<br />[[File:H2 tiling 238-3.png|50px]]
|- align=center
! [[Birectification]] (2r)<br />[[Dual polyhedron|Dual]] (d)||2r{p,q}<br />{{CDD|node|p|node|q|node_1}}
| triangular dihedron<br />{3,2}<br />[[File:Trigonal dihedron.svg|50px]] || triangular hosohedron<br />{2,3}<br />[[File:Spherical trigonal hosohedron.svg|50px]] || tetrahedron<br />[[File:Uniform polyhedron-33-t2.png|50px]]|| octahedron<br />[[File:Uniform polyhedron-43-t2.svg|50px]] || cube<br />[[File:Uniform polyhedron-43-t0.svg|50px]] || icosahedron<br />[[File:Uniform polyhedron-53-t2.svg|50px]] || dodecahedron<br />[[File:Uniform polyhedron-53-t0.svg|50px]] || triangular tiling<br />[[File:Uniform tiling 63-t2.svg|50px]] || hexagonal tiling<br />[[File:Uniform tiling 63-t0.svg|50px]] || Order-7 triangular tiling<br />[[File:Order-7 triangular tiling.svg|50px]] || Heptagonal tiling<br />[[File:Heptagonal tiling.svg|50px]] || Order-8 triangular tiling<br />[[File:H2 tiling 238-4.png|50px]] || Octagonal tiling<br />[[File:H2 tiling 238-1.png|50px]]
|- align=center
! [[Cantellation]] (rr)<br />[[expansion (geometry)|Expansion]] (e)||rr{p,q}<br />{{CDD|node_1|p|node|q|node_1}}
| colspan=2|[[triangular prism]]<br />[[File:Spherical triangular prism.svg|50px]]<span style="font-size:70%">(The "edge" between each pair of tetragons counts as a degenerate [[digon|digon face]]. The other edges (the ones between a trigon and a tetragon) are normal edges.)</span> || [[rhombitetratetrahedron]]<br />[[File:Uniform polyhedron-33-t02.svg|50px]] ||colspan=2| [[rhombicuboctahedron]]<br />[[File:Uniform polyhedron-43-t02.png|50px]] || colspan=2|[[rhombicosidodecahedron]] <br />[[File:Uniform polyhedron-53-t02.png|50px]] || colspan=2|[[rhombitrihexagonal tiling]]<br />[[File:Uniform tiling 63-t02.svg|50px]] || colspan=2|[[Rhombitriheptagonal tiling]] <br />[[File:H2 tiling 237-5.png|50px]] || colspan=2|[[Rhombitrioctagonal tiling]] <br />[[File:H2 tiling 238-5.png|50px]]
|- align=center
! Snub rectified (sr)<br />[[Snub (geometry)|Snub]] (s)||sr{p,q}<br />{{CDD|node_h|p|node_h|q|node_h}}
|colspan=2| [[triangular antiprism]]<br />[[File:Trigonal antiprism.png|50px]]<span style="font-size:70%">(Three yellow-yellow "edges", no two of which share any vertices, count as degenerate [[digon|digon faces]]. The other edges are normal edges.)</span> || [[snub tetratetrahedron]]<br />[[File:Uniform polyhedron-33-s012.svg|50px]] ||colspan=2| [[snub cuboctahedron]]<br />[[File:Uniform polyhedron-43-s012.png|50px]] ||colspan=2| [[snub icosidodecahedron]]<br />[[File:Uniform polyhedron-53-s012.png|50px]] ||colspan=2| [[snub trihexagonal tiling]]<br />[[File:Uniform tiling 63-snub.svg|50px]] ||colspan=2| [[Snub triheptagonal tiling]]<br />[[File:Uniform tiling 73-snub.png|50px]] ||colspan=2| [[Snub trioctagonal tiling]]<br />[[File:Uniform tiling 83-snub.png|50px]]
|- align=center
! [[Cantitruncation]] (tr)<br />Bevel (b)||tr{p,q}<br />{{CDD|node_1|p|node_1|q|node_1}}
|colspan=2| [[hexagonal prism]]<br />[[File:Truncated triangle prism.png|50px]] || [[truncated tetratetrahedron]]<br />[[File:Uniform polyhedron-33-t012.png|50px]] ||colspan=2| [[truncated cuboctahedron]]<br />[[File:Uniform polyhedron-43-t012.png|50px]] ||colspan=2| [[truncated icosidodecahedron]]<br />[[File:Uniform polyhedron-53-t012.png|50px]] ||colspan=2| [[truncated trihexagonal tiling]]<br />[[File:Uniform tiling 63-t012.svg|50px]] ||colspan=2| [[Truncated triheptagonal tiling]]<br />[[File:H2 tiling 237-7.png|50px]] ||colspan=2| [[Truncated trioctagonal tiling]]<br />[[File:H2 tiling 238-7.png|50px]]
|}</div>
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 polygon]]s as [[Face (geometry)|faces]] and is [[vertex-transitive]] ([[Transitive group action|transitive]] on its [[vertex (geometry)|vertices]], isogonal, i.e. there is an [[isometry]] mapping any vertex onto any other). It follows that all vertices are [[Congruence (geometry)|congruent]], and the [[tessellation|tiling]] has a high degree of rotational and translational [[symmetry]].

Uniform tilings can be identified by their [[vertex configuration]], 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]]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]] {7,3}.

Uniform tilings may be [[Regular polyhedron|regular]] (if also face- and edge-transitive), quasi-regular (if edge-transitive but not face-transitive) or [[Semiregular polyhedron|semi-regular]] (if neither edge- nor face-transitive). For right triangles (''p''&nbsp;''q''&nbsp;2), there are two regular tilings, represented by [[Schläfli symbol]] {''p'',''q''} and {''q'',''p''}.

== Wythoff construction ==
[[Image:Wythoffian construction diagram.svg|400px|thumb|Example Wythoff construction with right triangles (''r'' = 2) and the 7 generator points. Lines to the active mirrors are colored red, yellow, and blue with the 3 nodes opposite them as associated by the Wythoff symbol.]]
There are an infinite number of uniform tilings based on the [[Schwarz triangle#Triangles for the hyperbolic plane|Schwarz triangle]]s (''p q r'') where {{sfrac|''p''}} + {{sfrac|''q''}} + {{sfrac|''r''}} < 1, where ''p'', ''q'', ''r'' are each orders of reflection symmetry at three points of the [[fundamental domain triangle]] – the symmetry group is a hyperbolic [[triangle group]].

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 (geometry)|alternation]] operation, deleting alternate vertices from the highest form with all mirrors active.

Families with ''r'' = 2 contain [[List of regular polytopes#Hyperbolic tilings|regular hyperbolic tilings]], defined by a [[Hyperbolic Coxeter group|Coxeter group]] such as [7,3], [8,3], [9,3], ... [5,4], [6,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]]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]] 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 tessellation|dual uniform tiling]], with many of them also given below.

== Right triangle domains ==
There are infinitely many (''p q'' 2) [[triangle group]] 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 ===
{{Commons category|Regular tilings of the hyperbolic plane|Regular hyperbolic tilings}}
The simplest set of hyperbolic tilings are regular tilings {''p'',''q''}, which exist in a matrix with the regular polyhedra and Euclidean tilings. The regular tiling {''p'',''q''} has a dual tiling {''q'',''p''} across the diagonal axis of the table. Self-dual tilings {2,2}, [[tetrahedron|{3,3}]], [[square tiling|{4,4}]], [[Order-5 pentagonal tiling|{5,5}]], etc. pass down the diagonal of the table.
{{Regular hyperbolic tiling table}}

=== (7 3 2) ===
The [[732 symmetry|(7 3 2)]] [[triangle group]], [[Hyperbolic Coxeter group|Coxeter group]] [7,3], [[Orbifold notation#Hyperbolic plane|orbifold]] (*732) contains these uniform tilings:
{{Heptagonal tiling table}}

=== (8 3 2) ===
The [[832 symmetry|(8 3 2)]] [[triangle group]], [[Hyperbolic Coxeter group|Coxeter group]] [8,3], [[Orbifold notation#Hyperbolic plane|orbifold]] (*832) contains these uniform tilings:
{{Octagonal tiling table}}

=== (5 4 2) ===
The [[542 symmetry|(5 4 2)]] [[triangle group]], [[Hyperbolic Coxeter group|Coxeter group]] [5,4], [[Orbifold notation#Hyperbolic plane|orbifold]] (*542) contains these uniform tilings:
{{Order 5-4 tiling table}}

=== (6 4 2) ===
The [[642 symmetry|(6 4 2)]] triangle group, [[Hyperbolic Coxeter group|Coxeter group]] [6,4], [[Orbifold notation#Hyperbolic plane|orbifold]] (*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.
{{Order 6-4 tiling table}}

=== (7 4 2) ===
The [[742 symmetry|(7 4 2)]] triangle group, [[Hyperbolic Coxeter group|Coxeter group]] [7,4], [[Orbifold notation#Hyperbolic plane|orbifold]] (*742) contains these uniform tilings:
{{Order 7-4 tiling table}}

=== (8 4 2) ===
The [[842 symmetry|(8 4 2)]] triangle group, Coxeter group [8,4], [[Orbifold notation#Hyperbolic plane|orbifold]] (*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.
{{Order 8-4 tiling table}}

=== (5 5 2) ===
The [[552 symmetry|(5 5 2)]] triangle group, [[Hyperbolic Coxeter group|Coxeter group]] [5,5], [[Orbifold notation#Hyperbolic plane|orbifold]] (*552) contains these uniform tilings:
{{Order 5-5 tiling table}}

=== (6 5 2) ===
The [[652 symmetry|(6 5 2)]] triangle group, Coxeter group [6,5], [[Orbifold notation#Hyperbolic plane|orbifold]] (*652) contains these uniform tilings:
{{Order 6-5 tiling table}}

=== (6 6 2) ===
The [[662 symmetry|(6 6 2)]] [[triangle group]], [[Hyperbolic Coxeter group|Coxeter group]] [6,6], [[Orbifold notation#Hyperbolic plane|orbifold]] (*662) contains these uniform tilings:
{{Order 6-6 tiling table}}

=== (8 6 2) ===
The [[862 symmetry|(8 6 2)]] triangle group, Coxeter group [8,6], [[Orbifold notation#Hyperbolic plane|orbifold]] (*862) contains these uniform tilings.
{{Order 8-6 tiling table}}

=== (7 7 2) ===
The [[772 symmetry|(7 7 2)]] triangle group, Coxeter group [7,7], [[Orbifold notation#Hyperbolic plane|orbifold]] (*772) contains these uniform tilings:
{{Order 7-7 tiling table}}

=== (8 8 2) ===
The [[882 symmetry|(8 8 2)]] [[triangle group]], [[Hyperbolic Coxeter group|Coxeter group]] [8,8], [[Orbifold notation#Hyperbolic plane|orbifold]] (*882) contains these uniform tilings:
{{Order 8-8 tiling table}}

== General triangle domains ==
There are infinitely many general [[triangle group]] 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 [[433 symmetry|(4 3 3)]] [[triangle group]], [[Hyperbolic Coxeter group|Coxeter group]] [(4,3,3)], [[Orbifold notation#Hyperbolic plane|orbifold]] (*433) contains these uniform tilings. Without right angles in the fundamental triangle, the [[Wythoff construction]]s are slightly different. For instance in the (4,3,3) [[triangle group|triangle family]], the ''snub'' form has six polygons around a vertex and its dual has hexagons rather than pentagons. In general the [[vertex figure]] of a snub tiling in a triangle (''p'',''q'',''r'') is p.&nbsp;3.q.3.r.3, being 4.3.3.3.3.3 in this case below.

{{Order 4-3-3 tiling table}}

=== (4 4 3) ===
The [[443 symmetry|(4 4 3)]] [[triangle group]], [[Hyperbolic Coxeter group|Coxeter group]] [(4,4,3)], [[Orbifold notation#Hyperbolic plane|orbifold]] (*443) contains these uniform tilings. 
{{Order 4-4-3 tiling table}}

=== (4 4 4) ===
The [[444 symmetry|(4 4 4)]] [[triangle group]], [[Hyperbolic Coxeter group|Coxeter group]] [(4,4,4)], [[Orbifold notation#Hyperbolic plane|orbifold]] (*444) contains these uniform tilings. 
{{Order 4-4-4 tiling table}}

=== (5 3 3) ===
The [[533 symmetry|(5 3 3)]] [[triangle group]], [[Hyperbolic Coxeter group|Coxeter group]] [(5,3,3)], [[Orbifold notation#Hyperbolic plane|orbifold]] (*533) contains these uniform tilings.

{{Order 5-3-3 tiling table}}

=== (5 4 3) ===
The [[543 symmetry|(5 4 3)]] [[triangle group]], [[Hyperbolic Coxeter group|Coxeter group]] [(5,4,3)], [[Orbifold notation#Hyperbolic plane|orbifold]] (*543) contains these uniform tilings.

{{Order 5-4-3 tiling table}}

=== (5 4 4) ===
The [[544 symmetry|(5 4 4)]] [[triangle group]], [[Hyperbolic Coxeter group|Coxeter group]] [(5,4,4)], [[Orbifold notation#Hyperbolic plane|orbifold]] (*544) contains these uniform tilings.

{{Order 5-4-4 tiling table}}

=== (6 3 3) ===
The [[633 symmetry|(6 3 3)]] [[triangle group]], [[Hyperbolic Coxeter group|Coxeter group]] [(6,3,3)], [[Orbifold notation#Hyperbolic plane|orbifold]] (*633) contains these uniform tilings.

{{Order 6-3-3 tiling table}}

=== (6 4 3) ===
The [[643 symmetry|(6 4 3)]] [[triangle group]], [[Hyperbolic Coxeter group|Coxeter group]] [(6,4,3)], [[Orbifold notation#Hyperbolic plane|orbifold]] (*643) contains these uniform tilings.

{{Order 6-4-3 tiling table}}

=== (6 4 4) ===
The [[644 symmetry|(6 4 4)]] [[triangle group]], [[Hyperbolic Coxeter group|Coxeter group]] [(6,4,4)], [[Orbifold notation#Hyperbolic plane|orbifold]] (*644) contains these uniform tilings.

{{Order 6-4-4 tiling table}}

== Summary of tilings with finite triangular fundamental domains ==
:Reference: [[Template:Finite triangular hyperbolic tilings table]]

== Quadrilateral domains==
[[File:Square_kaleidoscope_generators.png|320px|thumb|A quadrilateral domain has 9 generator point positions that define uniform tilings. Vertex figures are listed for general orbifold symmetry *''pqrs'', with 2-gonal faces degenerating into edges.]]

=== (3&nbsp;2&nbsp;2&nbsp;2) ===
[[File:Example 3222 hyperbolic uniform tilings kaleidoscopes.png|thumb|Example uniform tilings of *3222 symmetry]]
Quadrilateral fundamental domains also exist in the hyperbolic plane, with the [[3222 symmetry|*3222]] [[Orbifold notation#Hyperbolic plane|orbifold]] ([∞,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 {2} [[digon]] faces at those corners exist but can be ignored. [[Snub (geometry)|Snub]] and [[Alternation (geometry)|alternated]] uniform tilings can also be generated (not shown) if a vertex figure contains only even-sided faces.

[[Coxeter diagram]]s of quadrilateral domains are treated as a degenerate [[tetrahedron]] 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.

{{Order 3-2-2-2 tiling table}}

=== (3&nbsp;2&nbsp;3&nbsp;2) ===
{{Order 3-2-3-2 tiling table}}

== Ideal triangle domains ==
There are infinitely many [[triangle group]] 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 [[i32 symmetry|(∞ 3 2)]] [[triangle group]], [[Hyperbolic Coxeter group|Coxeter group]] [∞,3], [[Orbifold notation#Hyperbolic plane|orbifold]] (*∞32) contains these uniform tilings:

{{Order i-3 tiling table}}

=== (∞ 4 2) ===
The ideal [[i42 symmetry|(∞ 4 2)]] [[triangle group]], [[Hyperbolic Coxeter group|Coxeter group]] [∞,4], [[Orbifold notation#Hyperbolic plane|orbifold]] (*∞42) contains these uniform tilings:
{{Order i-4 tiling table}}

=== (∞ 5 2) ===
The ideal [[i52 symmetry|(∞ 5 2)]] [[triangle group]], [[Hyperbolic Coxeter group|Coxeter group]] [∞,5], [[Orbifold notation#Hyperbolic plane|orbifold]] (*∞52) contains these uniform tilings:
{{Order i-5 tiling table}}

=== (∞ ∞ 2) ===
The ideal [[ii2 symmetry|(∞ ∞ 2)]] [[triangle group]], [[Hyperbolic Coxeter group|Coxeter group]] [∞,∞], [[Orbifold notation#Hyperbolic plane|orbifold]] (*∞∞2) contains these uniform tilings:
{{Order i-i tiling table}}

=== (∞ 3 3) ===
The ideal [[i33 symmetry|(∞ 3 3)]] [[triangle group]], [[Hyperbolic Coxeter group|Coxeter group]] [(∞,3,3)], [[Orbifold notation#Hyperbolic plane|orbifold]] (*∞33) contains these uniform tilings. 
{{Order_i-3-3_tiling_table}}

=== (∞ 4 3) ===
The ideal [[i43 symmetry|(∞ 4 3)]] [[triangle group]], [[Hyperbolic Coxeter group|Coxeter group]] [(∞,4,3)], [[Orbifold notation#Hyperbolic plane|orbifold]] (*∞43) contains these uniform tilings:
{{Order i-4-3 tiling table}}

=== (∞ 4 4) ===
The ideal [[i44 symmetry|(∞ 4 4)]] [[triangle group]], [[Hyperbolic Coxeter group|Coxeter group]] [(∞,4,4)], [[Orbifold notation#Hyperbolic plane|orbifold]] (*∞44) contains these uniform tilings. 
{{Order i-4-4 tiling table}}

=== (∞ ∞ 3) ===
The ideal [[ii3 symmetry|(∞ ∞ 3)]] [[triangle group]], [[Hyperbolic Coxeter group|Coxeter group]] [(∞,∞,3)], [[Orbifold notation#Hyperbolic plane|orbifold]] (*∞∞3) contains these uniform tilings. 
{{Order i-i-3 tiling table}}

=== (∞ ∞ 4) ===
The ideal [[ii4 symmetry|(∞ ∞ 4)]] [[triangle group]], [[Hyperbolic Coxeter group|Coxeter group]] [(∞,∞,4)], [[Orbifold notation#Hyperbolic plane|orbifold]] (*∞∞4) contains these uniform tilings. 
{{Order i-i-4 tiling table}}

=== (∞ ∞ ∞) ===
The ideal [[iii symmetry|(∞ ∞ ∞)]] [[triangle group]], [[Hyperbolic Coxeter group|Coxeter group]] [(∞,∞,∞)], [[Orbifold notation#Hyperbolic plane|orbifold]] (*∞∞∞) contains these uniform tilings. 
{{Order i-i-i tiling table}}

== 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 ∞.
{{Infinite triangular hyperbolic tilings table}}

== References==
* [[John Horton Conway]], Heidi Burgiel, Chaim Goodman-Strauss, ''The Symmetries of Things'' 2008, {{isbn|978-1-56881-220-5}} (Chapter 19, The Hyperbolic Archimedean Tessellations)

== External links ==
{{Commons category|Uniform tilings of the hyperbolic plane}}
* {{cite web 
  | author = Hatch, Don
  | title = Hyperbolic Planar Tessellations
  | url = http://www.plunk.org/~hatch/HyperbolicTesselations/
  | access-date = 2010-08-19}}
* {{cite web 
  | author = Eppstein, David
  | author-link = David Eppstein
  | title = The Geometry Junkyard: Hyperbolic Tiling
  | url = http://www.ics.uci.edu/~eppstein/junkyard/hypertile.html
  | access-date = 2010-08-19}}
* {{cite web 
  | author = Joyce, David
  | title = Hyperbolic Tessellations
  | url = http://aleph0.clarku.edu/~djoyce/poincare/poincare.html
  | access-date = 2010-08-19}}
* {{KlitzingPolytopes|hyperbolic.htm|2D Tesselations|Hyperbolic Tesselations}}
* [https://epinet.anu.edu.au/page/home The EPINET project explores 2D hyperbolic (H²) tilings ]
{{Tessellation}}

[[Category:Hyperbolic tilings|Hyperbolic tilings]]
[[Category:Uniform tilings]]
[[Category:Mathematics-related lists]]