In geometry, the truncated tetraapeirogonal tiling is a semiregular tiling of the hyperbolic plane. There are one square, one octagon, and one apeirogon on each vertex. It has Schläfli symbol of tr{∞,4}.
Related polyhedra and tilings
Template:Order i-4 tiling table
Template:Omnitruncated4 table
Template:Omnitruncated symmetric table
Symmetry
The dual of this tiling represents the fundamental domains of [∞,4], (*∞42) symmetry. There are 15 small index subgroups constructed from [∞,4] by mirror removal and alternation. Mirrors can be removed if its branch orders are all even, and cuts neighboring branch orders in half. Removing two mirrors leaves a half-order gyration point where the removed mirrors met. In these images fundamental domains are alternately colored black and white, and mirrors exist on the boundaries between colors. The subgroup index-8 group, [1+,∞,1+,4,1+] (∞2∞2) is the commutator subgroup of [∞,4].
A larger subgroup is constructed as [∞,4*], index 8, as [∞,4+], (4*∞) with gyration points removed, becomes (*∞∞∞∞) or (*∞4), and another [∞*,4], index ∞ as [∞+,4], (∞*2) with gyration points removed as (*2∞). And their direct subgroups [∞,4*]+, [∞*,4]+, subgroup indices 16 and ∞ respectively, can be given in orbifold notation as (∞∞∞∞) and (2∞).
| Small index subgroups of [∞,4], (*∞42)
|
| Index
|
1
|
2
|
4
|
| Diagram
|
File:I42 symmetry 000.png
|
File:I42 symmetry a00.png
|
File:I42 symmetry 00a.png
|
File:I42 symmetry 0a0.png
|
File:I42 symmetry z0z.png
|
File:I42 symmetry xxx.png
|
| Coxeter
|
[∞,4] File:CDel node c1.pngFile:CDel infin.pngFile:CDel node c3.pngFile:CDel 4.pngFile:CDel node c2.png
|
[1+,∞,4] File:CDel node h0.pngFile:CDel infin.pngFile:CDel node c3.pngFile:CDel 4.pngFile:CDel node c2.png = File:CDel labelinfin.pngFile:CDel branch c2.pngFile:CDel split2-44.pngFile:CDel node c3.png
|
[∞,4,1+] File:CDel node c1.pngFile:CDel infin.pngFile:CDel node c3.pngFile:CDel 4.pngFile:CDel node h0.png = File:CDel node c1.pngFile:CDel split1-ii.pngFile:CDel branch c3.pngFile:CDel label2.png
|
[∞,1+,4] File:CDel node c1.pngFile:CDel infin.pngFile:CDel node h0.pngFile:CDel 4.pngFile:CDel node c2.png = File:CDel labelinfin.pngFile:CDel branch c1.pngFile:CDel 2xa2xb-cross.pngFile:CDel branch c2.pngFile:CDel label2.png
|
[1+,∞,4,1+] File:CDel node h0.pngFile:CDel infin.pngFile:CDel node c3.pngFile:CDel 4.pngFile:CDel node h0.png = File:CDel labelinfin.pngFile:CDel branch c3.pngFile:CDel 2xa2xb-cross.pngFile:CDel branch c3.pngFile:CDel labelinfin.png
|
[∞+,4+] File:CDel node h2.pngFile:CDel infin.pngFile:CDel node h4.pngFile:CDel 4.pngFile:CDel node h2.png
|
| Orbifold
|
*∞42
|
*∞44
|
*∞∞2
|
*∞222
|
*∞2∞2
|
∞2×
|
| Semidirect subgroups
|
| Diagram
|
|
File:I42 symmetry 0bb.png
|
File:I42 symmetry bb0.png
|
File:I42 symmetry b0b.png
|
File:I42 symmetry ab0.png
|
File:I42 symmetry 0ab.png
|
| Coxeter
|
|
[∞,4+] File:CDel node c1.pngFile:CDel infin.pngFile:CDel node h2.pngFile:CDel 4.pngFile:CDel node h2.png
|
[∞+,4] File:CDel node h2.pngFile:CDel infin.pngFile:CDel node h2.pngFile:CDel 4.pngFile:CDel node c2.png
|
[(∞,4,2+)] File:CDel node c3.pngFile:CDel split1-i4.pngFile:CDel branch h2h2.pngFile:CDel label2.png
|
[1+,∞,1+,4] File:CDel node h0.pngFile:CDel infin.pngFile:CDel node h0.pngFile:CDel 4.pngFile:CDel node c2.png = File:CDel node h0.pngFile:CDel infin.pngFile:CDel node h2.pngFile:CDel 4.pngFile:CDel node c2.png = File:CDel labelinfin.pngFile:CDel branch h2h2.pngFile:CDel split2-44.pngFile:CDel node c2.png = File:CDel node h2.pngFile:CDel infin.pngFile:CDel node h0.pngFile:CDel 4.pngFile:CDel node c2.png = File:CDel labelinfin.pngFile:CDel branch h2h2.pngFile:CDel 2xa2xb-cross.pngFile:CDel branch c2.pngFile:CDel label2.png
|
[∞,1+,4,1+] File:CDel node c1.pngFile:CDel infin.pngFile:CDel node h0.pngFile:CDel 4.pngFile:CDel node h0.png = File:CDel node c1.pngFile:CDel infin.pngFile:CDel node h2.pngFile:CDel 4.pngFile:CDel node h0.png = File:CDel node c1.pngFile:CDel split1-ii.pngFile:CDel branch h2h2.pngFile:CDel label2.png = File:CDel node c1.pngFile:CDel infin.pngFile:CDel node h0.pngFile:CDel 4.pngFile:CDel node h2.png = File:CDel labelinfin.pngFile:CDel branch c1.pngFile:CDel 2xa2xb-cross.pngFile:CDel branch h2h2.pngFile:CDel label2.png
|
| Orbifold
|
|
4*∞
|
∞*2
|
2*∞2
|
∞*22
|
2*∞∞
|
| Direct subgroups
|
| Index
|
2
|
4
|
8
|
| Diagram
|
File:I42 symmetry aaa.png
|
File:I42 symmetry abb.png
|
File:I42 symmetry bba.png
|
File:I42 symmetry bab.png
|
File:I42 symmetry abc.png
|
| Coxeter
|
[∞,4]+ File:CDel node h2.pngFile:CDel infin.pngFile:CDel node h2.pngFile:CDel 4.pngFile:CDel node h2.png = File:CDel node h2.pngFile:CDel split1-i4.pngFile:CDel branch h2h2.pngFile:CDel label2.png
|
[∞,4+]+ File:CDel node h0.pngFile:CDel infin.pngFile:CDel node h2.pngFile:CDel 4.pngFile:CDel node h2.png = File:CDel labelinfin.pngFile:CDel branch h2h2.pngFile:CDel split2-44.pngFile:CDel node h2.png
|
[∞+,4]+ File:CDel node h2.pngFile:CDel infin.pngFile:CDel node h2.pngFile:CDel 4.pngFile:CDel node h0.png = File:CDel node h2.pngFile:CDel split1-ii.pngFile:CDel branch h2h2.pngFile:CDel label2.png
|
[∞,1+,4]+ File:CDel labelh.png File:CDel split1-i4.pngFile:CDel branch h2h2.pngFile:CDel label2.png = File:CDel labelinfin.pngFile:CDel branch h2h2.pngFile:CDel 2xa2xb-cross.pngFile:CDel branch h2h2.pngFile:CDel label2.png
|
[∞+,4+]+ = [1+,∞,1+,4,1+] File:CDel node h4.pngFile:CDel split1-i4.pngFile:CDel branch h4h4.pngFile:CDel label2.png = File:CDel node h0.pngFile:CDel infin.pngFile:CDel node h0.pngFile:CDel 4.pngFile:CDel node h0.png = File:CDel node h0.pngFile:CDel infin.pngFile:CDel node h2.pngFile:CDel 4.pngFile:CDel node h0.png = File:CDel labelinfin.pngFile:CDel branch h2h2.pngFile:CDel 2xa2xb-cross.pngFile:CDel branch h2h2.pngFile:CDel labelinfin.png
|
| Orbifold
|
∞42
|
∞44
|
∞∞2
|
∞222
|
∞2∞2
|
| Radical subgroups
|
| Index
|
|
8
|
∞
|
16
|
∞
|
| Diagram
|
|
File:I42 symmetry 0zz.png
|
File:I42 symmetry zz0.png
|
File:I42 symmetry azz.png
|
File:I42 symmetry zza.png
|
| Coxeter
|
|
[∞,4*] File:CDel node c1.pngFile:CDel infin.pngFile:CDel node g.png File:CDel node g.png = File:CDel labelinfin.pngFile:CDel branch c1.png File:CDel branch c1.pngFile:CDel labelinfin.png
|
[∞*,4] File:CDel node g.png File:CDel node g.pngFile:CDel 4.pngFile:CDel node c2.png
|
[∞,4*]+ File:CDel node h0.pngFile:CDel infin.pngFile:CDel node g.png File:CDel node g.png = File:CDel labelinfin.pngFile:CDel branch h2h2.png File:CDel branch h2h2.pngFile:CDel labelinfin.png
|
[∞*,4]+ File:CDel node g.png File:CDel node g.pngFile:CDel 4.pngFile:CDel node h0.png
|
| Orbifold
|
|
*∞∞∞∞
|
*2∞
|
∞∞∞∞
|
2∞
|
See also
References
External links
This article "Truncated tetraapeirogonal tiling" is from Wikipedia. The list of its authors can be seen in its historical and/or the page Edithistory:Truncated tetraapeirogonal tiling. Articles copied from Draft Namespace on Wikipedia could be seen on the Draft Namespace of Wikipedia and not main one.