Hubbry Logo
Isohedral figureIsohedral figureMain
Open search
Isohedral figure
Community hub
Isohedral figure
logo
8 pages, 0 posts
0 subscribers
Be the first to start a discussion here.
Be the first to start a discussion here.
Isohedral figure
Isohedral figure
from Wikipedia
A set of isohedral dice

In geometry, a tessellation of dimension 2 (a plane tiling) or higher, or a polytope of dimension 3 (a polyhedron) or higher, is isohedral or face-transitive if all its faces are the same. More specifically, all faces must be not merely congruent but must be transitive, i.e. must lie within the same symmetry orbit. In other words, for any two faces A and B, there must be a symmetry of the entire figure by translations, rotations, and/or reflections that maps A onto B. For this reason, convex isohedral polyhedra are the shapes that will make fair dice.[1]

Isohedral polyhedra are called isohedra. They can be described by their face configuration. An isohedron has an even number of faces.

The dual of an isohedral polyhedron is vertex-transitive, i.e. isogonal. The Catalan solids, the Platonic Solids, the bipyramids, and the trapezohedra are all isohedral. They are the duals of the (isogonal) Archimedean solids, Platonic Solids, prisms, and antiprisms, respectively. The Platonic solids, which are either self-dual or dual with another Platonic solid, are vertex-, edge-, and face-transitive (i.e. isogonal, isotoxal, and isohedral).

A form that is isohedral, has regular vertices, and is also edge-transitive (i.e. isotoxal) is said to be a quasiregular dual. Some theorists regard these figures as truly quasiregular because they share the same symmetries, but this is not generally accepted.

A polyhedron which is isohedral and isogonal is said to be noble.

Not all isozonohedra[2] are isohedral.[3] For example, a rhombic icosahedron is an isozonohedron but not an isohedron.[4]

Examples

[edit]
Convex Concave

Hexagonal bipyramids, V4.4.6, are nonregular isohedral polyhedra.

The Cairo pentagonal tiling, V3.3.4.3.4, is isohedral.

The rhombic dodecahedral honeycomb is isohedral (and isochoric, and space-filling).

A square tiling distorted into a spiraling H tiling (topologically equivalent) is still isohedral.

Classes of isohedra by symmetry

[edit]
Faces Face
config.
Class Name Symmetry Order Convex Coplanar Nonconvex
4 V33 Platonic tetrahedron
tetragonal disphenoid
rhombic disphenoid
Td, [3,3], (*332)
D2d, [2+,2], (2*)
D2, [2,2]+, (222)
24
4
4
4
Tetrahedron
6 V34 Platonic cube
trigonal trapezohedron
asymmetric trigonal trapezohedron
Oh, [4,3], (*432)
D3d, [2+,6]
(2*3)
D3
[2,3]+, (223)
48
12
12
6
Cube
8 V43 Platonic octahedron
square bipyramid
rhombic bipyramid
square scalenohedron
Oh, [4,3], (*432)
D4h,[2,4],(*224)
D2h,[2,2],(*222)
D2d,[2+,4],(2*2)
48
16
8
8
Octahedron
12 V35 Platonic regular dodecahedron
pyritohedron
tetartoid
Ih, [5,3], (*532)
Th, [3+,4], (3*2)
T, [3,3]+, (*332)
120
24
12
Dodecahedron
20 V53 Platonic regular icosahedron Ih, [5,3], (*532) 120 Icosahedron
12 V3.62 Catalan triakis tetrahedron Td, [3,3], (*332) 24 Triakis tetrahedron
12 V(3.4)2 Catalan rhombic dodecahedron
deltoidal dodecahedron
Oh, [4,3], (*432)
Td, [3,3], (*332)
48
24
Rhombic dodecahedron
24 V3.82 Catalan triakis octahedron Oh, [4,3], (*432) 48 Triakis octahedron
24 V4.62 Catalan tetrakis hexahedron Oh, [4,3], (*432) 48 Tetrakis hexahedron
24 V3.43 Catalan deltoidal icositetrahedron Oh, [4,3], (*432) 48 Deltoidal icositetrahedron
48 V4.6.8 Catalan disdyakis dodecahedron Oh, [4,3], (*432) 48 Disdyakis dodecahedron
24 V34.4 Catalan pentagonal icositetrahedron O, [4,3]+, (432) 24 Pentagonal icositetrahedron
30 V(3.5)2 Catalan rhombic triacontahedron Ih, [5,3], (*532) 120 Rhombic triacontahedron
60 V3.102 Catalan triakis icosahedron Ih, [5,3], (*532) 120 Triakis icosahedron
60 V5.62 Catalan pentakis dodecahedron Ih, [5,3], (*532) 120 Pentakis dodecahedron
60 V3.4.5.4 Catalan deltoidal hexecontahedron Ih, [5,3], (*532) 120 Deltoidal hexecontahedron
120 V4.6.10 Catalan disdyakis triacontahedron Ih, [5,3], (*532) 120 Disdyakis triacontahedron
60 V34.5 Catalan pentagonal hexecontahedron I, [5,3]+, (532) 60 Pentagonal hexecontahedron
2n V33.n Polar trapezohedron
asymmetric trapezohedron
Dnd, [2+,2n], (2*n)
Dn, [2,n]+, (22n)
4n
2n

