geometry Geometry (; ) is a branch of mathematics concerned with properties of space such as the distance, shape, size, and relative position of figures. Geometry is, along with arithmetic, one of the oldest branches of mathematics. A mathematician w ...

, a

tessellation A tessellation or tiling is the covering of a surface, often a plane, using one or more geometric shapes, called ''tiles'', with no overlaps and no gaps. In mathematics, tessellation can be generalized to higher dimensions and a variety ...

of dimension (a plane tiling) or higher, or a

polytope In elementary geometry, a polytope is a geometric object with flat sides ('' faces''). Polytopes are the generalization of three-dimensional polyhedra to any number of dimensions. Polytopes may exist in any general number of dimensions as an ...

of dimension (a

polyhedron In geometry, a polyhedron (: polyhedra or polyhedrons; ) is a three-dimensional figure with flat polygonal Face (geometry), faces, straight Edge (geometry), edges and sharp corners or Vertex (geometry), vertices. The term "polyhedron" may refer ...

) 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 and , there must be a symmetry of the ''entire'' figure by translations, rotations, and/or reflections that maps onto . For this reason,

convex Convex or convexity may refer to: Science and technology * Convex lens, in optics Mathematics * Convex set, containing the whole line segment that joins points ** Convex polygon, a polygon which encloses a convex set of points ** Convex polytop ...

isohedral polyhedra are the shapes that will make fair dice. 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 bipyramids, and the trapezohedra are all isohedral. They are the duals of the (isogonal)

Archimedean solids The Archimedean solids are a set of thirteen convex polyhedra whose faces are regular polygon and are vertex-transitive, although they aren't face-transitive. The solids were named after Archimedes, although he did not claim credit for them. They ...

, prisms, and

antiprism In geometry, an antiprism or is a polyhedron composed of two Parallel (geometry), parallel Euclidean group, direct copies (not mirror images) of an polygon, connected by an alternating band of triangles. They are represented by the Conway po ...

s, respectively. The

Platonic solids In geometry, a Platonic solid is a convex, regular polyhedron in three-dimensional Euclidean space. Being a regular polyhedron means that the faces are congruent (identical in shape and size) regular polygons (all angles congruent and all edge ...

, 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 are isohedral. For example, a rhombic icosahedron is an isozonohedron but not an isohedron.

Examples

Classes of isohedra by symmetry

''k''-isohedral figure

A polyhedron (or polytope in general) is ''k''-isohedral if it contains ''k'' faces within its symmetry fundamental domains. 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''). ("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). Here are some examples of ''k''-isohedral polyhedra and tilings, with their faces colored by their ''k'' symmetry positions:

Related terms

A cell-transitive or isochoric figure is an ''n''-

(''n'' ≥ 4) or ''n''-

honeycomb A honeycomb is a mass of Triangular prismatic honeycomb#Hexagonal prismatic honeycomb, hexagonal prismatic cells built from beeswax by honey bees in their beehive, nests to contain their brood (eggs, larvae, and pupae) and stores of honey and pol ...

(''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. 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.

References

External links