Bipyramid

Last updated

In geometry, a bipyramid, dipyramid, or double pyramid is a polyhedron formed by fusing two pyramids together base-to-base. The polygonal base of each pyramid must therefore be the same, and unless otherwise specified the base vertices are usually coplanar and a bipyramid is usually symmetric, meaning the two pyramids are mirror images across their common base plane. When each apex (pl. apices, the off-base vertices) of the bipyramid is on a line perpendicular to the base and passing through its center, it is a right bipyramid; [a] otherwise it is oblique. When the base is a regular polygon, the bipyramid is also called regular.

Contents

Definition and properties

A bipyramid is a polyhedron constructed by fusing two pyramids which share the same polygonal base; [1] a pyramid is in turn constructed by connecting each vertex of its base to a single new vertex (the apex) not lying in the plane of the base, for an n-gonal base forming n triangular faces in addition to the base face. An n-gonal bipyramid thus has 2n faces, 3n edges, and n + 2 vertices. More generally, a right pyramid is a pyramid where the apices are on the perpendicular line through the centroid of an arbitrary polygon or the incenter of a tangential polygon, depending on the source. [a] Likewise, a right bipyramid is a polyhedron constructed by attaching two symmetrical right bipyramid bases; bipyramids whose apices are not on this line are called oblique bipyramids. [2]

When the two pyramids are mirror images, the bipyramid is called symmetric. It is called regular if its base is a regular polygon. [1] When the base is a regular polygon and the apices are on the perpendicular line through its center (a regular right bipyramid) then all of its faces are isosceles triangles; sometimes the name bipyramid refers specifically to symmetric regular right bipyramids, [3] Examples of such bipyramids are the triangular bipyramid, octahedron (square bipyramid) and pentagonal bipyramid. If all their edges are equal in length, these shapes consist of equilateral triangle faces, making them deltahedra; [4] [5] the triangular bipyramid and the pentagonal bipyramid are Johnson solids, and the regular octahedron is a Platonic solid. [6]

The octahedron is dual to the cube Dual Cube-Octahedron.svg
The octahedron is dual to the cube

The symmetric regular right bipyramids have prismatic symmetry, with dihedral symmetry group Dnh of order 4n: they are unchanged when rotated 1/n of a turn around the axis of symmetry, reflected across any plane passing through both apices and a base vertex or both apices and the center of a base edge, or reflected across the mirror plane. [7] Because their faces are transitive under these symmetry transformations, they are isohedral. [8] [9] They are the dual polyhedra of prisms and the prisms are the dual of bipyramids as well; the bipyramids vertices correspond to the faces of the prism, and the edges between pairs of vertices of one correspond to the edges between pairs of faces of the other, and vice versa. [10] The prisms share the same symmetry as the bipyramids. [11] The regular octahedron is more symmetric still, as its base vertices and apices are indistinguishable and can be exchanged by reflections or rotations; the regular octahedron and its dual, the cube, have octahedral symmetry. [12]

The volume of a symmetric bipyramid is where B is the area of the base and h the perpendicular distance from the base plane to either apex. In the case of a regular n-sided polygon with side length s and whose altitude is h, the volume of such a bipyramid is:

Concave quadrilateral bipyramid.png
A concave tetragonal bipyramid
Asymmetric hexagonal bipyramid.png
An asymmetric hexagonal bipyramid

Concave bipyramids

A concave bipyramid has a concave polygon base, and one example is a concave tetragonal bipyramid or an irregular concave octahedron. A bipyramid with an arbitrary polygonal base could be considered a right bipyramid if the apices are on a line perpendicular to the base passing through the base's centroid.

Asymmetric bipyramids

An asymmetric bipyramid has apices which are not mirrored across the base plane; for a right bipyramid this only happens if each apex is a different distance from the base.

The dual of an asymmetric right n-gonal bipyramid is an n-gonal frustum.

A regular asymmetric right n-gonal bipyramid has symmetry group Cnv, of order 2n.

Scalene triangle bipyramids

