View source for Complex polytope

{{Dark mode problems}}
In [[geometry]], a '''complex polytope''' is a generalization of a [[polytope]] 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 number|imaginary]] one.

A complex polytope may be understood as a collection of complex points, lines, planes, and so on, where every point is the junction of multiple lines, every line of multiple planes, and so on.

Precise definitions exist only for the [[#Regular complex polytopes|regular complex polytopes]], which are [[Configuration (polytope)|configurations]]. The regular complex polytopes have been completely characterized, and can be described using a symbolic notation developed by [[Harold Scott MacDonald Coxeter|Coxeter]].

Some complex polytopes which are not fully regular have also been described.

==Definitions and introduction==
The '''complex line''' <math>\mathbb{C}^1</math> has one dimension with [[real number|real]] coordinates and another with [[imaginary number|imaginary]] coordinates. Applying real coordinates to both dimensions is said to give it two dimensions over the real numbers. A real plane, with the imaginary axis labelled as such, is called an [[Argand diagram]]. Because of this it is sometimes called the complex plane. Complex 2-space (also sometimes called the complex plane) is thus a four-dimensional space over the reals, and so on in higher dimensions.

A complex ''n''-polytope in complex ''n''-space is the analogue of a real ''n''-[[polytope]] in real ''n''-space. However, there is no natural complex analogue of the ordering of points on a real line (or of the associated combinatorial properties). Because of this a complex polytope cannot be seen as a contiguous surface and it does not bound an interior in the way that a real polytope does.

In the case of ''regular'' polytopes, a precise definition can be made by using the notion of symmetry. For any [[regular polytope]] the symmetry group (here a [[complex reflection group]], called a [[Shephard group]]) acts transitively on the [[flag (geometry)|flags]], that is, on the nested sequences of a point contained in a line contained in a plane and so on.

More fully, say that a collection ''P'' of affine subspaces (or ''flats'') of a complex [[unitary space]] ''V'' of dimension ''n'' is a regular complex polytope if it meets the following conditions:<ref>[[Peter Orlik]], Victor Reiner, Anne V. Shepler. ''The sign representation for Shephard groups''. ''Mathematische Annalen''. March 2002, Volume 322, Issue 3, pp 477–492. DOI:10.1007/s002080200001 [http://www.math.unt.edu/~ashepler/papers/ORS.pdf]</ref><ref>Coxeter, Regular Complex Polytopes, p. 115</ref>
* for every {{math| −1 ≤ ''i'' < ''j'' < ''k'' ≤ ''n''}}, if {{math|''F''}} is a flat in ''P'' of dimension ''i'' and {{math|''H''}} is a flat in ''P'' of dimension ''k'' such that {{math|''F'' ⊂ ''H''}} then there are at least two flats ''G'' in ''P'' of dimension ''j'' such that {{math|''F'' ⊂ ''G'' ⊂ ''H''}};
* for every {{math| ''i'', ''j''}} such that {{math| −1 ≤ ''i'' < ''j'' − 2, ''j'' ≤ ''n''}}, if {{math|''F'' ⊂ ''G''}} are flats of ''P'' of dimensions ''i'', ''j'', then the set of flats between ''F'' and ''G'' is connected, in the sense that one can get from any member of this set to any other by a sequence of containments; and
* the subset of unitary transformations of ''V'' that fix ''P'' are transitive on the ''flags'' {{math| ''F''<sub>0</sub> ⊂ ''F''<sub>1</sub> ⊂ … ⊂''F''<sub>''n''</sub>}} of flats of ''P'' (with {{math| ''F''<sub>''i''</sub>}} of dimension ''i'' for all ''i'').

(Here, a flat of dimension −1 is taken to mean the empty set.)  Thus, by definition, regular complex polytopes are [[configuration (polytope)|configurations]] in complex unitary space.

The '''regular complex polytopes''' were discovered by [[Geoffrey Colin Shephard|Shephard]] (1952), and the theory was further developed by Coxeter (1974).

{| class=wikitable align=right width=480
|+ Three views of ''regular complex polygon'' <sub>4</sub>{4}<sub>2</sub>, {{CDD|4node_1|3|4|3|node}}
|- valign=top
|[[File:ComplexOctagon.svg|320px|class=skin-invert-image]]<BR>
This complex polygon has 8 edges (complex lines), labeled as ''a''..''h'', and 16 vertices. Four vertices lie in each edge and two edges intersect at each vertex. In the left image, the outlined squares are not elements of the polytope but are included merely to help identify vertices lying in the same complex line. The octagonal perimeter of the left image is not an element of the polytope, but it is a [[petrie polygon]].<ref>Coxeter, ''Regular Complex Polytopes'', 11.3 ''Petrie Polygon'', a simple ''h''-gon formed by the orbit of the flag (O<sub>0</sub>,O<sub>0</sub>O<sub>1</sub>) for the product of the two generating reflections of any nonstarry regular complex polygon, ''p''<sub>1</sub>{''q''}''p''<sub>2</sub>.</ref> In the middle image, each edge is represented as a real line and the four vertices in each line can be more clearly seen. 
|[[File:Complex polygon 4-4-2-perspective-labeled.png|160px]]<BR>A perspective sketch representing the 16 vertex points as large black dots and the 8 4-edges as bounded squares within each edge. The green path represents the octagonal perimeter of the left hand image.
|}

A complex polytope exists in the complex space of equivalent dimension. For example, the vertices of a '''complex polygon''' are points in the complex plane <math>\mathbb{C}^2</math> (a plane in which each point has two complex numbers as its coordinates, not to be confused with the [[Argand plane]] of complex numbers), and the edges are complex lines <math>\mathbb{C}^1</math> existing as (affine) subspaces of the plane and intersecting at the vertices. Thus, as a one-dimensional complex space, an edge can be given its own coordinate system, within which the points of the edge are each represented by a single complex number. 

In a regular complex polytope the vertices incident on the edge are arranged symmetrically about their [[centroid]], which is often used as the origin of the edge's coordinate system (in the real case the centroid is just the midpoint of the edge). The symmetry arises from a [[complex reflection]] about the centroid; this reflection will leave the [[Complex number#Absolute value and argument|magnitude]] of any vertex unchanged, but change its [[Complex number#Absolute value and argument|argument]] by a fixed amount, moving it to the coordinates of the next vertex in order. So we may assume (after a suitable choice of scale) that the vertices on the edge satisfy the equation <math>x^p - 1 = 0</math> where ''p'' is the number of incident vertices. Thus, in the Argand diagram of the edge, the vertex points lie at the vertices of a [[regular polygon]] centered on the origin.

Three real projections of regular complex polygon 4{4}2 are illustrated above, with edges ''a, b, c, d, e, f, g, h''. It has 16 vertices, which for clarity have not been individually marked. Each edge has four vertices and each vertex lies on two edges, hence each edge meets four other edges. In the first diagram, each edge is represented by a square. The sides of the square are ''not'' parts of the polygon but are drawn purely to help visually relate the four vertices. The edges are laid out symmetrically. (Note that the diagram looks similar to the [[Tesseract#2D orthographic projections|B<sub>4</sub> Coxeter plane projection]] of the [[tesseract]], but it is structurally different).

The middle diagram abandons octagonal symmetry in favour of clarity. Each edge is shown as a real line, and each meeting point of two lines is a vertex. The connectivity between the various edges is clear to see.

The last diagram gives a flavour of the structure projected into three dimensions: the two cubes of vertices are in fact the same size but are seen in perspective at different distances away in the fourth dimension.

== Regular complex one-dimensional polytopes ==
[[File:Complex 1-topes as k-edges.png|thumb|640px|Complex 1-polytopes represented in the [[Argand plane]] as regular polygons for ''p'' = 2, 3, 4, 5, and 6, with black vertices. The centroid of the ''p'' vertices is shown seen in red. The sides of the polygons represent one application of the symmetry generator, mapping each vertex to the next counterclockwise copy. These polygonal sides are not edge elements of the polytope, as a complex 1-polytope can have no edges (it often ''is'' a complex edge) and only contains vertex elements.]]
A real 1-dimensional polytope exists as a closed segment in the real line <math>\mathbb{R}^1</math>, defined by its two end points or vertices in the line. Its [[Schläfli symbol]] is {} .

Analogously, a complex 1-polytope exists as a set of ''p'' vertex points in the complex line <math>\mathbb{C}^1</math>. These may be represented as a set of points in an [[Argand diagram]] (''x'',''y'')=''x''+''iy''. A [[regular polygon|regular]] complex 1-dimensional polytope <sub>''p''</sub>{} has ''p'' (''p'' ≥ 2) vertex points arranged to form a convex [[regular polygon]] {''p''} in the Argand plane.<ref>Complex Regular Polytopes,11.1 ''Regular complex polygons'' p.103</ref>

Unlike points on the real line, points on the complex line have no natural ordering. Thus, unlike real polytopes, no interior can be defined.<ref>Shephard, 1952; ''"It is from considerations such as these that we derive the notion of the interior of a polytope, and it will be seen that in unitary space where the numbers cannot be so ordered such a concept of interior is impossible. [Para break] Hence ... we have to consider unitary polytopes as configurations."''</ref> Despite this, complex 1-polytopes are often drawn, as here, as a bounded regular polygon in the Argand plane.

[[File:Coxeter_node_markup_real_unitary.png|thumb|A real edge is generated as the line between a point and its reflective image across a mirror. A unitary reflection order 2 can be seen as a 180 degree rotation around a center. An edge is ''inactive'' if the generator point is on the reflective line or at the center.]]
A [[regular polygon|regular]] real 1-dimensional polytope is represented by an empty [[Schläfli symbol]] {}, or [[Coxeter-Dynkin diagram]] {{CDD|node_1}}. The dot or node of the Coxeter-Dynkin diagram itself represents a reflection generator while the circle around the node means the generator point is not on the reflection, so its reflective image is a distinct point from itself. By extension, a regular complex 1-dimensional polytope in <math>\mathbb{C}^1</math> has [[Coxeter-Dynkin diagram]] {{CDD|pnode_1}}, for any positive integer ''p'', 2 or greater, containing ''p'' vertices. ''p'' can be suppressed if it is 2. It can also be represented by an empty [[Schläfli symbol]] <sub>''p''</sub>{}, }<sub>''p''</sub>{, {}<sub>''p''</sub>, or <sub>''p''</sub>{2}<sub>1</sub>. The 1 is a notational placeholder, representing a nonexistent reflection, or a period 1 identity generator. (A 0-polytope, real or complex is a point, and is represented as } {, or <sub>1</sub>{2}<sub>1</sub>.)

The symmetry is denoted by the [[Coxeter diagram]] {{CDD|pnode}}, and can alternatively be described in [[Coxeter notation]] as <sub>''p''</sub>[], []<sub>''p''</sub> or ]<sub>''p''</sub>[, <sub>''p''</sub>[2]<sub>1</sub> or <sub>''p''</sub>[1]<sub>''p''</sub>. The symmetry is isomorphic to the [[cyclic group]], order ''p''.<ref>Coxeter, Regular Complex polytopes, p. 96</ref> The subgroups of <sub>''p''</sub>[] are any whole divisor ''d'', <sub>''d''</sub>[], where ''d''≥2.

A [[unitary operator]] generator for {{CDD|pnode}} is seen as a rotation by 2&pi;/''p'' radians [[counter clockwise]], and a {{CDD|pnode_1}} edge is created by sequential applications of a single unitary reflection. A unitary reflection generator for a 1-polytope with ''p'' vertices is {{math| ''e''<sup>2&pi;''i''/''p''</sup> {{=}} cos(2&pi;/''p'') + ''i'' sin(2&pi;/''p'')}}. When ''p'' = 2, the generator is ''e''<sup>&pi;''i''</sup> = –1, the same as a [[point reflection]] in the real plane.

In higher complex polytopes, 1-polytopes form ''p''-edges. A 2-edge is similar to an ordinary real edge, in that it contains two vertices, but need not exist on a real line.

==Regular complex polygons==
While 1-polytopes can have unlimited ''p'', finite regular complex polygons, excluding the double prism polygons <sub>''p''</sub>{4}<sub>2</sub>, are limited to 5-edge (pentagonal edges) elements, and infinite regular apeirogons also include 6-edge (hexagonal edges) elements.

===Notations===

====Shephard's modified Schläfli notation====

[[Geoffrey Colin Shephard|Shephard]] originally devised a modified form of [[Schläfli symbol|Schläfli's notation]] for regular polytopes. For a polygon bounded by ''p''<sub>1</sub>-edges, with a ''p''<sub>2</sub>-set as vertex figure and overall symmetry group of order ''g'', we denote the polygon as ''p''<sub>1</sub>(''g'')''p''<sub>2</sub>.

The number of vertices ''V'' is then ''g''/''p''<sub>2</sub> and the number of edges ''E'' is ''g''/''p''<sub>1</sub>.

The complex polygon illustrated above has eight square edges (''p''<sub>1</sub>=4) and sixteen vertices (''p''<sub>2</sub>=2). From this we can work out that ''g'' = 32, giving the modified Schläfli symbol 4(32)2.

====Coxeter's revised modified Schläfli notation====

A more modern notation <sub>''p''<sub>1</sub></sub>{''q''}<sub>''p''<sub>2</sub></sub> is due to [[Coxeter]],<ref>Coxeter, Regular Complex Polytopes, p. xiv</ref> and is based on group theory. As a symmetry group, its symbol is <sub>''p''<sub>1</sub></sub>[''q'']<sub>''p''<sub>2</sub></sub>.

The symmetry group <sub>''p''<sub>1</sub></sub>[''q'']<sub>''p''<sub>2</sub></sub> is represented by 2 generators R<sub>1</sub>, R<sub>2</sub>, where: R<sub>1</sub><sup>''p''<sub>1</sub></sup> = R<sub>2</sub><sup>''p''<sub>2</sub></sup> = I. If ''q'' is even, (R<sub>2</sub>R<sub>1</sub>)<sup>''q''/2</sup> = (R<sub>1</sub>R<sub>2</sub>)<sup>''q''/2</sup>. If ''q'' is odd, (R<sub>2</sub>R<sub>1</sub>)<sup>(q−1)/2</sup>R<sub>2</sub> = (R<sub>1</sub>R<sub>2</sub>)<sup>(''q''−1)/2</sup>R<sub>1</sub>. When ''q'' is odd, ''p''<sub>1</sub>=''p''<sub>2</sub>.

For <sub>4</sub>[4]<sub>2</sub> has R<sub>1</sub><sup>4</sup> = R<sub>2</sub><sup>2</sup> = I, (R<sub>2</sub>R<sub>1</sub>)<sup>2</sup> = (R<sub>1</sub>R<sub>2</sub>)<sup>2</sup>.

For <sub>3</sub>[5]<sub>3</sub> has R<sub>1</sub><sup>3</sup> = R<sub>2</sub><sup>3</sup> = I, (R<sub>2</sub>R<sub>1</sub>)<sup>2</sup>R<sub>2</sub> = (R<sub>1</sub>R<sub>2</sub>)<sup>2</sup>R<sub>1</sub>.

====Coxeter-Dynkin diagrams====

Coxeter also generalised the use of [[Coxeter-Dynkin diagram]]s to complex polytopes, for example the complex polygon <sub>''p''</sub>{''q''}<sub>''r''</sub> is represented by {{CDD|pnode_1|q|rnode}} and the equivalent symmetry group, <sub>''p''</sub>[''q'']<sub>''r''</sub>, is a ringless diagram {{CDD|pnode|q|rnode}}. The nodes ''p'' and ''r'' represent mirrors producing ''p'' and ''r'' images in the plane. Unlabeled nodes in a diagram have implicit 2 labels. For example, a real [[regular polygon]] is <sub>2</sub>{''q''}<sub>2</sub> or {''q''} or {{CDD|node_1|q|node}}.

One limitation, nodes connected by odd branch orders must have identical node orders. If they do not, the group will create "starry" polygons, with overlapping element. So {{CDD|3node_1|4|node}} and {{CDD|3node_1|3|3node}} are ordinary, while {{CDD|4node_1|3|node}} is starry.

====12 Irreducible Shephard groups====

[[File:Rank2_shephard_subgroups.png|thumb|12 irreducible Shephard groups with their subgroup index relations.<ref>Coxeter, Complex Regular Polytopes, p. 177, Table III</ref> Subgroups index 2 relate by removing a real reflection:<BR><sub>''p''</sub>[2''q'']<sub>2</sub> → <sub>''p''</sub>[''q'']<sub>''p''</sub>, index 2.<BR><sub>''p''</sub>[4]<sub>''q''</sub> → <sub>''p''</sub>[''q'']<sub>''p''</sub>, index ''q''.]]
[[File:Rank2_shephard_subgroups2_series.png|thumb|<sub>''p''</sub>[4]<sub>2</sub> subgroups: p=2,3,4...<BR><sub>''p''</sub>[4]<sub>2</sub> → [''p''], index ''p''<BR><sub>''p''</sub>[4]<sub>2</sub> → <sub>''p''</sub>[]×<sub>''p''</sub>[], index 2]]
Coxeter enumerated this list of regular complex polygons in <math>\mathbb{C}^2</math>. A regular complex polygon, <sub>''p''</sub>{''q''}<sub>''r''</sub> or {{CDD|pnode_1|q|rnode}}, has ''p''-edges, and ''r''-gonal [[vertex figure]]s. <sub>''p''</sub>{''q''}<sub>''r''</sub> is a finite polytope if (''p''+''r'')''q''>''pr''(''q''-2).

Its symmetry is written as <sub>''p''</sub>[''q'']<sub>''r''</sub>, called a ''[[Shephard group]]'', analogous to a [[Coxeter group]], while also allowing [[unitary reflection]]s.

For nonstarry groups, the order of the group <sub>''p''</sub>[''q'']<sub>''r''</sub> can be computed as <math>g = 8/q \cdot (1/p+2/q+1/r-1)^{-2}</math>.<ref>Lehrer & Taylor 2009, p. 87</ref>

The [[Coxeter number]] for <sub>''p''</sub>[''q'']<sub>''r''</sub> is  <math>h = 2/(1/p+2/q+1/r-1)</math>, so the group order can also be computed as <math>g = 2h^2/q</math>. A regular complex polygon can be drawn in orthogonal projection with ''h''-gonal symmetry.

The rank 2 solutions that generate complex polygons are: 
{| class=wikitable
|- align=center
!rowspan=3|Group
|G<sub>3</sub>=G(''q'',1,1) ||G<sub>2</sub>=G(''p'',1,2)||G<sub>4</sub>||G<sub>6</sub>||G<sub>5</sub>||G<sub>8</sub>||G<sub>14</sub>||G<sub>9</sub>||G<sub>10</sub>||G<sub>20</sub>||G<sub>16</sub>||G<sub>21</sub>||G<sub>17</sub>||G<sub>18</sub>
|- align=center
|<sub>2</sub>[''q'']<sub>2</sub>, ''q''=3,4...||<sub>''p''</sub>[4]<sub>2</sub>, ''p''=2,3...||<sub>3</sub>[3]<sub>3</sub>||<sub>3</sub>[6]<sub>2</sub>||<sub>3</sub>[4]<sub>3</sub>||<sub>4</sub>[3]<sub>4</sub>||<sub>3</sub>[8]<sub>2</sub>||<sub>4</sub>[6]<sub>2</sub>||<sub>4</sub>[4]<sub>3</sub>||<sub>3</sub>[5]<sub>3</sub>||<sub>5</sub>[3]<sub>5</sub>||<sub>3</sub>[10]<sub>2</sub>||<sub>5</sub>[6]<sub>2</sub>||<sub>5</sub>[4]<sub>3</sub>
|- align=center
|{{CDD|node|q|node}}||{{CDD|pnode|4|node}}||{{CDD|3node|3|3node}}||{{CDD|3node|6|node}}||{{CDD|3node|4|3node}}||{{CDD|4node|3|4node}}||{{CDD|3node|8|node}}|| {{CDD|4node|6|node}}||{{CDD|4node|4|3node}}||{{CDD|3node|5|3node}}||{{CDD|5node|3|5node}}||{{CDD|3node|10|node}}||{{CDD|5node|6|node}}||{{CDD|5node|4|3node}}
|- align=center
!Order
|2''q''||2''p''<sup>2</sup>||24||48||72||96||144||192||288||360||600||720||1200||1800
|- align=center
![[Coxeter number|h]]
|''q''||2''p''||6||colspan=3|12||colspan=3|24||colspan=2|30||colspan=3|60
|}

Excluded solutions with odd ''q'' and unequal ''p'' and ''r'' are: <sub>6</sub>[3]<sub>2</sub>, <sub>6</sub>[3]<sub>3</sub>, <sub>9</sub>[3]<sub>3</sub>, <sub>12</sub>[3]<sub>3</sub>, ..., <sub>5</sub>[5]<sub>2</sub>, <sub>6</sub>[5]<sub>2</sub>, <sub>8</sub>[5]<sub>2</sub>, <sub>9</sub>[5]<sub>2</sub>, <sub>4</sub>[7]<sub>2</sub>, <sub>9</sub>[5]<sub>2</sub>, <sub>3</sub>[9]<sub>2</sub>, and <sub>3</sub>[11]<sub>2</sub>.

Other whole ''q'' with unequal ''p'' and ''r'', create starry groups with overlapping fundamental domains: {{CDD|3node|3|node}}, {{CDD|4node|3|node}}, {{CDD|5node|3|node}}, {{CDD|5node|3|3node}}, {{CDD|3node|5|node}}, and {{CDD|5node|5|node}}.

The dual polygon of <sub>''p''</sub>{''q''}<sub>''r''</sub> is <sub>''r''</sub>{''q''}<sub>''p''</sub>. A polygon of the form <sub>''p''</sub>{''q''}<sub>''p''</sub> is self-dual. Groups of the form <sub>''p''</sub>[2''q'']<sub>2</sub> have a half symmetry <sub>''p''</sub>[''q'']<sub>''p''</sub>, so a regular polygon {{CDD|pnode_1|3|2x|q|3|node}} is the same as quasiregular {{CDD|pnode_1|3|q|3|pnode_1}}. As well, regular polygon with the same node orders, {{CDD|pnode_1|3|q|3|pnode}}, have an [[Alternation (geometry)|alternated]] construction {{CDD|node_h|3|2x|q|3|pnode}}, allowing adjacent edges to be two different colors.<ref>Coxeter, Regular Complex Polytopes, Table IV. The regular polygons. pp. 178–179</ref>

The group order, ''g'', is used to compute the total number of vertices and edges. It will have ''g''/''r'' vertices, and ''g''/''p'' edges. When ''p''=''r'', the number of vertices and edges are equal. This condition is required when ''q'' is odd.

==== Matrix generators ====
The group ''p''[''q'']''r'', {{CDD|pnode|q|rnode}}, can be represented by two matrices:<ref>Complex Polytopes, 8.9 ''The Two-Dimensional Case'', p. 88</ref>
{| class=wikitable
|+ {{CDD|pnode|q|rnode}}
!Name||R<sub>1</sub><BR>{{CDD|pnode}}||R<sub>2</sub><BR>{{CDD|rnode}}
|- align=center
!Order
|''p''
|''r''
|-
!Matrix
|
<math>\left [\begin{smallmatrix}
e^{2\pi i/p} & 0 \\
(e^{2\pi i/p}-1)k & 1 \\
\end{smallmatrix}\right ]
</math>
|
<math>\left [\begin{smallmatrix}
1 & (e^{2\pi i/r}-1)k \\
0 & e^{2\pi i/r} \\
\end{smallmatrix}\right ]
</math>
|}
With
: k=<math>\sqrt \frac{ cos(\frac{\pi}{p}-\frac{\pi}{r})+cos(\frac{2\pi}{q}) }{2\sin\frac{\pi}{p}\sin\frac{\pi}{r} } </math>

;Examples
{| class=wikitable
|- valign=top
|
{| class=wikitable
|+ {{CDD|pnode|2|qnode}}
!Name||R<sub>1</sub><BR>{{CDD|pnode}}||R<sub>2</sub><BR>{{CDD|qnode}}
|- align=center
!Order
|''p''
|''q''
|-
!Matrix
|
<math>\left [\begin{smallmatrix}
e^{2\pi i/p} & 0 \\
0 & 1 \\
\end{smallmatrix}\right ]
</math>
|
<math>\left [\begin{smallmatrix}
1 & 0 \\
0 & e^{2\pi i/q} \\
\end{smallmatrix}\right ]
</math>
|}
|
{| class=wikitable
|+ {{CDD|pnode|4|node}}
!Name||R<sub>1</sub><BR>{{CDD|pnode}}||R<sub>2</sub><BR>{{CDD|node}}
|- align=center
!Order
|''p''
|2
|-
!Matrix
|
<math>\left [\begin{smallmatrix}
e^{2\pi i/p} & 0 \\
0 & 1 \\
\end{smallmatrix}\right ]
</math>
|
<math>\left [\begin{smallmatrix}
0 & 1 \\
1 & 0 \\
\end{smallmatrix}\right ]
</math>
|}
|
{| class=wikitable
|+ {{CDD|3node|3|3node}}
!Name||R<sub>1</sub><BR>{{CDD|3node}}||R<sub>2</sub><BR>{{CDD|3node}}
|- align=center
!Order
|3
|3
|-
!Matrix
|
<math>\left [\begin{smallmatrix}
\frac{-1+\sqrt3 i}{2} & 0 \\
\frac{-3+\sqrt3 i}{2} & 1 \\
\end{smallmatrix}\right ]
</math>
|
<math>\left [\begin{smallmatrix}
1 & \frac{-3+\sqrt3 i}{2} \\
0 & \frac{-1+\sqrt3 i}{2} \\
\end{smallmatrix}\right ]
</math>
|}
|- valign=top
|
{| class=wikitable
|+ {{CDD|4node|2|4node}}
!Name||R<sub>1</sub><BR>{{CDD|4node}}||R<sub>2</sub><BR>{{CDD|4node}}
|- align=center
!Order
|4
|4
|-
!Matrix
|
<math>\left [\begin{smallmatrix}
i & 0 \\
0 & 1 \\
\end{smallmatrix}\right ]
</math>
|
<math>\left [\begin{smallmatrix}
1 & 0 \\
0 & i \\
\end{smallmatrix}\right ]
</math>
|}
|
{| class=wikitable
|+ {{CDD|4node|4|node}}
!Name||R<sub>1</sub><BR>{{CDD|4node}}||R<sub>2</sub><BR>{{CDD|node}}
|- align=center
!Order
|4
|2
|-
!Matrix
|
<math>\left [\begin{smallmatrix}
i & 0 \\
0 & 1 \\
\end{smallmatrix}\right ]
</math>
|
<math>\left [\begin{smallmatrix}
0 & 1 \\
1 & 0 \\
\end{smallmatrix}\right ]
</math>
|}
|
{| class=wikitable
|+ {{CDD|3node|6|node}}
!Name||R<sub>1</sub><BR>{{CDD|3node}}||R<sub>2</sub><BR>{{CDD|node}}
|- align=center
!Order
|3
|2
|-
!Matrix
|
<math>\left [\begin{smallmatrix}
\frac{-1+\sqrt3 i}{2} & 0 \\
\frac{-3+\sqrt3 i}{2} & 1 \\
\end{smallmatrix}\right ]
</math>
|
<math>\left [\begin{smallmatrix}
1 & -2 \\
0 & -1 \\
\end{smallmatrix}\right ]
</math>
|}

|}

=== Enumeration of regular complex polygons ===
Coxeter enumerated the complex polygons in Table III of Regular Complex Polytopes.<ref>Regular Complex Polytopes, Coxeter, pp. 177-179</ref>
{| class="wikitable sortable"
![[Complex reflection group|Group]]||data-sort-type="number"|Order||data-sort-type="number"|Coxeter<BR>number||colspan=2|Polygon||data-sort-type="number"|Vertices||colspan=2 data-sort-type="number"|Edges||Notes
|- align=center BGCOLOR="#ffe0e0"
|G(q,q,2)<BR><sub>2</sub>[''q'']<sub>2</sub> = [''q'']<BR>q=2,3,4,...||2''q''||''q'' ||<sub>2</sub>{''q''}<sub>2</sub>||{{CDD|node_1|q|node}}||''q''||''q''||{} ||align=left| Real [[regular polygon]]s<BR>Same as {{CDD|node_h|2x|q|node}}<BR>Same as {{CDD|node_1|q|rat|2x|node_1}} if ''q'' even
|}

{| class="wikitable sortable"
![[Complex reflection group|Group]]||data-sort-type="number"|Order||data-sort-type="number"|Coxeter<BR>number||colspan=3|Polygon||data-sort-type="number"|Vertices||colspan=2 data-sort-type="number"|Edges||Notes
|- align=center BGCOLOR="#ffffe0"
| rowspan=2|G(''p'',1,2) <BR><sub>''p''</sub>[4]<sub>2</sub><BR>p=2,3,4,... || rowspan=2|2''p''<sup>2</sup> ||rowspan=2|2''p'' || ''p''(2''p''<sup>2</sup>)2||<sub>''p''</sub>{4}<sub>2</sub>||<span>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</span><BR>{{CDD|pnode_1|4|node}} || ''p''<sup>2</sup> || 2''p''||<sub>''p''</sub>{} ||align=left|same as <sub>''p''</sub>{}×<sub>''p''</sub>{} or {{CDD|pnode_1|2|pnode_1}}<BR><math>\mathbb{R}^4</math> representation as ''p''-''p'' [[duoprism]]
|- align=center BGCOLOR="#ffffe0"
|2(2''p''<sup>2</sup>)''p''||<sub>2</sub>{4}<sub>''p''</sub> ||{{CDD|node_1|4|pnode}} || 2''p'' || ''p''<sup>2</sup>||{} ||align=left| <math>\mathbb{R}^4</math> representation as ''p''-''p'' [[duopyramid]]

|- align=center BGCOLOR="#ffe0e0"
| G(2,1,2) <BR><sub>2</sub>[4]<sub>2</sub> = [4] || 8 ||4 ||  ||<sub>2</sub>{4}<sub>2</sub> = {4}||{{CDD|node_1|4|node}} || 4 || 4||{} ||align=left|same as {}×{} or {{CDD|node_1|2|node_1}}<BR>Real square

|- align=center BGCOLOR="#e0ffff"
| rowspan=2|G(3,1,2) <BR><sub>3</sub>[4]<sub>2</sub> || rowspan=2|18 ||rowspan=2|6 || 6(18)2||<sub>3</sub>{4}<sub>2</sub>||{{CDD|3node_1|4|node}} || 9 || 6||<sub>3</sub>{} ||align=left|same as <sub>3</sub>{}×<sub>3</sub>{} or {{CDD|3node_1|2|3node_1}}<BR><math>\mathbb{R}^4</math> representation as [[3-3 duoprism]]
|- align=center BGCOLOR="#e0ffff"
|2(18)3||<sub>2</sub>{4}<sub>3</sub> ||{{CDD|node_1|4|3node}} || 6 || 9||{} ||align=left| <math>\mathbb{R}^4</math> representation as [[3-3 duopyramid]]

|- align=center BGCOLOR="#e0ffff"
| rowspan=2|G(4,1,2) <BR><sub>4</sub>[4]<sub>2</sub> || rowspan=2|32 ||rowspan=2|8 || 8(32)2||<sub>4</sub>{4}<sub>2</sub>||{{CDD|4node_1|4|node}} || 16 || 8||<sub>4</sub>{} ||align=left|same as <sub>4</sub>{}×<sub>4</sub>{} or {{CDD|4node_1|2|4node_1}}<BR><math>\mathbb{R}^4</math> representation as 4-4 duoprism or [[tesseract|{4,3,3}]]
|- align=center BGCOLOR="#e0ffff"
|2(32)4||<sub>2</sub>{4}<sub>4</sub> ||{{CDD|node_1|4|4node}} || 8 || 16||{} ||align=left| <math>\mathbb{R}^4</math> representation as 4-4 duopyramid or [[16-cell|{3,3,4}]]

|- align=center BGCOLOR="#e0ffff"
| rowspan=2|G(5,1,2) <BR><sub>5</sub>[4]<sub>2</sub> || rowspan=2|50 ||rowspan=2|25 || 5(50)2||<sub>5</sub>{4}<sub>2</sub>||{{CDD|5node_1|4|node}} || 25 || 10||<sub>5</sub>{} ||align=left|same as <sub>5</sub>{}×<sub>5</sub>{} or {{CDD|5node_1|2|5node_1}}<BR><math>\mathbb{R}^4</math> representation as [[5-5 duoprism]]
|- align=center BGCOLOR="#e0ffff"
|2(50)5||<sub>2</sub>{4}<sub>5</sub> ||{{CDD|node_1|4|5node}} || 10 || 25||{} ||align=left| <math>\mathbb{R}^4</math> representation as [[5-5 duopyramid]]

|- align=center BGCOLOR="#e0ffff"
| rowspan=2|G(6,1,2) <BR><sub>6</sub>[4]<sub>2</sub> || rowspan=2|72 ||rowspan=2|36 || 6(72)2||<sub>6</sub>{4}<sub>2</sub>||{{CDD|6node_1|4|node}} || 36 || 12||<sub>6</sub>{} ||align=left|same as <sub>6</sub>{}×<sub>6</sub>{} or {{CDD|6node_1|2|6node_1}}<BR><math>\mathbb{R}^4</math> representation as [[6-6 duoprism]]
|- align=center BGCOLOR="#e0ffff"
|2(72)6||<sub>2</sub>{4}<sub>6</sub> ||{{CDD|node_1|4|6node}} || 12 || 36||{} ||align=left| <math>\mathbb{R}^4</math> representation as [[6-6 duopyramid]]

|- align=center BGCOLOR="#e0f0ff"
|G<sub>4</sub>=G(1,1,2)<BR>'''<sub>3</sub>[3]<sub>3</sub>'''<BR>[[binary tetrahedral group|<2,3,3>]] || 24 ||6 ||3(24)3 ||[[Möbius–Kantor polygon|<sub>3</sub>{3}<sub>3</sub>]]||{{CDD|3node_1|3|3node}} || 8 || 8||<sub>3</sub>{} ||align=left|[[Möbius–Kantor configuration]]<BR>self-dual, same as {{CDD|node_h|6|3node}}<BR><math>\mathbb{R}^4</math> representation as [[16-cell|{3,3,4}]]
|- align=center BGCOLOR="#e0f0ff"
|rowspan=4|G<sub>6</sub><BR><sub>3</sub>[6]<sub>2</sub>||rowspan=4|48 ||rowspan=4|12 ||3(48)2 ||<sub>3</sub>{6}<sub>2</sub>||{{CDD|3node_1|6|node}} || rowspan=2|24||rowspan=2| 16||rowspan=2|<sub>3</sub>{} || align=left|same as {{CDD|3node_1|3|3node_1}}
|- align=center BGCOLOR="#e0ffe0"
|||<sub>3</sub>{3}<sub>2</sub>||{{CDD|3node_1|3|node}} ||  align=left|starry polygon
|- align=center BGCOLOR="#e0f0ff"
|2(48)3||<sub>2</sub>{6}<sub>3</sub>||{{CDD|node_1|6|3node}} ||rowspan=2| 16||rowspan=2| 24||rowspan=2|{} ||
|- align=center BGCOLOR="#e0ffe0"
|||<sub>2</sub>{3}<sub>3</sub>||{{CDD|node_1|3|3node}} ||  align=left|starry polygon

|- align=center BGCOLOR="#e0f0ff"
|G<sub>5</sub><BR>'''<sub>3</sub>[4]<sub>3</sub>''' || 72 ||12 ||3(72)3 ||<sub>3</sub>{4}<sub>3</sub>||{{CDD|3node_1|4|3node}} || 24 || 24||<sub>3</sub>{} ||align=left |self-dual, same as {{CDD|node_h|8|3node}}<BR><math>\mathbb{R}^4</math> representation as [[24-cell|{3,4,3}]]
|- align=center BGCOLOR="#e0f0ff"
|G<sub>8</sub><BR>'''<sub>4</sub>[3]<sub>4</sub>''' || 96 ||12 ||4(96)4 ||<sub>4</sub>{3}<sub>4</sub>||{{CDD|4node_1|3|4node}} || 24 || 24|| <sub>4</sub>{}||align=left|self-dual, same as {{CDD|node_h|6|4node}}<BR><math>\mathbb{R}^4</math> representation as [[24-cell|{3,4,3}]]
|- align=center BGCOLOR="#e0f0ff"
|rowspan=4|G<sub>14</sub><BR><sub>3</sub>[8]<sub>2</sub> || rowspan=4|144 || rowspan=4|24 ||3(144)2 ||<sub>3</sub>{8}<sub>2</sub>||{{CDD|3node_1|8|node}} ||rowspan=2| 72 ||rowspan=2| 48||rowspan=2|<sub>3</sub>{} || align=left| same as {{CDD|3node_1|4|3node_1}}
|- align=center BGCOLOR="#e0ffe0"
| ||<sub>3</sub>{8/3}<sub>2</sub>||{{CDD|3node_1|8|rat|3x|node}} || align=left| starry polygon, same as {{CDD|3node_1|4|rat|3x|3node_1}}
|- align=center BGCOLOR="#e0f0ff"
| 2(144)3||<sub>2</sub>{8}<sub>3</sub>||{{CDD|node_1|8|3node}} ||rowspan=2| 48 ||rowspan=2| 72||rowspan=2|{} ||
|- align=center BGCOLOR="#e0ffe0"
| ||<sub>2</sub>{8/3}<sub>3</sub>||{{CDD|node_1|8|rat|3x|3node}} ||  align=left|starry polygon

|- align=center BGCOLOR="#e0f0ff"
| rowspan=4|G<sub>9</sub><BR><sub>4</sub>[6]<sub>2</sub> || rowspan=4|192 || rowspan=4|24 ||4(192)2 ||<sub>4</sub>{6}<sub>2</sub>||{{CDD|4node_1|6|node}} || 96 || 48||<sub>4</sub>{} ||  align=left| same as {{CDD|4node_1|3|4node_1}}
|- align=center BGCOLOR="#e0f0ff"
| 2(192)4||<sub>2</sub>{6}<sub>4</sub>||{{CDD|node_1|6|4node}} || 48 || 96||{} ||
|- align=center BGCOLOR="#e0ffe0"
| || <sub>4</sub>{3}<sub>2</sub>||{{CDD|4node_1|3|node}} || 96 || 48||{} ||  align=left|starry polygon
|- align=center BGCOLOR="#e0ffe0"
| || <sub>2</sub>{3}<sub>4</sub>||{{CDD|node_1|3|4node}} || 48 || 96||{} ||  align=left|starry polygon
|- align=center BGCOLOR="#e0f0ff"
|rowspan=4|G<sub>10</sub><BR><sub>4</sub>[4]<sub>3</sub> || rowspan=4|288 || 24 ||4(288)3 ||<sub>4</sub>{4}<sub>3</sub>||{{CDD|4node_1|4|3node}} ||rowspan=2| 96 ||rowspan=2| 72||rowspan=2|<sub>4</sub>{} ||
|- align=center BGCOLOR="#e0ffe0"
| 12|| ||<sub>4</sub>{8/3}<sub>3</sub>||{{CDD|4node_1|8|rat|3x|3node}} ||  align=left|starry polygon
|- align=center BGCOLOR="#e0f0ff"
| 24|| 3(288)4||<sub>3</sub>{4}<sub>4</sub>||{{CDD|3node_1|4|4node}} ||rowspan=2| 72 ||rowspan=2| 96||rowspan=2|<sub>3</sub>{} ||
|- align=center BGCOLOR="#e0ffe0"
| 12|| ||<sub>3</sub>{8/3}<sub>4</sub>||{{CDD|3node_1|8|rat|3x|4node}} ||  align=left|starry polygon

|- align=center BGCOLOR="#e0f0ff"
| rowspan=2|G<sub>20</sub><BR>'''<sub>3</sub>[5]<sub>3</sub>''' || rowspan=2|360 || rowspan=2|30 ||3(360)3 ||<sub>3</sub>{5}<sub>3</sub>||{{CDD|3node_1|5|3node}} ||rowspan=2| 120 ||rowspan=2| 120||rowspan=2|<sub>3</sub>{}|| align=left |self-dual, same as {{CDD|node_h|10|3node}}<BR><math>\mathbb{R}^4</math> representation as [[600-cell|{3,3,5}]]
|- align=center BGCOLOR="#e0ffe0"
| ||<sub>3</sub>{5/2}<sub>3</sub>||{{CDD|3node_1|5-2|3node}} ||  align=left|self-dual, starry polygon

|- align=center BGCOLOR="#e0f0ff"
| rowspan=2|G<sub>16</sub><BR>'''<sub>5</sub>[3]<sub>5</sub>''' || rowspan=2|600 || 30 ||5(600)5 ||<sub>5</sub>{3}<sub>5</sub>||{{CDD|5node_1|3|5node}} ||rowspan=2| 120 ||rowspan=2| 120||rowspan=2|<sub>5</sub>{} || align=left |self-dual, same as {{CDD|node_h|6|5node}}<BR> <math>\mathbb{R}^4</math> representation as [[600-cell|{3,3,5}]]
|- align=center BGCOLOR="#e0ffe0"
| 10|| ||<sub>5</sub>{5/2}<sub>5</sub>||{{CDD|5node_1|5-2|5node}} ||  align=left|self-dual, starry polygon

|- align=center BGCOLOR="#e0f0ff"
| rowspan=8|G<sub>21</sub><BR><sub>3</sub>[10]<sub>2</sub> || rowspan=8|720 || rowspan=8|60 ||3(720)2 ||<sub>3</sub>{10}<sub>2</sub>||{{CDD|3node_1|10|node}} ||rowspan=4| 360 ||rowspan=4| 240||rowspan=4|<sub>3</sub>{} || align=left| same as {{CDD|3node_1|5|3node_1}}
|- align=center BGCOLOR="#e0ffe0"
|| ||<sub>3</sub>{5}<sub>2</sub>||{{CDD|3node_1|5|node}} ||  align=left|starry polygon
|- align=center BGCOLOR="#e0ffe0"
|| ||<sub>3</sub>{10/3}<sub>2</sub>||{{CDD|3node_1|10|rat|3x|node}}||align=left| starry polygon, same as {{CDD|3node_1|5|rat|3x|3node_1}}
|- align=center BGCOLOR="#e0ffe0"
|| ||<sub>3</sub>{5/2}<sub>2</sub>||{{CDD|3node_1|5-2|node}}  ||  align=left|starry polygon
|- align=center BGCOLOR="#e0f0ff"
| 2(720)3||<sub>2</sub>{10}<sub>3</sub>||{{CDD|node_1|10|3node}} ||rowspan=4| 240 ||rowspan=4| 360||rowspan=4|{} ||
|- align=center BGCOLOR="#e0ffe0"
| ||<sub>2</sub>{5}<sub>3</sub>||{{CDD|node_1|5|3node}}  ||  align=left|starry polygon
|- align=center BGCOLOR="#e0ffe0"
| ||<sub>2</sub>{10/3}<sub>3</sub>||{{CDD|node_1|10|rat|3x|3node}} ||  align=left|starry polygon
|- align=center BGCOLOR="#e0ffe0"
| ||<sub>2</sub>{5/2}<sub>3</sub>||{{CDD|node_1|5-2|3node}}  ||  align=left|starry polygon

|- align=center BGCOLOR="#e0f0ff"
| rowspan=8|G<sub>17</sub><BR><sub>5</sub>[6]<sub>2</sub> || rowspan=8|1200 || 60 ||5(1200)2 ||<sub>5</sub>{6}<sub>2</sub>||{{CDD|5node_1|6|node}} ||rowspan=4| 600 ||rowspan=4| 240||rowspan=4|<sub>5</sub>{} || align=left| same as {{CDD|5node_1|3|5node_1}}
|- align=center BGCOLOR="#e0ffe0"
| 20|| ||<sub>5</sub>{5}<sub>2</sub>||{{CDD|5node_1|5|node}} ||   align=left|starry polygon
|- align=center BGCOLOR="#e0ffe0"
| 20 || ||<sub>5</sub>{10/3}<sub>2</sub>||{{CDD|5node_1|10|rat|3x|node}} ||  align=left|starry polygon
|- align=center BGCOLOR="#e0ffe0"
| 60|| ||<sub>5</sub>{3}<sub>2</sub>||{{CDD|5node_1|3|node}} ||  align=left|starry polygon
|- align=center BGCOLOR="#e0f0ff"
| 60||2(1200)5||<sub>2</sub>{6}<sub>5</sub>||{{CDD|node_1|6|5node}} ||rowspan=4| 240 ||rowspan=4| 600||rowspan=4|{} ||
|- align=center BGCOLOR="#e0ffe0"
| 20|||| <sub>2</sub>{5}<sub>5</sub>||{{CDD|node_1|5|5node}} ||  align=left|starry polygon
|- align=center BGCOLOR="#e0ffe0"
| 20|| || <sub>2</sub>{10/3}<sub>5</sub>||{{CDD|node_1|10|rat|3x|5node}} ||  align=left|starry polygon
|- align=center BGCOLOR="#e0ffe0"
| 60|| ||<sub>2</sub>{3}<sub>5</sub>||{{CDD|node_1|3|5node}} ||align=left|starry polygon

|- align=center BGCOLOR="#e0f0ff"
| rowspan=8|G<sub>18</sub><BR><sub>5</sub>[4]<sub>3</sub> || rowspan=8|1800 || 60 ||5(1800)3 ||<sub>5</sub>{4}<sub>3</sub>||{{CDD|5node_1|4|3node}} ||rowspan=4| 600 ||rowspan=4| 360||rowspan=4|<sub>5</sub>{} ||align=left|
|- align=center BGCOLOR="#e0ffe0"
|| 15 || ||<sub>5</sub>{10/3}<sub>3</sub>||{{CDD|5node_1|10|rat|3x|3node}} ||  align=left|starry polygon
|- align=center BGCOLOR="#e0ffe0"
|| 30 || ||<sub>5</sub>{3}<sub>3</sub>||{{CDD|5node_1|3|3node}} ||  align=left|starry polygon
|- align=center BGCOLOR="#e0ffe0"
|| 30 || ||<sub>5</sub>{5/2}<sub>3</sub>||{{CDD|5node_1|5-2|3node}} ||  align=left|starry polygon

|- align=center BGCOLOR="#e0f0ff"
| 60|| 3(1800)5||<sub>3</sub>{4}<sub>5</sub>||{{CDD|3node_1|4|5node}} ||rowspan=4| 360 ||rowspan=4| 600||rowspan=4|<sub>3</sub>{} ||
|- align=center BGCOLOR="#e0ffe0"
| 15|| ||<sub>3</sub>{10/3}<sub>5</sub>||{{CDD|3node_1|10|rat|3x|5node}}|| align=left| starry polygon
|- align=center BGCOLOR="#e0ffe0"
| 30|| ||<sub>3</sub>{3}<sub>5</sub>||{{CDD|3node_1|3|5node}} ||  align=left|starry polygon
|- align=center BGCOLOR="#e0ffe0"
| 30 || ||<sub>3</sub>{5/2}<sub>5</sub>||{{CDD|3node_1|5-2|5node}}||  align=left|starry polygon

|}

=== Visualizations of regular complex polygons ===
Polygons of the form <sub>''p''</sub>{2''r''}<sub>''q''</sub> can be visualized by ''q'' color sets of ''p''-edge. Each ''p''-edge is seen as a regular polygon, while there are no faces.

;2D orthogonal projections of complex polygons <sub>2</sub>{''r''}<sub>''q''</sub>:

Polygons of the form <sub>2</sub>{4}<sub>''q''</sub> are called generalized [[orthoplex]]es. They share vertices with the 4D ''q''-''q'' [[duopyramid]]s, vertices connected by 2-edges. 
<gallery>
Complex bipartite graph square.svg|<sub>2</sub>{4}<sub>2</sub>, {{CDD|node_1|4|node}}, with 4 vertices, and 4 edges
Complex polygon 2-4-3-bipartite graph.png|<sub>2</sub>{4}<sub>3</sub>, {{CDD|node_1|4|3node}}, with 6 vertices, and 9 edges<ref name=":0">Coxeter, Regular Complex Polytopes, p. 108</ref>
Complex polygon 2-4-4 bipartite graph.png|<sub>2</sub>{4}<sub>4</sub>, {{CDD|node_1|4|4node}}, with 8 vertices, and 16 edges
Complex polygon 2-4-5-bipartite graph.png|<sub>2</sub>{4}<sub>5</sub>, {{CDD|node_1|4|5node}}, with 10 vertices, and 25 edges
6-generalized-2-orthoplex.svg|<sub>2</sub>{4}<sub>6</sub>, {{CDD|node_1|4|6node}}, with 12 vertices, and 36 edges
7-generalized-2-orthoplex.svg|<sub>2</sub>{4}<sub>7</sub>, {{CDD|node_1|4|7node}}, with 14 vertices, and 49 edges
8-generalized-2-orthoplex.svg|<sub>2</sub>{4}<sub>8</sub>, {{CDD|node_1|4|8node}}, with 16 vertices, and 64 edges
9-generalized-2-orthoplex.svg|<sub>2</sub>{4}<sub>9</sub>, {{CDD|node_1|4|9node}}, with 18 vertices, and 81 edges
10-generalized-2-orthoplex.svg|<sub>2</sub>{4}<sub>10</sub>, {{CDD|node_1|4|10node}}, with 20 vertices, and 100 edges
</gallery>

;Complex polygons <sub>''p''</sub>{4}<sub>2</sub>:

Polygons of the form <sub>''p''</sub>{4}<sub>2</sub> are called generalized [[hypercube]]s (squares for polygons). They share vertices with the 4D ''p''-''p'' [[duoprism]]s, vertices connected by p-edges. Vertices are drawn in green, and ''p''-edges are drawn in alternate colors, red and blue. The perspective is distorted slightly for odd dimensions to move overlapping vertices from the center.
<gallery>
2-generalized-2-cube.svg|<sub>2</sub>{4}<sub>2</sub>, {{CDD|node_1|4|node}} or {{CDD|node_1|2|node_1}}, with 4 vertices, and 4 2-edges
3-generalized-2-cube_skew.svg|<sub>3</sub>{4}<sub>2</sub>, {{CDD|3node_1|4|node}} or {{CDD|3node_1|2|3node_1}}, with 9 vertices, and 6 (triangular) 3-edges<ref name=":0"/>
4-generalized-2-cube.svg|<sub>4</sub>{4}<sub>2</sub>, {{CDD|4node_1|4|node}} or {{CDD|4node_1|2|4node_1}}, with 16 vertices, and 8 (square) 4-edges
5-generalized-2-cube_skew.svg|<sub>5</sub>{4}<sub>2</sub>, {{CDD|5node_1|4|node}} or {{CDD|5node_1|2|5node_1}}, with 25 vertices, and 10 (pentagonal) 5-edges
6-generalized-2-cube.svg|<sub>6</sub>{4}<sub>2</sub>, {{CDD|6node_1|4|node}} or {{CDD|6node_1|2|6node_1}}, with 36 vertices, and 12 (hexagonal) 6-edges
7-generalized-2-cube_skew.svg|<sub>7</sub>{4}<sub>2</sub>, {{CDD|7node_1|4|node}} or {{CDD|7node_1|2|7node_1}}, with 49 vertices, and 14 (heptagonal)7-edges
8-generalized-2-cube.svg|<sub>8</sub>{4}<sub>2</sub>, {{CDD|8node_1|4|node}} or {{CDD|8node_1|2|8node_1}}, with 64 vertices, and 16 (octagonal) 8-edges
9-generalized-2-cube_skew.svg|<sub>9</sub>{4}<sub>2</sub>, {{CDD|9node_1|4|node}} or {{CDD|9node_1|2|9node_1}}, with 81 vertices, and 18 (enneagonal) 9-edges
10-generalized-2-cube.svg|<sub>10</sub>{4}<sub>2</sub>, {{CDD|10node_1|4|node}} or {{CDD|10node_1|2|10node_1}}, with 100 vertices, and 20 (decagonal) 10-edges
</gallery>

;3D [[Perspective (graphical)|perspective]] projections of complex polygons <sub>''p''</sub>{4}<sub>2</sub>. The duals <sub>2</sub>{4}<sub>''p''</sub>: are seen by adding vertices inside the edges, and adding edges in place of vertices.
<gallery>
Complex polygon 3-4-2-stereographic3.png|<sub>3</sub>{4}<sub>2</sub>, {{CDD|3node_1|4|node}}  or {{CDD|3node_1|2|3node_1}} with 9 vertices, 6 3-edges in 2 sets of colors
Complex polygon 2-4-3-stereographic0.png|<sub>2</sub>{4}<sub>3</sub>, {{CDD|node_1|4|3node}} with 6 vertices, 9 edges in 3 sets
Complex polygon 4-4-2-stereographic3.svg|<sub>4</sub>{4}<sub>2</sub>, {{CDD|4node_1|4|node}} or {{CDD|4node_1|2|4node_1}} with 16 vertices, 8 4-edges in 2 sets of colors and filled square 4-edges
Complex_polygon_5-4-2-stereographic3.png|<sub>5</sub>{4}<sub>2</sub>, {{CDD|5node_1|4|node}} or {{CDD|5node_1|2|5node_1}} with 25 vertices, 10 5-edges in 2 sets of colors
</gallery>

;Other Complex polygons <sub>''p''</sub>{''r''}<sub>2</sub>:
<gallery>
Complex_polygon_3-6-2.png|<sub>3</sub>{6}<sub>2</sub>, {{CDD|3node_1|6|node}} or {{CDD|3node_1|3|3node_1}}, with 24 vertices in black, and 16 3-edges colored in 2 sets of 3-edges in red and blue<ref>Coxeter, Regular Complex Polytopes, p. 109</ref>
Complex_polygon_3-8-2.png|<sub>3</sub>{8}<sub>2</sub>, {{CDD|3node_1|8|node}} or {{CDD|3node_1|4|3node_1}}, with 72 vertices in black, and 48 3-edges colored in 2 sets of 3-edges in red and blue<ref>Coxeter, Regular Complex Polytopes, p. 111</ref>
</gallery>

;2D orthogonal projections of complex polygons, <sub>''p''</sub>{''r''}<sub>''p''</sub>:

Polygons of the form <sub>''p''</sub>{''r''}<sub>''p''</sub> have equal number of vertices and edges. They are also self-dual.
<gallery>
Complex polygon 3-3-3.svg|[[Möbius–Kantor polygon|<sub>3</sub>{3}<sub>3</sub>]], {{CDD|3node_1|3|3node}} or {{CDD|node_h|6|3node}}, with 8 vertices in black, and 8 3-edges colored in 2 sets of 3-edges in red and blue<ref>Coxeter, Regular Complex Polytopes, p. 30 diagram and p. 47 indices for 8 3-edges</ref>
Complex_polygon_3-4-3-fill1.png|<sub>3</sub>{4}<sub>3</sub>, {{CDD|3node_1|4|3node}} or {{CDD|node_h|8|3node}}, with 24 vertices and 24 3-edges shown in 3 sets of colors, one set filled<ref name=":5">Coxeter, Regular Complex Polytopes, p. 110</ref>
Complex polygon 4-3-4.png|<sub>4</sub>{3}<sub>4</sub>, {{CDD|4node_1|3|4node}} or {{CDD|node_h|6|4node}}, with 24 vertices and 24 4-edges shown in 4 sets of colors<ref name=":5"/>
Complex polygon 3-5-3.png|<sub>3</sub>{5}<sub>3</sub>, {{CDD|3node_1|5|3node}} or {{CDD|node_h|10|3node}}, with 120 vertices and 120 3-edges<ref>Coxeter, Regular Complex Polytopes, p. 48</ref>
Complex polygon 5-3-5.png|<sub>5</sub>{3}<sub>5</sub>, {{CDD|5node_1|3|5node}} or {{CDD|node_h|6|5node}}, with 120 vertices and 120 5-edges<ref>Coxeter, Regular Complex Polytopes, p. 49</ref>
</gallery>

==Regular complex polytopes==

In general, a '''regular complex polytope''' is represented by Coxeter as <sub>''p''</sub>{''z''<sub>1</sub>}<sub>''q''</sub>{z<sub>2</sub>}<sub>''r''</sub>{z<sub>3</sub>}<sub>''s''</sub>... or Coxeter diagram {{CDD|pnode_1|3|z|1x|3|qnode|3|z|2x|3|rnode|3|z|3x|3|snode}}..., having symmetry <sub>''p''</sub>[''z''<sub>1</sub>]<sub>''q''</sub>[''z''<sub>2</sub>]<sub>''r''</sub>[''z''<sub>3</sub>]<sub>''s''</sub>... or {{CDD|pnode|3|z|1x|3|qnode|3|z|2x|3|rnode|3|z|3x|3|snode}}....<ref>Coxeter, Regular Complex Polytopes, pp. 116–140.</ref>

There are infinite families of regular complex polytopes that occur in all dimensions, generalizing the [[hypercube]]s and [[cross polytope]]s in real space.  Shephard's "generalized orthotope" generalizes the hypercube; it has symbol given by &gamma;{{supsub|''p''|''n''}} = <sub>''p''</sub>{4}<sub>2</sub>{3}<sub>2</sub>...<sub>2</sub>{3}<sub>2</sub> and diagram {{CDD|pnode_1|4|node|3|node|3|node|3}}...{{CDD|node|3|node|3|node}}.  Its symmetry group has diagram <sub>''p''</sub>[4]<sub>2</sub>[3]<sub>2</sub>...<sub>2</sub>[3]<sub>2</sub>; in the Shephard–Todd classification, this is the group G(''p'', 1, ''n'') generalizing the signed permutation matrices. Its dual regular polytope, the "generalized cross polytope", is represented by the symbol &beta;{{supsub|''p''|''n''}} = <sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>...<sub>2</sub>{4}<sub>''p''</sub> and diagram {{CDD|node_1|3|node|3|node|3|node|3}}...{{CDD|3|node|4|pnode}}.<ref name=":4">Coxeter, Regular Complex Polytopes, pp. 118–119.</ref>

A 1-dimensional ''regular complex polytope'' in <math>\mathbb{C}^1</math> is represented as {{CDD|pnode_1}}, having ''p'' vertices, with its real representation a [[regular polygon]], {''p''}. Coxeter also gives it symbol &gamma;{{supsub|p|1}} or &beta;{{supsub|p|1}} as 1-dimensional generalized hypercube or cross polytope. Its symmetry is <sub>''p''</sub>[] or {{CDD|pnode}}, a cyclic group of order ''p''.  In a higher polytope, <sub>''p''</sub>{} or {{CDD|pnode_1}} represents a ''p''-edge element, with a 2-edge, {} or {{CDD|node_1}}, representing an ordinary real edge between two vertices.<ref name=":4"/>

A '''dual complex polytope''' is constructed by exchanging ''k'' and (''n''-1-''k'')-elements of an ''n''-polytope. For example, a dual complex polygon has vertices centered on each edge, and new edges are centered at the old vertices. A ''v''-valence vertex creates a new ''v''-edge, and ''e''-edges become ''e''-valence vertices.<ref>Complex Regular Polytopes, p.29</ref> The dual of a regular complex polytope has a reversed symbol. Regular complex polytopes with symmetric symbols, i.e. <sub>''p''</sub>{''q''}<sub>''p''</sub>, <sub>''p''</sub>{''q''}<sub>''r''</sub>{''q''}<sub>''p''</sub>, <sub>''p''</sub>{''q''}<sub>''r''</sub>{''s''}<sub>''r''</sub>{''q''}<sub>''p''</sub>, etc. are '''self dual'''.

=== Enumeration of regular complex polyhedra ===
[[File:Rank3_shephard_subgroups.png|thumb|Some rank 3 Shephard groups with their group orders, and the reflective subgroup relations]]
Coxeter enumerated this list of nonstarry regular complex polyhedra in <math>\mathbb{C}^3</math>, including the 5 [[platonic solid]]s in <math>\mathbb{R}^3</math>.<ref name=":3">Coxeter, Regular Complex Polytopes, Table V. The nonstarry regular polyhedra and 4-polytopes. p. 180.</ref>

A regular complex polyhedron, <sub>''p''</sub>{''n''<sub>1</sub>}<sub>''q''</sub>{''n''<sub>2</sub>}<sub>''r''</sub> or {{CDD|pnode_1|3|n|1x|3|qnode|3|n|2x|3|rnode}}, has {{CDD|pnode_1|3|n|1x|3|qnode}} faces, {{CDD|pnode_1}} edges, and {{CDD|qnode_1|3|n|2x|3|rnode}} [[vertex figure]]s.

A complex regular polyhedron <sub>''p''</sub>{''n''<sub>1</sub>}<sub>''q''</sub>{''n''<sub>2</sub>}<sub>''r''</sub> requires both ''g''<sub>1</sub> = order(<sub>''p''</sub>[''n''<sub>1</sub>]<sub>''q''</sub>) and ''g''<sub>2</sub> = order(<sub>''q''</sub>[''n''<sub>2</sub>]<sub>''r''</sub>) be finite.

Given ''g'' = order(<sub>''p''</sub>[''n''<sub>1</sub>]<sub>''q''</sub>[''n''<sub>2</sub>]<sub>''r''</sub>), the number of vertices is ''g''/''g''<sub>2</sub>, and the number of faces is ''g''/''g''<sub>1</sub>. The number of edges is ''g''/''pr''.

{| class="wikitable sortable"
!Space||[[Complex reflection group|Group]]||data-sort-type="number"|Order||[[Coxeter number]]||colspan=2|Polygon|| data-sort-type="number"|Vertices||colspan=2 data-sort-type="number" |Edges||colspan=2 data-sort-type="number"|Faces|| data-sort-type="number"|Vertex<BR>figure||[[#van_Oss_polygon|Van Oss<BR>polygon]]||Notes
|- align=center BGCOLOR="#ffe0e0"
|<math>\mathbb{R}^3</math>||G(1,1,3)<BR> <sub>2</sub>[3]<sub>2</sub>[3]<sub>2</sub><BR>= [3,3]||24 || 4 ||&alpha;<sub>3</sub> = <sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub><BR>= {3,3}||width=40|{{CDD|node_1|3|node|3|node}} || 4 || 6||{} || 4||{3} || {3} ||none||align=left| Real [[tetrahedron]]<BR>Same as {{CDD|node_h|4|node|3|node}}
|- align=center BGCOLOR="#ffe0e0"
|rowspan=2|<math>\mathbb{R}^3</math>||rowspan=2|G<sub>23</sub><BR><sub>2</sub>[3]<sub>2</sub>[5]<sub>2</sub><BR>= [3,5] ||rowspan=2|120 ||rowspan=2| 10 || <sub>2</sub>{3}<sub>2</sub>{5}<sub>2</sub> = {3,5}||{{CDD|node_1|3|node|5|node}} || 12 || 30||{} || 20||{3} || {5} ||none||align=left| Real [[icosahedron]]
|- align=center BGCOLOR="#ffe0e0"
|<sub>2</sub>{5}<sub>2</sub>{3}<sub>2</sub> = {5,3}||{{CDD|node_1|5|node|3|node}} || 20 || 30||{} || 12||{5} || {3} ||none||align=left| Real [[dodecahedron]]

|- align=center BGCOLOR="#ffe0e0"
|<math>\mathbb{R}^3</math> ||rowspan=2|G(2,1,3)<BR><sub>2</sub>[3]<sub>2</sub>[4]<sub>2</sub><BR>= [3,4]||rowspan=2|48 ||rowspan=2| 6 ||&beta;{{supsub|2|3}} = &beta;<sub>3</sub> = {3,4}||{{CDD|node_1|3|node|4|node}} || 6 || 12|| {} || 8 || {3}||{4}  ||{4}||align=left|Real [[octahedron]]<BR>Same as {}+{}+{}, order 8<BR>Same as {{CDD|node_1|split1|nodes}}, order 24
|- align=center BGCOLOR="#ffe0e0"
|<math>\mathbb{R}^3</math>||&gamma;{{supsub|2|3}} = &gamma;<sub>3</sub> = {4,3}||{{CDD|node_1|4|node|3|node}} || 8|| 12||{} || 6||{4}|| {3} ||none||align=left| Real [[cube]]<BR>Same as {}×{}×{} or {{CDD|node_1|2c|node_1|2c|node_1}}

|- align=center BGCOLOR="#ffffe0"
|<math>\mathbb{C}^3</math>||rowspan=2|G(p,1,3)<BR><sub>2</sub>[3]<sub>2</sub>[4]<sub>''p''</sub><BR>p=2,3,4,... ||rowspan=2|6''p''<sup>3</sup> ||rowspan=2| 3''p'' ||&beta;{{supsub|''p''|3}} = <sub>2</sub>{3}<sub>2</sub>{4}<sub>''p''</sub>||<span>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</span><BR>{{CDD|node_1|3|node|4|pnode}} || 3''p'' || 3''p''<sup>2</sup>||{} || ''p''<sup>3</sup>||{3} ||<sub>2</sub>{4}<sub>''p''</sub> ||<sub>2</sub>{4}<sub>''p''</sub>||align=left|Generalized octahedron<BR>Same as <sub>''p''</sub>{}+<sub>''p''</sub>{}+<sub>''p''</sub>{}, order ''p''<sup>3</sup><BR>Same as {{CDD|node_1|3split1|branch|labelp}}, order 6''p''<sup>2</sup>
|- align=center BGCOLOR="#ffffe0"
|<math>\mathbb{C}^3</math>||&gamma;{{supsub|''p''|3}} = <sub>''p''</sub>{4}<sub>2</sub>{3}<sub>2</sub>||{{CDD|pnode_1|4|node|3|node}} || ''p''<sup>3</sup>|| 3''p''<sup>2</sup>||<sub>''p''</sub>{} || 3''p''||<sub>''p''</sub>{4}<sub>2</sub>|| {3} ||none||align=left| Generalized cube<BR>Same as <sub>''p''</sub>{}×<sub>''p''</sub>{}×<sub>''p''</sub>{} or {{CDD|pnode_1|2c|pnode_1|2c|pnode_1}}

|- align=center BGCOLOR="#e0ffff"
|<math>\mathbb{C}^3</math>||rowspan=2|G(3,1,3)<BR><sub>2</sub>[3]<sub>2</sub>[4]<sub>3</sub> ||rowspan=2|162 ||rowspan=2| 9 ||&beta;{{supsub|3|3}} = <sub>2</sub>{3}<sub>2</sub>{4}<sub>3</sub>||{{CDD|node_1|3|node|4|3node}} || 9 || 27||{} || 27||{3} ||<sub>2</sub>{4}<sub>3</sub> ||<sub>2</sub>{4}<sub>3</sub>||align=left|Same as <sub>3</sub>{}+<sub>3</sub>{}+<sub>3</sub>{}, order 27<BR>Same as {{CDD|node_1|3split1|branch}}, order 54
|- align=center BGCOLOR="#e0ffff"
|<math>\mathbb{C}^3</math>||&gamma;{{supsub|3|3}} = <sub>3</sub>{4}<sub>2</sub>{3}<sub>2</sub>||{{CDD|3node_1|4|node|3|node}} || 27|| 27||<sub>3</sub>{} || 9||<sub>3</sub>{4}<sub>2</sub>|| {3} ||none||align=left| Same as <sub>3</sub>{}×<sub>3</sub>{}×<sub>3</sub>{} or {{CDD|3node_1|2c|3node_1|2c|3node_1}}

|- align=center BGCOLOR="#e0ffff"
|<math>\mathbb{C}^3</math>||rowspan=2|G(4,1,3)<BR><sub>2</sub>[3]<sub>2</sub>[4]<sub>4</sub> ||rowspan=2|384 ||rowspan=2| 12 ||&beta;{{supsub|4|3}} = <sub>2</sub>{3}<sub>2</sub>{4}<sub>4</sub>||{{CDD|node_1|3|node|4|4node}} || 12 || 48  ||{} || 64||{3} ||<sub>2</sub>{4}<sub>4</sub> ||<sub>2</sub>{4}<sub>4</sub>||align=left|Same as <sub>4</sub>{}+<sub>4</sub>{}+<sub>4</sub>{}, order 64<BR>Same as {{CDD|node_1|3split1|branch|label4}}, order 96
|- align=center BGCOLOR="#e0ffff"
|<math>\mathbb{C}^3</math>||&gamma;{{supsub|4|3}} = <sub>4</sub>{4}<sub>2</sub>{3}<sub>2</sub>||{{CDD|4node_1|4|node|3|node}} || 64 || 48 ||<sub>4</sub>{} || 12 ||<sub>4</sub>{4}<sub>2</sub>|| {3} ||none||align=left| Same as <sub>4</sub>{}×<sub>4</sub>{}×<sub>4</sub>{} or {{CDD|4node_1|2c|4node_1|2c|4node_1}}

|- align=center BGCOLOR="#e0ffff"
|<math>\mathbb{C}^3</math>||rowspan=2|G(5,1,3)<BR><sub>2</sub>[3]<sub>2</sub>[4]<sub>5</sub> ||rowspan=2|750 ||rowspan=2| 15 ||&beta;{{supsub|5|3}} = <sub>2</sub>{3}<sub>2</sub>{4}<sub>5</sub>||{{CDD|node_1|3|node|4|5node}} || 15 || 75||{} || 125||{3} ||<sub>2</sub>{4}<sub>5</sub> ||<sub>2</sub>{4}<sub>5</sub>||align=left|Same as <sub>5</sub>{}+<sub>5</sub>{}+<sub>5</sub>{}, order 125<BR>Same as {{CDD|node_1|3split1|branch|label5}}, order 150
|- align=center BGCOLOR="#e0ffff"
|<math>\mathbb{C}^3</math>||&gamma;{{supsub|5|3}} = <sub>5</sub>{4}<sub>2</sub>{3}<sub>2</sub>||{{CDD|5node_1|4|node|3|node}} || 125|| 75||<sub>5</sub>{} || 15||<sub>5</sub>{4}<sub>2</sub>|| {3} ||none||align=left| Same as <sub>5</sub>{}×<sub>5</sub>{}×<sub>5</sub>{} or {{CDD|5node_1|2c|5node_1|2c|5node_1}}

|- align=center BGCOLOR="#e0ffff"
|<math>\mathbb{C}^3</math>||rowspan=2|G(6,1,3)<BR><sub>2</sub>[3]<sub>2</sub>[4]<sub>6</sub> ||rowspan=2|1296 ||rowspan=2| 18 ||&beta;{{supsub|6|3}} = <sub>2</sub>{3}<sub>2</sub>{4}<sub>6</sub>||{{CDD|node_1|3|node|4|6node}} || 36 || 108 ||{} || 216||{3} ||<sub>2</sub>{4}<sub>6</sub> ||<sub>2</sub>{4}<sub>6</sub>||align=left|Same as <sub>6</sub>{}+<sub>6</sub>{}+<sub>6</sub>{}, order 216<BR>Same as {{CDD|node_1|3split1|branch|label6}}, order 216
|- align=center BGCOLOR="#e0ffff"
|<math>\mathbb{C}^3</math>||&gamma;{{supsub|6|3}} = <sub>6</sub>{4}<sub>2</sub>{3}<sub>2</sub>||{{CDD|6node_1|4|node|3|node}} || 216|| 108||<sub>6</sub>{} || 18||<sub>6</sub>{4}<sub>2</sub>|| {3} ||none||align=left| Same as <sub>6</sub>{}×<sub>6</sub>{}×<sub>6</sub>{} or {{CDD|6node_1|2c|6node_1|2c|6node_1}}

|- align=center BGCOLOR="#e0f0ff"
|rowspan=3|<math>\mathbb{C}^3</math>||G<sub>25</sub><BR><sub>3</sub>[3]<sub>3</sub>[3]<sub>3</sub> ||648 || 9 || <sub>3</sub>{3}<sub>3</sub>{3}<sub>3</sub>||{{CDD|3node_1|3|3node|3|3node}} || 27 || 72||<sub>3</sub>{} || 27||<sub>3</sub>{3}<sub>3</sub> || <sub>3</sub>{3}<sub>3</sub> ||<sub>3</sub>{4}<sub>2</sub>||align=left|Same as {{CDD|node_h|4|3node|3|3node}}.<BR><math>\mathbb{R}^6</math> representation as [[2 21 polytope|2<sub>21</sub>]]<BR>[[Hessian polyhedron]]
|- align=center BGCOLOR="#e0f0ff"
|rowspan=2|G<sub>26</sub><BR><sub>2</sub>[4]<sub>3</sub>[3]<sub>3</sub> ||rowspan=2|1296||rowspan=2|18 || <sub>2</sub>{4}<sub>3</sub>{3}<sub>3</sub>||{{CDD|node_1|4|3node|3|3node}} || 54 || 216||{} || 72||<sub>2</sub>{4}<sub>3</sub> ||<sub>3</sub>{3}<sub>3</sub> ||{6} || 
|- align=center BGCOLOR="#e0f0ff"
| <sub>3</sub>{3}<sub>3</sub>{4}<sub>2</sub>||{{CDD|3node_1|3|3node|4|node}} || 72 || 216||<sub>3</sub>{}|| 54||<sub>3</sub>{3}<sub>3</sub> ||<sub>3</sub>{4}<sub>2</sub>  ||<sub>3</sub>{4}<sub>3</sub>||align=left| Same as {{CDD|3node|3|3node_1|3|3node}}<ref>Coxeter, ''Kaleidoscopes — Selected Writings of H.S.M. Coxeter'', Paper 25 ''Surprising relationships among unitary reflection groups'', p. 431.</ref><BR><math>\mathbb{R}^6</math> representation as [[1 22 polytope|1<sub>22</sub>]]
|}

==== Visualizations of regular complex polyhedra ====

;2D orthogonal projections of complex polyhedra, <sub>''p''</sub>{''s''}<sub>''t''</sub>{''r''}<sub>''r''</sub>:

<gallery>
3-simplex t0.svg|Real [[Tetrahedron|{3,3}]], {{CDD|node_1|3|node|3|node}} or {{CDD|node_h|4|node|3|node}} has 4 vertices, 6 edges, and 4 faces
Complex polyhedron 3-3-3-3-3-one-blue-face.png|[[Hessian polyhedron|<sub>3</sub>{3}<sub>3</sub>{3}<sub>3</sub>]], {{CDD|3node_1|3|3node|3|3node}} or {{CDD|node_h|4|3node|3|3node}}, has 27 vertices, 72 3-edges, and 27 faces, with one face highlighted blue.<ref name=":2">Coxeter, Regular Complex Polytopes, p. 131</ref>
Complex polyhedron 2-4-3-3-3_blue-edge.png|<sub>2</sub>{4}<sub>3</sub>{3}<sub>3</sub>, {{CDD|node_1|4|3node|3|3node}} has 54 vertices, 216 simple edges, and 72 faces, with one face highlighted blue.<ref>Coxeter, Regular Complex Polytopes, p. 126</ref>
Complex polyhedron 3-3-3-4-2-one-blue-face.png|[[Rectified Hessian polyhedron|<sub>3</sub>{3}<sub>3</sub>{4}<sub>2</sub>]], {{CDD|3node_1|3|3node|4|node}} or {{CDD|3node|3|3node_1|3|3node}}, has 72 vertices, 216 3-edges, and 54 vertices, with one face highlighted blue.<ref>Coxeter, Regular Complex Polytopes, p. 125</ref>
</gallery>

;Generalized octahedra

Generalized octahedra have a regular construction as {{CDD|node_1|3|node|4|pnode}} and quasiregular form as {{CDD|node_1|3split1|branch|labelp}}. All elements are [[simplex]]es.
<gallery>
Complex tripartite graph octahedron.svg|Real [[Octahedron|{3,4}]], {{CDD|node_1|3|node|4|node}} or {{CDD|node_1|split1|nodes}}, with 6 vertices, 12 edges, and 8 faces
3-generalized-3-orthoplex-tripartite.svg|<sub>2</sub>{3}<sub>2</sub>{4}<sub>3</sub>, {{CDD|node_1|3|node|4|3node}} or {{CDD|node_1|3split1|branch}}, with 9 vertices, 27 edges, and 27 faces
4-generalized-3-orthoplex.svg|<sub>2</sub>{3}<sub>2</sub>{4}<sub>4</sub>, {{CDD|node_1|3|node|4|4node}} or {{CDD|node_1|3split1|branch|label4}}, with 12 vertices, 48 edges, and 64 faces
5-generalized-3-orthoplex.svg|<sub>2</sub>{3}<sub>2</sub>{4}<sub>5</sub>, {{CDD|node_1|3|node|4|5node}} or {{CDD|node_1|3split1|branch|label5}}, with 15 vertices, 75 edges, and 125 faces
6-generalized-3-orthoplex.svg|<sub>2</sub>{3}<sub>2</sub>{4}<sub>6</sub>, {{CDD|node_1|3|node|4|6node}} or {{CDD|node_1|3split1|branch|label6}}, with 18 vertices, 108 edges, and 216 faces
7-generalized-3-orthoplex.svg|<sub>2</sub>{3}<sub>2</sub>{4}<sub>7</sub>, {{CDD|node_1|3|node|4|7node}} or {{CDD|node_1|3split1|branch|label7}}, with 21 vertices, 147 edges, and 343 faces
8-generalized-3-orthoplex.svg|<sub>2</sub>{3}<sub>2</sub>{4}<sub>8</sub>, {{CDD|node_1|3|node|4|8node}} or {{CDD|node_1|3split1|branch|label8}}, with 24 vertices, 192 edges, and 512 faces
9-generalized-3-orthoplex.svg|<sub>2</sub>{3}<sub>2</sub>{4}<sub>9</sub>, {{CDD|node_1|3|node|4|9node}} or {{CDD|node_1|3split1|branch|label9}}, with 27 vertices, 243 edges, and 729 faces
10-generalized-3-orthoplex.svg|<sub>2</sub>{3}<sub>2</sub>{4}<sub>10</sub>, {{CDD|node_1|3|node|4|10node}} or {{CDD|node_1|3split1|branch|label1|label0}}, with 30 vertices, 300 edges, and 1000 faces
</gallery>

;Generalized cubes

Generalized cubes have a regular construction as {{CDD|pnode_1|4|node|3|node}} and prismatic construction as {{CDD|pnode_1|2c|pnode_1|2c|pnode_1}}, a product of three ''p''-gonal 1-polytopes. Elements are lower dimensional generalized cubes.
<gallery>
2-generalized-3-cube.svg|Real [[Cube|{4,3}]], {{CDD|node_1|4|node|3|node}} or {{CDD|node_1|2c|node_1|2c|node_1}} has 8 vertices, 12 edges, and 6 faces
3-generalized-3-cube.svg|<sub>3</sub>{4}<sub>2</sub>{3}<sub>2</sub>, {{CDD|3node_1|4|node|3|node}} or {{CDD|3node_1|2c|3node_1|2c|3node_1}} has 27 vertices, 27 3-edges, and 9 faces<ref name=":2"/>
4-generalized-3-cube.svg|<sub>4</sub>{4}<sub>2</sub>{3}<sub>2</sub>, {{CDD|4node_1|4|node|3|node}} or {{CDD|4node_1|2c|4node_1|2c|4node_1}}, with 64 vertices, 48 edges, and 12 faces
5-generalized-3-cube.svg|<sub>5</sub>{4}<sub>2</sub>{3}<sub>2</sub>, {{CDD|5node_1|4|node|3|node}} or {{CDD|5node_1|2c|5node_1|2c|5node_1}}, with 125 vertices, 75 edges, and 15 faces
6-generalized-3-cube.svg|<sub>6</sub>{4}<sub>2</sub>{3}<sub>2</sub>, {{CDD|6node_1|4|node|3|node}} or {{CDD|6node_1|2c|6node_1|2c|6node_1}}, with 216 vertices, 108 edges, and 18 faces
7-generalized-3-cube.svg|<sub>7</sub>{4}<sub>2</sub>{3}<sub>2</sub>, {{CDD|7node_1|4|node|3|node}} or {{CDD|7node_1|2c|7node_1|2c|7node_1}}, with 343 vertices, 147 edges, and 21 faces
8-generalized-3-cube.svg|<sub>8</sub>{4}<sub>2</sub>{3}<sub>2</sub>, {{CDD|8node_1|4|node|3|node}} or {{CDD|8node_1|2c|8node_1|2c|8node_1}}, with 512 vertices, 192 edges, and 24 faces
9-generalized-3-cube.svg|<sub>9</sub>{4}<sub>2</sub>{3}<sub>2</sub>, {{CDD|9node_1|4|node|3|node}} or {{CDD|9node_1|2c|9node_1|2c|9node_1}}, with 729 vertices, 243 edges, and 27 faces
10-generalized-3-cube.svg|<sub>10</sub>{4}<sub>2</sub>{3}<sub>2</sub>, {{CDD|10node_1|4|node|3|node}} or {{CDD|10node_1|2c|10node_1|2c|10node_1}}, with 1000 vertices, 300 edges, and 30 faces
</gallery>

=== Enumeration of regular complex 4-polytopes ===

Coxeter enumerated this list of nonstarry regular complex 4-polytopes in <math>\mathbb{C}^4</math>, including the 6 [[convex regular 4-polytope]]s in <math>\mathbb{R}^4</math>.<ref name=":3"/>
{| class="wikitable sortable"
!Space||[[Complex reflection group|Group]]||data-sort-type="number"|Order||[[Coxeter number|Coxeter<BR>number]]||Polytope||data-sort-type="number"|Vertices|| data-sort-type="number"|Edges||data-sort-type="number"|Faces|| data-sort-type="number"|Cells||[[#van_Oss_polygon|Van Oss<BR>polygon]]||Notes

|- align=center BGCOLOR="#ffe0e0"
|<math>\mathbb{R}^4</math>|| G(1,1,4)<BR><sub>2</sub>[3]<sub>2</sub>[3]<sub>2</sub>[3]<sub>2</sub><BR>= [3,3,3]||120|| 5 ||&alpha;<sub>4</sub> = <sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub><BR>= {3,3,3}<BR>{{CDD|node_1|3|node|3|node|3|node}} || 5 || 10<BR>{} || 10<BR>{3} ||5<BR>{3,3} ||none||align=left| Real [[5-cell]] (simplex)
|- align=center BGCOLOR="#ffe0e0"
|rowspan=3|<math>\mathbb{R}^4</math>||G<sub>28</sub><BR><sub>2</sub>[3]<sub>2</sub>[4]<sub>2</sub>[3]<sub>2</sub><BR>= [3,4,3] || 1152 || 12|| <sub>2</sub>{3}<sub>2</sub>{4}<sub>2</sub>{3}<sub>2</sub> = {3,4,3}<BR>{{CDD|node_1|3|node|4|node|3|node}} || 24 || 96<BR>{} || 96<BR>{3} || 24<BR>{3,4} ||{6}||align=left| Real [[24-cell]]
|- align=center BGCOLOR="#ffe0e0"
|rowspan=2|G<sub>30</sub><BR><sub>2</sub>[3]<sub>2</sub>[3]<sub>2</sub>[5]<sub>2</sub><BR>= [3,3,5] || rowspan=2|14400 ||rowspan=2| 30||<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{5}<sub>2</sub> = {3,3,5} <BR> {{CDD|node_1|3|node|3|node|5|node}} ||120 ||720<BR>{} ||1200<BR>{3} ||600<BR>{3,3} ||rowspan=2|{10}||align=left| Real [[600-cell]]
|- align=center BGCOLOR="#ffe0e0"
| <sub>2</sub>{5}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub> = {5,3,3} <BR> {{CDD|node_1|5|node|3|node|3|node}} ||600 ||1200<BR>{} ||720<BR>{5}||120<BR>{5,3} ||align=left| Real [[120-cell]]
|- align=center BGCOLOR="#ffe0e0"
|<math>\mathbb{R}^4</math>||rowspan=2|G(2,1,4)<BR><sub>2</sub>[3]<sub>2</sub>[3]<sub>2</sub>[4]<sub>''p''</sub><BR>=[3,3,4] ||rowspan=2|384 ||rowspan=2| 8 ||&beta;{{supsub|2|4}} = &beta;<sub>4</sub> = {3,3,4}<BR>{{CDD|node_1|3|node|3|node|4|node}} || 8|| 24<BR>{} || 32<BR>{3}|| 16<BR>{3,3} ||{4} ||align=left|Real [[16-cell]]<BR>Same as {{CDD|node_1|3|node|split1|nodes}}, order 192

|- align=center BGCOLOR="#ffe0e0"
|<math>\mathbb{R}^4</math>||&gamma;{{supsub|2|4}} = &gamma;<sub>4</sub> = {4,3,3}<BR>{{CDD|node_1|4|node|3|node|3|node}} || 16 ||32<BR>{} || 24<BR>{4} || 8<BR>{4,3} ||none||align=left| Real [[tesseract]]<BR>Same as {}<sup>4</sup> or {{CDD|node_1|2c|node_1|2c|node_1|2c|node_1}}, order 16

|- align=center BGCOLOR="#ffffe0"
|<math>\mathbb{C}^4</math>||rowspan=2|G(p,1,4)<BR><sub>2</sub>[3]<sub>2</sub>[3]<sub>2</sub>[4]<sub>''p''</sub><BR>p=2,3,4,... ||rowspan=2|24''p''<sup>4</sup> ||rowspan=2| 4''p'' ||&beta;{{supsub|''p''|4}} = <sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>''p''</sub><BR>{{CDD|node_1|3|node|3|node|4|pnode}} || 4''p''|| 6''p''<sup>2</sup> <BR>{} || 4''p''<sup>3</sup> <BR>{3}|| ''p''<sup>4</sup><BR>{3,3} ||<sub>2</sub>{4}<sub>''p''</sub>||align=left| Generalized 4-[[orthoplex]]<BR>Same as {{CDD|node_1|3|node|3split1|branch|labelp}}, order 24''p''<sup>3</sup>
|- align=center BGCOLOR="#ffffe0"
|<math>\mathbb{C}^4</math>||&gamma;{{supsub|''p''|4}} = <sub>''p''</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub><BR>{{CDD|pnode_1|4|node|3|node|3|node}} || ''p''<sup>4</sup>||4''p''<sup>3</sup><BR><sub>''p''</sub>{} || 6''p''<sup>2</sup><BR><sub>''p''</sub>{4}<sub>2</sub> || 4''p''<BR><sub>p</sub>{4}<sub>2</sub>{3}<sub>2</sub> ||none||align=left| Generalized tesseract<BR>Same as <sub>''p''</sub>{}<sup>4</sup> or {{CDD|pnode_1|2c|pnode_1|2c|pnode_1|2c|pnode_1}}, order ''p''<sup>4</sup>

|- align=center BGCOLOR="#e0ffff"
|<math>\mathbb{C}^4</math>||rowspan=2|G(3,1,4)<BR><sub>2</sub>[3]<sub>2</sub>[3]<sub>2</sub>[4]<sub>3</sub> ||rowspan=2|1944 ||rowspan=2| 12 ||&beta;{{supsub|3|4}} = <sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>3</sub><BR>{{CDD|node_1|3|node|3|node|4|3node}} || 12|| 54 <BR>{} || 108 <BR>{3}|| 81 <BR>{3,3} ||<sub>2</sub>{4}<sub>3</sub>||align=left| Generalized 4-[[orthoplex]]<BR>Same as {{CDD|node_1|3|node|3split1|branch}}, order 648
|- align=center BGCOLOR="#e0ffff"
|<math>\mathbb{C}^4</math>||&gamma;{{supsub|3|4}} = <sub>3</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub><BR>{{CDD|3node_1|4|node|3|node|3|node}} || 81||108<BR><sub>3</sub>{} || 54<BR><sub>3</sub>{4}<sub>2</sub> || 12<BR><sub>3</sub>{4}<sub>2</sub>{3}<sub>2</sub> ||none||align=left| Same as <sub>3</sub>{}<sup>4</sup> or {{CDD|3node_1|2c|3node_1|2c|3node_1|2c|3node_1}}, order 81

|- align=center BGCOLOR="#e0ffff"
|<math>\mathbb{C}^4</math>||rowspan=2|G(4,1,4)<BR><sub>2</sub>[3]<sub>2</sub>[3]<sub>2</sub>[4]<sub>4</sub> ||rowspan=2|6144 ||rowspan=2| 16 ||&beta;{{supsub|4|4}} = <sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>4</sub><BR>{{CDD|node_1|3|node|3|node|4|4node}}||16|| 96 <BR>{} || 256 <BR>{3}|| 64<BR>{3,3} 
||<sub>2</sub>{4}<sub>4</sub>||align=left| Same as {{CDD|node_1|3|node|3split1|branch|label4}}, order 1536
|- align=center BGCOLOR="#e0ffff"
|<math>\mathbb{C}^4</math>||&gamma;{{supsub|4|4}} = <sub>4</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub><BR>{{CDD|4node_1|4|node|3|node|3|node}} 
|| 256||256<BR><sub>4</sub>{} || 96<BR><sub>4</sub>{4}<sub>2</sub> || 16<BR><sub>4</sub>{4}<sub>2</sub>{3}<sub>2</sub> ||none||align=left| Same as <sub>4</sub>{}<sup>4</sup> or {{CDD|4node_1|2c|4node_1|2c|4node_1|2c|4node_1}}, order 256

|- align=center BGCOLOR="#e0ffff"
|<math>\mathbb{C}^4</math>||rowspan=2|G(5,1,4)<BR><sub>2</sub>[3]<sub>2</sub>[3]<sub>2</sub>[4]<sub>5</sub> ||rowspan=2|15000 ||rowspan=2| 20 ||&beta;{{supsub|5|4}} = <sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>5</sub><BR>{{CDD|node_1|3|node|3|node|4|5node}} || 20|| 150 <BR>{} || 500 <BR>{3}|| 625<BR>{3,3} ||<sub>2</sub>{4}<sub>5</sub>||align=left| Same as {{CDD|node_1|3|node|3split1|branch|label5}}, order 3000
|- align=center BGCOLOR="#e0ffff"
|<math>\mathbb{C}^4</math>||&gamma;{{supsub|5|4}} = <sub>5</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub><BR>{{CDD|5node_1|4|node|3|node|3|node}} || 625||500<BR><sub>5</sub>{} || 150<BR><sub>5</sub>{4}<sub>2</sub> || 20<BR><sub>5</sub>{4}<sub>2</sub>{3}<sub>2</sub> ||none||align=left| Same as <sub>5</sub>{}<sup>4</sup> or {{CDD|5node_1|2c|5node_1|2c|5node_1|2c|5node_1}}, order 625

|- align=center BGCOLOR="#e0ffff"
|<math>\mathbb{C}^4</math>||rowspan=2|G(6,1,4)<BR><sub>2</sub>[3]<sub>2</sub>[3]<sub>2</sub>[4]<sub>6</sub> ||rowspan=2|31104 ||rowspan=2| 24 ||&beta;{{supsub|6|4}} = <sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>6</sub><BR>{{CDD|node_1|3|node|3|node|4|6node}} || 24|| 216 <BR>{} || 864 <BR>{3}|| 1296<BR>{3,3} ||<sub>2</sub>{4}<sub>6</sub>||align=left| Same as {{CDD|node_1|3|node|3split1|branch|label6}}, order 5184
|- align=center BGCOLOR="#e0ffff"
|<math>\mathbb{C}^4</math>||&gamma;{{supsub|6|4}} = <sub>6</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub><BR>{{CDD|6node_1|4|node|3|node|3|node}} || 1296||864<BR><sub>6</sub>{} || 216<BR><sub>6</sub>{4}<sub>2</sub> || 24<BR><sub>6</sub>{4}<sub>2</sub>{3}<sub>2</sub> ||none||align=left| Same as <sub>6</sub>{}<sup>4</sup> or {{CDD|6node_1|2c|6node_1|2c|6node_1|2c|6node_1}}, order 1296

|- align=center BGCOLOR="#e0f0ff"
|<math>\mathbb{C}^4</math>||G<sub>32</sub><BR><sub>3</sub>[3]<sub>3</sub>[3]<sub>3</sub>[3]<sub>3</sub> ||155520||rowspan=2| 30||<sub>3</sub>{3}<sub>3</sub>{3}<sub>3</sub>{3}<sub>3</sub> <BR> {{CDD|3node_1|3|3node|3|3node|3|3node}} ||240 ||2160<BR><sub>3</sub>{} ||2160<BR><sub>3</sub>{3}<sub>3</sub> ||240<BR><sub>3</sub>{3}<sub>3</sub>{3}<sub>3</sub> ||<sub>3</sub>{4}<sub>3</sub>||align=left| [[Witting polytope]]<BR><math>\mathbb{R}^8</math> representation as [[4 21 polytope|4<sub>21</sub>]]
|}

==== Visualizations of regular complex 4-polytopes ====

<gallery>
4-simplex t0.svg|Real [[5-cell|{3,3,3}]], {{CDD|node_1|3|node|3|node|3|node}}, had 5 vertices, 10 edges, 10 {3} faces, and 5 {3,3} cells
24-cell t0 F4.svg|Real [[24-cell|{3,4,3}]], {{CDD|node_1|3|node|4|node|3|node}}, had 24 vertices, 96 edges, 96 {3} faces, and 24 {3,4} cells
120-cell graph H4.svg|Real [[120-cell|{5,3,3}]], {{CDD|node_1|5|node|3|node|3|node}}, had 600 vertices, 1200 edges, 720 {5} faces, and 120 {5,3} cells
600-cell graph H4.svg|Real [[600-cell|{3,3,5}]], {{CDD|node_1|3|node|3|node|5|node}}, had 120 vertices, 720 edges, 1200 {3} faces, and 600 {3,3} cells
Witting_polytope.png|[[Witting polytope]], {{CDD|3node_1|3|3node|3|3node|3|3node}}, has 240 vertices, 2160 3-edges, 2160 3{3}3 faces, and 240 3{3}3{3}3 cells
</gallery>

;Generalized 4-orthoplexes
Generalized 4-orthoplexes have a regular construction as {{CDD|node_1|3|node|3|node|4|pnode}} and quasiregular form as {{CDD|node_1|3|node|3split1|branch|labelp}}. All elements are [[simplex]]es.
<gallery>
Complex multipartite graph 16-cell.svg|Real [[16-cell|{3,3,4}]], {{CDD|node_1|3|node|3|node|4|node}} or {{CDD|node_1|3|node|split1|nodes}}, with 8 vertices, 24 edges, 32 faces, and 16 cells
3-generalized-4-orthoplex.svg|<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>3</sub>, {{CDD|node_1|3|node|3|node|4|3node}} or {{CDD|node_1|3|node|3split1|branch}}, with 12 vertices, 54 edges, 108 faces, and 81 cells
4-generalized-4-orthoplex.svg|<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>4</sub>, {{CDD|node_1|3|node|3|node|4|4node}} or {{CDD|node_1|3|node|3split1|branch|label4}}, with 16 vertices, 96 edges, 256 faces, and 256 cells
5-generalized-4-orthoplex.svg|<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>5</sub>, {{CDD|node_1|3|node|3|node|4|5node}} or {{CDD|node_1|3|node|3split1|branch|label5}}, with 20 vertices, 150 edges, 500 faces, and 625 cells
6-generalized-4-orthoplex.svg|<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>6</sub>, {{CDD|node_1|3|node|3|node|4|6node}} or {{CDD|node_1|3|node|3split1|branch|label6}}, with 24 vertices, 216 edges, 864 faces, and 1296 cells
7-generalized-4-orthoplex.svg|<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>7</sub>, {{CDD|node_1|3|node|3|node|4|7node}} or {{CDD|node_1|3|node|3split1|branch|label7}}, with 28 vertices, 294 edges, 1372 faces, and 2401 cells
8-generalized-4-orthoplex.svg|<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>8</sub>, {{CDD|node_1|3|node|3|node|4|8node}} or {{CDD|node_1|3|node|3split1|branch|label8}}, with 32 vertices, 384 edges, 2048 faces, and 4096 cells
9-generalized-4-orthoplex.svg|<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>9</sub>, {{CDD|node_1|3|node|3|node|4|9node}} or {{CDD|node_1|3|node|3split1|branch|label9}}, with 36 vertices, 486 edges, 2916 faces, and 6561 cells
10-generalized-4-orthoplex.svg|<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>10</sub>, {{CDD|node_1|3|node|3|node|4|10node}} or {{CDD|node_1|3|node|3split1|branch|label1|label0}}, with 40 vertices, 600 edges, 4000 faces, and 10000 cells
</gallery>

;Generalized 4-cubes

Generalized tesseracts have a regular construction as {{CDD|pnode_1|4|node|3|node|3|node}} and prismatic construction as {{CDD|pnode_1|2c|pnode_1|2c|pnode_1|2c|pnode_1}}, a product of four ''p''-gonal 1-polytopes. Elements are lower dimensional generalized cubes.

<gallery>
2-generalized-4-cube.svg|Real [[tesseract|{4,3,3}]], {{CDD|node_1|4|node|3|node|3|node}} or {{CDD|node_1|2c|node_1|2c|node_1|2c|node_1}}, with 16 vertices, 32 edges, 24 faces, and 8 cells
3-generalized-4-cube.svg|<sub>3</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>, {{CDD|3node_1|4|node|3|node|3|node}} or {{CDD|3node_1|2c|3node_1|2c|3node_1|2c|3node_1}}, with 81 vertices, 108 edges, 54 faces, and 12 cells
4-generalized-4-cube.svg|<sub>4</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>, {{CDD|4node_1|4|node|3|node|3|node}} or {{CDD|4node_1|2c|4node_1|2c|4node_1|2c|4node_1}}, with 256 vertices, 96 edges, 96 faces, and 16 cells
5-generalized-4-cube.svg|<sub>5</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>, {{CDD|5node_1|4|node|3|node|3|node}} or {{CDD|5node_1|2c|5node_1|2c|5node_1|2c|5node_1}}, with 625 vertices, 500 edges, 150 faces, and 20 cells
6-generalized-4-cube.svg|<sub>6</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>, {{CDD|6node_1|4|node|3|node|3|node}} or {{CDD|6node_1|2c|6node_1|2c|6node_1|2c|6node_1}}, with 1296 vertices, 864 edges, 216 faces, and 24 cells
7-generalized-4-cube.svg|<sub>7</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>, {{CDD|7node_1|4|node|3|node|3|node}} or {{CDD|7node_1|2c|7node_1|2c|7node_1|2c|7node_1}}, with 2401 vertices, 1372 edges, 294 faces, and 28 cells
8-generalized-4-cube.svg|<sub>8</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>, {{CDD|8node_1|4|node|3|node|3|node}} or {{CDD|8node_1|2c|8node_1|2c|8node_1|2c|8node_1}}, with 4096 vertices, 2048 edges, 384 faces, and 32 cells
9-generalized-4-cube.svg|<sub>9</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>, {{CDD|9node_1|4|node|3|node|3|node}} or {{CDD|9node_1|2c|9node_1|2c|9node_1|2c|9node_1}}, with 6561 vertices, 2916 edges, 486 faces, and 36 cells
10-generalized-4-cube.svg|<sub>10</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>, {{CDD|10node_1|4|node|3|node|3|node}} or {{CDD|10node_1|2c|10node_1|2c|10node_1|2c|10node_1}}, with 10000 vertices, 4000 edges, 600 faces, and 40 cells
</gallery>

=== Enumeration of regular complex 5-polytopes ===

Regular complex 5-polytopes in <math>\mathbb{C}^5</math> or higher exist in three families, the real [[simplex]]es and the generalized [[hypercube]], and [[orthoplex]].

{| class="wikitable sortable"
!Space||[[Complex reflection group|Group]]||data-sort-type="number"|Order||Polytope||data-sort-type="number"|Vertices||data-sort-type="number"|Edges||data-sort-type="number"|Faces||data-sort-type="number"|Cells||data-sort-type="number"|4-faces||[[#van_Oss_polygon|Van Oss<BR>polygon]]||Notes
|- align=center BGCOLOR="#ffe0e0"
|<math>\mathbb{R}^5</math>|| G(1,1,5)<BR>= [3,3,3,3]||720 ||&alpha;<sub>5</sub> = {3,3,3,3}<BR>{{CDD|node_1|3|node|3|node|3|node|3|node}} || 6 || 15<BR>{} || 20<BR>{3} ||15<BR>{3,3}||6<BR>{3,3,3} ||none||align=left| Real [[5-simplex]]
|- align=center BGCOLOR="#ffe0e0"
|<math>\mathbb{R}^5</math>||rowspan=2|G(2,1,5)<BR>=[3,3,3,4] ||rowspan=2|3840 ||&beta;{{supsub|2|5}} = &beta;<sub>5</sub> = {3,3,3,4}<BR>{{CDD|node_1|3|node|3|node|3|node|4|node}} || 10|| 40<BR>{} || 80 <BR>{3}|| 80<BR>{3,3} || 32<BR>{3,3,3} ||{4}||align=left| Real [[5-orthoplex]]<BR>Same as {{CDD|node_1|3|node|3|node|split1|nodes}}, order 1920
|- align=center BGCOLOR="#ffe0e0"
|<math>\mathbb{R}^5</math>||&gamma;{{supsub|2|5}} = &gamma;<sub>5</sub> = {4,3,3,3}<BR>{{CDD|node_1|4|node|3|node|3|node|3|node}} || 32 ||80 <BR>{} || 80<BR>{4} || 40<BR>{4,3}|| 10 <BR> {4,3,3} ||none||align=left| Real [[5-cube]]<BR>Same as {}<sup>5</sup> or {{CDD|node_1|2c|node_1|2c|node_1|2c|node_1|2c|node_1}}, order 32

|- align=center BGCOLOR="#ffffe0"
|<math>\mathbb{C}^5</math>||rowspan=2|G(p,1,5)<BR><sub>2</sub>[3]<sub>2</sub>[3]<sub>2</sub>[3]<sub>2</sub>[4]<sub>''p''</sub> ||rowspan=2|120''p''<sup>5</sup> ||&beta;{{supsub|''p''|5}} = <sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>''p''</sub><BR>{{CDD|node_1|3|node|3|node|3|node|4|pnode}} || 5''p''|| 10''p''<sup>2</sup><BR>{} || 10''p''<sup>3</sup><BR>{3}|| 5''p''<sup>4</sup><BR> {3,3} || ''p''<sup>5</sup><BR>{3,3,3} ||<sub>2</sub>{4}<sub>''p''</sub>||align=left| Generalized [[5-orthoplex]]<BR>Same as {{CDD|node_1|3|node|3|node|3split1|branch|labelp}}, order 120''p''<sup>4</sup>
|- align=center BGCOLOR="#ffffe0"
|<math>\mathbb{C}^5</math>||&gamma;{{supsub|''p''|5}} = <sub>''p''</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub><BR>{{CDD|pnode_1|4|node|3|node|3|node|3|node}} || ''p''<sup>5</sup> ||5''p''<sup>4</sup><BR><sub>''p''</sub>{} || 10''p''<sup>3</sup><BR><sub>''p''</sub>{4}<sub>2</sub> || 10''p''<sup>2</sup><BR><sub>''p''</sub>{4}<sub>2</sub>{3}<sub>2</sub>|| 5''p''<BR><sub>''p''</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub> ||none||align=left| Generalized [[5-cube]]<BR>Same as <sub>''p''</sub>{}<sup>5</sup> or {{CDD|pnode_1|2c|pnode_1|2c|pnode_1|2c|pnode_1|2c|pnode_1}}, order ''p''<sup>5</sup>

|- align=center BGCOLOR="#e0ffff"
|<math>\mathbb{C}^5</math>||rowspan=2|G(3,1,5)<BR><sub>2</sub>[3]<sub>2</sub>[3]<sub>2</sub>[3]<sub>2</sub>[4]<sub>3</sub> ||rowspan=2|29160 ||&beta;{{supsub|3|5}} = <sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>3</sub><BR>{{CDD|node_1|3|node|3|node|3|node|4|3node}} || 15|| 90<BR>{} || 270 <BR>{3}|| 405 <BR> {3,3} || 243 <BR>{3,3,3} ||<sub>2</sub>{4}<sub>3</sub>||align=left| Same as {{CDD|node_1|3|node|3|node|3split1|branch}}, order 9720
|- align=center BGCOLOR="#e0ffff"
|<math>\mathbb{C}^5</math>||&gamma;{{supsub|3|5}} = <sub>3</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub><BR>{{CDD|3node_1|4|node|3|node|3|node|3|node}} || 243 || 405<BR><sub>3</sub>{} || 270 <BR> <sub>3</sub>{4}<sub>2</sub> ||90 <BR> <sub>3</sub>{4}<sub>2</sub>{3}<sub>2</sub>|| 15 <BR> <sub>3</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub> ||none||align=left|Same as <sub>3</sub>{}<sup>5</sup> or {{CDD|3node_1|2c|3node_1|2c|3node_1|2c|3node_1|2c|3node_1}}, order 243

|- align=center BGCOLOR="#e0ffff"
|<math>\mathbb{C}^5</math>||rowspan=2|G(4,1,5)<BR><sub>2</sub>[3]<sub>2</sub>[3]<sub>2</sub>[3]<sub>2</sub>[4]<sub>4</sub> ||rowspan=2|122880 ||&beta;{{supsub|4|5}} = <sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>4</sub><BR>{{CDD|node_1|3|node|3|node|3|node|4|4node}} || 20|| 160<BR>{} || 640 <BR>{3}|| 1280 <BR> {3,3} || 1024 <BR>{3,3,3} ||<sub>2</sub>{4}<sub>4</sub>||align=left| Same as {{CDD|node_1|3|node|3|node|3split1|branch|label4}}, order 30720
|- align=center BGCOLOR="#e0ffff"
|<math>\mathbb{C}^5</math>||&gamma;{{supsub|4|5}} = <sub>4</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub><BR>{{CDD|4node_1|4|node|3|node|3|node|3|node}} || 1024 ||1280 <BR><sub>4</sub>{} || 640 <BR> <sub>4</sub>{4}<sub>2</sub> ||160 <BR> <sub>4</sub>{4}<sub>2</sub>{3}<sub>2</sub>|| 20 <BR> <sub>4</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub> ||none||align=left| Same as <sub>4</sub>{}<sup>5</sup> or {{CDD|4node_1|2c|4node_1|2c|4node_1|2c|4node_1|2c|4node_1}}, order 1024

|- align=center BGCOLOR="#e0ffff"
|<math>\mathbb{C}^5</math>||rowspan=2|G(5,1,5)<BR><sub>2</sub>[3]<sub>2</sub>[3]<sub>2</sub>[3]<sub>2</sub>[4]<sub>5</sub> ||rowspan=2|375000 ||&beta;{{supsub|5|5}} = <sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{5}<sub>5</sub><BR>{{CDD|node_1|3|node|3|node|3|node|4|5node}} || 25|| 250<BR>{} || 1250 <BR>{3}|| 3125 <BR> {3,3} || 3125 <BR>{3,3,3} ||<sub>2</sub>{5}<sub>5</sub>||align=left| Same as {{CDD|node_1|3|node|3|node|3split1|branch|label5}}, order 75000
|- align=center BGCOLOR="#e0ffff"
|<math>\mathbb{C}^5</math>||&gamma;{{supsub|5|5}} = <sub>5</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub><BR>{{CDD|5node_1|4|node|3|node|3|node|3|node}} || 3125 ||3125 <BR><sub>5</sub>{} || 1250 <BR> <sub>5</sub>{5}<sub>2</sub> ||250 <BR> <sub>5</sub>{5}<sub>2</sub>{3}<sub>2</sub>|| 25 <BR> <sub>5</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub> ||none||align=left| Same as <sub>5</sub>{}<sup>5</sup> or {{CDD|5node_1|2c|5node_1|2c|5node_1|2c|5node_1|2c|5node_1}}, order 3125

|- align=center BGCOLOR="#e0ffff"
|<math>\mathbb{C}^5</math>||rowspan=2|G(6,1,5)<BR><sub>2</sub>[3]<sub>2</sub>[3]<sub>2</sub>[3]<sub>2</sub>[4]<sub>6</sub> ||rowspan=2|933210 ||&beta;{{supsub|6|5}} = <sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>6</sub><BR>{{CDD|node_1|3|node|3|node|3|node|4|6node}} || 30|| 360<BR>{} || 2160 <BR>{3}|| 6480 <BR> {3,3} || 7776 <BR>{3,3,3} ||<sub>2</sub>{4}<sub>6</sub>||align=left| Same as {{CDD|node_1|3|node|3|node|3split1|branch|label6}}, order 155520
|- align=center BGCOLOR="#e0ffff"
|<math>\mathbb{C}^5</math>||&gamma;{{supsub|6|5}} = <sub>6</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub><BR>{{CDD|6node_1|4|node|3|node|3|node|3|node}} || 7776 ||6480 <BR><sub>6</sub>{} || 2160 <BR> <sub>6</sub>{4}<sub>2</sub> ||360 <BR> <sub>6</sub>{4}<sub>2</sub>{3}<sub>2</sub>|| 30 <BR> <sub>6</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub> ||none||align=left| Same as <sub>6</sub>{}<sup>5</sup> or {{CDD|6node_1|2c|6node_1|2c|6node_1|2c|6node_1|2c|6node_1}}, order 7776
|}

==== Visualizations of regular complex 5-polytopes ====
;Generalized 5-orthoplexes
Generalized 5-orthoplexes have a regular construction as {{CDD|node_1|3|node|3|node|3|node|4|pnode}} and quasiregular form as {{CDD|node_1|3|node|3|node|3split1|branch|labelp}}. All elements are [[simplex]]es.

<gallery>
2-generalized-5-orthoplex.svg|Real [[5-orthoplex|{3,3,3,4}]], {{CDD|node_1|3|node|3|node|3|node|4|node}}, with 10 vertices, 40 edges, 80 faces, 80 cells, and 32 4-faces
3-generalized-5-orthoplex.svg|<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>3</sub>, {{CDD|node_1|3|node|3|node|3|node|4|3node}}, with 15 vertices, 90 edges, 270 faces, 405 cells, and 243 4-faces
4-generalized-5-orthoplex.svg|<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>4</sub>, {{CDD|node_1|3|node|3|node|3|node|4|4node}}, with 20 vertices, 160 edges, 640 faces, 1280 cells, and 1024 4-faces
5-generalized-5-orthoplex.svg|<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>5</sub>, {{CDD|node_1|3|node|3|node|3|node|4|5node}}, with 25 vertices, 250 edges, 1250 faces, 3125 cells, and 3125 4-faces
6-generalized-5-orthoplex.svg|<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>6</sub>, {{CDD|node_1|3|node|3|node|3|node|4|6node}}, with 30 vertices, 360 edges, 2160 faces, 6480 cells, 7776 4-faces
7-generalized-5-orthoplex.svg|<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>7</sub>, {{CDD|node_1|3|node|3|node|3|node|4|7node}}, with 35 vertices, 490 edges, 3430 faces, 12005 cells, 16807 4-faces
8-generalized-5-orthoplex.svg|<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>8</sub>, {{CDD|node_1|3|node|3|node|3|node|4|8node}}, with 40 vertices, 640 edges, 5120 faces, 20480 cells, 32768 4-faces
9-generalized-5-orthoplex.svg|<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>9</sub>, {{CDD|node_1|3|node|3|node|3|node|4|9node}}, with 45 vertices, 810 edges, 7290 faces, 32805 cells, 59049 4-faces
10-generalized-5-orthoplex.svg|<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>10</sub>, {{CDD|node_1|3|node|3|node|3|node|4|10node}}, with 50 vertices, 1000 edges, 10000 faces, 50000 cells, 100000 4-faces
</gallery>

;Generalized 5-cubes

Generalized 5-cubes have a regular construction as {{CDD|pnode_1|4|node|3|node|3|node|3|node}} and prismatic construction as {{CDD|pnode_1|2c|pnode_1|2c|pnode_1|2c|pnode_1|2c|pnode_1}}, a product of five ''p''-gonal 1-polytopes. Elements are lower dimensional generalized cubes.

<gallery>
2-generalized-5-cube.svg|Real [[5-cube|{4,3,3,3}]], {{CDD|node_1|4|node|3|node|3|node|3|node}}, with 32 vertices, 80 edges, 80 faces, 40 cells, and 10 4-faces
3-generalized-5-cube.svg|<sub>3</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>, {{CDD|3node_1|4|node|3|node|3|node|3|node}}, with 243 vertices, 405 edges, 270 faces, 90 cells, and 15 4-faces
4-generalized-5-cube.svg|<sub>4</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>, {{CDD|4node_1|4|node|3|node|3|node|3|node}}, with 1024 vertices, 1280 edges, 640 faces, 160 cells, and 20 4-faces
5-generalized-5-cube.svg|<sub>5</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>, {{CDD|5node_1|4|node|3|node|3|node|3|node}}, with 3125 vertices, 3125 edges, 1250 faces, 250 cells, and 25 4-faces
6-generalized-5-cube.svg|<sub>6</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>, {{CDD|6node_1|4|node|3|node|3|node|3|node}}, with 7776 vertices, 6480 edges, 2160 faces, 360 cells, and 30 4-faces
</gallery>

=== Enumeration of regular complex 6-polytopes ===
{| class="wikitable sortable"
!Space||[[Complex reflection group|Group]]||data-sort-type="number"|Order||Polytope||data-sort-type="number"|Vertices||data-sort-type="number"|Edges||data-sort-type="number"|Faces||data-sort-type="number"|Cells||data-sort-type="number"|4-faces||data-sort-type="number"|5-faces||[[#van_Oss_polygon|Van Oss<BR>polygon]]||Notes
|- align=center BGCOLOR="#ffe0e0"
|<math>\mathbb{R}^6</math>|| G(1,1,6)<BR>= [3,3,3,3,3]||720 ||&alpha;<sub>6</sub> = {3,3,3,3,3}<BR>{{CDD|node_1|3|node|3|node|3|node|3|node|3|node}} || 7 || 21<BR>{} || 35<BR>{3} ||35<BR>{3,3}||21<BR>{3,3,3}||7<BR>{3,3,3,3} ||none||align=left| Real [[6-simplex]]
|- align=center BGCOLOR="#ffe0e0"
|<math>\mathbb{R}^6</math>||rowspan=2|G(2,1,6)<BR>[3,3,3,4]||rowspan=2|46080 ||&beta;{{supsub|2|6}} = &beta;<sub>6</sub> = {3,3,3,4}<BR>{{CDD|node_1|3|node|3|node|3|node|4|node}} || 12|| 60<BR>{} || 160<BR>{3}|| 240<BR>{3,3} || 192<BR>{3,3,3}||64<BR>{3,3,3,3} ||{4}||align=left| Real [[6-orthoplex]]<BR>Same as {{CDD|node_1|3|node|3|node|3|node|split1|nodes}}, order 23040
|- align=center BGCOLOR="#ffe0e0"
|<math>\mathbb{R}^6</math>||&gamma;{{supsub|2|6}} = &gamma;<sub>6</sub> = {4,3,3,3}<BR>{{CDD|node_1|4|node|3|node|3|node|3|node}} || 64 ||192<BR>{} || 240<BR>{4} || 160<BR>{4,3}|| 60<BR>{4,3,3}||12<BR>{4,3,3,3} ||none||align=left| Real [[6-cube]]<BR>Same as {}<sup>6</sup> or {{CDD|node_1|2c|node_1|2c|node_1|2c|node_1|2c|node_1|2c|node_1}}, order 64

|- align=center BGCOLOR="#ffffe0"
|<math>\mathbb{C}^6</math>||rowspan=2|G(p,1,6)<BR><sub>2</sub>[3]<sub>2</sub>[3]<sub>2</sub>[3]<sub>2</sub>[4]<sub>''p''</sub> ||rowspan=2|720''p''<sup>6</sup> ||&beta;{{supsub|''p''|6}} = <sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>''p''</sub><BR>{{CDD|node_1|3|node|3|node|3|node|4|pnode}} || 6''p''|| 15''p''<sup>2</sup><BR>{} || 20''p''<sup>3</sup><BR>{3}|| 15''p''<sup>4</sup><BR> {3,3} || 6''p''<sup>5</sup><BR>{3,3,3}||''p''<sup>6</sup><BR>{3,3,3,3} ||<sub>2</sub>{4}<sub>''p''</sub>||align=left| Generalized [[6-orthoplex]]<BR>Same as {{CDD|node_1|3|node|3|node|3|node|3split1|branch|labelp}}, order 720''p''<sup>5</sup>
|- align=center BGCOLOR="#ffffe0"
|<math>\mathbb{C}^6</math>||&gamma;{{supsub|''p''|6}} = <sub>''p''</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub><BR>{{CDD|pnode_1|4|node|3|node|3|node|3|node}} || ''p''<sup>6</sup> ||6''p''<sup>5</sup><BR><sub>''p''</sub>{} || 15''p''<sup>4</sup><BR><sub>''p''</sub>{4}<sub>2</sub> || 20''p''<sup>3</sup><BR><sub>''p''</sub>{4}<sub>2</sub>{3}<sub>2</sub>|| 15''p''<sup>2</sup><BR><sub>''p''</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>||6''p''<BR><sub>''p''</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub> ||none||align=left| Generalized [[6-cube]]<BR>Same as <sub>''p''</sub>{}<sup>6</sup> or {{CDD|pnode_1|2c|pnode_1|2c|pnode_1|2c|pnode_1|2c|pnode_1|2c|pnode_1}}, order ''p''<sup>6</sup>

|}

==== Visualizations of regular complex 6-polytopes ====

;Generalized 6-orthoplexes
Generalized 6-orthoplexes have a regular construction as {{CDD|node_1|3|node|3|node|3|node|3|node|4|pnode}} and quasiregular form as {{CDD|node_1|3|node|3|node|3|node|3split1|branch|labelp}}. All elements are [[simplex]]es.

<gallery>
2-generalized-6-orthoplex.svg|Real [[6-orthoplex|{3,3,3,3,4}]], {{CDD|node_1|3|node|3|node|3|node|3|node|4|node}}, with 12 vertices, 60 edges, 160 faces, 240 cells, 192 4-faces, and 64 5-faces
3-generalized-6-orthoplex.svg|<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>3</sub>, {{CDD|node_1|3|node|3|node|3|node|3|node|4|3node}}, with 18 vertices, 135 edges, 540 faces, 1215 cells, 1458 4-faces, and 729 5-faces
4-generalized-6-orthoplex.svg|<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>4</sub>, {{CDD|node_1|3|node|3|node|3|node|3|node|4|4node}}, with 24 vertices, 240 edges, 1280 faces, 3840 cells, 6144 4-faces, and 4096 5-faces
5-generalized-6-orthoplex.svg|<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>5</sub>, {{CDD|node_1|3|node|3|node|3|node|3|node|4|5node}}, with 30 vertices, 375 edges, 2500 faces, 9375 cells, 18750 4-faces, and 15625 5-faces
6-generalized-6-orthoplex.svg|<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>6</sub>, {{CDD|node_1|3|node|3|node|3|node|3|node|4|6node}}, with 36 vertices, 540 edges, 4320 faces, 19440 cells, 46656 4-faces, and 46656 5-faces
7-generalized-6-orthoplex.svg|<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>7</sub>, {{CDD|node_1|3|node|3|node|3|node|3|node|4|7node}}, with 42 vertices, 735 edges, 6860 faces, 36015 cells, 100842 4-faces, 117649 5-faces
8-generalized-6-orthoplex.svg|<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>8</sub>, {{CDD|node_1|3|node|3|node|3|node|3|node|4|8node}}, with 48 vertices, 960 edges, 10240 faces, 61440 cells, 196608 4-faces, 262144 5-faces
9-generalized-6-orthoplex.svg|<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>9</sub>, {{CDD|node_1|3|node|3|node|3|node|3|node|4|9node}}, with 54 vertices, 1215 edges, 14580 faces, 98415 cells, 354294 4-faces, 531441 5-faces
10-generalized-6-orthoplex.svg|<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>10</sub>, {{CDD|node_1|3|node|3|node|3|node|3|node|4|10node}}, with 60 vertices, 1500 edges, 20000 faces, 150000 cells, 600000 4-faces, 1000000 5-faces
</gallery>

;Generalized 6-cubes

Generalized 6-cubes have a regular construction as {{CDD|pnode_1|4|node|3|node|3|node|3|node|3|node}} and prismatic construction as {{CDD|pnode_1|2c|pnode_1|2c|pnode_1|2c|pnode_1|2c|pnode_1|2c|pnode_1}}, a product of six ''p''-gonal 1-polytopes. Elements are lower dimensional generalized cubes.

<gallery>
2-generalized-6-cube.svg|Real [[6-cube|{3,3,3,3,3,4}]], {{CDD|node_1|4|node|3|node|3|node|3|node|3|node}}, with 64 vertices, 192 edges, 240 faces, 160 cells, 60 4-faces, and 12 5-faces
3-generalized-6-cube.svg|<sub>3</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>, {{CDD|3node_1|4|node|3|node|3|node|3|node|3|node}}, with 729 vertices, 1458 edges, 1215 faces, 540 cells, 135 4-faces, and 18 5-faces
4-generalized-6-cube.svg|<sub>4</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>, {{CDD|4node_1|4|node|3|node|3|node|3|node|3|node}}, with 4096 vertices, 6144 edges, 3840 faces, 1280 cells, 240 4-faces, and 24 5-faces
5-generalized-6-cube.svg|<sub>5</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>, {{CDD|5node_1|4|node|3|node|3|node|3|node|3|node}}, with 15625 vertices, 18750 edges, 9375 faces, 2500 cells, 375 4-faces, and 30 5-faces
</gallery>

=== Enumeration of regular complex apeirotopes ===
Coxeter enumerated this list of nonstarry regular complex apeirotopes or honeycombs.<ref>Coxeter, Regular Complex Polytopes, Table VI. The regular honeycombs. p. 180.</ref>

For each dimension there are 12 apeirotopes symbolized as &delta;{{supsub|''p'',''r''|n+1}} exists in any dimensions <math>\mathbb{C}^n</math>, or <math>\mathbb{R}^n</math> if ''p''=''q''=2. Coxeter calls these generalized cubic honeycombs for ''n''>2.<ref>Complex regular polytope, p.174</ref>

Each has proportional element counts given as:
:k-faces = <math> {n \choose k}p^{n-k}r^k </math>, where <math>{n \choose m}=\frac{n!}{m!\,(n-m)!}</math> and ''n''! denotes the [[factorial]] of ''n''.

==== Regular complex 1-polytopes ====

The only regular complex 1-polytope is <sub>&infin;</sub>{}, or {{CDD|infinnode_1}}. Its real representation is an [[apeirogon]], {&infin;}, or {{CDD|node_1|infin|node}}.

==== Regular complex apeirogons ====
[[File:Rank2 infinite shephard subgroups.png|thumb|Some subgroups of the apeirogonal Shephard groups]]
[[File:Complex_apeirogon_chart2.png|thumb|11 complex apeirogons <sub>''p''</sub>{''q''}<sub>''r''</sub>  with edge interiors colored in light blue, and edges around one vertex are colored individually. Vertices are shown as small black squares. Edges are seen as ''p''-sided regular polygons and vertex figures are ''r''-gonal.]]
[[File:7_quasiregular_complex_apeirogons.png|thumb|A quasiregular apeirogon {{CDD|pnode_1|q|rnode_1}} is a mixture of two regular apeirogons {{CDD|pnode_1|q|rnode}} and {{CDD|pnode|q|rnode_1}}, seen here with blue and pink edges. {{CDD|6node_1|3|6node_1}} has only one color of edges because ''q'' is odd, making it a double covering.]]
Rank 2 complex apeirogons have symmetry <sub>''p''</sub>[''q'']<sub>''r''</sub>, where 1/''p'' + 2/''q'' + 1/''r'' = 1. Coxeter expresses them as &delta;{{supsub|''p'',''r''|2}} where ''q'' is constrained to satisfy {{math|''q'' {{=}} 2/(1 – (''p'' + ''r'')/''pr'')}}.<ref>Coxeter, Regular Complex Polytopes, Table VI. The regular honeycombs. p. 111, 136.</ref>

There are 8 solutions: 
{| class=wikitable
|<sub>2</sub>[&infin;]<sub>2</sub>||<sub>3</sub>[12]<sub>2</sub>||<sub>4</sub>[8]<sub>2</sub>||<sub>6</sub>[6]<sub>2</sub>||<sub>3</sub>[6]<sub>3</sub>||<sub>6</sub>[4]<sub>3</sub>||<sub>4</sub>[4]<sub>4</sub>||<sub>6</sub>[3]<sub>6</sub> 
|- align=center
|{{CDD|node|infin|node}}||{{CDD|3node|12|node}}||{{CDD|4node|8|node}}||{{CDD|6node|6|node}}||{{CDD|3node|6|3node}}||{{CDD|6node|4|3node}}||{{CDD|4node|4|4node}}||{{CDD|6node|3|6node}}
|}

There are two excluded solutions odd ''q'' and unequal ''p'' and ''r'': <sub>10</sub>[5]<sub>2</sub> and <sub>12</sub>[3]<sub>4</sub>, or  {{CDD|10node|5|node}} and  {{CDD|12node|3|4node}}.

A regular complex apeirogon <sub>''p''</sub>{''q''}<sub>''r''</sub> has ''p''-edges and ''r''-gonal vertex figures. The dual apeirogon of <sub>''p''</sub>{''q''}<sub>''r''</sub> is <sub>''r''</sub>{''q''}<sub>''p''</sub>. An apeirogon of the form <sub>''p''</sub>{''q''}<sub>''p''</sub> is self-dual. Groups of the form <sub>''p''</sub>[2''q'']<sub>2</sub> have a half symmetry <sub>''p''</sub>[''q'']<sub>''p''</sub>, so a regular apeirogon {{CDD|pnode_1|2x|q|node}} is the same as quasiregular {{CDD|pnode_1|q|pnode_1}}.<ref>Coxeter, Regular Complex Polytopes, Table IV. The regular polygons. pp. 178–179</ref>

Apeirogons can be represented on the [[Argand plane]] share four different vertex arrangements. Apeirogons of the form <sub>2</sub>{''q''}<sub>''r''</sub> have a vertex arrangement as {''q''/2,''p''}. The form <sub>''p''</sub>{''q''}<sub>2</sub> have vertex arrangement as r{''p'',''q''/2}. Apeirogons of the form <sub>''p''</sub>{4}<sub>''r''</sub> have vertex arrangements {''p'',''r''}.

Including affine nodes, and <math>\mathbb{C}^2</math>, there are 3 more infinite solutions: <sub>&infin;</sub>[2]<sub>&infin;</sub>, <sub>&infin;</sub>[4]<sub>2</sub>, <sub>&infin;</sub>[3]<sub>3</sub>, and {{CDD|infinnode_1|2|infinnode_1}}, {{CDD|infinnode_1|4|node}}, and {{CDD|infinnode_1|3|3node}}. The first is an index 2 subgroup of the second. The vertices of these apeirogons exist in <math>\mathbb{C}^1</math>.

{| class="wikitable sortable"
|+ Rank 2
!Space||Group||colspan=2|Apeirogon||Edge||<math>\mathbb{R}^2</math> rep.<ref>Coxeter, Regular Complex Polytopes, 11.6 Apeirogons, pp. 111-112</ref>||Picture||Notes
|- align=center BGCOLOR="#ffe0e0"
|<math>\mathbb{R}^1</math>||<sub>2</sub>[&infin;]<sub>2</sub> = [&infin;]|| &delta;{{supsub|2,2|2}} = {&infin;} || <span>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</span><BR>{{CDD|node_1|infin|node}} || {} || ||[[File:Regular apeirogon.svg|50px]] || align=left| Real [[apeirogon]]<BR>Same as {{CDD|node_1|infin|node_1}}
|- align=center BGCOLOR="#f0e0ff"
|<math>\mathbb{C}^2</math> / <math>\mathbb{C}^1</math>||<sub>&infin;</sub>[4]<sub>2</sub>|| <sub>&infin;</sub>{4}<sub>2</sub> || {{CDD|infinnode_1|4|node}} || <sub>&infin;</sub>{} || [[Square tiling|{4,4}]] ||[[File:Complex_polygon_i-4-2.png|50px]] || align=left| Same as {{CDD|infinnode_1|2|infinnode_1}} [[File:Truncated complex polygon i-2-i.png|50px]]
|- align=center BGCOLOR="#f0e0ff"
|<math>\mathbb{C}^1</math>||<sub>&infin;</sub>[3]<sub>3</sub>|| <sub>&infin;</sub>{3}<sub>3</sub> || {{CDD|infinnode_1|3|3node}} || <sub>&infin;</sub>{} || [[Triangular tiling|{3,6}]] ||[[File:Complex_apeirogon_2-6-6.png|50px]] || align=left| Same as {{CDD|infinnode_1|split1|branch_11|label-ii}} [[File:Truncated complex polygon i-3-i-3-i-3-.png|50px]]

|- align=center BGCOLOR="#f0fff0"
|<math>\mathbb{C}^1</math>||<sub>''p''</sub>[''q'']<sub>''r''</sub>|| &delta;{{supsub|p,r|2}} = <sub>''p''</sub>{''q''}<sub>''r''</sub> || {{CDD|pnode_1|q|rnode}} || <sub>''p''</sub>{} || || || align=left|

|- align=center BGCOLOR="#e0f0ff"
|rowspan=2|<math>\mathbb{C}^1</math>||rowspan=2|<sub>3</sub>[12]<sub>2</sub>|| &delta;{{supsub|3,2|2}} = <sub>3</sub>{12}<sub>2</sub> || {{CDD|3node_1|12|node}} || <sub>3</sub>{}||[[trihexagonal tiling|r{3,6}]]||[[File:Complex_apeirogon_3-12-2.png|50px]] || align=left|Same as {{CDD|3node_1|6|3node_1}} [[File:Truncated complex polygon 3-6-3.png|50px]]

|- align=center BGCOLOR="#e0f0ff"
|| &delta;{{supsub|2,3|2}} = <sub>2</sub>{12}<sub>3</sub> || {{CDD|node_1|12|3node}}|| {}||[[hexagonal tiling|{6,3}]]||[[File:Complex_apeirogon_2-12-3.png|50px]] || align=left|
|- align=center BGCOLOR="#e0f0ff"
|<math>\mathbb{C}^1</math>||<sub>3</sub>[6]<sub>3</sub>|| &delta;{{supsub|3,3|2}} = <sub>3</sub>{6}<sub>3</sub> || {{CDD|3node_1|6|3node}} || <sub>3</sub>{} ||[[triangular tiling|{3,6}]]||[[File:Complex_apeirogon_3-6-3.png|50px]]|| align=left|Same as {{CDD|node_h|12|3node}}

|- align=center BGCOLOR="#e0f0ff"
|rowspan=2|<math>\mathbb{C}^1</math>||rowspan=2|<sub>4</sub>[8]<sub>2</sub>|| &delta;{{supsub|4,2|2}} = <sub>4</sub>{8}<sub>2</sub> || {{CDD|4node_1|8|node}}  || <sub>4</sub>{}||[[square tiling|{4,4}]]||[[File:Complex_apeirogon_4-8-2.png|50px]] || align=left|Same as {{CDD|4node_1|4|4node_1}} [[File:Truncated complex polygon 4-4-4.png|50px]]
|- align=center BGCOLOR="#e0f0ff"
|| &delta;{{supsub|2,4|2}} = <sub>2</sub>{8}<sub>4</sub> || {{CDD|node_1|8|4node}} || {} ||[[square tiling|{4,4}]]||[[File:Complex_apeirogon_2-8-4.svg|50px]]|| align=left|

|- align=center BGCOLOR="#e0f0ff"
|<math>\mathbb{C}^1</math>||<sub>4</sub>[4]<sub>4</sub>|| &delta;{{supsub|4,4|2}} = <sub>4</sub>{4}<sub>4</sub> || {{CDD|4node_1|4|4node}}|| <sub>4</sub>{} ||[[square tiling|{4,4}]]||[[File:Complex_apeirogon_4-4-4.png|50px]]|| align=left|Same as {{CDD|node_h|8|4node}}

|- align=center BGCOLOR="#e0f0ff"
|rowspan=2|<math>\mathbb{C}^1</math>||rowspan=2|<sub>6</sub>[6]<sub>2</sub>|| &delta;{{supsub|6,2|2}} = <sub>6</sub>{6}<sub>2</sub> || {{CDD|6node_1|6|node}}  || <sub>6</sub>{}||[[trihexagonal tiling|r{3,6}]]||[[File:Complex_apeirogon_6-6-2.png|50px]] || align=left|Same as {{CDD|6node_1|3|6node_1}}
|- align=center BGCOLOR="#e0f0ff"
|| &delta;{{supsub|2,6|2}} = <sub>2</sub>{6}<sub>6</sub> || {{CDD|node_1|6|6node}} || {} ||[[triangular tiling|{3,6}]]||[[File:Complex_apeirogon_2-6-6.png|50px]]|| align=left|

|- align=center BGCOLOR="#e0f0ff"
|rowspan=2|<math>\mathbb{C}^1</math>||rowspan=2|<sub>6</sub>[4]<sub>3</sub>|| &delta;{{supsub|6,3|2}} = <sub>6</sub>{4}<sub>3</sub> || {{CDD|6node_1|4|3node}} || <sub>6</sub>{}||[[hexagonal tiling|{6,3}]]||[[File:Complex_apeirogon_6-4-3.png|50px]] || align=left|
|- align=center BGCOLOR="#e0f0ff"
|| &delta;{{supsub|3,6|2}} = <sub>3</sub>{4}<sub>6</sub> || {{CDD|3node_1|4|6node}} || <sub>3</sub>{}||[[triangular tiling|{3,6}]]||[[File:Complex_apeirogon_3-4-6.png|50px]] || align=left|

|- align=center BGCOLOR="#e0f0ff"
|<math>\mathbb{C}^1</math>||<sub>6</sub>[3]<sub>6</sub>|| &delta;{{supsub|6,6|2}} = <sub>6</sub>{3}<sub>6</sub> ||{{CDD|6node_1|3|6node}} || <sub>6</sub>{}||[[triangular tiling|{3,6}]]||[[File:Complex_apeirogon_6-3-6.png|50px]] || align=left|Same as {{CDD|node_h|6|6node}}

|}

==== Regular complex apeirohedra ====
There are 22 regular complex apeirohedra, of the form <sub>''p''</sub>{''a''}<sub>''q''</sub>{''b''}<sub>''r''</sub>. 8 are self-dual (''p''=''r'' and ''a''=''b''), while 14 exist as dual polytope pairs. Three are entirely real (''p''=''q''=''r''=2).

Coxeter symbolizes 12 of them as &delta;{{supsub|''p'',''r''|3}} or <sub>''p''</sub>{4}<sub>2</sub>{4}<sub>''r''</sub> is the regular form of the product apeirotope &delta;{{supsub|''p'',''r''|2}} × &delta;{{supsub|''p'',''r''|2}} or <sub>''p''</sub>{''q''}<sub>''r''</sub> × <sub>''p''</sub>{''q''}<sub>''r''</sub>, where ''q'' is determined from ''p'' and ''r''.

{{CDD|pnode_1|4|node|4|qnode}} is the same as {{CDD|pnode_1|3split1-44|branch|labelq}}, as well as {{CDD|pnode_1|q|rnode|2|pnode_1|q|rnode}}, for ''p'',''r''=2,3,4,6. Also {{CDD|pnode_1|4|pnode|4|node}} = {{CDD|pnode|4|node_1|4|pnode}}.<ref>Coxeter, Complex Regular Polytopes, p.140</ref>

{| class=wikitable
|+ Rank 3 
!Space||Group||colspan=2|Apeirohedron||Vertex||colspan=2|Edge||colspan=2|Face||van Oss<BR><small>apeirogon</small>||Notes

|- align=center BGCOLOR="#f0e0ff"
|<math>\mathbb{C}^3</math>||<sub>2</sub>[3]<sub>2</sub>[4]<sub>&infin;</sub> || <sub>&infin;</sub>{4}<sub>2</sub>{3}<sub>2</sub>||{{CDD|infinnode_1|4|node|3|node}} ||  ||  ||<sub>&infin;</sub>{} ||  || <sub>&infin;</sub>{4}<sub>2</sub>||  ||align=left| Same as <sub>&infin;</sub>{}×<sub>&infin;</sub>{}×<sub>&infin;</sub>{} or {{CDD|infinnode_1|2c|infinnode_1|2c|infinnode_1}}<BR>Real representation [[Cubic honeycomb|{4,3,4}]]

|- align=center BGCOLOR="#ffffe0"
|<math>\mathbb{C}^2</math>||<sub>''p''</sub>[4]<sub>2</sub>[4]<sub>''r''</sub>||<sub>''p''</sub>{4}<sub>2</sub>{4}<sub>''r''</sub>||<span>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</span><BR>{{CDD|pnode_1|4|node|4|rnode}}||''p''<sup>2</sup>||2''pr''||<sub>''p''</sub>{}|| ''r''<sup>2</sup>||<sub>''p''</sub>{4}<sub>2</sub>||<sub>2</sub>{''q''}<sub>''r''</sub>|| align=left|Same as {{CDD|pnode_1|q|rnode|2|pnode_1|q|rnode}}, ''p'',''r''=2,3,4,6

|- align=center BGCOLOR="#ffe0e0"
|<math>\mathbb{R}^2</math>||[4,4]||&delta;{{supsub|2,2|3}} = {4,4}||{{CDD|node_1|4|node|4|node}}||4||8||{}||4||{4}||{&infin;}||align=left|Real [[square tiling]]<BR>Same as {{CDD|node_1|infin|node|2|node_1|infin|node}} or {{CDD|node_1|infin|node_1|2|node_1|infin|node_1}} or {{CDD|node_1|4|node|4|node_1}}

|- align=center BGCOLOR="#e0f0ff"
|<math>\mathbb{C}^2</math>
|valign=top|<sub>3</sub>[4]<sub>2</sub>[4]<sub>2</sub><BR>&nbsp;<BR><sub>3</sub>[4]<sub>2</sub>[4]<sub>3</sub><BR><sub>4</sub>[4]<sub>2</sub>[4]<sub>2</sub><BR>&nbsp;<BR><sub>4</sub>[4]<sub>2</sub>[4]<sub>4</sub><BR><sub>6</sub>[4]<sub>2</sub>[4]<sub>2</sub><BR>&nbsp;<BR><sub>6</sub>[4]<sub>2</sub>[4]<sub>3</sub><BR>&nbsp;<BR><sub>6</sub>[4]<sub>2</sub>[4]<sub>6</sub>
|valign=top|<sub>3</sub>{4}<sub>2</sub>{4}<sub>2</sub><BR><sub>2</sub>{4}<sub>2</sub>{4}<sub>3</sub><BR><sub>3</sub>{4}<sub>2</sub>{4}<sub>3</sub><BR><sub>4</sub>{4}<sub>2</sub>{4}<sub>2</sub><BR><sub>2</sub>{4}<sub>2</sub>{4}<sub>4</sub><BR><sub>4</sub>{4}<sub>2</sub>{4}<sub>4</sub><BR><sub>6</sub>{4}<sub>2</sub>{4}<sub>2</sub><BR><sub>2</sub>{4}<sub>2</sub>{4}<sub>6</sub><BR><sub>6</sub>{4}<sub>2</sub>{4}<sub>3</sub><BR><sub>3</sub>{4}<sub>2</sub>{4}<sub>6</sub><BR><sub>6</sub>{4}<sub>2</sub>{4}<sub>6</sub>
|valign=top |{{CDD|3node_1|4|node|4|node}}<BR>{{CDD|node_1|4|node|4|3node}}<BR>{{CDD|3node_1|4|node|4|3node}}<BR>{{CDD|4node_1|4|node|4|node}}<BR>{{CDD|node_1|4|node|4|4node}}<BR>{{CDD|4node_1|4|node|4|4node}}<BR>{{CDD|6node_1|4|node|4|node}}<BR>{{CDD|node_1|4|node|4|6node}}<BR>{{CDD|6node_1|4|node|4|3node}}<BR>{{CDD|3node_1|4|node|4|6node}}<BR>{{CDD|6node_1|4|node|4|6node}}
|valign=top |9<BR>4<BR>9<BR>16<BR>4<BR>16<BR>36<BR>4<BR>36<BR>9<BR>36
|valign=top |12<BR>12<BR>18<BR>16<BR>16<BR>32<BR>24<BR>24<BR>36<BR>36<BR>72
|valign=top |<sub>3</sub>{}<BR>{}<BR><sub>3</sub>{}<BR><sub>4</sub>{}<BR>{}<BR><sub>4</sub>{}<BR><sub>6</sub>{}<BR>{}<BR><sub>6</sub>{}<BR><sub>3</sub>{}<BR><sub>6</sub>{}
|valign=top |4<BR>9<BR>9<BR>4<BR>16<BR>16<BR>4<BR>36<BR>9<BR>36<BR>36
|valign=top |<sub>3</sub>{4}<sub>2</sub><BR>{4}<BR><sub>3</sub>{4}<sub>2</sub><BR><sub>4</sub>{4}<sub>2</sub><BR>{4}<BR><sub>4</sub>{4}<sub>2</sub><BR><sub>6</sub>{4}<sub>2</sub><BR>{4}<BR><sub>6</sub>{4}<sub>2</sub><BR><sub>3</sub>{4}<sub>2</sub><BR><sub>6</sub>{4}<sub>2</sub>||<sub>''p''</sub>{''q''}<sub>''r''</sub>
| valign=top align=left|Same as {{CDD|3node_1|12|node|2|3node_1|12|node}} or {{CDD|3node_1|6|3node_1|2|3node_1|6|3node_1}} or {{CDD|3node_1|4|node|4|3node_1}}<BR>Same as {{CDD|node_1|12|3node|2|node_1|12|3node}}<BR>Same as {{CDD|3node_1|6|3node|2|3node_1|6|3node}}<BR>Same as {{CDD|4node_1|8|node|2|4node_1|8|node}} or {{CDD|4node_1|4|4node_1|2|4node_1|4|4node_1}} or {{CDD|4node_1|4|node|4|4node_1}}<BR>Same as {{CDD|node_1|8|4node|2|node_1|8|4node}}<BR>Same as {{CDD|4node_1|4|4node|2|4node_1|4|4node}}<BR>Same as {{CDD|6node_1|6|node|2|6node_1|6|node}} or {{CDD|6node_1|3|6node_1|2|6node_1|3|6node_1}} or {{CDD|6node_1|4|node|4|6node_1}}<BR>Same as {{CDD|node_1|6|6node|2|node_1|6|6node}}<BR>Same as {{CDD|6node_1|4|3node|2|6node_1|4|3node}}<BR>Same as {{CDD|3node_1|4|6node|2|3node_1|4|6node}}<BR>Same as {{CDD|6node_1|3|6node|2|6node_1|3|6node}}
|}

{| class=wikitable
!Space||Group||colspan=2|Apeirohedron||Vertex||colspan=2|Edge||colspan=2|Face||van Oss<BR><small>apeirogon</small>||Notes

|- align=center BGCOLOR="#ffffe0"
|<math>\mathbb{C}^2</math> ||<sub>2</sub>[4]<sub>''r''</sub>[4]<sub>2</sub> ||<sub>2</sub>{4}<sub>''r''</sub>{4}<sub>2</sub> ||<span>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</span><BR>{{CDD|node_1|4|rnode|4|node}} ||2 ||  ||{} ||2 ||<sub>p</sub>{4}<sub>2'</sub>|| <sub>2</sub>{4}<sub>''r''</sub>||align=left|Same as {{CDD|node_h|4|node|4|rnode}} and {{CDD|rnode|4|node_1|4|rnode}}, r=2,3,4,6

|- align=center BGCOLOR="#ffe0e0"
|<math>\mathbb{R}^2</math>||[4,4]||{4,4}||{{CDD|node_1|4|node|4|node}}||2||4||{}||2||{4}||{&infin;}||align=left|Same as {{CDD|node_h|4|node|4|node}} and {{CDD|node|4|node_1|4|node}}
|- align=center BGCOLOR="#e0f0ff"
|<math>\mathbb{C}^2</math>
|valign=top|<sub>2</sub>[4]<sub>3</sub>[4]<sub>2</sub><BR><sub>2</sub>[4]<sub>4</sub>[4]<sub>2</sub><BR><sub>2</sub>[4]<sub>6</sub>[4]<sub>2</sub>
|valign=top|<sub>2</sub>{4}<sub>3</sub>{4}<sub>2</sub><BR><sub>2</sub>{4}<sub>4</sub>{4}<sub>2</sub><BR><sub>2</sub>{4}<sub>6</sub>{4}<sub>2</sub>
|valign=top|{{CDD|node_1|4|3node|4|node}}<BR>{{CDD|node_1|4|4node|4|node}}<BR>{{CDD|node_1|4|6node|4|node}}
||2 || 9<BR>16<BR>36||{} ||2
|valign=top|<sub>2</sub>{4}<sub>3</sub><BR><sub>2</sub>{4}<sub>4</sub><BR><sub>2</sub>{4}<sub>6</sub> || <sub>2</sub>{''q''}<sub>''r''</sub>
|align=left|Same as {{CDD|node_h|4|node|4|3node}} and {{CDD|3node|4|node_1|4|3node}}<BR>Same as {{CDD|node_h|4|node|4|4node}} and {{CDD|4node|4|node_1|4|4node}}<BR>Same as  {{CDD|node_h|4|node|4|6node}} and {{CDD|6node|4|node_1|4|6node}}<ref>Coxeter, Regular Complex Polytopes, pp. 139-140</ref>
|}

{| class=wikitable
!Space||Group||colspan=2|Apeirohedron||Vertex||colspan=2|Edge||colspan=2|Face||van Oss<BR><small>apeirogon</small>||Notes
|- align=center BGCOLOR="#ffe0e0"
|rowspan=2|<math>\mathbb{R}^2</math>
|rowspan=2|<sub>2</sub>[6]<sub>2</sub>[3]<sub>2</sub><BR>= [6,3] ||{3,6}|| <span>&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;</span><BR>{{CDD|node_1|3|node|6|node}} || 1 || 3 ||{} || 2||{3} ||{&infin;} ||  align=left|Real [[triangular tiling]]
|- align=center BGCOLOR="#ffe0e0"
|{6,3} || {{CDD|node_1|6|node|3|node}} || 2 || 3||{} || 1||{6} ||none  || align=left|Real [[hexagonal tiling]]
|- align=center BGCOLOR="#e0f0ff"
|rowspan=2|<math>\mathbb{C}^2</math>

|rowspan=2|<sub>3</sub>[4]<sub>3</sub>[3]<sub>3</sub> || <sub>3</sub>{3}<sub>3</sub>{4}<sub>3</sub>||{{CDD|3node_1|3|3node|4|3node}} ||1 || 8||<sub>3</sub>{} ||3||<sub>3</sub>{3}<sub>3</sub> ||<sub>3</sub>{4}<sub>6</sub> ||align=left|Same as {{CDD|3node_1|3split1|branch|label-33}}
|- align=center BGCOLOR="#e0f0ff"
| <sub>3</sub>{4}<sub>3</sub>{3}<sub>3</sub>||{{CDD|3node_1|4|3node|3|3node}} ||3 || 8||<sub>3</sub>{} ||1||<sub>3</sub>{4}<sub>3</sub> ||<sub>3</sub>{12}<sub>2</sub> ||

|- align=center BGCOLOR="#e0f0ff"
|<math>\mathbb{C}^2</math>
||<sub>4</sub>[3]<sub>4</sub>[3]<sub>4</sub> || <sub>4</sub>{3}<sub>4</sub>{3}<sub>4</sub>||{{CDD|4node_1|3|4node|3|4node}} ||1 || 6||<sub>4</sub>{} ||1||<sub>4</sub>{3}<sub>4</sub> || <sub>4</sub>{4}<sub>4</sub>||align=left| Self-dual, same as {{CDD|node_h|4|4node|3|4node}}

|- align=center BGCOLOR="#e0f0ff"
|rowspan=2|<math>\mathbb{C}^2</math>
|rowspan=2|<sub>4</sub>[3]<sub>4</sub>[4]<sub>2</sub> || <sub>4</sub>{3}<sub>4</sub>{4}<sub>2</sub>||{{CDD|4node_1|3|4node|4|node}} ||1 || 12||<sub>4</sub>{} ||3||<sub>4</sub>{3}<sub>4</sub> ||<sub>2</sub>{8}<sub>4</sub> || align=left|Same as {{CDD|4node|3|4node_1|3|4node}}
|- align=center BGCOLOR="#e0f0ff"
|| <sub>2</sub>{4}<sub>4</sub>{3}<sub>4</sub>||{{CDD|node_1|4|4node|3|4node}} ||3 || 12||{} ||1||<sub>2</sub>{4}<sub>4</sub> ||<sub>4</sub>{4}<sub>4</sub> ||
|}

==== Regular complex 3-apeirotopes ====
There are 16 regular complex apeirotopes in <math>\mathbb{C}^3</math>. Coxeter expresses 12 of them by &delta;{{supsub|''p'',''r''|3}} where ''q'' is constrained to satisfy {{math|''q'' {{=}} 2/(1 – (''p'' + ''r'')/''pr'')}}. These can also be decomposed as product apeirotopes: {{CDD|pnode_1|4|node|3|node|4|rnode}} = {{CDD|pnode_1|q|rnode|2|pnode_1|q|rnode|2|pnode_1|q|rnode}}. The first case is the <math>\mathbb{R}^3</math> [[cubic honeycomb]].

{| class=wikitable
|+ Rank 4
!Space||Group||3-apeirotope||Vertex||Edge||Face||Cell||van Oss<BR>apeirogon||Notes
|- align=center BGCOLOR="#ffffe0"
|<math>\mathbb{C}^3</math>||<sub>''p''</sub>[4]<sub>2</sub>[3]<sub>2</sub>[4]<sub>''r''</sub>||&delta;{{supsub|''p'',''r''|3}} = <sub>''p''</sub>{4}<sub>2</sub>{3}<sub>2</sub>{4}<sub>''r''</sub><BR>{{CDD|pnode_1|4|node|3|node|4|rnode}} || ||<sub>''p''</sub>{} ||<sub>''p''</sub>{4}<sub>2</sub> ||<sub>''p''</sub>{4}<sub>2</sub>{3}<sub>2</sub> || <sub>''p''</sub>{''q''}<sub>''r''</sub> ||align=left|Same as {{CDD|pnode_1|q|rnode|2|pnode_1|q|rnode|2|pnode_1|q|rnode}}
|- align=center BGCOLOR="#ffe0e0"
|<math>\mathbb{R}^3</math>||<sub>2</sub>[4]<sub>2</sub>[3]<sub>2</sub>[4]<sub>2</sub><BR>=[4,3,4]||&delta;{{supsub|2,2|3}} = <sub>2</sub>{4}<sub>2</sub>{3}<sub>2</sub>{4}<sub>2</sub><BR>{{CDD|node_1|4|node|3|node|4|node}} || || {}|| {4}|| {4,3} || ||align=left|[[Cubic honeycomb]]<BR>Same as {{CDD|node_1|infin|node|2|node_1|infin|node|2|node_1|infin|node}} or {{CDD|node_1|infin|node_1|2|node_1|infin|node_1|2|node_1|infin|node_1}} or {{CDD|node_1|4|node|3|node|4|node_1}}
|- align=center BGCOLOR="#e0f0ff"
|rowspan=2|<math>\mathbb{C}^3</math>||rowspan=2|<sub>3</sub>[4]<sub>2</sub>[3]<sub>2</sub>[4]<sub>2</sub>||&delta;{{supsub|3,2|3}} = <sub>3</sub>{4}<sub>2</sub>{3}<sub>2</sub>{4}<sub>2</sub><BR>{{CDD|3node_1|4|node|3|node|4|node}} || ||<sub>3</sub>{} ||<sub>3</sub>{4}<sub>2</sub> ||<sub>3</sub>{4}<sub>2</sub>{3}<sub>2</sub> || ||align=left|Same as {{CDD|3node_1|12|node|2|3node_1|12|node|2|3node_1|12|node}} or {{CDD|3node_1|12|node|2|3node_1|6|3node_1|2|3node_1|6|3node_1}} or {{CDD|3node_1|4|node|3|node|4|3node_1}}
|- align=center BGCOLOR="#e0f0ff"
|&delta;{{supsub|2,3|3}} = <sub>2</sub>{4}<sub>2</sub>{3}<sub>2</sub>{4}<sub>3</sub><BR>{{CDD|node_1|4|node|3|node|4|3node}} || ||{}||{4} ||{4,3} || ||align=left|Same as {{CDD|node_1|12|3node|2|node_1|12|3node|2|node_1|12|3node}}
|- align=center BGCOLOR="#e0f0ff"
|<math>\mathbb{C}^3</math>||<sub>3</sub>[4]<sub>2</sub>[3]<sub>2</sub>[4]<sub>3</sub>||&delta;{{supsub|3,3|3}} = <sub>3</sub>{4}<sub>2</sub>{3}<sub>2</sub>{4}<sub>3</sub><BR>{{CDD|3node_1|4|node|3|node|4|3node}} || ||<sub>3</sub>{} ||<sub>3</sub>{4}<sub>2</sub> ||<sub>3</sub>{4}<sub>2</sub>{3}<sub>2</sub> || ||align=left|Same as {{CDD|3node_1|6|3node|2|3node_1|6|3node|2|3node_1|6|3node}}
|- align=center BGCOLOR="#e0f0ff"
|rowspan=2|<math>\mathbb{C}^3</math>||rowspan=2|<sub>4</sub>[4]<sub>2</sub>[3]<sub>2</sub>[4]<sub>2</sub>||&delta;{{supsub|4,2|3}} = <sub>4</sub>{4}<sub>2</sub>{3}<sub>2</sub>{4}<sub>2</sub><BR>{{CDD|4node_1|4|node|3|node|4|node}} || ||<sub>4</sub>{} ||<sub>4</sub>{4}<sub>2</sub> ||<sub>4</sub>{4}<sub>2</sub>{3}<sub>2</sub> || ||align=left|Same as {{CDD|4node_1|8|node|2|4node_1|8|node|2|4node_1|8|node}} or {{CDD|4node_1|8|node|2|4node_1|4|4node_1|2|4node_1|4|4node_1}} or {{CDD|4node_1|4|node|3|node|4|4node_1}}
|- align=center BGCOLOR="#e0f0ff"
|&delta;{{supsub|2,4|3}} = <sub>2</sub>{4}<sub>2</sub>{3}<sub>2</sub>{4}<sub>4</sub><BR>{{CDD|node_1|4|node|3|node|4|4node}} || ||{} ||{4} ||{4,3} || ||align=left|Same as {{CDD|node_1|8|4node|2|node_1|8|4node|2|node_1|8|4node}}
|- align=center BGCOLOR="#e0f0ff"
|<math>\mathbb{C}^3</math>||<sub>4</sub>[4]<sub>2</sub>[3]<sub>2</sub>[4]<sub>4</sub>||&delta;{{supsub|4,4|3}} = <sub>4</sub>{4}<sub>2</sub>{3}<sub>2</sub>{4}<sub>4</sub><BR>{{CDD|4node_1|4|node|3|node|4|4node}} || ||<sub>4</sub>{} ||<sub>4</sub>{4}<sub>2</sub> ||<sub>4</sub>{4}<sub>2</sub>{3}<sub>2</sub> || ||align=left|Same as {{CDD|4node_1|4|4node|2|4node_1|4|4node|2|4node_1|4|4node}}
|- align=center BGCOLOR="#e0f0ff"
|rowspan=2|<math>\mathbb{C}^3</math>||rowspan=2|<sub>6</sub>[4]<sub>2</sub>[3]<sub>2</sub>[4]<sub>2</sub>||&delta;{{supsub|6,2|3}} = <sub>6</sub>{4}<sub>2</sub>{3}<sub>2</sub>{4}<sub>2</sub><BR>{{CDD|6node_1|4|node|3|node|4|node}} || || <sub>6</sub>{} ||<sub>6</sub>{4}<sub>2</sub> ||<sub>6</sub>{4}<sub>2</sub>{3}<sub>2</sub> || ||align=left|Same as {{CDD|6node_1|6|node|2|6node_1|6|node|2|6node_1|6|node}} or {{CDD|6node_1|3|6node_1|2|6node_1|3|6node_1|2|6node_1|3|6node_1}} or {{CDD|6node_1|4|node|3|node|4|6node_1}}
|- align=center BGCOLOR="#e0f0ff"
|&delta;{{supsub|2,6|3}} = <sub>2</sub>{4}<sub>2</sub>{3}<sub>2</sub>{4}<sub>6</sub><BR>{{CDD|node_1|4|node|3|node|4|6node}} || ||{} ||{4} ||{4,3} || ||align=left|Same as {{CDD|node_1|6|6node|2|node_1|6|6node|2|node_1|6|6node}}
|- align=center BGCOLOR="#e0f0ff"
|rowspan=2|<math>\mathbb{C}^3</math>||rowspan=2|<sub>6</sub>[4]<sub>2</sub>[3]<sub>2</sub>[4]<sub>3</sub>||&delta;{{supsub|6,3|3}} = <sub>6</sub>{4}<sub>2</sub>{3}<sub>2</sub>{4}<sub>3</sub><BR>{{CDD|6node_1|4|node|3|node|4|3node}} || ||<sub>6</sub>{} ||<sub>6</sub>{4}<sub>2</sub> ||<sub>6</sub>{4}<sub>2</sub>{3}<sub>2</sub> ||  ||align=left|Same as {{CDD|6node_1|4|3node|2|6node_1|4|3node|2|6node_1|4|3node}}
|- align=center BGCOLOR="#e0f0ff"
|&delta;{{supsub|3,6|3}} = <sub>3</sub>{4}<sub>2</sub>{3}<sub>2</sub>{4}<sub>6</sub><BR>{{CDD|6node_1|4|node|3|node|4|3node}} || ||<sub>3</sub>{} ||<sub>3</sub>{4}<sub>2</sub> ||<sub>3</sub>{4}<sub>2</sub>{3}<sub>2</sub> || ||align=left|Same as {{CDD|6node_1|4|3node|2|6node_1|4|3node|2|6node_1|4|3node}}
|- align=center BGCOLOR="#e0f0ff"
|<math>\mathbb{C}^3</math>||<sub>6</sub>[4]<sub>2</sub>[3]<sub>2</sub>[4]<sub>6</sub>||&delta;{{supsub|6,6|3}} = <sub>6</sub>{4}<sub>2</sub>{3}<sub>2</sub>{4}<sub>6</sub><BR>{{CDD|6node_1|4|node|3|node|4|6node}} || ||<sub>6</sub>{} ||<sub>6</sub>{4}<sub>2</sub> ||<sub>6</sub>{4}<sub>2</sub>{3}<sub>2</sub> || ||align=left|Same as {{CDD|6node_1|3|6node|2|6node_1|3|6node|2|6node_1|3|6node}}
|}

{| class=wikitable
|+ Rank 4, exceptional cases
!Space||Group||3-apeirotope||Vertex||Edge||Face||Cell||van Oss<BR>apeirogon||Notes
|- align=center BGCOLOR="#e0f0ff"
|rowspan=2|<math>\mathbb{C}^3</math>||rowspan=2|<sub>2</sub>[4]<sub>3</sub>[3]<sub>3</sub>[3]<sub>3</sub> || <sub>3</sub>{3}<sub>3</sub>{3}<sub>3</sub>{4}<sub>2</sub><BR>{{CDD|3node_1|3|3node|3|3node|4|node}} ||1 || 24 <sub>3</sub>{} ||27 <sub>3</sub>{3}<sub>3</sub> || 2 <sub>3</sub>{3}<sub>3</sub>{3}<sub>3</sub> ||<sub>3</sub>{4}<sub>6</sub> ||align=left|Same as {{CDD|3node_1|3|3node|split1|nodes|label-33}}
|- align=center BGCOLOR="#e0f0ff"
| <sub>2</sub>{4}<sub>3</sub>{3}<sub>3</sub>{3}<sub>3</sub><BR>{{CDD|node_1|4|3node|3|3node|3|3node}} ||2 || 27 {} ||24 <sub>2</sub>{4}<sub>3</sub> ||1 <sub>2</sub>{4}<sub>3</sub>{3}<sub>3</sub> || <sub>2</sub>{12}<sub>3</sub>||

|- align=center BGCOLOR="#e0f0ff"
|rowspan=2|<math>\mathbb{C}^3</math>||rowspan=2|<sub>2</sub>[3]<sub>2</sub>[4]<sub>3</sub>[3]<sub>3</sub>||<sub>2</sub>{3}<sub>2</sub>{4}<sub>3</sub>{3}<sub>3</sub><BR>{{CDD|node_1|3|node|4|3node|3|3node}} || 1||27 {}||72 <sub>2</sub>{3}<sub>2</sub>||8 <sub>2</sub>{3}<sub>2</sub>{4}<sub>3</sub> || <sub>2</sub>{6}<sub>6</sub>|| 
|- align=center BGCOLOR="#e0f0ff"
||<sub>3</sub>{3}<sub>3</sub>{4}<sub>2</sub>{3}<sub>2</sub><BR>{{CDD|3node_1|3|3node|4|node|3|node}} || 8||72 <sub>3</sub>{}||27 <sub>3</sub>{3}<sub>3</sub>||1 <sub>3</sub>{3}<sub>3</sub>{4}<sub>2</sub> || <sub>3</sub>{6}<sub>3</sub>||align=left|Same as {{CDD|3node|3|3node_1|split1|nodes|label-33}} or {{CDD|3node|3|3node_1|3|3node|4|node}}

|}

==== Regular complex 4-apeirotopes ====
There are 15 regular complex apeirotopes in <math>\mathbb{C}^4</math>. Coxeter expresses 12 of them by &delta;{{supsub|''p'',''r''|4}} where ''q'' is constrained to satisfy {{math|''q'' {{=}} 2/(1 – (''p'' + ''r'')/''pr'')}}. These can also be decomposed as product apeirotopes: {{CDD|pnode_1|4|node|3|node|3|node|4|rnode}} = {{CDD|pnode_1|q|rnode|2|pnode_1|q|rnode|2|pnode_1|q|rnode|2|pnode_1|q|rnode}}. The first case is the <math>\mathbb{R}^4</math> [[tesseractic honeycomb]]. The [[16-cell honeycomb]] and [[24-cell honeycomb]] are real solutions. The last solution is generated has [[Witting polytope]] elements.

{| class=wikitable
|+ Rank 5
!Space||Group||4-apeirotope||Vertex||Edge||Face||Cell||4-face||van Oss<BR>apeirogon||Notes

|- align=center BGCOLOR="#ffffe0"
|<math>\mathbb{C}^4</math>||<sub>''p''</sub>[4]<sub>2</sub>[3]<sub>2</sub>[3]<sub>2</sub>[4]<sub>''r''</sub>|| &delta;{{supsub|''p'',''r''|4}} = <sub>''p''</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>''r''</sub><BR>{{CDD|pnode_1|4|node|3|node|3|node|4|rnode}} || ||<sub>''p''</sub>{}|| <sub>''p''</sub>{4}<sub>2</sub>|| <sub>''p''</sub>{4}<sub>2</sub>{3}<sub>2</sub> || <sub>''p''</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub> ||<sub>''p''</sub>{''q''}<sub>''r''</sub> ||align=left|Same as {{CDD|pnode_1|q|rnode|2|pnode_1|q|rnode|2|pnode_1|q|rnode|2|pnode_1|q|rnode}}
|- align=center BGCOLOR="#ffe0e0"
|<math>\mathbb{R}^4</math>||<sub>2</sub>[4]<sub>2</sub>[3]<sub>2</sub>[3]<sub>2</sub>[4]<sub>2</sub>|| &delta;{{supsub|2,2|4}} = {4,3,3,3}<BR>{{CDD|node_1|4|node|3|node|3|node|4|node}} || ||{} ||{4} ||{4,3}  ||{4,3,3} ||rowspan=3| {&infin;} ||align=left|[[Tesseractic honeycomb]]<BR>Same as {{CDD|node_1|infin|node|2|node_1|infin|node|2|node_1|infin|node|2|node_1|infin|node}}

|- align=center BGCOLOR="#ffe0e0"
|rowspan=2|<math>\mathbb{R}^4</math>||rowspan=2|<sub>2</sub>[3]<sub>2</sub>[4]<sub>2</sub>[3]<sub>2</sub>[3]<sub>2</sub><BR>=[3,4,3,3] || {3,3,4,3} <BR>{{CDD|node_1|3|node|3|node|4|node|3|node}} ||1 || 12  {} ||32 {3} || 24 {3,3} ||3 {3,3,4} ||align=left| Real [[16-cell honeycomb]]<BR>Same as {{CDD|nodes_10ru|split2|node|split1|nodes}}
|- align=center BGCOLOR="#ffe0e0"
| {3,4,3,3}<BR>{{CDD|node_1|3|node|4|node|3|node|3|node}} ||3 || 24 {} ||32 {3} ||12 {3,4} || 1 {3,4,3}  ||align=left| Real [[24-cell honeycomb]]<BR>Same as {{CDD|nodes|split2|node_1|split1|nodes}} or {{CDD|node|3|node_1|3|node|4|node|3|node}}

|- align=center BGCOLOR="#e0f0ff"
|<math>\mathbb{C}^4</math>||<sub>3</sub>[3]<sub>3</sub>[3]<sub>3</sub>[3]<sub>3</sub>[3]<sub>3</sub> || <sub>3</sub>{3}<sub>3</sub>{3}<sub>3</sub>{3}<sub>3</sub>{3}<sub>3</sub><BR>{{CDD|3node_1|3|3node|3|3node|3|3node|3|3node}} ||1 || 80 <sub>3</sub>{} ||270 <sub>3</sub>{3}<sub>3</sub> || 80 <sub>3</sub>{3}<sub>3</sub>{3}<sub>3</sub> ||1 <sub>3</sub>{3}<sub>3</sub>{3}<sub>3</sub>{3}<sub>3</sub> ||<sub>3</sub>{4}<sub>6</sub> ||align=left| <math>\mathbb{R}^8</math> representation [[5 21 honeycomb|5<sub>21</sub>]]

|}

==== Regular complex 5-apeirotopes and higher ====
There are only 12 regular complex apeirotopes in <math>\mathbb{C}^5</math> or higher,<ref>Complex Regular Polytopes, p.146</ref> expressed &delta;{{supsub|''p'',''r''|n}} where ''q'' is constrained to satisfy {{math|''q'' {{=}} 2/(1 – (''p'' + ''r'')/''pr'')}}. These can also be decomposed a product of ''n'' apeirogons: {{CDD|pnode_1|4|node|3|node}} ... {{CDD|3|node|3|node|4|rnode}} = {{CDD|pnode_1|q|rnode|2|pnode_1|q|rnode}} ... {{CDD|pnode_1|q|rnode|2|pnode_1|q|rnode}}. The first case is the real <math>\mathbb{R}^n</math> [[hypercube honeycomb]].
{| class=wikitable
|+ Rank 6
!Space||Group||5-apeirotopes||Vertices||Edge||Face||Cell||4-face||5-face||van Oss<BR>apeirogon||Notes
|- align=center BGCOLOR="#ffffe0"
|<math>\mathbb{C}^5</math>||<sub>''p''</sub>[4]<sub>2</sub>[3]<sub>2</sub>[3]<sub>2</sub>[3]<sub>2</sub>[4]<sub>''r''</sub>|| &delta;{{supsub|''p'',''r''|5}} = <sub>''p''</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{4}<sub>''r''</sub><BR>{{CDD|pnode_1|4|node|3|node|3|node|3|node|4|rnode}} || ||<sub>''p''</sub>{} ||<sub>''p''</sub>{4}<sub>2</sub> ||<sub>''p''</sub>{4}<sub>2</sub>{3}<sub>2</sub>  ||<sub>''p''</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub> ||<sub>''p''</sub>{4}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub>{3}<sub>2</sub> || <sub>''p''</sub>{''q''}<sub>''r''</sub>||Same as {{CDD|pnode_1|q|rnode|2|pnode_1|q|rnode|2|pnode_1|q|rnode|2|pnode_1|q|rnode|2|pnode_1|q|rnode}}
|- align=center BGCOLOR="#ffe0e0"
|<math>\mathbb{R}^5</math>||<sub>2</sub>[4]<sub>2</sub>[3]<sub>2</sub>[3]<sub>2</sub>[3]<sub>2</sub>[4]<sub>2</sub><BR>=[4,3,3,3,4]|| &delta;{{supsub|2,2|5}} = {4,3,3,3,4} <BR>{{CDD|node_1|4|node|3|node|3|node|3|node|4|node}} || ||{} ||{4} ||{4,3} ||{4,3,3} || {4,3,3,3} || {&infin;}||[[5-cubic honeycomb]]<BR>Same as {{CDD|node_1|infin|node|2|node_1|infin|node|2|node_1|infin|node|2|node_1|infin|node|2|node_1|infin|node}}
|}

=== van Oss polygon ===
[[File:Van_Oss_square_hole_in_octahedron.png|left|175px|thumb|A red square ''van Oss polygon'' in the plane of an edge and center of a regular octahedron.]]

A '''van Oss polygon''' is a regular polygon in the plane (real plane <math>\mathbb{R}^2</math>, or unitary plane <math>\mathbb{C}^2</math>) in which both an edge and the centroid of a regular polytope lie, and formed of elements of the polytope. Not all regular polytopes have Van Oss polygons.

For example, the van Oss polygons of a real [[octahedron]] are the three squares whose planes pass through its center. In contrast a [[cube]] does not have a van Oss polygon because the edge-to-center plane cuts diagonally across two square faces and the two edges of the cube which lie in the plane do not form a polygon.

Infinite honeycombs also have '''van Oss apeirogons'''. For example, the real [[square tiling]] and [[triangular tiling]] have [[apeirogon]]s {&infin;} van Oss apeirogons.<ref>Complex Regular Polytopes, p.141</ref>

If it exists, the ''van Oss polygon'' of regular complex polytope of the form <sub>''p''</sub>{''q''}<sub>''r''</sub>{''s''}<sub>''t''</sub>... has ''p''-edges.
{{clear}}

==Non-regular complex polytopes==

=== Product complex polytopes ===
{| class=wikitable align=right width=360
|+ Example product complex polytope
|- valign=top
|[[File:Complex_polygon_2x5_stereographic3.png|180px]]<BR>Complex product polygon {{CDD|node_1|2|5node_1}} or {}×<sub>5</sub>{} has 10 vertices connected by 5 2-edges and 2 5-edges, with its real representation as a 3-dimensional [[pentagonal prism]].
|width=200|[[File:Dual complex polygon 2x5 perspective.png|120px]]<BR>The dual polygon,{}+<sub>5</sub>{} has 7 vertices centered on the edges of the original, connected by 10 edges. Its real representation is a [[pentagonal bipyramid]].
|}

Some complex polytopes can be represented as [[Cartesian product]]s. These product polytopes are not strictly regular since they'll have more than one facet type, but some can represent lower symmetry of regular forms if all the orthogonal polytopes are identical. For example, the product <sub>''p''</sub>{}×<sub>''p''</sub>{} or {{CDD|pnode_1|2|pnode_1}} of two 1-dimensional polytopes is the same as the regular <sub>''p''</sub>{4}<sub>2</sub> or {{CDD|pnode_1|4|node}}. More general products, like <sub>''p''</sub>{}×<sub>''q''</sub>{} have real representations as the 4-dimensional ''p''-''q'' [[duoprism]]s. The dual of a product polytope can be written as a sum <sub>''p''</sub>{}+<sub>''q''</sub>{} and have real representations as the 4-dimensional ''p''-''q'' [[duopyramid]]. The <sub>''p''</sub>{}+<sub>''p''</sub>{} can have its symmetry doubled as a regular complex polytope <sub>2</sub>{4}<sub>''p''</sub> or {{CDD|node_1|4|pnode}}.

Similarly, a <math>\mathbb{C}^3</math> complex polyhedron can be constructed as a triple product: <sub>''p''</sub>{}×<sub>''p''</sub>{}×<sub>''p''</sub>{} or {{CDD|pnode_1|2c|pnode_1|2c|pnode_1}} is the same as the regular ''generalized cube'', <sub>''p''</sub>{4}<sub>2</sub>{3}<sub>2</sub> or {{CDD|pnode_1|4|node|3|node}}, as well as product <sub>''p''</sub>{4}<sub>2</sub>×<sub>''p''</sub>{} or {{CDD|pnode_1|4|node|2|pnode_1}}.<ref>Coxeter, Regular Complex Polytopes, pp. 118–119, 138.</ref>

=== Quasiregular polygons ===
A [[quasiregular polyhedron|quasiregular]] polygon is a [[Truncation (geometry)|truncation]] of a regular polygon. A quasiregular polygon {{CDD|pnode_1|q|rnode_1}} contains alternate edges of the regular polygons {{CDD|pnode_1|q|rnode}} and {{CDD|pnode|q|rnode_1}}. The quasiregular polygon has ''p'' vertices on the p-edges of the regular form.

{| class=wikitable
|+ Example quasiregular polygons
!<sub>''p''</sub>[''q'']<sub>''r''</sub> ||<sub>2</sub>[4]<sub>2</sub>||<sub>3</sub>[4]<sub>2</sub>||<sub>4</sub>[4]<sub>2</sub>||<sub>5</sub>[4]<sub>2</sub>||<sub>6</sub>[4]<sub>2</sub>||<sub>7</sub>[4]<sub>2</sub>||<sub>8</sub>[4]<sub>2</sub> ||<sub>3</sub>[3]<sub>3</sub> ||<sub>3</sub>[4]<sub>3</sub>
|- align=center
!Regular<BR>{{CDD|pnode_1|q|rnode}}
|[[File:2-generalized-2-cube.svg|80px]]<BR>{{CDD|node_1|4|node}}<BR> 4 2-edges
|[[File:3-generalized-2-cube_skew.svg|80px]]<BR>{{CDD|3node_1|4|node}}<BR> 9 3-edges
|[[File:4-generalized-2-cube.svg|80px]]<BR>{{CDD|4node_1|4|node}}<BR> 16 4-edges
|[[File:5-generalized-2-cube_skew.svg|80px]]<BR>{{CDD|5node_1|4|node}}<BR> 25 5-edges
|[[File:6-generalized-2-cube.svg|80px]]<BR>{{CDD|6node_1|4|node}}<BR> 36 6-edges
|[[File:7-generalized-2-cube_skew.svg|80px]]<BR>{{CDD|7node_1|4|node}}<BR> 49 8-edges
|[[File:8-generalized-2-cube.svg|80px]]<BR>{{CDD|8node_1|4|node}}<BR> 64 8-edges
|[[File:Complex polygon 3-3-3.svg|80px]]<BR>{{CDD|3node_1|3|3node}}
|[[File:Complex polygon 3-4-3.png|80px]]<BR>{{CDD|3node_1|4|3node}}
|- align=center
!Quasiregular<BR>{{CDD|pnode_1|q|rnode_1}}
|[[File:Truncated_2-generalized-square.svg|80px]]<BR>{{CDD|node_1|4|node_1}} = {{CDD|node_1|8|node}}<BR> 4+4 2-edges
|[[File:Truncated_3-generalized-square_skew.svg|80px]]<BR>{{CDD|3node_1|4|node_1}}<BR> 6 2-edges<BR>9 3-edges
|[[File:Truncated_4-generalized-square.svg|80px]]<BR>{{CDD|4node_1|4|node_1}}<BR> 8 2-edges<BR>16 4-edges
|[[File:Truncated_5-generalized-square_skew.svg|80px]]<BR>{{CDD|5node_1|4|node_1}}<BR> 10 2-edges<BR>25 5-edges
|[[File:Truncated_6-generalized-square.svg|80px]]<BR>{{CDD|6node_1|4|node_1}}<BR> 12 2-edges<BR>36 6-edges
|[[File:Truncated_7-generalized-square_skew.svg|80px]]<BR>{{CDD|7node_1|4|node_1}}<BR> 14 2-edges<BR>49 7-edges
|[[File:Truncated_8-generalized-square.svg|80px]]<BR>{{CDD|8node_1|4|node_1}}<BR> 16 2-edges<BR>64 8-edges
|[[File:Complex_polygon_3-6-2.png|80px]]<BR>{{CDD|3node_1|3|3node_1}} = {{CDD|3node_1|6|node}}
|[[File:Complex_polygon_3-8-2.png|80px]]<BR>{{CDD|3node_1|4|3node_1}} = {{CDD|3node_1|8|node}}
|- align=center
!Regular<BR>{{CDD|pnode_1|q|rnode}}
|[[File:2-generalized-2-orthoplex.svg|80px]]<BR>{{CDD|node_1|4|node}}<BR> 4 2-edges
|[[File:3-generalized-2-orthoplex_skew.svg|80px]]<BR>{{CDD|node_1|4|3node}}<BR> 6 2-edges
|[[File:3-generalized-2-orthoplex.svg|80px]]<BR>{{CDD|node_1|4|4node}}<BR> 8 2-edges
|[[File:5-generalized-2-orthoplex_skew.svg|80px]]<BR>{{CDD|node_1|4|5node}}<BR> 10 2-edges
|[[File:6-generalized-2-orthoplex.svg|80px]]<BR>{{CDD|node_1|4|6node}}<BR> 12 2-edges
|[[File:7-generalized-2-orthoplex_skew.svg|80px]]<BR>{{CDD|node_1|4|7node}}<BR> 14 2-edges
|[[File:8-generalized-2-orthoplex.svg|80px]]<BR>{{CDD|node_1|4|8node}}<BR> 16 2-edges
|[[File:Complex polygon 3-3-3.svg|80px]]<BR>{{CDD|3node_1|3|3node}}
|[[File:Complex polygon 3-4-3.png|80px]]<BR>{{CDD|3node_1|4|3node}}
|}

=== Quasiregular apeirogons ===
There are 7 quasiregular complex apeirogons which alternate edges of a [[#Regular_complex_1-polytopes|regular apeirogon]] and its regular dual. The [[vertex arrangement]]s of these apeirogon have real representations with the regular and uniform tilings of the Euclidean plane. The last column for the 6{3}6 apeirogon is not only self-dual, but the dual coincides with itself with overlapping hexagonal edges, thus their quasiregular form also has overlapping hexagonal edges, so it can't be drawn with two alternating colors like the others. The symmetry of the self-dual families can be doubled, so creating an identical geometry as the regular forms: {{CDD|pnode_1|q|pnode_1}} = {{CDD|pnode_1|2x|q|node}}

{| class=wikitable
!<sub>''p''</sub>[''q'']<sub>''r''</sub> ||<sub>4</sub>[8]<sub>2</sub>||<sub>4</sub>[4]<sub>4</sub> ||<sub>6</sub>[6]<sub>2</sub> ||<sub>6</sub>[4]<sub>3</sub> ||<sub>3</sub>[12]<sub>2</sub>||<sub>3</sub>[6]<sub>3</sub> ||<sub>6</sub>[3]<sub>6</sub>
|- align=center
!Regular<BR>{{CDD|pnode_1|q|rnode}} or <sub>''p''</sub>{''q''}<sub>''r''</sub>
||[[File:Complex_apeirogon_4-8-2.png|100px]]<BR>{{CDD|4node_1|8|node}}
||[[File:Complex_apeirogon_4-4-4.png|100px]]<BR>{{CDD|4node_1|4|4node}} 
||[[File:Complex_apeirogon_6-6-2.png|100px]]<BR>{{CDD|6node_1|6|node}} 
||[[File:Complex_apeirogon_6-4-3.png|100px]]<BR>{{CDD|6node_1|4|3node}} 
||[[File:Complex_apeirogon_3-12-2.png|100px]]<BR>{{CDD|3node_1|12|node}} 
||[[File:Complex_apeirogon_3-6-3.png|100px]]<BR>{{CDD|3node_1|6|3node}} 
||[[File:Complex_apeirogon_6-3-6.png|100px]]<BR>{{CDD|6node_1|3|6node}} 
|- align=center
!Quasiregular<BR>{{CDD|pnode_1|q|rnode_1}}
||[[File:Truncated_complex_polygon_4-8-2.png|100px]]<BR>{{CDD|4node_1|8|node_1}} 
||[[File:Truncated_complex_polygon_4-4-4.png|100px]]<BR>{{CDD|4node_1|4|4node_1}} = {{CDD|4node_1|8|node}}
||[[File:Truncated_complex_polygon_6-6-2.png|100px]]<BR>{{CDD|6node_1|6|node_1}} 
||[[File:Truncated_complex_polygon_6-4-3.png|100px]]<BR>{{CDD|6node_1|4|3node_1}} 
||[[File:Truncated_complex_polygon_3-12-2.png|100px]]<BR>{{CDD|3node_1|12|node_1}} 
||[[File:Truncated_complex_polygon_3-6-3.png|100px]]<BR>{{CDD|3node_1|6|3node_1}} = {{CDD|3node_1|12|node}} 
||[[File:Truncated_complex_polygon_6-3-6.png|100px]]<BR>{{CDD|6node_1|3|6node_1}} = {{CDD|6node_1|6|node}}

|- align=center
!Regular dual<BR>{{CDD|pnode|q|rnode_1}} or <sub>''r''</sub>{''q''}<sub>''p''</sub>
|| [[File:Complex_apeirogon_2-8-4.svg|100px]]<BR>{{CDD|4node|8|node_1}}
|| [[File:Complex_apeirogon_4-4-4b.png|100px]]<BR>{{CDD|4node|4|4node_1}}
|| [[File:Complex_apeirogon_2-6-6.png|100px]]<BR>{{CDD|6node|6|node_1}}
|| [[File:Complex_apeirogon_3-4-6.png|100px]]<BR>{{CDD|6node_1|4|3node_1}}
|| [[File:Complex_apeirogon_2-12-3.png|100px]]<BR>{{CDD|3node|12|node_1}}
|| [[File:Complex_apeirogon_3-6-3b.png|100px]]<BR>{{CDD|3node|6|3node_1}}
|| [[File:Complex_apeirogon_6-3-6b.png|100px]]<BR>{{CDD|6node|3|6node_1}}
|}

=== Quasiregular polyhedra ===
[[File:3-generalized-octahedron_truncation_sequence.gif|thumb|Example truncation of 3-generalized octahedron, <sub>2</sub>{3}<sub>2</sub>{4}<sub>3</sub>, {{CDD|node_1|3|node|4|3node}}, to its rectified limit, showing outlined-green triangles faces at the start, and blue <sub>2</sub>{4}<sub>3</sub>, {{CDD|node_1|4|3node}}, vertex figures expanding as new faces.]]
Like real polytopes, a complex quasiregular polyhedron can be constructed as a [[rectification (geometry)|rectification]] (a complete [[truncation (geometry)|truncation]]) of a regular polyhedron. Vertices are created mid-edge of the regular polyhedron and faces of the regular polyhedron and its dual are positioned alternating across common edges.

For example, a p-generalized cube, {{CDD|pnode_1|4|node|3|node}}, has ''p''<sup>3</sup> vertices, 3''p''<sup>2</sup> edges, and 3''p'' ''p''-generalized square faces, while the ''p''-generalized octahedron, {{CDD|pnode|4|node|3|node_1}}, has 3''p'' vertices, 3''p''<sup>2</sup> edges and ''p''<sup>3</sup> triangular faces. The middle quasiregular form ''p''-generalized cuboctahedron, {{CDD|pnode|4|node_1|3|node}}, has 3''p''<sup>2</sup> vertices, 3''p''<sup>3</sup> edges, and 3''p''+''p''<sup>3</sup> faces.

Also the [[rectification (geometry)|rectification]] of the [[Hessian polyhedron]] {{CDD|3node_1|3|3node|3|3node}}, is {{CDD|3node|3|3node_1|3|3node}}, a quasiregular form sharing the geometry of the regular complex polyhedron {{CDD|3node_1|3|3node|4|node}}.

{| class=wikitable width=750
|+ Quasiregular examples
!colspan=6|Generalized cube/octahedra ||rowspan=2| [[Hessian polyhedron]]
|- align=center
! || p=2 (real)||p=3 ||p=4 ||p=5 ||p=6 
|- align=center valign=top
!Generalized<BR>cubes<BR>{{CDD|pnode_1|4|node|3|node}}<BR>(regular)
| BGCOLOR="#ffe0e0"|[[File:2-generalized-3-cube.svg|120px]]<BR>[[Cube]]<BR>{{CDD|node_1|4|node|3|node}}, 8 vertices, 12 2-edges, and 6 faces.
|[[File:3-generalized-3-cube_redblueface.svg|120px]]<BR>{{CDD|3node_1|4|node|3|node}}, 27 vertices, 27 3-edges, and 9 faces, with one {{CDD|3node_1|4|node}} face blue and red
|[[File:4-generalized-3-cube.svg|120px]]<BR>{{CDD|4node_1|4|node|3|node}}, 64 vertices, 48 4-edges, and 12 faces.
|[[File:5-generalized-3-cube.svg|120px]]<BR>{{CDD|5node_1|4|node|3|node}}, 125 vertices, 75 5-edges, and 15 faces.
|[[File:6-generalized-3-cube.svg|120px]]<BR>{{CDD|6node_1|4|node|3|node}}, 216 vertices, 108 6-edges, and 18 faces.
| BGCOLOR="#ffffe0"|[[File:Complex polyhedron 3-3-3-3-3.png|120px]]<BR>{{CDD|3node_1|3|3node|3|3node}}, 27 vertices, 72 6-edges, and 27 faces.
|- align=center valign=top
!Generalized<BR>cuboctahedra<BR>{{CDD|pnode|4|node_1|3|node}}<BR>(quasiregular)
| BGCOLOR="#ffe0e0"|[[File:Rectified_2-generalized-3-cube.svg|120px]]<BR>[[Cuboctahedron]]<BR>{{CDD|node|4|node_1|3|node}}, 12 vertices, 24 2-edges, and 6+8 faces.
|[[File:Rectified_3-generalized-3-cube_blueface.svg|120px]]<BR>{{CDD|3node|4|node_1|3|node}}, 27 vertices, 81 2-edges, and 9+27 faces, with one {{CDD|node_1|4|3node}} face blue
|[[File:Rectified_4-generalized-3-cube_blueface.svg|120px]]<BR>{{CDD|4node|4|node_1|3|node}}, 48 vertices, 192 2-edges, and 12+64 faces, with one {{CDD|node_1|4|4node}} face blue
|[[File:Rectified_5-generalized-3-cube.svg|120px]]<BR>{{CDD|5node|4|node_1|3|node}}, 75 vertices, 375 2-edges, and 15+125 faces.
|[[File:Rectified_6-generalized-3-cube.svg|120px]]<BR>{{CDD|6node|4|node_1|3|node}}, 108 vertices, 648 2-edges, and 18+216 faces.
| BGCOLOR="#ffffe0"|[[File:Complex polyhedron 3-3-3-4-2.png|120px]]<BR>{{CDD|3node|3|3node_1|3|3node}} = {{CDD|3node_1|3|3node|4|node}}, 72 vertices, 216 3-edges, and 54 faces.
|- align=center valign=top
!Generalized<BR>octahedra<BR>{{CDD|pnode|4|node|3|node_1}}<BR>(regular)
| BGCOLOR="#ffe0e0"|[[File:2-generalized-3-orthoplex.svg|120px]]<BR>[[Octahedron]]<BR>{{CDD|node|4|node|3|node_1}}, 6 vertices, 12 2-edges, and 8 {3} faces.
|[[File:3-generalized-3-orthoplex.svg|120px]]<BR>{{CDD|3node|4|node|3|node_1}}, 9 vertices, 27 2-edges, and 27 {3} faces.
|[[File:4-generalized-3-orthoplex.svg|120px]]<BR>{{CDD|4node|4|node|3|node_1}}, 12 vertices, 48 2-edges, and 64 {3} faces.
|[[File:5-generalized-3-orthoplex.svg|120px]]<BR>{{CDD|5node|4|node|3|node_1}}, 15 vertices, 75 2-edges, and 125 {3} faces.
|[[File:6-generalized-3-orthoplex.svg|120px]]<BR>{{CDD|6node|4|node|3|node_1}}, 18 vertices, 108 2-edges, and 216 {3} faces.
| BGCOLOR="#ffffe0"|[[File:Complex polyhedron 3-3-3-3-3b.png|120px]]<BR>{{CDD|3node|3|3node|3|3node_1}}, 27 vertices, 72 6-edges, and 27 faces.
|}

=== Other complex polytopes with unitary reflections of period two ===
Other nonregular complex polytopes can be constructed within unitary reflection groups that don't make linear Coxeter graphs. In Coxeter diagrams with loops Coxeter marks a special period interior, like {{CDD|node_1|3split1|branch}} or symbol (1<sub>1</sub> 1 1)<sup>3</sup>, and group [1 1 1]<sup>3</sup>.<ref>Coxeter, Regular Complex Polytopes, Chapter 14, ''Almost regular polytopes'', pp. 156–174.</ref><ref>Coxeter, ''Groups Generated by Unitary Reflections of Period Two'', 1956</ref> These complex polytopes have not been systematically explored beyond a few cases.

The group {{CDD|node|psplit1|branch}} is defined by 3 unitary reflections, R<sub>1</sub>, R<sub>2</sub>, R<sub>3</sub>, all order 2: R<sub>1</sub><sup>2</sup> = R<sub>1</sub><sup>2</sup> = R<sub>3</sub><sup>2</sup> = (R<sub>1</sub>R<sub>2</sub>)<sup>3</sup> =  (R<sub>2</sub>R<sub>3</sub>)<sup>3</sup> = (R<sub>3</sub>R<sub>1</sub>)<sup>3</sup> = (R<sub>1</sub>R<sub>2</sub>R<sub>3</sub>R<sub>1</sub>)<sup>''p''</sup> = 1. The period ''p'' can be seen as a [[double rotation]] in real <math>\mathbb{R}^4</math>.

As with all [[Wythoff construction]]s, polytopes generated by reflections, the number of vertices of a single-ringed Coxeter diagram polytope is equal to the order of the group divided by the order of the subgroup where the ringed node is removed. For example, a real [[cube]] has Coxeter diagram {{CDD|node_1|4|node|3|node}}, with [[octahedral symmetry]] {{CDD|node|4|node|3|node}} order 48, and subgroup dihedral symmetry {{CDD|node|3|node}} order 6, so the number of vertices of a cube is 48/6=8. Facets are constructed by removing one node furthest from the ringed node, for example {{CDD|node_1|4|node}} for the cube. [[Vertex figure]]s are generated by removing a ringed node and ringing one or more connected nodes, and {{CDD|node_1|3|node}} for the cube.

Coxeter represents these groups by the following symbols. Some groups have the same order, but a different structure, defining the same [[vertex arrangement]] in complex polytopes, but different edges and higher elements, like {{CDD|node|psplit1|branch}} and {{CDD|node|3split1|branch|labelp}} with ''p''≠3.<ref>[[Coxeter]], ''Finite Groups Generated by Unitary Reflections'', 1966, 4. ''The Graphical Notation'', Table of ''n''-dimensional groups generated by n Unitary Reflections. pp. 422-423</ref>

{| class=wikitable
|+ Groups generated by unitary reflections
!Coxeter diagram||Order||Symbol or Position in Table VII of Shephard and Todd (1954)
|-
| {{CDD||branch|labelp}}, ({{CDD|node|psplit1|branch}} and {{CDD|node|3split1|branch|labelp}}), {{CDD|node|3|node|3split1|branch|labelp}}, {{CDD|node|3|node|3|node|3split1|branch|labelp}} ...<BR>
|| ''p''<sup>''n'' − 1</sup> ''n''!, ''p'' ≥ 3 || ''G''(''p'', ''p'', ''n''), [''p''], [1 1 1]<sup>''p''</sup>, [1 1 (''n''−2)<sup>''p''</sup>]<sup>3</sup>
|-
| {{CDD|node|3split1|branch|3ab|nodes}}, {{CDD|node|3split1|branch|3ab|nodes|3a|nodea}} || 72·6!, 108·9! || Nos. 33, 34, [1 2 2]<sup>3</sup>, [1 2 3]<sup>3</sup>
|-
| {{CDD|node|4split1|branch|label4}}, ({{CDD|node|4split1|branch|label5}} and {{CDD|node|5split1|branch|label4}}), ({{CDD|node|3|node|4split1|branch}} and {{CDD|node|3|node|3split1-43|branch}}) || 14·4!, 3·6!, 64·5! || Nos. 24, 27, 29
|}

Coxeter calls some of these complex polyhedra ''almost regular'' because they have regular facets and vertex figures. The first is a lower symmetry form of the generalized cross-polytope in <math>\mathbb{C}^3</math>. The second is a fractional generalized cube, reducing ''p''-edges into single vertices leaving ordinary 2-edges. Three of them are related to the [[finite regular skew polyhedron]] in <math>\mathbb{R}^4</math>.
{| class="wikitable sortable"
|+ Some almost regular complex polyhedra<ref name=":1">Coxeter, Groups generated by Unitary Reflections of Period Two (1956), Table III: Some Complex Polytopes, p.413</ref>
!Space||Group||Order||Coxeter<BR>symbols||Vertices||Edges||Faces||Vertex<BR>figure||Notes
|- align=center BGCOLOR="#ffffe0"
|rowspan=2|<math>\mathbb{C}^3</math>||rowspan=2|[1 1 1<sup>''p''</sup>]<sup>3</sup><BR>{{CDD|node|3split1|branch|labelp}}<BR>''p''=2,3,4...||rowspan=2|6''p''<sup>2</sup> ||(1 1 1<sub>1</sub><sup>''p''</sup>)<sup>3</sup><BR>{{CDD|node_1|3split1|branch|labelp}} || 3''p''||3''p''<sup>2</sup> || {3} ||{2''p''}||align=left| Shephard symbol (1 1; 1<sub>1</sub>)<sup>''p''</sup><BR>same as &beta;{{supsub|''p''|3}} = {{CDD|node_1|3|node|4|pnode}}
|- align=center BGCOLOR="#ffffe0"
|(1<sub>1</sub> 1 1<sup>''p''</sup>)<sup>3</sup><BR>{{CDD|node|3split1|branch_10l|labelp}} || ''p''<sup>2</sup>|| || {3} ||{6}||align=left| Shephard symbol (1<sub>1</sub> 1; 1)<sup>''p''</sup><BR>1/''p'' &gamma;{{supsub|''p''|3}}

|- align=center BGCOLOR="#ffe0e0"
|rowspan=2|<math>\mathbb{R}^3</math>||rowspan=2|[1 1 1<sup>2</sup>]<sup>3</sup><BR>{{CDD|node|split1|nodes}}||rowspan=2|24 ||(1 1 1<sub>1</sub><sup>2</sup>)<sup>3</sup><BR>{{CDD|node_1|split1|nodes}} || 6||12 || 8 {3} ||{4}||align=left| Same as &beta;{{supsub|2|3}} = {{CDD|node_1|3|node|4|node}} = real [[octahedron]]
|- align=center BGCOLOR="#ffe0e0"
|(1<sub>1</sub> 1 1<sup>2</sup>)<sup>3</sup><BR>{{CDD|node|split1|nodes_10lu}} || 4|| 6 || 4 {3} ||{3}||align=left| 1/2 &gamma;{{supsub|2|3}} = {{CDD|node_h|4|node|3|node}} = &alpha;<sub>3</sub> = real [[tetrahedron]]

|- align=center BGCOLOR="#e0ffff"
|rowspan=2|<math>\mathbb{C}^3</math>||rowspan=2|[1 1 1]<sup>3</sup><BR>{{CDD|node|3split1|branch|}}||rowspan=2|54 ||(1 1 1<sub>1</sub>)<sup>3</sup><BR>{{CDD|node_1|3split1|branch|}} || 9||27 || {3} ||{6}||align=left| Shephard symbol (1 1; 1<sub>1</sub>)<sup>3</sup><BR>same as &beta;{{supsub|3|3}} = {{CDD|node_1|3|node|4|3node}}
|- align=center BGCOLOR="#e0ffff"
|(1<sub>1</sub> 1 1)<sup>3</sup><BR>{{CDD|node|3split1|branch_10l|}} || 9|| 27 || {3} ||{6}||align=left| Shephard symbol (1<sub>1</sub> 1; 1)<sup>3</sup><BR>1/3 &gamma;{{supsub|3|3}} = &beta;{{supsub|3|3}}
|- align=center BGCOLOR="#e0ffff"
|rowspan=2|<math>\mathbb{C}^3</math>||rowspan=2|[1 1 1<sup>4</sup>]<sup>3</sup><BR>{{CDD|node|3split1|branch|label4}}||rowspan=2|96  ||(1 1 1<sub>1</sub><sup>4</sup>)<sup>3</sup><BR>{{CDD|node_1|3split1|branch|label4}} || 12||48 || {3} ||{8}||align=left| Shephard symbol (1 1; 1<sub>1</sub>)<sup>4</sup><BR>same as &beta;{{supsub|4|3}} = {{CDD|node_1|3|node|4|4node}}
|- align=center BGCOLOR="#e0ffff"
|(1<sub>1</sub> 1 1<sup>4</sup>)<sup>3</sup><BR>{{CDD|node|3split1|branch_10l|label4}} ||16|| || {3} ||{6}||align=left| Shephard symbol (1<sub>1</sub> 1; 1)<sup>4</sup><BR>1/4 &gamma;{{supsub|4|3}}
|- align=center BGCOLOR="#e0ffff"
|rowspan=2|<math>\mathbb{C}^3</math>||rowspan=2|[1 1 1<sup>5</sup>]<sup>3</sup><BR>{{CDD|node|3split1|branch|label5}}||rowspan=2|150 ||(1 1 1<sub>1</sub><sup>5</sup>)<sup>3</sup><BR>{{CDD|node_1|3split1|branch|label5}} || 15||75 || {3} ||{10}||align=left| Shephard symbol (1 1; 1<sub>1</sub>)<sup>5</sup><BR>same as &beta;{{supsub|5|3}} = {{CDD|node_1|3|node|4|5node}}
|- align=center BGCOLOR="#e0ffff"
|(1<sub>1</sub> 1 1<sup>5</sup>)<sup>3</sup><BR>{{CDD|node|3split1|branch_10l|label5}} || 25 || || {3} ||{6}||align=left| Shephard symbol (1<sub>1</sub> 1; 1)<sup>5</sup><BR>1/5 &gamma;{{supsub|5|3}}
|- align=center BGCOLOR="#e0ffff"
|rowspan=2|<math>\mathbb{C}^3</math>||rowspan=2|[1 1 1<sup>6</sup>]<sup>3</sup><BR>{{CDD|node|3split1|branch|label6}}||rowspan=2|216 ||(1 1 1<sub>1</sub><sup>6</sup>)<sup>3</sup><BR>{{CDD|node_1|3split1|branch|label6}} || 18||216 || {3} ||{12}||align=left| Shephard symbol (1 1; 1<sub>1</sub>)<sup>6</sup><BR>same as &beta;{{supsub|6|3}} = {{CDD|node_1|3|node|4|6node}}
|- align=center BGCOLOR="#e0ffff"
|(1<sub>1</sub> 1 1<sup>6</sup>)<sup>3</sup><BR>{{CDD|node|3split1|branch_10l|label6}} || 36 || || {3} ||{6}||align=left| Shephard symbol (1<sub>1</sub> 1; 1)<sup>6</sup><BR>1/6 &gamma;{{supsub|6|3}}

|- align=center BGCOLOR="#e0f0ff"
|rowspan=2|<math>\mathbb{C}^3</math>||rowspan=2|[1 1 1<sup>4</sup>]<sup>4</sup><BR>{{CDD|node|4split1|branch|label4}}||rowspan=2|336 ||(1 1 1<sub>1</sub><sup>4</sup>)<sup>4</sup><BR>{{CDD|node_1|4split1|branch|label4}}|| 42||168 ||112 {3} ||{8}||align=left| <math>\mathbb{R}^4</math> representation [[Regular_skew_polyhedron#Finite_regular_skew_polyhedra|{3,8{{pipe}},4}]] = {3,8}<sub>8</sub>
|- align=center BGCOLOR="#e0f0ff"
|(1<sub>1</sub> 1 1<sup>4</sup>)<sup>4</sup><BR>{{CDD|node|4split1|branch_10l|label4}}|| 56 || || {3} ||{6}||

|- align=center BGCOLOR="#e0f0ff"
|rowspan=2|<math>\mathbb{C}^3</math>||rowspan=2|[1 1 1<sup>5</sup>]<sup>4</sup><BR>{{CDD|node|4split1|branch|label5}}||rowspan=4|2160 ||(1 1 1<sub>1</sub><sup>5</sup>)<sup>4</sup><BR>{{CDD|node_1|4split1|branch|label5}}|| 216 ||1080 ||720 {3} ||{10}||align=left| <math>\mathbb{R}^4</math> representation {3,10{{pipe}},4} = {3,10}<sub>8</sub>
|- align=center BGCOLOR="#e0f0ff"
|(1<sub>1</sub> 1 1<sup>5</sup>)<sup>4</sup><BR>{{CDD|node|4split1|branch_10l|label5}}|| 360|| || {3} ||{6}||align=left|

|- align=center BGCOLOR="#e0f0ff"
|rowspan=2|<math>\mathbb{C}^3</math>||rowspan=2|[1 1 1<sup>4</sup>]<sup>5</sup><BR>{{CDD|node|5split1|branch|label4}}|| (1 1 1<sub>1</sub><sup>4</sup>)<sup>5</sup><BR>{{CDD|node_1|5split1|branch|label4}}|| 270||1080 ||720 {3} ||{8}|| align=left|<math>\mathbb{R}^4</math> representation {3,8{{pipe}},5} = {3,8}<sub>10</sub>
|- align=center BGCOLOR="#e0f0ff"
|(1<sub>1</sub> 1 1<sup>4</sup>)<sup>5</sup><BR>{{CDD|node|5split1|branch_10l|label4}}|| 360|| || {3} ||{6}|| 
|}

Coxeter defines other groups with anti-unitary constructions, for example these three. The first was discovered and drawn by [[Peter McMullen]] in 1966.<ref>Coxeter, Complex Regular Polytopes, (1991), 14.6 McMullen's two polyhedral with 84 square faces, pp.166-171</ref>
{| class="wikitable sortable"
|+ More almost regular complex polyhedra<ref name=":1"/>
!Space||Group||Order||Coxeter<BR>symbols||Vertices||Edges||Faces||Vertex<BR>figure||Notes
|- align=center BGCOLOR="#e0f0ff"
|<math>\mathbb{C}^3</math>||[1 1<sup>4</sup> 1<sup>4</sup>]<sup>(3)</sup><BR>{{CDD|node|anti3split1-44|branch}}||336  ||(1<sub>1</sub> 1<sup>4</sup> 1<sup>4</sup>)<sup>(3)</sup><BR>{{CDD|node_1|anti3split1-44|branch}} ||56 ||168 || 84 {4} ||{6}||align=left| <math>\mathbb{R}^4</math> representation {4,6{{pipe}},3} = {4,6}<sub>6</sub>
|- align=center BGCOLOR="#e0f0ff"
|<math>\mathbb{C}^3</math>||[1<sup>5</sup> 1<sup>4</sup> 1<sup>4</sup>]<sup>(3)</sup><BR>{{CDD|node|anti3split1-44|branch|label5}}||rowspan=2|2160  ||(1<sub>1</sub><sup>5</sup> 1<sup>4</sup> 1<sup>4</sup>)<sup>(3)</sup><BR>{{CDD|node_1|anti3split1-44|branch|label5}} ||216 ||1080 || 540 {4} ||{10}||align=left| <math>\mathbb{R}^4</math> representation {4,10{{pipe}},3} = {4,10}<sub>6</sub>
|- align=center BGCOLOR="#e0f0ff"
|<math>\mathbb{C}^3</math>||[1<sup>4</sup> 1<sup>5</sup> 1<sup>5</sup>]<sup>(3)</sup><BR>{{CDD|node|anti3split1-55|branch|label4}}  ||(1<sub>1</sub><sup>4</sup> 1<sup>5</sup> 1<sup>5</sup>)<sup>(3)</sup><BR>{{CDD|node_1|anti3split1-55|branch|label4}} ||270 ||1080 || 432 {5} ||{8}||align=left| <math>\mathbb{R}^4</math> representation {5,8{{pipe}},3} = {5,8}<sub>6</sub>
|}

{| class="wikitable sortable"
|+ Some complex 4-polytopes<ref name=":1"/>
!Space||Group||Order||Coxeter<BR>symbols||Vertices||Other<BR>elements||Cells||Vertex<BR>figure||Notes

|- align=center BGCOLOR="#ffffe0"
|rowspan=2|<math>\mathbb{C}^4</math>||rowspan=2|[1 1 2<sup>''p''</sup>]<sup>3</sup><BR>{{CDD|node|3|node|3split1|branch|labelp}}<BR>''p''=2,3,4...||rowspan=2|24''p''<sup>3</sup> ||(1 1 2<sub>2</sub><sup>p</sup>)<sup>3</sup><BR>{{CDD|node_1|3|node|3split1|branch|labelp}}||4''p'' || ||{{CDD|node_1|3|node|3|node}} ||{{CDD|node_1|3split1|branch|labelp}} ||align=left| Shephard (2<sub>2</sub> 1; 1)<sup>''p''</sup><BR>same as &beta;{{supsub|''p''|4}} = {{CDD|node_1|3|node|3|node|4|pnode}}
|- align=center BGCOLOR="#ffffe0"
|(1<sub>1</sub> 1 2<sup>''p''</sup> )<sup>3</sup><BR>{{CDD|node|3|node|3split1|branch_10lu|labelp}}||''p''<sup>3</sup> || ||{{CDD|node_1|3|node|3|node}}<BR>{{CDD|node|3split1|branch_10lu|labelp}} ||{{CDD|node|3|node_1|3|node_1}} ||align=left| Shephard (2 1; 1<sub>1</sub>)<sup>''p''</sup><BR>1/''p'' &gamma;{{supsub|''p''|4}}

|- align=center BGCOLOR="#ffe0e0"
|rowspan=2|<math>\mathbb{R}^4</math>||rowspan=2|[1 1 2<sup>2</sup>]<sup>3</sup><BR>=[3<sup>1,1,1</sup>]<BR>{{CDD|node|3|node|split1|nodes}}||rowspan=2|192 ||(1 1 2<sub>2</sub><sup>2</sup>)<sup>3</sup><BR>{{CDD|node_1|3|node|split1|nodes}}||rowspan=2|8 ||rowspan=2|24 edges<BR>32 faces ||rowspan=2| 16 {{CDD|node_1|3|node|3|node}} ||rowspan=2|{{CDD|node_1|split1|nodes}} ||align=left| &beta;{{supsub|2|4}} = {{CDD|node_1|3|node|3|node|4|node}}, real [[16-cell]]
|- align=center BGCOLOR="#ffe0e0"
|(1<sub>1</sub> 1 2<sup>2</sup> )<sup>3</sup><BR>{{CDD|node|3|node|split1|nodes_10lu}}||align=left|1/2 &gamma;{{supsub|2|4}} = {{CDD|node|3|node|3|node|4|node_h}} = &beta;{{supsub|2|4}}, real [[16-cell]]

|- align=center BGCOLOR="#e0ffff"
|rowspan=2|<math>\mathbb{C}^4</math>||rowspan=2|[1 1 2]<sup>3</sup><BR>{{CDD|node|3|node|3split1|branch}}||rowspan=2|648 ||(1 1 2<sub>2</sub>)<sup>3</sup><BR>{{CDD|node_1|3|node|3split1|branch}}||12 || ||{{CDD|node_1|3|node|3|node}} ||{{CDD|node_1|3split1|branch}} ||align=left| Shephard (2<sub>2</sub> 1; 1)<sup>3</sup><BR>same as &beta;{{supsub|3|4}} = {{CDD|node_1|3|node|3|node|4|3node}}
|- align=center BGCOLOR="#e0ffff"
|(1<sub>1</sub> 1 2<sup>3</sup>)<sup>3</sup><BR>{{CDD|node|3|node|3split1|branch_10lu}}||27 || ||{{CDD|node_1|3|node|3|node}}<BR>{{CDD|node|3split1|branch_10lu}} ||{{CDD|node|3|node_1|3|node_1}} ||align=left| Shephard (2 1; 1<sub>1</sub>)<sup>3</sup><BR>1/3 &gamma;{{supsub|3|4}}

|- align=center BGCOLOR="#e0ffff"
|rowspan=2|<math>\mathbb{C}^4</math>||rowspan=2|[1 1 2<sup>4</sup>]<sup>3</sup><BR>{{CDD|node|3|node|3split1|branch|label4}}||rowspan=2|1536 ||(1 1 2<sub>2</sub><sup>4</sup>)<sup>3</sup><BR>{{CDD|node_1|3|node|3split1|branch|label4}}||16 || ||{{CDD|node_1|3|node|3|node}} ||{{CDD|node_1|3split1|branch|label4}} ||align=left| Shephard (2<sub>2</sub> 1; 1)<sup>4</sup><BR>same as &beta;{{supsub|4|4}} = {{CDD|node_1|3|node|3|node|4|4node}}
|- align=center BGCOLOR="#e0ffff"
|(1<sub>1</sub> 1 2<sup>4</sup> )<sup>3</sup><BR>{{CDD|node|3|node|3split1|branch_10lu|label4}}||64 || ||{{CDD|node_1|3|node|3|node}}<BR>{{CDD|node|3split1|branch_10lu|label4}} ||{{CDD|node|3|node_1|3|node_1}} ||align=left| Shephard (2 1; 1<sub>1</sub>)<sup>4</sup><BR>1/4 &gamma;{{supsub|4|4}}

|- align=center BGCOLOR="#e0f0ff"
|rowspan=3|<math>\mathbb{C}^4</math>||rowspan=3|[1<sup>4</sup> 1 2]<sup>3</sup><BR>{{CDD|node|3|node|3split1-43|branch}}||rowspan=5|7680 ||(2<sub>2</sub> 1<sup>4</sup> 1)<sup>3</sup><BR>{{CDD|node_1|3|node|3split1-43|branch}}||80|| ||{{CDD|node_1|3|node|3|node}} ||{{CDD|node_1|3split1-43|branch}} ||align=left| Shephard (2<sub>2</sub> 1; 1)<sup>4</sup>
|- align=center BGCOLOR="#e0f0ff"
|(1<sub>1</sub><sup>4</sup> 1 2)<sup>3</sup><BR>{{CDD|node|3|node|3split1-43|branch_01l}}||160|| ||{{CDD|node_1|3|node|3|node}}<BR>{{CDD|node|3split1-43|branch_01l}} ||{{CDD|node|3|node_1|4|node_1}} ||align=left| Shephard (2 1; 1<sub>1</sub>)<sup>4</sup>
|- align=center BGCOLOR="#e0f0ff"
|(1<sub>1</sub> 1<sup>4</sup> 2)<sup>3</sup><BR>{{CDD|node|3|node|3split1-43|branch_10l}}||320 || ||{{CDD|node_1|3|node|3|node}}<BR>{{CDD|node|3split1-43|branch_10l}} ||{{CDD|node|3|node_1|3|node_1}} ||align=left| Shephard (2 1<sub>1</sub>; 1)<sup>4</sup>

|- align=center BGCOLOR="#e0f0ff"
|rowspan=2|<math>\mathbb{C}^4</math>||rowspan=2|[1 1 2]<sup>4</sup><BR>{{CDD|node|3|node|4split1|branch}} ||(1 1 2<sub>2</sub>)<sup>4</sup><BR>{{CDD|node_1|3|node|4split1|branch}}||80||640 edges<BR>1280 triangles ||640 {{CDD|node_1|3|node|3|node}} ||{{CDD|node_1|4split1|branch}}||align=left|
|- align=center BGCOLOR="#e0f0ff"
|(1<sub>1</sub> 1 2)<sup>4</sup><BR>{{CDD|node|3|node|4split1|branch_10lu}}||320|| ||{{CDD|node_1|3|node|3|node}}<BR>{{CDD|node|4split1|branch_10lu}} ||{{CDD|node|3|node_1|3|node_1}} ||align=left|
|}

{| class="wikitable sortable"
|+ Some complex 5-polytopes<ref name=":1"/>
!Space||Group||Order||Coxeter<BR>symbols||Vertices||Edges||Facets||Vertex<BR>figure||Notes

|- align=center BGCOLOR="#ffffe0"
|rowspan=2|<math>\mathbb{C}^5</math>||rowspan=2|[1 1 3<sup>''p''</sup>]<sup>3</sup><BR>{{CDD|node|3|node|3|node|3split1|branch|labelp}}<BR>''p''=2,3,4...||rowspan=2|120''p''<sup>4</sup> ||(1 1 3<sub>3</sub><sup>p</sup>)<sup>3</sup><BR>{{CDD|node_1|3|node|3|node|3split1|branch|labelp}}||5''p'' || ||{{CDD|node_1|3|node|3|node|3|node}} ||{{CDD|node_1|3|node|3split1|branch|labelp}} ||align=left| Shephard (3<sub>3</sub> 1; 1)<sup>''p''</sup><BR>same as &beta;{{supsub|''p''|5}} = {{CDD|node_1|3|node|3|node|3|node|4|pnode}}
|- align=center BGCOLOR="#ffffe0"
|(1<sub>1</sub> 1 3<sup>''p''</sup>)<sup>3</sup><BR>{{CDD|node|3|node|3|node|3split1|branch_10lu|labelp}}||''p''<sup>4</sup> || ||{{CDD|node_1|3|node|3|node|3|node}}<BR>{{CDD|node|3|node|3split1|branch_10lu|labelp}} ||{{CDD|node|3|node|3|node_1|3|node_1}} ||align=left| Shephard (3 1; 1<sub>1</sub>)<sup>''p''</sup><BR>1/''p'' &gamma;{{supsub|''p''|5}}

|- align=center BGCOLOR="#e0f0ff"
|rowspan=2|<math>\mathbb{C}^5</math>||rowspan=2|[2 2 1]<sup>3</sup><BR>{{CDD|node|3split1|branch|3ab|nodes}}||rowspan=2|51840 ||(2 1 2<sub>2</sub>)<sup>3</sup><BR>{{CDD|node|3split1|branch|3ab|nodes_10l}}||80|| ||{{CDD|node|3split1|branch|3a|nodea_1}}<BR>{{CDD|branch|3ab|nodes_10l}} ||{{CDD|node|3split1|branch_10lr|3b|nodeb}} ||align=left| Shephard (2 1; 2<sub>2</sub>)<sup>3</sup>
|- align=center BGCOLOR="#e0f0ff"
|(2 1<sub>1</sub> 2)<sup>3</sup><BR>{{CDD|node_1|3split1|branch|3ab|nodes}}||432|| ||{{CDD|node_1|3split1|branch|3a|nodea}} || {{CDD|branch_11|3ab|nodes}} ||align=left| Shephard (2 1<sub>1</sub>; 2)<sup>3</sup>
|}

{| class="wikitable sortable"
|+ Some complex 6-polytopes<ref name=":1"/>
!Space||Group||Order||Coxeter<BR>symbols||Vertices||Edges||Facets||Vertex<BR>figure||Notes

|- align=center BGCOLOR="#ffffe0"
|rowspan=2|<math>\mathbb{C}^6</math>||rowspan=2|[1 1 4<sup>''p''</sup>]<sup>3</sup><BR>{{CDD|node|3|node|3|node|3|node|3split1|branch|labelp}}<BR>''p''=2,3,4...||rowspan=2|720''p''<sup>5</sup> ||(1 1 4<sub>4</sub><sup>''p''</sup>)<sup>3</sup><BR>{{CDD|node_1|3|node|3|node|3|node|3split1|branch|labelp}}||6''p'' || ||{{CDD|node_1|3|node|3|node|3|node|3|node}} ||{{CDD|node_1|3|node|3|node|3split1|branch|labelp}} ||align=left| Shephard (4<sub>4</sub> 1; 1)<sup>''p''</sup><BR>same as &beta;{{supsub|''p''|6}} = {{CDD|node_1|3|node|3|node|3|node|3|node|4|pnode}}
|- align=center BGCOLOR="#ffffe0"
|(1<sub>1</sub> 1 4<sup>''p''</sup>)<sup>3</sup><BR>{{CDD|node|3|node|3|node|3|node|3split1|branch_10lu|labelp}}||''p''<sup>5</sup> || ||{{CDD|node_1|3|node|3|node|3|node|3|node}}<BR>{{CDD|node|3|node|3|node|3split1|branch_10lu|labelp}} ||{{CDD|node|3|node|3|node_1|3|node_1}} ||align=left| Shephard (4 1; 1<sub>1</sub>)<sup>''p''</sup><BR>1/''p'' &gamma;{{supsub|''p''|6}}

|- align=center BGCOLOR="#e0f0ff"
|rowspan=3|<math>\mathbb{C}^6</math>||rowspan=3|[1 2 3]<sup>3</sup><BR>{{CDD|node|3split1|branch|3ab|nodes|3a|nodea}}||rowspan=3|39191040 ||(2 1 3<sub>3</sub>)<sup>3</sup><BR>{{CDD|node|3split1|branch|3ab|nodes|3a|nodea_1}}||756||||{{CDD|branch|3ab|nodes|3a|nodea_1}}<BR>{{CDD|node|3split1|branch|3a|nodea|3a|nodea_1}} ||{{CDD|node|3split1|branch|3ab|nodes_10l}} ||align=left| Shephard (2 1; 3<sub>3</sub>)<sup>3</sup>
|- align=center BGCOLOR="#e0f0ff"
|(2<sub>2</sub> 1 3)<sup>3</sup><BR>{{CDD|node|3split1|branch|3ab|nodes_01lr|3a|nodea}}||4032|| || {{CDD|node|3split1|branch|3ab|nodes_01l}}<BR>{{CDD|branch|3ab|nodes_01lr|3a|nodea}} ||{{CDD|node|3split1|branch_01lr|3a|nodea|3a|nodea}} ||align=left| Shephard (2<sub>2</sub> 1; 3)<sup>3</sup>
|- align=center BGCOLOR="#e0f0ff"
|(2 1<sub>1</sub> 3)<sup>3</sup><BR>{{CDD|node_1|3split1|branch|3ab|nodes|3a|nodea}}||54432|| ||{{CDD|node_1|3split1|branch|3ab|nodes}}<BR>{{CDD|node_1|3split1|branch|3a|nodea|3a|nodea}} ||{{CDD|branch_11|3ab|nodes|3a|nodea}} ||align=left| Shephard (2 1<sub>1</sub>; 3)<sup>3</sup>
|}

==== Visualizations ====
<gallery>
Complex_polyhedron_almost_regular_42_vertices.png|(1 1 1<sub>1</sub><sup>4</sup>)<sup>4</sup>, {{CDD|node_1|4split1|branch|label4}} has 42 vertices, 168 edges and 112 triangular faces, seen in this 14-gonal projection.
Complex polyhedron almost regular 46 vertices.png|(1<sup>4</sup> 1<sup>4</sup> 1<sub>1</sub>)<sup>(3)</sup>, {{CDD|node_1|anti3split1-44|branch}} has 56 vertices, 168 edges and 84 square faces, seen in this 14-gonal projection.
Complex_4-polytope_almost_regular_80_vertices.png|(1 1 2<sub>2</sub>)<sup>4</sup>, {{CDD|node_1|3|node|4split1|branch}} has 80 vertices, 640 edges, 1280 triangular faces and 640 tetrahedral cells, seen in this 20-gonal projection.<ref>Coxeter, Complex Regular Polytopes, pp.172-173</ref>
</gallery>

== See also ==
* [[Quaternionic polytope]]

== Notes ==
{{reflist}}

== References ==
* [[Harold Scott MacDonald Coxeter|Coxeter, H. S. M.]] and Moser, W. O. J.; ''Generators and Relations for Discrete Groups'' (1965), esp pp 67–80.
* {{citation| last=Coxeter | first=H.S.M. | title=Regular Complex Polytopes | publisher=Cambridge University Press | year=1991 | isbn=0-521-39490-2 | authorlink=Harold Scott MacDonald Coxeter }}
* [[Harold Scott MacDonald Coxeter|Coxeter, H. S. M.]] and Shephard, G.C.; Portraits of a family of complex polytopes, ''Leonardo'' Vol 25, No 3/4, (1992), pp 239–244,
* Shephard, G.C.; ''Regular complex polytopes'', ''Proc. London math. Soc.'' Series 3, Vol 2, (1952), pp 82–97.
* [[G. C. Shephard]], J. A. Todd, ''Finite unitary reflection groups'', Canadian Journal of Mathematics. 6(1954), 274-304, {{doi|10.4153/CJM-1954-028-3}}
* Gustav I. Lehrer and Donald E. Taylor, ''Unitary Reflection Groups'', Cambridge University Press 2009

== Further reading ==
{{Commons category|Complex polytopes}}
* F. Arthur Sherk, Peter McMullen, Anthony C. Thompson and Asia Ivić Weiss, editors: ''Kaleidoscopes — Selected Writings of H.S.M. Coxeter.'', Paper 25, ''Finite groups generated by unitary reflections'', p 415-425, John Wiley, 1995, {{ISBN|0-471-01003-0}}
* {{citation | last1 = McMullen | first1 = Peter | author1-link = Peter McMullen | first2 = Egon | last2 = Schulte | title = Abstract Regular Polytopes | edition = 1st | publisher = [[Cambridge University Press]] | isbn = 0-521-81496-0 | date = December 2002 | url-access = registration | url = https://archive.org/details/abstractregularp0000mcmu }} Chapter 9 ''Unitary Groups and Hermitian Forms'', pp.&nbsp;289–298

[[Category:Polytopes]]
[[Category:Complex analysis]]