2n
4n
V42.n
V42.2n
V42.2n
Polar regular n-bipyramid
isotoxal 2n-bipyramid
2n-scalenohedron
Dnh, [2,n], (*22n)
Dnh, [2,n], (*22n)
Dnd, [2+,2n], (2*n)
4n

k-isohedral figure

[edit]

A polyhedron (or polytope in general) is k-isohedral if it contains k faces within its symmetry fundamental domains.[5] Similarly, a k-isohedral tiling has k separate symmetry orbits (it may contain m different face shapes, for m = k, or only for some m < k).[6] ("1-isohedral" is the same as "isohedral".)

A monohedral polyhedron or monohedral tiling (m = 1) has congruent faces, either directly or reflectively, which occur in one or more symmetry positions. An m-hedral polyhedron or tiling has m different face shapes ("dihedral", "trihedral"... are the same as "2-hedral", "3-hedral"... respectively).[7]

Here are some examples of k-isohedral polyhedra and tilings, with their faces colored by their k symmetry positions:

3-isohedral 4-isohedral isohedral 2-isohedral
2-hedral regular-faced polyhedra Monohedral polyhedra
The rhombicuboctahedron has 1 triangle type and 2 square types. The pseudo-rhombicuboctahedron has 1 triangle type and 3 square types. The deltoidal icositetrahedron has 1 face type. The pseudo-deltoidal icositetrahedron has 2 face types, with same shape.
2-isohedral 4-isohedral Isohedral 3-isohedral
2-hedral regular-faced tilings Monohedral tilings
The Pythagorean tiling has 2 square types (sizes). This 3-uniform tiling has 3 triangle types, with same shape, and 1 square type. The herringbone pattern has 1 rectangle type. This pentagonal tiling has 3 irregular pentagon types, with same shape.
[edit]

A cell-transitive or isochoric figure is an n-polytope (n ≥ 4) or n-honeycomb (n ≥ 3) that has its cells congruent and transitive with each others. In 3 dimensions, the catoptric honeycombs, duals to the uniform honeycombs, are isochoric. In 4 dimensions, isochoric polytopes have been enumerated up to 20 cells.[8]

A facet-transitive or isotopic figure is an n-dimensional polytope or honeycomb with its facets ((n−1)-faces) congruent and transitive. The dual of an isotope is an isogonal polytope. By definition, this isotopic property is common to the duals of the uniform polytopes.

  • An isotopic 2-dimensional figure is isotoxal, i.e. edge-transitive.
  • An isotopic 3-dimensional figure is isohedral, i.e. face-transitive.
  • An isotopic 4-dimensional figure is isochoric, i.e. cell-transitive.

See also

[edit]

References

