In 7-dimensional geometry, the 3<sub>21</sub> polytope is a uniform 7-polytope, constructed within the symmetry of the E<sub>7</sub> group. It was discovered by Thorold Gosset, published in his 1900 paper. He called it a 7-ic semi-regular figure.
Its Coxeter symbol is 3<sub>21</sub>, describing its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of one of the 3-node sequences.
The rectified 3<sub>21</sub> is constructed by points at the mid-edges of the 3<sub>21</sub>. The birectified 3<sub>21</sub> is constructed by points at the triangle face centers of the 3<sub>21</sub>. The trirectified 3<sub>21</sub> is constructed by points at the tetrahedral centers of the 3<sub>21</sub>, and is the same as the rectified 1<sub>32</sub>.
These polytopes are part of a family of 127 (2<sup>7</sup>âÂÂ1) convex uniform polytopes in 7 dimensions, made of uniform 6-polytope facets and vertex figures, defined by all permutations of rings in this Coxeter-Dynkin diagram: .
In 7-dimensional geometry, the 3<sub>21</sub> polytope is a uniform polytope. It has 56 vertices, and 702 facets: 126 3<sub>11</sub> and 576 6-simplexes.
For visualization this 7-dimensional polytope is often displayed in a special skewed orthographic projection direction that fits its 56 vertices within an 18-gonal regular polygon (called a Petrie polygon). Its 756 edges are drawn between 3 rings of 18 vertices, and 2 vertices in the center. Specific higher elements (faces, cells, etc.) can also be extracted and drawn on this projection.
The 1-skeleton of the 3<sub>21</sub> polytope is the Gosset graph.
This polytope, along with the 7-simplex, can tessellate 7-dimensional space, represented by 3<sub>31</sub> and Coxeter-Dynkin diagram: .
The 56 vertices can be most simply represented in 8-dimensional space, obtained by the 28 permutations of the coordinates and their opposite:
Its construction is based on the E7 group. Coxeter named it as 3<sub>21</sub> by its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of the 3-node sequence.
The facet information can be extracted from its Coxeter-Dynkin diagram, .
Removing the node on the short branch leaves the 6-simplex, .
Removing the node on the end of the 2-length branch leaves the 6-orthoplex in its alternated form: 3<sub>11</sub>, .
Every simplex facet touches a 6-orthoplex facet, while alternate facets of the orthoplex touch either a simplex or another orthoplex.
The vertex figure is determined by removing the ringed node and ringing the neighboring node. This makes 2<sub>21</sub> polytope, .
Seen in a configuration matrix, the element counts can be derived by mirror removal and ratios of Coxeter group orders.
The 3<sub>21</sub> is fifth in a dimensional series of semiregular polytopes. Each progressive uniform polytope is constructed vertex figure of the previous polytope. Thorold Gosset identified this series in 1900 as containing all regular polytope facets, containing all simplexes and orthoplexes.
It is in a dimensional series of uniform polytopes and honeycombs, expressed by Coxeter as 3<sub>k1</sub> series. (A degenerate 4-dimensional case exists as 3-sphere tiling, a tetrahedral hosohedron.)
Its construction is based on the E7 group. Coxeter named it as 3<sub>21</sub> by its bifurcating Coxeter-Dynkin diagram, with a single node on the end of the 3-node sequence.
The facet information can be extracted from its Coxeter-Dynkin diagram, .
Removing the node on the short branch leaves the 6-simplex, .
Removing the node on the end of the 2-length branch leaves the rectified 6-orthoplex in its alternated form: t<sub>1</sub>3<sub>11</sub>, .
Removing the node on the end of the 3-length branch leaves the 2<sub>21</sub>, .
The vertex figure is determined by removing the ringed node and ringing the neighboring node. This makes 5-demicube prism, .
Its construction is based on the E7 group. Coxeter named it as 3<sub>21</sub> by its bifurcating Coxeter-Dynkin diagram, with a single node on the end of the 3-node sequence.
The facet information can be extracted from its Coxeter-Dynkin diagram, .
Removing the node on the short branch leaves the birectified 6-simplex, .
Removing the node on the end of the 2-length branch leaves the birectified 6-orthoplex in its alternated form: t<sub>2</sub>(3<sub>11</sub>), .
Removing the node on the end of the 3-length branch leaves the rectified 2<sub>21</sub> polytope in its alternated form: t<sub>1</sub>(2<sub>21</sub>), .
The vertex figure is determined by removing the ringed node and ringing the neighboring node. This makes rectified 5-cell-triangle duoprism, .