In geometry, a polytope (e.g. a polygon or polyhedron) or a tiling is isogonal or vertex-transitive if all its vertices are equivalent under the symmetries of the figure. This implies that each vertex is surrounded by the same kinds of face in the same or reverse order, and with the same angles between corresponding faces.
Technically, one says that for any two vertices there exists a symmetry of the polytope mapping the first isometrically onto the second. Other ways of saying this are that the group of automorphisms of the polytope acts transitively on its vertices, or that the vertices lie within a single symmetry orbit.
All vertices of a finite -dimensional isogonal figure exist on an -sphere.
The term isogonal has long been used for polyhedra. Vertex-transitive is a synonym borrowed from modern ideas such as symmetry groups and graph theory.
The pseudorhombicuboctahedronwhich is not isogonaldemonstrates that simply asserting that "all vertices look the same" is not as restrictive as the definition used here, which involves the group of isometries preserving the polyhedron or tiling.
Some even-sided polygons and apeirogons which alternate two edge lengths, for example a rectangle, are isogonal.
All planar isogonal 2n-gons have dihedral symmetry (Dn, n = 2, 3, ...) with reflection lines across the mid-edge points.
Distorted square tiling | |
A distorted truncated square tiling |
An isogonal polyhedron and 2D tiling has a single kind of vertex. An isogonal polyhedron with all regular faces is also a uniform polyhedron and can be represented by a vertex configuration notation sequencing the faces around each vertex. Geometrically distorted variations of uniform polyhedra and tilings can also be given the vertex configuration.
Isogonal polyhedra and 2D tilings may be further classified:
These definitions can be extended to higher-dimensional polytopes and tessellations. All uniform polytopes are isogonal, for example, the uniform 4-polytopes and convex uniform honeycombs.
The dual of an isogonal polytope is an isohedral figure, which is transitive on its facets.
A polytope or tiling may be called k-isogonal if its vertices form k transitivity classes. A more restrictive term, k-uniform is defined as a k-isogonal figure constructed only from regular polygons. They can be represented visually with colors by different uniform colorings.