[edit]
[edit]
Revisions and contributorsEdit on WikipediaRead on Wikipedia
from Grokipedia
In , an isohedral figure is a of 2 (such as a plane tiling) or higher, or a of 3 (such as a ) or higher, in which all faces are congruent and the symmetries of the figure act transitively on the faces, meaning any face can be mapped to any other face via a , reflection, or . This face-transitivity ensures that the figure exhibits facial , distinguishing it from more general monohedral figures where faces are congruent but not necessarily symmetrically equivalent. Isohedral figures encompass a variety of well-known geometric objects, including all five Platonic solids (, , , , and ), which are self-dual or dual to another Platonic solid, as well as the Catalan solids, which are the duals of the Archimedean solids and feature identical faces meeting in identical vertex configurations. Other examples include infinite families such as bipyramids, trapezohedra (also known as deltohedra), along with isohedral tilings like the regular of the plane. A key property is that convex isohedra always have an even number of faces, as established in foundational work on polyhedral . These figures are significant in applications requiring fairness and uniformity, such as the design of , where the transitive action on faces ensures equal probability for each outcome when rolled. In total, there are 30 distinct types of isohedra, comprising 25 finite convex isohedra and 5 infinite classes, highlighting the richness of symmetric structures in . The dual of an isohedral figure is an , which is vertex-transitive, linking the concepts in the study of polyhedral duality.

Core Concepts

Definition

An isohedral figure is a geometric object, such as a , higher-dimensional , or tiling of space, whose faces are all congruent polygons and upon which the acts transitively on the faces. This transitivity means that for any pair of faces, there exists a symmetry of the figure—typically an such as a , reflection, or —that maps one face onto the other while preserving the overall structure. In this context, the faces refer to the two-dimensional polygonal facets bounding the figure. For an isohedral figure, these faces must be identical in shape and size, ensuring uniformity across the entire object. This distinguishes isohedral figures from more general polyhedra or tilings, where faces may vary in form or dimensions, lacking the transitive action. The concept applies broadly to both finite structures, like three-dimensional polyhedra, and infinite ones, such as tilings of the , where the symmetries include the full group of isometries preserving the figure. The term "isohedral" specifically denotes this face-transitive , emphasizing equivalence under the figure's .

Properties

An isohedral figure is characterized by the transitivity of its on the faces, meaning all faces form a single under the . By the orbit-stabilizer theorem, the order of the G|G| equals the number of faces ff times the order of the stabilizer of a single face Stab(f)|\mathrm{Stab}(f)|, so G=fStab(f)|G| = f \cdot |\mathrm{Stab}(f)|. This relationship imposes structural constraints on the figure, as the stabilizer typically consists of rotations around the axis to the face or reflections if applicable. A key consequence is that isohedra possess an even number of faces, arising from the pairing of faces through central inversion or opposite orbits in the symmetry group. This evenness ensures that no face remains unpaired under the full symmetry operations, a property established for convex cases and extending to transitive non-convex variants. Isohedral figures are the duals of isogonal figures, where face-transitivity in the primal corresponds to vertex-transitivity in the dual. This duality preserves the transitive action but shifts it from faces to vertices, as seen in pairs like the cuboctahedron (isogonal) and rhombic dodecahedron (isohedral). While isohedra are often considered convex to align with classical polyhedral theory, non-convex isohedra exist provided the symmetry group acts transitively on the faces. Examples include polyhedra with indented or star-shaped faces that maintain equivalence under symmetries, though such constructions require careful verification of the transitivity condition.

Historical Development

Early Contributions

The foundations of isohedral figures trace back to ancient Greek explorations of regular polyhedra, which inherently possess the property of face-transitivity where all faces are congruent and can be mapped onto one another via symmetries of the figure. In his dialogue Timaeus (c. 360 BCE), Plato described the five regular polyhedra—tetrahedron, cube, octahedron, dodecahedron, and icosahedron—associating the tetrahedron with fire, the cube with earth, the octahedron with air, the icosahedron with water, and the dodecahedron with the cosmos itself. These solids served as precursors to isohedral concepts due to their uniform facial structure and symmetry. Euclid further solidified these ideas in his Elements (c. 300 BCE), particularly in Book XIII, where he provided formal geometric constructions for the five Platonic solids inscribed in a and proved their uniqueness based on the possible arrangements of regular polygonal faces meeting at vertices. This work implicitly established the face-transitive nature of these polyhedra through rigorous proofs of their symmetry and constructibility, influencing subsequent geometric thought without explicitly naming the property. During the , interest in these forms revived through artistic and mathematical synthesis, as seen in Luca Pacioli's De Divina Proportione (1509), which featured detailed illustrations by depicting the regular polyhedra and their derivations to explore proportional harmony. Da Vinci's engravings visualized the solids' facial uniformity, bridging with and underscoring their symmetric properties. In the , extended these investigations in Harmonices Mundi (1619), where he cataloged the thirteen semi-regular polyhedra (now known as Archimedean solids) alongside the Platonic ones, and discussed their , observing the equal-faced symmetry in these dual forms that prefigured later isohedral classifications. Kepler's analysis emphasized the harmonious arrangements of faces, expanding the scope of symmetric polyhedra beyond the ancients.

