# Prismatic uniform 4-polytope

In four-dimensional geometry, a prismatic uniform 4-polytope is a uniform 4-polytope with a nonconnected Coxeter diagram symmetry group. 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:
* Polyhedral prisms: products of a line segment and a uniform polyhedron. This family is infinite because it includes prisms built on 3-dimensional prisms and antiprisms.
* Duoprisms: product of two regular polygons.

## Convex polyhedral prisms

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).
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. The symmetry number of a polyhedral prism is twice that of the base polyhedron.

## Tetrahedral prisms: A$_3$ × A$_1$

| # | Johnson Name (Bowers style acronym) | Picture | Coxeter diagram and Schläfli symbols | Cells by type | Cells by type | Cells by type | Element counts | Element counts | Element counts | Element counts |
| # | Johnson Name (Bowers style acronym) | Picture | Coxeter diagram and Schläfli symbols | Cells by type | Cells by type | Cells by type | 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 |

## Octahedral prisms: BC$_3$ × A$_1$

| # | Johnson Name (Bowers style acronym) | Picture | Coxeter diagram and Schläfli symbols | Cells by type | Cells by type | Cells by type | Cells by type | Element counts | Element counts | Element counts | Element counts |
| # | Johnson Name (Bowers style acronym) | Picture | Coxeter diagram and Schläfli symbols | Cells by type | Cells by type | Cells by type | Cells by type | 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 |

## Icosahedral prisms: H$_3$ × A$_1$

| # | Johnson Name (Bowers style acronym) | Picture | Coxeter diagram and Schläfli symbols | Cells by type | Cells by type | Cells by type | Cells by type | Element counts | Element counts | Element counts | Element counts |
| # | Johnson Name (Bowers style acronym) | Picture | Coxeter diagram and Schläfli symbols | Cells by type | Cells by type | Cells by type | Cells by type | 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 |

## Duoprisms: [p] × [q]

Set of uniform p,q duoprisms :
| 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 8p$^2$. The tesseract can also be considered a 4,4-duoprism.
The elements of a p,q-duoprism (p ≥ 3, q ≥ 3) are:
* Cells: p q-gonal prisms, q p-gonal prisms
* Faces: pq squares, p q-gons, q p-gons
* Edges: 2pq
* Vertices: pq
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 - - p q-gonal prisms, q p-gonal prisms:
* 3-3 duoprism - - 6 triangular prisms
* 3-4 duoprism - - 3 cubes, 4 triangular prisms
* 4-4 duoprism - - 8 cubes (same as tesseract)
* 3-5 duoprism - - 3 pentagonal prisms, 5 triangular prisms
* 4-5 duoprism - - 4 pentagonal prisms, 5 cubes
* 5-5 duoprism - - 10 pentagonal prisms
* 3-6 duoprism - - 3 hexagonal prisms, 6 triangular prisms
* 4-6 duoprism - - 4 hexagonal prisms, 6 cubes
* 5-6 duoprism - - 5 hexagonal prisms, 6 pentagonal prisms
* 6-6 duoprism - - 12 hexagonal prisms

## Polygonal prismatic prisms

The infinite set of uniform prismatic prisms overlaps with the 4-p duoprisms: (p≥3) - - p cubes and 4 p-gonal prisms - (All are the same as 4-p duoprism)
* Triangular prismatic prism - - 3 cubes and 4 triangular prisms - (same as 3-4 duoprism)
* Square prismatic prism - - 4 cubes and 4 cubes - (same as 4-4 duoprism and same as tesseract)
* Pentagonal prismatic prism - - 5 cubes and 4 pentagonal prisms - (same as 4-5 duoprism)
* Hexagonal prismatic prism - - 6 cubes and 4 hexagonal prisms - (same as 4-6 duoprism)
* Heptagonal prismatic prism - - 7 cubes and 4 heptagonal prisms - (same as 4-7 duoprism)
* Octagonal prismatic prism - - 8 cubes and 4 octagonal prisms - (same as 4-8 duoprism)

## Uniform antiprismatic prism

The infinite sets of uniform antiprismatic prisms or antiduoprisms are constructed from two parallel uniform antiprisms: (p≥3) - - 2 p-gonal antiprisms, connected by 2 p-gonal prisms and 2p triangular prisms.
Convex p-gonal antiprismatic prisms :
| 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.