Proprism


In geometry of 4 dimensions or higher, a proprism is a polytope resulting from the Cartesian product of two or more polytopes, each of two dimensions or higher. The term was coined by John Horton Conway for product prism. The dimension of the space of a proprism equals the sum of the dimensions of all its product elements. Proprisms are often seen as k-face elements of uniform polytopes.

Properties

The number of vertices in a proprism is equal to the product of the number of vertices in all the polytopes in the product.
The minimum symmetry order of a proprism is the product of the symmetry orders of all the polytopes. A higher symmetry order is possible if polytopes in the product are identical.
A proprism is convex if all its product polytopes are convex.

Double products or duoprisms

In geometry of 4 dimensions or higher, duoprism is a polytope resulting from the Cartesian product of two polytopes, each of two dimensions or higher. The Cartesian product of an a-polytope, a b-polytope is an '-polytope, where a and b are 2-polytopes or higher.
Most commonly this refers to the product of two polygons in 4-dimensions. In the context of a product of polygons, Henry P. Manning's 1910 work explaining the fourth dimension called these
double prisms'.
The Cartesian product of two polygons is the set of points:
where
P1 and P2'' are the sets of the points contained in the respective polygons.
The smallest is a 3-3 duoprism, made as the product of 2 triangles. If the triangles are regular it can be written as a product of Schläfli symbols, × , and is composed of 9 vertices.
The tesseract, can be constructed as the duoprism × , the product of two equal-size orthogonal squares, composed of 16 vertices. The 5-cube can be constructed as a duoprism × , the product of a square and cube, while the 6-cube can be constructed as the product of two cubes, × .

Triple products

In geometry of 6 dimensions or higher, a triple product is a polytope resulting from the Cartesian product of three polytopes, each of two dimensions or higher. The Cartesian product of an a-polytope, a b-polytope, and a c-polytope is an -polytope, where a, b and c are 2-polytopes or higher.
The lowest-dimensional forms are 6-polytopes being the Cartesian product of three polygons. The smallest can be written as × × in Schläfli symbols if they are regular, and contains 27 vertices. This is the product of three equilateral triangles and is a uniform polytope.
The 6-cube, can be constructed as a triple product × × .