Modern Advancements

In the , significant advancements in the study of isohedral figures emerged through the work of mathematicians like Louis Poinsot and on regular star polyhedra during the 1810s. Poinsot identified four non-convex regular star polyhedra in 1810, demonstrating their regularity under the same symmetry criteria as Platonic solids, which inherently makes them isohedral due to face-transitive symmetries. Cauchy extended this in 1813 by rigorously proving that these four star polyhedra, alongside the five convex Platonic solids, exhaust the set of regular polyhedra, using topological arguments that highlighted their uniform face arrangements. Later in the century, Eugène Catalan described 13 semi-regular dual polyhedra in 1865, now known as Catalan solids, which are convex isohedral polyhedra featuring identical non-regular faces and vertex-transitive duals to Archimedean solids. The term "isohedral," meaning face-transitive, was introduced in the late 19th century by E.S. Fedorov in his classification of crystal symmetry and isohedral tilings. Early 20th-century developments formalized the group-theoretic foundations of isohedral figures through H.S.M. Coxeter's extensive research on polyhedral symmetry groups from the 1930s to 1960s. In his seminal 1948 book Regular Polytopes, Coxeter defined regularity and related transitivity properties, stating that a polytope is regular if its symmetry group acts transitively on all faces, edges, and vertices, thereby providing a precise framework for classifying isohedral polyhedra within finite reflection groups. This work bridged descriptive geometry with abstract algebra, enabling systematic analysis of face-transitivity in higher dimensions and influencing subsequent enumerations of symmetric figures. By the mid-20th century, the term "isohedral" gained prominence in and literature to denote polyhedra with transitive face symmetries, particularly in discussions of fair shapes. Alan Holden's 1971 book Shapes, Space, and explored symmetric polyhedra as ideal forms for , emphasizing their uniform structure under rotations for unbiased outcomes in probabilistic applications. This facilitated interdisciplinary connections, such as in analysis where isohedral forms describe equivalent face developments in mineral lattices. Post-2000 research has leveraged computational methods to enumerate non-convex isohedra, expanding beyond classical convex cases. For instance, in a 2001 paper, H.S.M. Coxeter and Branko Grünbaum described three face-transitive hexacontahedra with rectangular faces and icosahedral . These advancements underscore isohedral figures' role in designing aperiodic materials with uniform tiling properties.

Polyhedral Isohedra

by

Isohedral polyhedra, or isohedra, are categorized based on the finite rotation groups of that act transitively on their faces: the tetrahedral group (order 12), the octahedral group (order 24), the icosahedral group (order 60), and infinite dihedral groups for prismatic symmetries. This encompasses both finite examples and infinite families, with all convex isohedra possessing an even number of congruent faces. The complete yields distinct classes, comprising 22 finite convex polyhedra (encompassing the 5 Platonic solids, 13 Catalan solids, and 4 additional finite isohedra) and 8 infinite families. Under , the regular stands as the sole Platonic example with 4 equilateral triangular faces; its self-duality aligns the face-transitive action with vertex-transitive properties. Duals of other tetrahedral-uniform polyhedra, such as the (12 isosceles triangular faces) and (24 isosceles triangular faces), extend this class, maintaining the symmetry while varying face shapes. Face configurations in these duals are denoted symbolically, for instance, V33V3^3 for the , indicating three equilateral triangles meeting at each vertex of the dual structure. Octahedral (cubic) symmetry accommodates several isohedra, including the regular octahedron with 6 equilateral triangular faces, the with 6 square faces, and the (12 rhombic faces), which is the dual of the . Further examples include the with 24 kite-shaped faces (dual to the ) and the small and great triakis octahedra (each with 14 isosceles triangular faces). These Catalan solids exemplify how Archimedean duals preserve face-transitivity under the full octahedral group, with configurations like V4.6.6V4.6.6 for the , denoting the polygonal arrangement around dual vertices. Icosahedral symmetry features the (12 pentagonal faces) and (20 triangular faces) as Platonic representatives. Among Catalan solids, the (30 rhombic faces, dual to the ) and triakis icosahedron (60 isosceles triangular faces, dual to the truncated dodecahedron) illustrate higher-face variants, along with the (120 irregular triangular faces). Configurations such as V5.6.6V5.6.6 for the highlight the symmetric vertex incidences in their duals. Prismatic and dipyramidal symmetries introduce infinite families with dihedral groups of order 4n4n (for n3n \geq 3). Bipyramids consist of 2n2n congruent isosceles triangular faces, formed as to uniform prisms. Trapezohedra, to uniform antiprisms, feature 2n2n congruent (deltoid) faces. Additional infinite families include skewed trapezohedra, certain dihedra with 4n triangular faces, and others such as rhombohedra and elongated forms, allowing arbitrary nn, enabling isohedra with face counts from 6 upward, with configurations like Vn.2nVn.2n for general bipyramids.

