In four-dimensional geometry, a prismatic uniform 4-polytope is a uniform 4-polytope with a nonconnected Coxeter diagram symmetry group.[ citation needed ] These figures are analogous to the set of prisms and antiprism uniform polyhedra, but add a third category called duoprisms, constructed as a product of two regular polygons.
The prismatic uniform 4-polytopes consist of two infinite families:
The most obvious family of prismatic 4-polytopes is the polyhedral prisms, i.e. products of a polyhedron with a line segment. The cells of such a 4-polytope are two identical uniform polyhedra lying in parallel hyperplanes (the base cells) and a layer of prisms joining them (the lateral cells). This family includes prisms for the 75 nonprismatic uniform polyhedra (of which 18 are convex; one of these, the cube-prism, is listed above as the tesseract).[ citation needed ]
There are 18 convex polyhedral prisms created from 5 Platonic solids and 13 Archimedean solids as well as for the infinite families of three-dimensional prisms and antiprisms.[ citation needed ] The symmetry number of a polyhedral prism is twice that of the base polyhedron.
# | Johnson Name (Bowers style acronym) | Picture | Coxeter diagram and Schläfli symbols | Cells by type | Element counts | |||||
---|---|---|---|---|---|---|---|---|---|---|
Cells | Faces | Edges | Vertices | |||||||
48 | Tetrahedral prism (tepe) | {3,3}×{} | 2 3.3.3 | 4 3.4.4 | 6 | 8 {3} 6 {4} | 16 | 8 | ||
49 | Truncated tetrahedral prism (tuttip) | t{3,3}×{} | 2 3.6.6 | 4 3.4.4 | 4 4.4.6 | 10 | 8 {3} 18 {4} 8 {6} | 48 | 24 | |
[51] | Rectified tetrahedral prism (Same as octahedral prism) (ope) | r{3,3}×{} | 2 3.3.3.3 | 4 3.4.4 | 6 | 16 {3} 12 {4} | 30 | 12 | ||
[50] | Cantellated tetrahedral prism (Same as cuboctahedral prism) (cope) | rr{3,3}×{} | 2 3.4.3.4 | 8 3.4.4 | 6 4.4.4 | 16 | 16 {3} 36 {4} | 60 | 24 | |
[54] | Cantitruncated tetrahedral prism (Same as truncated octahedral prism) (tope) | tr{3,3}×{} | 2 4.6.6 | 8 3.4.4 | 6 4.4.4 | 16 | 48 {4} 16 {6} | 96 | 48 | |
[59] | Snub tetrahedral prism (Same as icosahedral prism) (ipe) | sr{3,3}×{} | 2 3.3.3.3.3 | 20 3.4.4 | 22 | 40 {3} 30 {4} | 72 | 24 |
# | Johnson Name (Bowers style acronym) | Picture | Coxeter diagram and Schläfli symbols | Cells by type | Element counts | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Cells | Faces | Edges | Vertices | ||||||||
[10] | Cubic prism (Same as tesseract ) (Same as 4-4 duoprism) (tes) | {4,3}×{} | 2 4.4.4 | 6 4.4.4 | 8 | 24 {4} | 32 | 16 | |||
50 | Cuboctahedral prism (Same as cantellated tetrahedral prism) (cope) | r{4,3}×{} | 2 3.4.3.4 | 8 3.4.4 | 6 4.4.4 | 16 | 16 {3} 36 {4} | 60 | 24 | ||
51 | Octahedral prism (Same as rectified tetrahedral prism) (Same as triangular antiprismatic prism) (ope) | {3,4}×{} | 2 3.3.3.3 | 8 3.4.4 | 10 | 16 {3} 12 {4} | 30 | 12 | |||
52 | Rhombicuboctahedral prism (sircope) | rr{4,3}×{} | 2 3.4.4.4 | 8 3.4.4 | 18 4.4.4 | 28 | 16 {3} 84 {4} | 120 | 96 | ||
53 | Truncated cubic prism (ticcup) | t{4,3}×{} | 2 3.8.8 | 8 3.4.4 | 6 4.4.8 | 16 | 16 {3} 36 {4} 12 {8} | 96 | 48 | ||
54 | Truncated octahedral prism (Same as cantitruncated tetrahedral prism) (tope) | t{3,4}×{} | 2 4.6.6 | 6 4.4.4 | 8 4.4.6 | 16 | 48 {4} 16 {6} | 96 | 48 | ||
55 | Truncated cuboctahedral prism (gircope) | tr{4,3}×{} | 2 4.6.8 | 12 4.4.4 | 8 4.4.6 | 6 4.4.8 | 28 | 96 {4} 16 {6} 12 {8} | 192 | 96 | |
56 | Snub cubic prism (sniccup) | sr{4,3}×{} | 2 3.3.3.3.4 | 32 3.4.4 | 6 4.4.4 | 40 | 64 {3} 72 {4} | 144 | 48 |
# | Johnson Name (Bowers style acronym) | Picture | Coxeter diagram and Schläfli symbols | Cells by type | Element counts | ||||||
---|---|---|---|---|---|---|---|---|---|---|---|
Cells | Faces | Edges | Vertices | ||||||||
57 | Dodecahedral prism (dope) | {5,3}×{} | 2 5.5.5 | 12 4.4.5 | 14 | 30 {4} 24 {5} | 80 | 40 | |||
58 | Icosidodecahedral prism (iddip) | r{5,3}×{} | 2 3.5.3.5 | 20 3.4.4 | 12 4.4.5 | 34 | 40 {3} 60 {4} 24 {5} | 150 | 60 | ||
59 | Icosahedral prism (same as snub tetrahedral prism) (ipe) | {3,5}×{} | 2 3.3.3.3.3 | 20 3.4.4 | 22 | 40 {3} 30 {4} | 72 | 24 | |||
60 | Truncated dodecahedral prism (tiddip) | t{5,3}×{} | 2 3.10.10 | 20 3.4.4 | 12 4.4.5 | 34 | 40 {3} 90 {4} 24 {10} | 240 | 120 | ||
61 | Rhombicosidodecahedral prism (sriddip) | rr{5,3}×{} | 2 3.4.5.4 | 20 3.4.4 | 30 4.4.4 | 12 4.4.5 | 64 | 40 {3} 180 {4} 24 {5} | 300 | 120 | |
62 | Truncated icosahedral prism (tipe) | t{3,5}×{} | 2 5.6.6 | 12 4.4.5 | 20 4.4.6 | 34 | 90 {4} 24 {5} 40 {6} | 240 | 120 | ||
63 | Truncated icosidodecahedral prism (griddip) | tr{5,3}×{} | 2 4.6.4.10 | 30 4.4.4 | 20 4.4.6 | 12 4.4.10 | 64 | 240 {4} 40 {6} 24 {5} | 480 | 240 | |
64 | Snub dodecahedral prism (sniddip) | sr{5,3}×{} | 2 3.3.3.3.5 | 80 3.4.4 | 12 4.4.5 | 94 | 240 {4} 40 {6} 24 {10} | 360 | 120 |
3-3 | 3-4 | 3-5 | 3-6 | 3-7 | 3-8 |
4-3 | 4-4 | 4-5 | 4-6 | 4-7 | 4-8 |
5-3 | 5-4 | 5-5 | 5-6 | 5-7 | 5-8 |
6-3 | 6-4 | 6-5 | 6-6 | 6-7 | 6-8 |
7-3 | 7-4 | 7-5 | 7-6 | 7-7 | 7-8 |
8-3 | 8-4 | 8-5 | 8-6 | 8-7 | 8-8 |
The second is the infinite family of uniform duoprisms, products of two regular polygons.
Their Coxeter diagram is of the form
This family overlaps with the first: when one of the two "factor" polygons is a square, the product is equivalent to a hyperprism whose base is a three-dimensional prism. The symmetry number of a duoprism whose factors are a p-gon and a q-gon (a "p,q-duoprism") is 4pq if p≠q; if the factors are both p-gons, the symmetry number is 8p2. The tesseract can also be considered a 4,4-duoprism.
The elements of a p,q-duoprism (p ≥ 3, q ≥ 3) are:
There is no uniform analogue in four dimensions to the infinite family of three-dimensional antiprisms with the exception of the great duoantiprism.
Infinite set of p-q duoprism -
The infinite set of uniform prismatic prisms overlaps with the 4-p duoprisms: (p≥3) -
The infinite sets of uniform antiprismatic prisms or antiduoprisms are constructed from two parallel uniform antiprisms: (p≥3) -
Name | s{2,2}×{} | s{2,3}×{} | s{2,4}×{} | s{2,5}×{} | s{2,6}×{} | s{2,7}×{} | s{2,8}×{} | s{2,p}×{} |
---|---|---|---|---|---|---|---|---|
Coxeter diagram | ||||||||
Image | ||||||||
Vertex figure | ||||||||
Cells | 2 s{2,2} (2) {2}×{}={4} 4 {3}×{} | 2 s{2,3} 2 {3}×{} 6 {3}×{} | 2 s{2,4} 2 {4}×{} 8 {3}×{} | 2 s{2,5} 2 {5}×{} 10 {3}×{} | 2 s{2,6} 2 {6}×{} 12 {3}×{} | 2 s{2,7} 2 {7}×{} 14 {3}×{} | 2 s{2,8} 2 {8}×{} 16 {3}×{} | 2 s{2,p} 2 {p}×{} 2p {3}×{} |
Net |
A p-gonal antiprismatic prism has 4p triangle, 4p square and 4 p-gon faces. It has 10p edges, and 4p vertices.
In geometry, a 4-polytope is a four-dimensional polytope. It is a connected and closed figure, composed of lower-dimensional polytopal elements: vertices, edges, faces (polygons), and cells (polyhedra). Each face is shared by exactly two cells.
In geometry, a prism is a polyhedron comprising an n-sided polygonal base, a second base which is a translated copy of the first, and n other faces joining corresponding sides of the two bases. All cross-sections parallel to the bases are translations of the bases. Prisms are named for their bases, so a prism with a pentagonal base is called a pentagonal prism. The prisms are a subclass of the prismatoids.
In geometry, the Schläfli symbol is a notation of the form {p,q,r,...} that defines regular polytopes and tessellations.
In geometry, a uniform 4-polytope is a 4-dimensional polytope which is vertex-transitive and whose cells are uniform polyhedra, and faces are regular polygons.
In geometry of 4 dimensions or higher, a duoprism is a polytope resulting from the Cartesian product of two polytopes, each of two dimensions or higher. The Cartesian product of an n-polytope and an m-polytope is an (n+m)-polytope, where n and m are 2 (polygon) or higher.
In four-dimensional geometry, a runcinated tesseract is a convex uniform 4-polytope, being a runcination of the regular tesseract.
The cubic honeycomb or cubic cellulation is the only proper regular space-filling tessellation in Euclidean 3-space, made up of cubic cells. It has 4 cubes around every edge, and 8 cubes around each vertex. Its vertex figure is a regular octahedron. It is a self-dual tessellation with Schläfli symbol {4,3,4}. John Horton Conway calls this honeycomb a cubille.
In four-dimensional geometry, a runcinated 24-cell is a convex uniform 4-polytope, being a runcination of the regular 24-cell.
In geometry, a skew polygon is a polygon whose vertices are not all coplanar. Skew polygons must have at least 4 vertices. The interior surface of such a polygon is not uniquely defined.
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 4-dimensional geometry, a uniform antiprismatic prism or antiduoprism is a uniform 4-polytope with two uniform antiprism cells in two parallel 3-space hyperplanes, connected by uniform prisms cells between pairs of faces. The symmetry of a p-gonal antiprismatic prism is [2p,2+,2], order 8p.
In geometry, a uniform 5-polytope is a five-dimensional uniform polytope. By definition, a uniform 5-polytope is vertex-transitive and constructed from uniform 4-polytope facets.
In the field of hyperbolic geometry, the order-4 hexagonal tiling honeycomb arises as one of 11 regular paracompact honeycombs in 3-dimensional hyperbolic space. It is called paracompact because it has infinite cells. Each cell consists of a hexagonal tiling whose vertices lie on a horosphere: a flat plane in hyperbolic space that approaches a single ideal point at infinity.
In geometry of 4 dimensions, a 8-8 duoprism or octagonal duoprism is a polygonal duoprism, a 4-polytope resulting from the Cartesian product of two octagons.
In geometry of 4 dimensions, a 6-6 duoprism or hexagonal duoprism is a polygonal duoprism, a 4-polytope resulting from the Cartesian product of two hexagons.
In geometry of 4 dimensions, a 4-6 duoprism, a duoprism and 4-polytope resulting from the Cartesian product of a square and a hexagon.
In geometry of 4 dimensions, a 4-8 duoprism, a duoprism and 4-polytope resulting from the Cartesian product of a square and an octagon.
In geometry of 4 dimensions, a 6-8 duoprism, a duoprism and 4-polytope resulting from the Cartesian product of a hexagon and an octagon.
Fundamental convex regular and uniform polytopes in dimensions 2–10 | ||||||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|
Family | An | Bn | I2(p) / Dn | E6 / E7 / E8 / F4 / G2 | Hn | |||||||
Regular polygon | Triangle | Square | p-gon | Hexagon | Pentagon | |||||||
Uniform polyhedron | Tetrahedron | Octahedron • Cube | Demicube | Dodecahedron • Icosahedron | ||||||||
Uniform 4-polytope | 5-cell | 16-cell • Tesseract | Demitesseract | 24-cell | 120-cell • 600-cell | |||||||
Uniform 5-polytope | 5-simplex | 5-orthoplex • 5-cube | 5-demicube | |||||||||
Uniform 6-polytope | 6-simplex | 6-orthoplex • 6-cube | 6-demicube | 122 • 221 | ||||||||
Uniform 7-polytope | 7-simplex | 7-orthoplex • 7-cube | 7-demicube | 132 • 231 • 321 | ||||||||
Uniform 8-polytope | 8-simplex | 8-orthoplex • 8-cube | 8-demicube | 142 • 241 • 421 | ||||||||
Uniform 9-polytope | 9-simplex | 9-orthoplex • 9-cube | 9-demicube | |||||||||
Uniform 10-polytope | 10-simplex | 10-orthoplex • 10-cube | 10-demicube | |||||||||
Uniform n-polytope | n-simplex | n-orthoplex • n-cube | n-demicube | 1k2 • 2k1 • k21 | n-pentagonal polytope | |||||||
Topics: Polytope families • Regular polytope • List of regular polytopes and compounds |