Example: ditetragonal bipyramid (2n = 2x4) EB1911 Crystallography Fig. 46 Ditetragonal Bipyramid.jpg
Example: ditetragonal bipyramid (2n = 2×4)

An isotoxal right (symmetric) di-n-gonal bipyramid is a right (symmetric) 2n-gonal bipyramid with an isotoxal flat polygon base: its 2n basal vertices are coplanar, but alternate in two radii.

All its faces are congruent scalene triangles, and it is isohedral. It can be seen as another type of a right symmetric di-n-gonal scalenohedron, with an isotoxal flat polygon base.

An isotoxal right (symmetric) di-n-gonal bipyramid has n two-fold rotation axes through opposite basal vertices, n reflection planes through opposite apical edges, an n-fold rotation axis through apices, a reflection plane through base, and an n-fold rotation-reflection axis through apices, [13] representing symmetry group Dnh, [n,2], (*22n), of order 4n. (The reflection about the base plane corresponds to the rotation-reflection. If n is even, then there is an inversion symmetry about the center, corresponding to the 180° rotation-reflection.)

Example with 2n = 2×3:

An isotoxal right (symmetric) ditrigonal bipyramid has three similar vertical planes of symmetry, intersecting in a (vertical) 3-fold rotation axis; perpendicular to them is a fourth plane of symmetry (horizontal); at the intersection of the three vertical planes with the horizontal plane are three similar (horizontal) 2-fold rotation axes; there is no center of inversion symmetry, [14] but there is a center of symmetry: the intersection point of the four axes.

Example with 2n = 2×4:

An isotoxal right (symmetric) ditetragonal bipyramid has four vertical planes of symmetry of two kinds, intersecting in a (vertical) 4-fold rotation axis; perpendicular to them is a fifth plane of symmetry (horizontal); at the intersection of the four vertical planes with the horizontal plane are four (horizontal) 2-fold rotation axes of two kinds, each perpendicular to a plane of symmetry; two vertical planes bisect the angles between two horizontal axes; and there is a centre of inversion symmetry. [15]

Double example:

Examples of rhombic bipyramids EB1911 Crystallography Figs. 54 & 55 Orthorhombic Bipyramids.jpg
Examples of rhombic bipyramids

In crystallography, isotoxal right (symmetric) didigonal [b] (8-faced), ditrigonal (12-faced), ditetragonal (16-faced), and dihexagonal (24-faced) bipyramids exist. [13] [16]

Scalenohedra

Example: ditrigonal scalenohedron (2n = 2x3) EB1911 Crystallography Fig. 68.--Scalenohedron.jpg
Example: ditrigonal scalenohedron (2n = 2×3)

A scalenohedron is similar to a bipyramid; the difference is that the scalenohedra has a zig-zag pattern in the middle edges. [17]

It has two apices and 2n basal vertices, 4n faces, and 6n edges; it is topologically identical to a 2n-gonal bipyramid, but its 2n basal vertices alternate in two rings above and below the center. [16]

All its faces are congruent scalene triangles, and it is isohedral. It can be seen as another type of a right symmetric di-n-gonal bipyramid, with a regular zigzag skew polygon base.

A regular right symmetric di-n-gonal scalenohedron has n two-fold rotation axes through opposite basal mid-edges, n reflection planes through opposite apical edges, an n-fold rotation axis through apices, and a 2n-fold rotation-reflection axis through apices (about which 1n rotations-reflections globally preserve the solid), [13] representing symmetry group Dnv = Dnd, [2+,2n], (2*n), of order 4n. (If n is odd, then there is an inversion symmetry about the center, corresponding to the 180° rotation-reflection.)

Example with 2n = 2×3:

A regular right symmetric ditrigonal scalenohedron has three similar vertical planes of symmetry inclined to one another at 60° and intersecting in a (vertical) 3-fold rotation axis, three similar horizontal 2-fold rotation axes, each perpendicular to a plane of symmetry, a center of inversion symmetry, [18] and a vertical 6-fold rotation-reflection axis.