Examples

The regular tetrahedron is a fundamental isohedral polyhedron with 4 equilateral triangular faces, exhibiting full where any face can be mapped to any other. Its self-dual nature ensures both face- and vertex-transitivity. The , with 6 square faces, is a under octahedral symmetry, serving as the dual to the octahedron and commonly used in for its fairness. The , a with 12 rhombic faces, is the dual of the and demonstrates isohedral properties in structures, such as in diamond lattices. The pentagonal bipyramid, part of the infinite family, has 10 isosceles triangular faces and prismatic , illustrating how isohedra extend to higher face counts while maintaining congruence and transitivity.

Isohedral Tilings

Definition in the Plane

An isohedral tiling of the plane is a covering of the by congruent copies of a single prototile, known as a monohedral tiling, such that the of the tiling acts transitively on the set of tiles. This transitivity means that for any two tiles in the tiling, there exists an in the that maps one tile onto the other while preserving the entire tiling. Unlike general monohedral tilings, which may have multiple transitivity classes, an isohedral tiling has exactly one such class, ensuring all tiles are symmetrically equivalent. The of an isohedral tiling in the plane is a of one of the 17 wallpaper groups, which are the crystallographic groups of the that include translations, rotations, reflections, and glide reflections. These groups classify the possible periodic symmetries, and isohedral tilings correspond to 81 distinct types when tiles are unmarked or 93 when marked, based on how the prototile interacts with the group actions. The inclusion of translations distinguishes plane isohedral tilings from finite isohedral figures, as the infinite extent of the plane requires the to generate an unbounded lattice of tile positions. In contrast to isohedral tilings of three-dimensional space by polyhedra, which use finite polyhedral tiles arranged transitively under a space group, plane isohedral tilings involve infinitely many bounded tiles arranged without an overall boundary, and their symmetries prominently feature glide reflections and pure translations absent in bounded polyhedral contexts. Anisohedral tiles provide a counterpoint: these are prototiles that admit monohedral tilings of the plane but no isohedral ones, with examples including certain convex pentagons among the 15 known types that tile monohedrally. For convex prototiles, isohedral tilings are necessarily edge-to-edge, meaning tiles meet edge-to-edge or vertex-to-vertex without overlaps or gaps along boundaries.

Examples

