In the
geometry
Geometry (; ) is a branch of mathematics concerned with properties of space such as the distance, shape, size, and relative position of figures. Geometry is, along with arithmetic, one of the oldest branches of mathematics. A mathematician w ...
of 4 dimensions, the 3-3 duoprism or triangular duoprism is a
four-dimensional convex polytope.
Descriptions
The
duoprism
In geometry of 4 dimensions or higher, a double prism or duoprism is a polytope resulting from the Cartesian product of two polytopes, each of two dimensions or higher. The Cartesian product of an -polytope and an -polytope is an -polytope, wher ...
is a 4-polytope that can be constructed using
Cartesian product
In mathematics, specifically set theory, the Cartesian product of two sets and , denoted , is the set of all ordered pairs where is an element of and is an element of . In terms of set-builder notation, that is
A\times B = \.
A table c ...
of two polygons. In the case of 3-3 duoprism is the simplest among them, and it can be constructed using Cartesian product of two triangles. The resulting duoprism has 9 vertices, 18 edges, and 15 faces—which include 9
square
In geometry, a square is a regular polygon, regular quadrilateral. It has four straight sides of equal length and four equal angles. Squares are special cases of rectangles, which have four equal angles, and of rhombuses, which have four equal si ...
s and 6 triangles. Its cell has 6
triangular prism
In geometry, a triangular prism or trigonal prism is a Prism (geometry), prism with 2 triangular bases. If the edges pair with each triangle's vertex and if they are perpendicular to the base, it is a ''right triangular prism''. A right triangul ...
. It has
Coxeter diagram
Harold Scott MacDonald "Donald" Coxeter (9 February 1907 – 31 March 2003) was a British-Canadian geometer and mathematician. He is regarded as one of the greatest geometers of the 20th century.
Coxeter was born in England and educated ...
, and symmetry , order 72.
The
hypervolume of a uniform 3-3 duoprism with edge length
is
This is the square of the
area of an equilateral triangle,
The 3-3 duoprism can be represented as a graph with the same number of vertices and edges. Like the
Berlekamp–van Lint–Seidel graph and the unknown solution to
Conway's 99-graph problem, every edge is part of a unique triangle and every non-adjacent pair of vertices is the diagonal of a unique square. It is a
toroidal graph
In the mathematical field of graph theory, a toroidal graph is a graph that can be embedded on a torus. In other words, the graph's vertices and edges can be placed on a torus such that no edges intersect except at a vertex that belongs to bo ...
, a
locally linear graph
In graph theory, a locally linear graph is an undirected graph in which every edge belongs to exactly one triangle. Equivalently, for each vertex of the graph, its neighborhood (graph theory), neighbors are each adjacent to exactly one other neigh ...
, a
strongly regular graph
In graph theory, a strongly regular graph (SRG) is a regular graph with vertices and degree such that for some given integers \lambda, \mu \ge 0
* every two adjacent vertices have common neighbours, and
* every two non-adjacent vertices h ...
with parameters (9,4,1,2), the
rook's graph
In graph theory, a rook's graph is an undirected graph that represents all legal moves of the rook chess piece on a chessboard. Each vertex of a rook's graph represents a square on a chessboard, and there is an edge between any two squares sh ...
, and the
Paley graph
In mathematics, Paley graphs are undirected graphs constructed from the members of a suitable finite field by connecting pairs of elements that differ by a quadratic residue. The Paley graphs form an infinite family of conference graphs, which yiel ...
of order 9. This graph is also the
Cayley graph
In mathematics, a Cayley graph, also known as a Cayley color graph, Cayley diagram, group diagram, or color group, is a Graph (discrete mathematics), graph that encodes the abstract structure of a group (mathematics), group. Its definition is sug ...
of the group
with generating set
.
The minimal distance graph of a 3-3 duoprism may be ascertained by the
Cartesian product of graphs
In graph theory, the Cartesian product of graphs and is a graph such that:
* the vertex set of is the Cartesian product ; and
* two vertices and are adjacent in if and only if either
** and is adjacent to in , or
** and is adjace ...
between two identical both
complete graph
In the mathematical field of graph theory, a complete graph is a simple undirected graph in which every pair of distinct vertices is connected by a unique edge. A complete digraph is a directed graph in which every pair of distinct vertices i ...
s
.
3-3 duopyramid