Example with 2n = 2×2:

A regular right symmetric didigonal scalenohedron has only one vertical and two horizontal 2-fold rotation axes, two vertical planes of symmetry, which bisect the angles between the horizontal pair of axes, and a vertical 4-fold rotation-reflection axis; [19] it has no center of inversion symmetry.
Examples of disphenoids and of an 8-faced scalenohedron EB1911 Crystallography Figs. 50 & 51.jpg
Examples of disphenoids and of an 8-faced scalenohedron

For at most two particular values of the faces of such a scalenohedron may be isosceles.

Double example:

In crystallography, regular right symmetric didigonal (8-faced) and ditrigonal (12-faced) scalenohedra exist. [13] [16]

The smallest geometric scalenohedra have eight faces, and are topologically identical to the regular octahedron. In this case (2n = 2×2), in crystallography, a regular right symmetric didigonal (8-faced) scalenohedron is called a tetragonal scalenohedron. [13] [16]

Let us temporarily focus on the regular right symmetric 8-faced scalenohedra with h = r, i.e. Their two apices can be represented as A, A' and their four basal vertices as U, U', V, V': where z is a parameter between 0 and 1.

At z = 0, it is a regular octahedron; at z = 1, it has four pairs of coplanar faces, and merging these into four congruent isosceles triangles makes it a disphenoid; for z > 1, it is concave.

Example: geometric variations with regular right symmetric 8-faced scalenohedra:
z = 0.1z = 0.25z = 0.5z = 0.95z = 1.5
4-scalenohedron-01.png 4-scalenohedron-025.png 4-scalenohedron-05.png 4-scalenohedron-095.png 4-scalenohedron-15.png

If the 2n-gon base is both isotoxal in-out and zigzag skew, then not all faces of the isotoxal right symmetric scalenohedron are congruent.

Example with five different edge lengths:

For some particular values of zA = |zA'|, half the faces of such a scalenohedron may be isosceles or equilateral.

Example with three different edge lengths:

Star bipyramids

A star bipyramid has a star polygon base, and is self-intersecting. [20]

A regular right symmetric star bipyramid has congruent isosceles triangle faces, and is isohedral.

A p/q-bipyramid has Coxeter diagram CDel node f1.pngCDel 2x.pngCDel node f1.pngCDel p.pngCDel rat.pngCDel q.pngCDel node.png.

Example star bipyramids:
Base 5/2-gon7/2-gon7/3-gon8/3-gon
Image Pentagram Dipyramid.png 7-2 dipyramid.png 7-3 dipyramid.png 8-3 dipyramid.png

4-polytopes with bipyramidal cells

The dual of the rectification of each convex regular 4-polytopes is a cell-transitive 4-polytope with bipyramidal cells. In the following:

The bipyramid 4-polytope will have VA vertices where the apices of NA bipyramids meet. It will have VE vertices where the type E vertices of NE bipyramids meet.

As cells must fit around an edge,

4-polytopes with bipyramidal cells
4-polytope propertiesBipyramid properties
Dual of
rectified
polytope
Coxeter
diagram
CellsVAVENANEBipyramid
cell
Coxeter
diagram
AAAE [c]
R. 5-cell CDel node.pngCDel 3.pngCDel node f1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png10554633 Triangular CDel node f1.pngCDel 2x.pngCDel node f1.pngCDel 3.pngCDel node.png0.667
R. tesseract CDel node.pngCDel 4.pngCDel node f1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png3216841234 Triangular CDel node f1.pngCDel 2x.pngCDel node f1.pngCDel 3.pngCDel node.png0.624
R. 24-cell CDel node.pngCDel 3.pngCDel node f1.pngCDel 4.pngCDel node.pngCDel 3.pngCDel node.png96242481243 Triangular CDel node f1.pngCDel 2x.pngCDel node f1.pngCDel 3.pngCDel node.png0.745
R. 120-cell CDel node.pngCDel 5.pngCDel node f1.pngCDel 3.pngCDel node.pngCDel 3.pngCDel node.png120060012043035 Triangular CDel node f1.pngCDel 2x.pngCDel node f1.pngCDel 3.pngCDel node.png0.613
R. 16-cell CDel node.pngCDel 3.pngCDel node f1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png24 [d] 8166633 Square CDel node f1.pngCDel 2x.pngCDel node f1.pngCDel 4.pngCDel node.png1
R. cubic
honeycomb
CDel node.pngCDel 4.pngCDel node f1.pngCDel 3.pngCDel node.pngCDel 4.pngCDel node.png61234 Square CDel node f1.pngCDel 2x.pngCDel node f1.pngCDel 4.pngCDel node.png0.866
R. 600-cell CDel node.pngCDel 3.pngCDel node f1.pngCDel 3.pngCDel node.pngCDel 5.pngCDel node.png72012060012633 Pentagonal CDel node f1.pngCDel 2x.pngCDel node f1.pngCDel 5.pngCDel node.png1.447