One prominent example of an isohedral tiling is the regular triangular tiling, composed of equilateral triangles meeting six at each vertex, denoted by the (3.3.3.3.3.3). This tiling exhibits the full hexagonal p6m, where the symmetries act transitively on the tiles, ensuring every triangle is equivalent under the group's transformations. The provides another fundamental case, using regular squares with four meeting at each vertex, represented as (4.4.4.4). It possesses p4m symmetry, characteristic of arrangements, with the mapping any square to any other via rotations, reflections, and translations. Similarly, the employs regular hexagons, three meeting at each vertex in the configuration (6.6.6), and shares the with the triangular tiling, reflecting the dense packing efficiency of hexagonal lattices. Beyond regular polygons, isohedral tilings exist with non-regular pentagons, such as the , which uses convex pentagons formed by overlaying square and triangular grids. This tiling achieves isohedrality under p4g , featuring 90-degree rotations, reflections, and glide reflections to map any tile to another, despite the pentagons' irregular angles and side lengths. Non-convex examples include tilings with or dart shapes, notably the sphinx tiling using the sphinx hexiamond—a non-convex figure assembled from six equilateral triangles. This tiling is isohedral under p2mm , incorporating reflections and 180-degree rotations to equate all sphinx tiles across the plane. Archimedean dual tilings offer further variety, exemplified by the rhombille tiling, which uses 60-120 degree rhombi as the dual to the . Three rhombi meet at acute angles and six at obtuse ones, yielding p6m that ensures transitivity among the rhombic tiles.

k-Isohedral Figures

A k-isohedral figure is a of an isohedral figure in which the fundamental domain of the contains exactly k congruent faces, rather than a single face; thus, a fully isohedral figure corresponds to the special case of being 1-isohedral. In this setup, the acts transitively on the set of fundamental domains, but the faces within each domain belong to distinct orbits under the , resulting in k transitivity classes of faces overall. This partial transitivity allows for symmetric figures where not all faces are equivalent under the full , yet all faces remain congruent. The construction of a k-isohedral figure involves selecting a fundamental domain—a minimal region whose images under the cover the entire figure—and tiling it with k identical copies of the base face such that the group's actions map these domains transitively while preserving the face congruence. This approach extends the principles of full isohedrality by permitting multiple faces per domain, enabling the creation of more complex symmetric structures without requiring complete face transitivity. Seminal work on this in the context of tilings, which extends analogously to polyhedra and higher-dimensional polytopes, was developed by Grünbaum and Shephard, who classified isohedral cases and introduced the k-parameter for partial transitivity. Examples of k-isohedral polyhedra include the (Johnson solid J84), a 2-isohedral figure with 12 congruent equilateral triangular faces under , where the symmetry group has two orbits of faces. Another example is the pseudodeltoidal icositetrahedron, the dual of the pseudorhombicuboctahedron, which is 2-isohedral with 24 congruent deltoid faces and , featuring two distinct orbits of faces due to the non-uniform arrangement within the fundamental domain. Key properties of k-isohedral figures include their ability to accommodate a larger number of faces compared to 1-isohedral counterparts under the same symmetry group, facilitating non-uniform yet highly symmetric tilings and polyhedra that arise in crystallography and architectural design. The total number of faces ff in such a figure is given by the formula f=kGStab(D),f = k \cdot \frac{|G|}{| \mathrm{Stab}(D) |}, where GG is the symmetry group, G|G| its order, DD the fundamental domain, and Stab(D)\mathrm{Stab}(D) the stabilizer subgroup of DD. This formula derives from orbit-stabilizer theorem applications to the action on domains and faces, providing a quantitative link between the partial transitivity parameter kk and the overall structure. Isohedral figures, characterized by face-transitivity, relate closely to other symmetry classes defined by transitivity on vertices or edges. Isogonal figures are vertex-transitive, meaning their symmetry group acts transitively on the vertices, ensuring all vertices are equivalent under the symmetries. These serve as duals to isohedral figures; for instance, the Archimedean solids, which are isogonal, have duals in the Catalan solids that are isohedral. Isotoxal figures are edge-transitive, with symmetries mapping any edge to any other, implying uniform dihedral angles across all edges. An isohedral figure with all edges of equal length is necessarily isotoxal, as the congruence of faces and edges ensures edge equivalence under the face-transitive group. Noble polyhedra combine isohedral and isogonal properties, making them both face- and vertex-transitive; the Platonic solids exemplify this class, and the dual of a noble remains noble. Zonohedra are polyhedra generated by Minkowski sums of line segments, resulting in faces parallel in opposite pairs aligned with directions; isozonohedra are a subset with all faces congruent, often exhibiting , though not invariably, as seen in the rhombic . Only the Platonic solids achieve transitivity on faces, vertices, and edges simultaneously among the finite convex uniform polyhedra.

References

Add your contribution
Related Hubs
User Avatar
No comments yet.