The dual polyhedron of a 3-3 duoprism is called a 3-3
duopyramid
In geometry of 4 dimensions or higher, a double pyramid, duopyramid, or fusil is a polytope constructed by 2 orthogonal polytopes with edges connecting all pairs of vertices between the two. The term fusil is used by Norman Johnson as a rhomb ...
or triangular duopyramid., page 45: "The dual of a p,q-duoprism is called a p,q-duopyramid." It has 9
tetragonal disphenoid
In geometry, a disphenoid () is a tetrahedron whose four faces are congruent acute-angled triangles. It can also be described as a tetrahedron in which every two edges that are opposite each other have equal lengths. Other names for the same s ...
cells, 18 triangular faces, 15 edges, and 6 vertices. It can be seen in orthogonal projection as a 6-gon circle of vertices, and edges connecting all pairs, just like a
5-simplex
In five-dimensional geometry, a 5-simplex is a self-dual regular 5-polytope. It has six vertices, 15 edges, 20 triangle faces, 15 tetrahedral cells, and 6 5-cell facets. It has a dihedral angle of cos−1(), or approximately 78.46°.
The ...
seen in projection.
The
regular complex polygon
In geometry, a regular complex polygon is a generalization of a regular polygon in real coordinate space, real space to an analogous structure in a Complex number, complex Hilbert space, where each real dimension is accompanied by an imaginary nu ...
23, also
3+
3 has 6 vertices in
with a real representation in
matching the same
vertex arrangement
In geometry, a vertex arrangement is a set of points in space described by their relative positions. They can be described by their use in polytopes.
For example, a ''square vertex arrangement'' is understood to mean four points in a plane, equa ...
of the 3-3 duopyramid. It has 9 2-edges corresponding to the connecting edges of the 3-3 duopyramid, while the 6 edges connecting the two triangles are not included. It can be seen in a hexagonal projection with 3 sets of colored edges. This arrangement of vertices and edges makes a
complete bipartite graph
In the mathematical field of graph theory, a complete bipartite graph or biclique is a special kind of bipartite graph where every vertex of the first set is connected to every vertex of the second set..Electronic edition page 17.
Graph theory ...
with each vertex from one triangle is connected to every vertex on the other. It is also called a
Thomsen graph or 4-''cage''.
See also
*
3-4 duoprism
*
Tesseract
In geometry, a tesseract or 4-cube is a four-dimensional hypercube, analogous to a two-dimensional square and a three-dimensional cube. Just as the perimeter of the square consists of four edges and the surface of the cube consists of six ...
(4-4 duoprism)
*
Duocylinder
The duocylinder, also called the double cylinder or the bidisc, is a geometric object embedded in 4-dimensional Euclidean space, defined as the Cartesian product of two disks of respective radii ''r''1 and ''r''2:
:D = \left\
It is similar t ...
References
*
Coxeter
Harold Scott MacDonald "Donald" Coxeter (9 February 1907 – 31 March 2003) was a British-Canadian geometer and mathematician. He is regarded as one of the greatest geometers of the 20th century.
Coxeter was born in England and educated ...
, ''The Beauty of Geometry: Twelve Essays'', Dover Publications, 1999, (Chapter 5: Regular Skew Polyhedra in three and four dimensions and their topological analogues)
** Coxeter, H. S. M. ''Regular Skew Polyhedra in Three and Four Dimensions.'' Proc. London Math. Soc. 43, 33-62, 1937.
*
John H. Conway, Heidi Burgiel, Chaim Goodman-Strauss, ''The Symmetries of Things'' 2008, (Chapter 26)
*
Norman Johnson ''Uniform Polytopes'', Manuscript (1991)
**
N.W. Johnson: ''The Theory of Uniform Polytopes and Honeycombs'', Ph.D. Dissertation, University of Toronto, 1966
* {{PolyCell , urlname =section6.html, title = Catalogue of Convex Polychora, section 6
External links
The Fourth Dimension Simply Explainedmdash;describes duoprisms as "double prisms" and duocylinders as "double cylinders"
– glossary of higher-dimensional terms
Exploring Hyperspace with the Geometric Product
Uniform 4-polytopes