Other dimensions

A rhombus is a 2-dimensional analog of a right symmetric bipyramid Romb deltoid.svg
A rhombus is a 2-dimensional analog of a right symmetric bipyramid

A generalized n-dimensional "bipyramid" is any n-polytope constructed from an (n − 1)-polytope base lying in a hyperplane, with every base vertex connected by an edge to two apex vertices. If the (n − 1)-polytope is a regular polytope and the apices are equidistant from its center along the line perpendicular to the base hyperplane, it will have identical pyramidal facets.

A 2-dimensional analog of a right symmetric bipyramid is formed by joining two congruent isosceles triangles base-to-base to form a rhombus. More generally, a kite is a 2-dimensional analog of a (possibly asymmetric) right bipyramid, and any quadrilateral is a 2-dimensional analog of a general bipyramid.

See also

Notes

  1. 1 2 The center of a regular polygon is unambiguous, but for irregular polygons sources disagree. Some sources only allow a right pyramid to have a regular polygon as a base. Others define a right pyramid as having its apices on a line perpendicular to the base and passing through its centroid. Polya (1954) restricts right pyramids to those with a tangential polygon for a base, with the apices on a line perpendicular to the base and passing through the incenter.
  2. The smallest geometric di-n-gonal bipyramids have eight faces, and are topologically identical to the regular octahedron. In this case (2n = 2×2):
    an isotoxal right (symmetric) didigonal bipyramid is called a rhombic bipyramid, [13] [16] although all its faces are scalene triangles, because its flat polygon base is a rhombus.
  3. Given numerically due to more complex form.
  4. The rectified 16-cell is the regular 24-cell and vertices are all equivalent octahedra are regular bipyramids.

