In geometry, a symmetrohedron is a high-symmetry polyhedron containing convex regular polygons on symmetry axes with gaps on the convex hull filled by irregular polygons. The name was coined by Craig S. Kaplan and George W. Hart. [1]
The trivial cases are the Platonic solids, Archimedean solids with all regular polygons. A first class is called bowtie which contain pairs of trapezoidal faces. A second class has kite faces. Another class are called LCM symmetrohedra.
Each symmetrohedron is described by a symbolic expression G(l; m; n; α). G represents the symmetry group (T,O,I). The values l, m and n are the multipliers ; a multiplier of m will cause a regular km-gon to be placed at every k-fold axis of G. In the notation, the axis degrees are assumed to be sorted in descending order, 5,3,2 for I, 4,3,2 for O, and 3,3,2 for T . We also allow two special values for the multipliers: *, indicating that no polygons should be placed on the given axes, and 0, indicating that the final solid must have a vertex (a zero-sided polygon) on the axes. We require that one or two of l, m, and n be positive integers. The final parameter, α, controls the relative sizes of the non-degenerate axis-gons.
Conway polyhedron notation is another way to describe these polyhedra, starting with a regular form, and applying prefix operators. The notation doesn't imply which faces should be made regular beyond the uniform solutions of the Archimedean solids.
I(*;2;3;e) | Pyritohedral |
---|---|
![]() | ![]() |
These symmetrohedra are produced by a single generator point within a fundamental domains, reflective symmetry across domain boundaries. Edges exist perpendicular to each triangle boundary, and regular faces exist centered on each of the 3 triangle corners.
The symmetrohedra can be extended to euclidean tilings, using the symmetry of the regular square tiling, and dual pairs of triangular and hexagonal tilings. Tilings, Q is square symmetry p4m, H is hexagonal symmetry p6m.
Coxeter-Dynkin diagrams exist for these uniform polyhedron solutions, representing the position of the generator point within the fundamental domain. Each node represents one of 3 mirrors on the edge of the triangle. A mirror node is ringed if the generator point is active, off the mirror, and creates new edges between the point and its mirror image.
Domain | Edges | Tetrahedral (3 3 2) | Octahedral (4 3 2) | Icosahedral (5 3 2) | Triangular (6 3 2) | Square (4 4 2) | |||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Symbol | Image | Symbol | Image | Symbol | Image | Symbol | Image | Dual | Symbol | Image | Dual | ||
![]() | 1 | T(1;*;*;e) T, ![]() ![]() ![]() ![]() ![]() | ![]() | C, O(1;*;*;e)![]() ![]() ![]() ![]() ![]() | ![]() | I(1;*;*;e) D, ![]() ![]() ![]() ![]() ![]() | ![]() | H(1;*;*;e) H, ![]() ![]() ![]() ![]() ![]() | ![]() | ![]() | Q(1;*;*;e) Q, ![]() ![]() ![]() ![]() ![]() | ![]() | ![]() |
![]() | 1 | T(*;1;*;e) dT, ![]() ![]() ![]() ![]() ![]() | ![]() | O(*;1;*;e) O, ![]() ![]() ![]() ![]() ![]() | ![]() | I(*;1;*;e) I, ![]() ![]() ![]() ![]() ![]() | ![]() | H(*;1;*;e) dH, ![]() ![]() ![]() ![]() ![]() | ![]() | ![]() | Q(*;1;*;e) dQ, ![]() ![]() ![]() ![]() ![]() | ![]() | ![]() |
![]() | 2 | T(1;1;*;e) aT, ![]() ![]() ![]() ![]() ![]() | ![]() | O(1;1;*;e) aC, ![]() ![]() ![]() ![]() ![]() | ![]() | I(1;1;*;e) aD, ![]() ![]() ![]() ![]() ![]() | ![]() | H(1;1;*;e) aH, ![]() ![]() ![]() ![]() ![]() | ![]() | ![]() | Q(1;1;*;e) aQ, ![]() ![]() ![]() ![]() ![]() | ![]() | ![]() |
![]() | 3 | T(2;1;*;e) tT, ![]() ![]() ![]() ![]() ![]() | ![]() | O(2;1;*;e) tC, ![]() ![]() ![]() ![]() ![]() | ![]() | I(2;1;*;e) tD, ![]() ![]() ![]() ![]() ![]() | ![]() | H(2;1;*;e) tH, ![]() ![]() ![]() ![]() ![]() | ![]() | ![]() | Q(2;1;*;e) tQ, ![]() ![]() ![]() ![]() ![]() | ![]() | ![]() |
![]() | 3 | T(1;2;*;e) dtT, ![]() ![]() ![]() ![]() ![]() | ![]() | O(1;2;*;e) tO, ![]() ![]() ![]() ![]() ![]() | ![]() | I(1;2;*;e) tI, ![]() ![]() ![]() ![]() ![]() | ![]() | H(1;2;*;e) dtH, ![]() ![]() ![]() ![]() ![]() | ![]() | ![]() | Q(1;2;*;e) dtQ, ![]() ![]() ![]() ![]() ![]() | ![]() | ![]() |
![]() | 4 | T(1;1;*;1) eT, ![]() ![]() ![]() ![]() ![]() | ![]() | O(1;1;*;1) eC, ![]() ![]() ![]() ![]() ![]() | ![]() | I(1;1;*;1) eD, ![]() ![]() ![]() ![]() ![]() | ![]() | H(1;1;*;1) eH, ![]() ![]() ![]() ![]() ![]() | ![]() | ![]() | Q(1;1;*;1) eQ, ![]() ![]() ![]() ![]() ![]() | ![]() | ![]() |
![]() | 6 | T(2;2;*;e) bT, ![]() ![]() ![]() ![]() ![]() | ![]() | O(2;2;*;e) bC, ![]() ![]() ![]() ![]() ![]() | ![]() | I(2;2;*;e) bD, ![]() ![]() ![]() ![]() ![]() | ![]() | H(2;2;*;e) bH, ![]() ![]() ![]() ![]() ![]() | ![]() | ![]() | Q(2;2;*;e) bQ, ![]() ![]() ![]() ![]() ![]() | ![]() | ![]() |
Domain | Edges | Tetrahedral (3 3 2) | Octahedral (4 3 2) | Icosahedral (5 3 2) | Triangular (6 3 2) | Square (4 4 2) | |||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Symbol | Image | Symbol | Image | Symbol | Image | Symbol | Image | Dual | Symbol | Image | Dual | ||
![]() | 6 | T(1;2;*;[2]) atT | ![]() | O(1;2;*;[2]) atO | ![]() | I(1;2;*;[2]) atI | ![]() | H(1;2;*;[2]) atΔ | ![]() | ![]() | Q(1;2;*;[2]) Q(2;1;*;[2]) atQ | ![]() | ![]() |
![]() | 6 | O(2;1;*;[2]) atC | ![]() | I(2;1;*;[2]) atD | ![]() | H(2;1;*;[2]) atH | ![]() | ![]() | |||||
![]() | 7 | T(3;*;*;[2]) T(*;3;*;[2]) dKdT | ![]() | O(3;*;*;[2]) dKdC | ![]() | I(3;*;*;[2]) dKdD | ![]() | H(3;*;*;[2]) dKdH | ![]() | ![]() | Q(3;*;*;[2]) Q(*;3;*;[2]) dKQ | ![]() | ![]() |
![]() | 7 | O(*;3;*;[2]) dKdO | ![]() | I(*;3;*;[2]) dKdI | ![]() | H(*;3;*;[2]) dKdΔ | ![]() | ![]() | |||||
![]() | 8 | T(2;3;*;α) T(3;2;*;α) dM0T | ![]() | O(2;3;*;α) dM0dO | ![]() | I(2;3;*;α) dM0dI | ![]() | H(2;3;*;α) dM0dΔ | ![]() | ![]() | Q(2;3;*;α) Q(3;2;*;α) dM0Q | ![]() | ![]() |
![]() | 8 | O(3;2;*;α) dM0dC | ![]() | I(3;2;*;α) dM0dD | ![]() | H(3;2;*;α) dM0dH | ![]() | ![]() | |||||
![]() | 9 | T(2;4;*;e) T(4;2;*;e) ttT | ![]() | O(2;4;*;e) ttO | ![]() | I(2;4;*;e) ttI | ![]() | H(2;4;*;e) ttΔ | ![]() | ![]() | Q(4;2;*;e) Q(2;4;*;e) ttQ | ![]() | ![]() |
![]() | 9 | O(4;2;*;e) ttC | ![]() | I(4;2;*;e) ttD | ![]() | H(4;2;*;e) ttH | ![]() | ![]() | |||||
![]() | 7 | T(2;1;*;1) T(1;2;*;1) dM3T | ![]() | O(1;2;*;1) dM3O | ![]() | I(1;2;*;1) dM3I | ![]() | H(1;2;*;1) dM3Δ | ![]() | ![]() | Q(2;1;*;1) Q(1;2;*;1) dM3dQ | ![]() | ![]() |
![]() | 7 | O(2;1;*;1) dM3C | ![]() | I(2;1;*;1) dM3D | ![]() | H(2;1;*;1) dM3H | ![]() | ![]() | |||||
![]() | 9 | T(2;3;*;e) T(3;2;*;e) dm3T | ![]() | O(2;3;*;e) dm3C | ![]() | I(2;3;*;e) dm3D | ![]() | H(2;3;*;e) dm3H | ![]() | ![]() | Q(2;3;*;e) Q(3;2;*;e) dm3Q | ![]() | ![]() |
![]() | 9 | O(3;2;*;e) dm3O | ![]() | I(3;2;*;e) dm3I | ![]() | H(3;2;*;e) dm3Δ | ![]() | ![]() | |||||
![]() | 10 | T(2;*;3;e) T(*;2;3;e) dXdT 3.4.6.6 | ![]() | O(*;2;3;e) dXdO | ![]() | I(*;2;3;e) dXdI | ![]() | H(*;2;3;e) dXdΔ | ![]() | ![]() | Q(2;*;3;e) Q(*;2;3;e) dXdQ | ![]() | ![]() |
![]() | 10 | O(2;*;3;e) dXdC 3.4.6.8 | ![]() | I(2;*;3;e) dXdD 3.4.6.10 | ![]() | H(2;*;3;e) dXdH | ![]() | ![]() |
Domain | Edges | Tetrahedral (3 3 2) | Octahedral (4 3 2) | Icosahedral (5 3 2) | Triangular (6 3 2) | Square (4 4 2) | |||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
Symbol | Image | Symbol | Image | Symbol | Image | Symbol | Image | Dual | Symbol | Image | Dual | ||
![]() | 6 | T(2;0;*;[1]) | ![]() | O(0;2;*;[1]) dL0dO | ![]() | I(0;2;*;[1]) dL0dI | ![]() | H(0;2;*;[1]) dL0H | ![]() | ![]() | Q(2;0;*;[1]) Q(0;2;*;[1]) dL0dQ | ![]() | ![]() |
![]() | 6 | O(2;0;*;[1]) dL0dC | ![]() | I(2;0;*;[1]) dL0dD | ![]() | H(2;0;*;[1]) dL0Δ | ![]() | ![]() | |||||
![]() | 7 | T(3;0;*;[2]) | ![]() | O(0;3;*;[2]) dLdO | ![]() | I(0;3;*;[2]) dLdI | ![]() | H(0;3;*;[2]) dLH | ![]() | ![]() | Q(2;0;*;[1]) Q(0;2;*;[2]) dLQ | ![]() | ![]() |
![]() | 7 | O(3;0;*;[2]) dLdC | ![]() | I(3;0;*;[2]) dLdD | ![]() | H(3;0;*;[2]) dLΔ | ![]() | ![]() | |||||
![]() | 12 | T(2;2;*;a) amT | ![]() | O(2;2;*;a) amC | ![]() | I(2;2;*;a) amD | ![]() | H(2;2;*;a) amH | ![]() | ![]() | Q(2;2;*;a) amQ | ![]() | ![]() |
In geometry, an Archimedean solid is one of the 13 solids first enumerated by Archimedes. They are the convex uniform polyhedra composed of regular polygons meeting in identical vertices, excluding the five Platonic solids and excluding the prisms and antiprisms. They differ from the Johnson solids, whose regular polygonal faces do not meet in identical vertices.
In geometry, an n-gonal antiprism or n-antiprism is a polyhedron composed of two parallel direct copies of an n-sided polygon, connected by an alternating band of 2ntriangles.
A cuboctahedron is a polyhedron with 8 triangular faces and 6 square faces. A cuboctahedron has 12 identical vertices, with 2 triangles and 2 squares meeting at each, and 24 identical edges, each separating a triangle from a square. As such, it is a quasiregular polyhedron, i.e. an Archimedean solid that is not only vertex-transitive but also edge-transitive. It is the only radially equilateral convex polyhedron.
In geometry, a dodecahedron or duodecahedron is any polyhedron with twelve flat faces. The most familiar dodecahedron is the regular dodecahedron with regular pentagons as faces, which is a Platonic solid. There are also three regular star dodecahedra, which are constructed as stellations of the convex form. All of these have icosahedral symmetry, order 120.
In geometry, an icosidodecahedron is a polyhedron with twenty (icosi) triangular faces and twelve (dodeca) pentagonal faces. An icosidodecahedron has 30 identical vertices, with two triangles and two pentagons meeting at each, and 60 identical edges, each separating a triangle from a pentagon. As such it is one of the Archimedean solids and more particularly, a quasiregular polyhedron.
In geometry, an octahedron is a polyhedron with eight faces, twelve edges, and six vertices. The term is most commonly used to refer to the regular octahedron, a Platonic solid composed of eight equilateral triangles, four of which meet at each vertex.
In geometry, the truncated cuboctahedron is an Archimedean solid, named by Kepler as a truncation of a cuboctahedron. It has 12 square faces, 8 regular hexagonal faces, 6 regular octagonal faces, 48 vertices, and 72 edges. Since each of its faces has point symmetry, the truncated cuboctahedron is a zonohedron. The truncated cuboctahedron can tessellate with the octagonal prism.
In geometry, the truncated icosidodecahedron is an Archimedean solid, one of thirteen convex isogonal nonprismatic solids constructed by two or more types of regular polygon faces.
In geometry, a cupola is a solid formed by joining two polygons, one with twice as many edges as the other, by an alternating band of isosceles triangles and rectangles. If the triangles are equilateral and the rectangles are squares, while the base and its opposite face are regular polygons, the triangular, square, and pentagonal cupolae all count among the Johnson solids, and can be formed by taking sections of the cuboctahedron, rhombicuboctahedron, and rhombicosidodecahedron, respectively.
An n-gonal trapezohedron, antidipyramid, antibipyramid, or deltohedron is the dual polyhedron of an n-gonal antiprism. The 2n faces of an n-trapezohedron are congruent and symmetrically staggered; they are called twisted kites. With a higher symmetry, its 2n faces are kites.
In geometry, a disdyakis triacontahedron, hexakis icosahedron, decakis dodecahedron or kisrhombic triacontahedron is a Catalan solid with 120 faces and the dual to the Archimedean truncated icosidodecahedron. As such it is face uniform but with irregular face polygons. It slightly resembles an inflated rhombic triacontahedron—if one replaces each face of the rhombic triacontahedron with a single vertex and four triangles in a regular fashion one ends up with a disdyakis triacontahedron. That is, the disdyakis triacontahedron is the Kleetope of the rhombic triacontahedron. It also has the most faces among the Archimedean and Catalan solids, with the snub dodecahedron, with 92 faces, in second place.
A uniform polyhedron has regular polygons as faces and is vertex-transitive. It follows that all vertices are congruent.
In geometry, a vertex configuration is a shorthand notation for representing the vertex figure of a polyhedron or tiling as the sequence of faces around a vertex. For uniform polyhedra there is only one vertex type and therefore the vertex configuration fully defines the polyhedron.
In geometry, a near-miss Johnson solid is a strictly convex polyhedron whose faces are close to being regular polygons but some or all of which are not precisely regular. Thus, it fails to meet the definition of a Johnson solid, a polyhedron whose faces are all regular, though it "can often be physically constructed without noticing the discrepancy" between its regular and irregular faces. The precise number of near misses depends on how closely the faces of such a polyhedron are required to approximate regular polygons. Some high symmetry near-misses are also symmetrohedra with some perfect regular polygon faces.
In geometry, a polytope, or a tiling, is isotoxal or edge-transitive if its symmetries act transitively on its edges. Informally, this means that there is only one type of edge to the object: given two edges, there is a translation, rotation and/or reflection that will move one edge to the other, while leaving the region occupied by the object unchanged.
A uniform polytope of dimension three or higher is a vertex-transitive polytope bounded by uniform facets. The uniform polytopes in two dimensions are the regular polygons.
In geometry, a uniform tiling is a tessellation of the plane by regular polygon faces with the restriction of being vertex-transitive.
In geometry, chamfering or edge-truncation is a topological operator that modifies one polyhedron into another. It is similar to expansion, moving faces apart and outward, but also maintains the original vertices. For polyhedra, this operation adds a new hexagonal face in place of each original edge.
In geometry, a pentahexagonal pyritoheptacontatetrahedron is a near-miss Johnson solid with pyritohedral symmetry. This near-miss was discovered by Mason Green in 2006. It has 6 hexagonal faces, 12 pentagonal faces, and 56 triangles in 3 symmetry positions. Mason calls it a hexagonally expanded snubbed dodecahedron.