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 | ||||||||||||