Citations

  1. 1 2 Aarts, J. M. (2008). Plane and Solid Geometry. Springer. p. 303. doi:10.1007/978-0-387-78241-6. ISBN   978-0-387-78241-6.
  2. Polya, G. (1954). Mathematics and Plausible Reasoning: Induction and analogy in mathematics. Princeton University Press. p. 138. ISBN   0-691-02509-6.
  3. Montroll, John (2009). Origami Polyhedra Design. A K Peters. p. 6. ISBN   9781439871065.
  4. Trigg, Charles W. (1978). "An infinite class of deltahedra". Mathematics Magazine. 51 (1): 55–57. doi:10.1080/0025570X.1978.11976675. JSTOR   2689647. MR   1572246.
  5. Uehara, Ryuhei (2020). Introduction to Computational Origami: The World of New Computational Geometry. Springer. p. 62. doi:10.1007/978-981-15-4470-5. ISBN   978-981-15-4470-5. S2CID   220150682.
  6. Cromwell, Peter R. (1997). Polyhedra. Cambridge University Press. ISBN   978-0-521-55432-9.
  7. Flusser, Jan; Suk, Tomas; Zitofa, Barbara (2017). 2D and 3D Image Analysis by Moments. John & Sons Wiley. p. 126. ISBN   978-1-119-03935-8.
  8. Chang, Ch.; Patzer, A. B. C.; Sülzle, D.; Hauer, H. "Onion-Like Inorganic Fullerenes from a Polyhedral Perspective". In Sattler, Klaus D. (ed.). 21st Century Nanoscience: A Handbook. Taylor & Francis. p. 15-4.
  9. McLean, K. Robin (1990). "Dungeons, dragons, and dice". The Mathematical Gazette. 74 (469): 243–256. doi:10.2307/3619822. JSTOR   3619822. S2CID   195047512.
  10. Sibley, Thomas Q. (2015). Thinking Geometrically: A Survey of Geometries. Mathematical Association of American. p. 53. ISBN   978-1-939512-08-6.
  11. King, Robert B. (1994). "Polyhedral Dynamics". In Bonchev, Danail D.; Mekenyan, O.G. (eds.). Graph Theoretical Approaches to Chemical Reactivity. Springer. doi:10.1007/978-94-011-1202-4. ISBN   978-94-011-1202-4.
  12. Armstrong, M. A. (1988). Group and Symmetry. Undergraduate Texts in Mathematics. Springer. p. 39. doi:10.1007/978-1-4757-4034-9. ISBN   978-1-4757-4034-9.
  13. 1 2 3 4 5 6 "Crystal Form, Zones, Crystal Habit". Tulane.edu. Retrieved 16 September 2017.
  14. Spencer 1911, 6. Hexagonal system, rhombohedral division, ditrigonal bipyramidal class, p. 581 (p. 603 on Wikisource).
  15. Spencer 1911, 2. Tegragonal system, holosymmetric class, fig. 46, p. 577 (p. 599 on Wikisource).
  16. 1 2 3 4 5 "The 48 Special Crystal Forms". 18 September 2013. Archived from the original on 18 September 2013. Retrieved 18 November 2020.
  17. Klein, Cornelis; Philpotts, Anthony R. (2013). Earth Materials: Introduction to Mineralogy and Petrology. Cambridge University Press. p. 108. ISBN   978-0-521-14521-3.
  18. Spencer 1911, 6. Hexagonal system, rhombohedral division, holosymmetric class, fig. 68, p. 580 (p. 602 on Wikisource).
  19. Spencer 1911, p. 2. Tetragonal system, scalenohedral class, fig. 51, p. 577 (p. 599 on Wikisource).
  20. Rankin, John R. (1988). "Classes of polyhedra defined by jet graphics". Computers & Graphics. 12 (2): 239–254. doi:10.1016/0097-8493(88)90036-2.

Works Cited

Related Research Articles

<span class="mw-page-title-main">Antiprism</span> Polyhedron with parallel bases connected by triangles

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 2n triangles. They are represented by the Conway notation An.

In geometry, an octahedron is a polyhedron with eight faces. One special case is the regular octahedron, a Platonic solid composed of eight equilateral triangles, four of which meet at each vertex. Regular octahedra occur in nature as crystal structures. Many types of irregular octahedra also exist, including both convex and non-convex shapes.

In geometry, a tetrahedron, also known as a triangular pyramid, is a polyhedron composed of four triangular faces, six straight edges, and four vertices. The tetrahedron is the simplest of all the ordinary convex polyhedra.

<span class="mw-page-title-main">Truncated cuboctahedron</span> Archimedean solid in geometry

In geometry, the truncated cuboctahedron or great rhombicuboctahedron 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 9-zonohedron. The truncated cuboctahedron can tessellate with the octagonal prism.

<span class="mw-page-title-main">Snub dodecahedron</span> Archimedean solid with 92 faces

In geometry, the snub dodecahedron, or snub icosidodecahedron, is an Archimedean solid, one of thirteen convex isogonal nonprismatic solids constructed by two or more types of regular polygon faces.

<span class="mw-page-title-main">Decagon</span> Shape with ten sides

In geometry, a decagon is a ten-sided polygon or 10-gon. The total sum of the interior angles of a simple decagon is 1440°.

