In geometry, a uniform k_{21} polytope is a polytope in k + 4 dimensions constructed from the E_{n} Coxeter group, and having only regular polytope facets. The family was named by their Coxeter symbol k_{21} by its bifurcating Coxeter–Dynkin diagram, with a single ring on the end of the k-node sequence.
Thorold Gosset discovered this family as a part of his 1900 enumeration of the regular and semiregular polytopes, and so they are sometimes called Gosset's semiregular figures. Gosset named them by their dimension from 5 to 9, for example the 5-ic semiregular figure.
The sequence as identified by Gosset ends as an infinite tessellation (space-filling honeycomb) in 8-space, called the E8 lattice. (A final form was not discovered by Gosset and is called the E9 lattice: 6_{21}. It is a tessellation of hyperbolic 9-space constructed of ∞ 9-simplex and ∞ 9-orthoplex facets with all vertices at infinity.)
The family starts uniquely as 6-polytopes. The triangular prism and rectified 5-cell are included at the beginning for completeness. The demipenteract also exists in the demihypercube family.
They are also sometimes named by their symmetry group, like E6 polytope, although there are many uniform polytopes within the E_{6} symmetry.
The complete family of Gosset semiregular polytopes are:
Each polytope is constructed from (n − 1)-simplex and (n − 1)-orthoplex facets.
The orthoplex faces are constructed from the Coxeter group D_{n−1} and have a Schläfli symbol of {3^{1,n−1,1}} rather than the regular {3^{n−2},4}. This construction is an implication of two "facet types". Half the facets around each orthoplex ridge are attached to another orthoplex, and the others are attached to a simplex. In contrast, every simplex ridge is attached to an orthoplex.
Each has a vertex figure as the previous form. For example, the rectified 5-cell has a vertex figure as a triangular prism.
n-ic | k_{21} | Graph | Name Coxeter diagram |
Facets | Elements | ||||||||
---|---|---|---|---|---|---|---|---|---|---|---|---|---|
(n − 1)-simplex {3^{n−2}} |
(n − 1)-orthoplex {3^{n−4,1,1}} |
Vertices | Edges | Faces | Cells | 4-faces | 5-faces | 6-faces | 7-faces | ||||
3-ic | −1_{21} | Triangular prism |
2 triangles |
3 squares |
6 | 9 | 5 | ||||||
4-ic | 0_{21} | Rectified 5-cell |
5 tetrahedron |
5 octahedron |
10 | 30 | 30 | 10 | |||||
5-ic | 1_{21} | Demipenteract |
16 5-cell |
10 16-cell |
16 | 80 | 160 | 120 | 26 | ||||
6-ic | 2_{21} | 2_{21} polytope |
72 5-simplexes |
27 5-orthoplexes |
27 | 216 | 720 | 1080 | 648 | 99 | |||
7-ic | 3_{21} | 3_{21} polytope |
576 6-simplexes |
126 6-orthoplexes |
56 | 756 | 4032 | 10080 | 12096 | 6048 | 702 | ||
8-ic | 4_{21} | 4_{21} polytope |
17280 7-simplexes |
2160 7-orthoplexes |
240 | 6720 | 60480 | 241920 | 483840 | 483840 | 207360 | 19440 | |
9-ic | 5_{21} | 5_{21} honeycomb |
∞ 8-simplexes |
∞ 8-orthoplexes |
∞ | ||||||||
10-ic | 6_{21} | 6_{21} honeycomb |
∞ 9-simplexes |
∞ 9-orthoplexes |
∞ |