<span class="mw-page-title-main">Icosagon</span> Polygon with 20 edges

In geometry, an icosagon or 20-gon is a twenty-sided polygon. The sum of any icosagon's interior angles is 3240 degrees.

<span class="mw-page-title-main">Triangular bipyramid</span> Two tetrahedra joined by one face

A triangular bipyramid is a hexahedron with six triangular faces constructed by attaching two tetrahedra face-to-face. The same shape is also known as a triangular dipyramid or trigonal bipyramid. If these tetrahedra are regular, all faces of a triangular bipyramid are equilateral. It is an example of a deltahedron, composite polyhedron, and Johnson solid.

<span class="mw-page-title-main">Cupola (geometry)</span> Solid made by joining an n- and 2n-gon with triangles and squares

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.

<span class="mw-page-title-main">Trapezohedron</span> Polyhedron made of congruent kites arranged radially

In geometry, an n-gonaltrapezohedron, n-trapezohedron, n-antidipyramid, n-antibipyramid, or n-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.

<span class="mw-page-title-main">Disdyakis dodecahedron</span> Geometric shape with 48 faces

In geometry, a disdyakis dodecahedron, or d48, is a Catalan solid with 48 faces and the dual to the Archimedean truncated cuboctahedron. As such it is face-transitive but with irregular face polygons. It resembles an augmented rhombic dodecahedron. Replacing each face of the rhombic dodecahedron with a flat pyramid creates a polyhedron that looks almost like the disdyakis dodecahedron, and is topologically equivalent to it.

<span class="mw-page-title-main">Disdyakis triacontahedron</span> Catalan solid with 120 faces

In geometry, a disdyakis triacontahedron, hexakis icosahedron, decakis dodecahedron, kisrhombic triacontahedron or d120 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 is also the barycentric subdivision of the regular dodecahedron and icosahedron. It has the most faces among the Archimedean and Catalan solids, with the snub dodecahedron, with 92 faces, in second place.

<span class="mw-page-title-main">Pentagonal bipyramid</span> Two pentagonal pyramids joined at the bases

The pentagonal bipyramid is a polyhedron with ten triangular faces. It is constructed by attaching two pentagonal pyramids to each of their bases. If the triangular faces are equilateral, the pentagonal bipyramid is an example of deltahedra, composite polyhedron, and Johnson solid.

<span class="mw-page-title-main">Square cupola</span> Cupola with octagonal base

In geometry, the square cupola is a cupola with an octagonal base. In the case of all edges being equal in length, it is a Johnson solid, a convex polyhedron with regular faces. It can be used to construct many other polyhedrons, particularly other Johnson solids.

<span class="mw-page-title-main">Snub disphenoid</span> Convex polyhedron with 12 triangular faces

In geometry, the snub disphenoid is a convex polyhedron with 12 equilateral triangles as its faces. It is an example of deltahedron and Johnson solid. It can be constructed in different approaches. This shape also has alternative names called Siamese dodecahedron, triangular dodecahedron, trigonal dodecahedron, or dodecadeltahedron.

<span class="mw-page-title-main">Pentadecagon</span> Polygon with 15 edges

In geometry, a pentadecagon or pentakaidecagon or 15-gon is a fifteen-sided polygon.

In geometry, a pyramid is a polyhedron formed by connecting a polygonal base and a point, called the apex. Each base edge and apex form a triangle, called a lateral face. A pyramid is a conic solid with a polygonal base. Many types of pyramids can be found by determining the shape of bases, either by based on a regular polygon or by cutting off the apex. It can be generalized into higher dimensions, known as hyperpyramid. All pyramids are self-dual.

<span class="mw-page-title-main">Bifrustum</span> Polyhedron made by joining two identical frusta at their bases

In geometry, an n-agonal bifrustum is a polyhedron composed of three parallel planes of n-agons, with the middle plane largest and usually the top and bottom congruent.

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.

In geometry, a uniform tiling is a tessellation of the plane by regular polygon faces with the restriction of being vertex-transitive.