Uniform 2 k1 polytopeDISPLAYTITLE:Uniform 2 k1 polytope In geometry, 2k1 polytope is a uniform polytope in n dimensions (n = k+4) constructed from the En Coxeter group. The family was named by their Coxeter symbol as 2k1 by its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of the 2-node sequence. It can be named by an extended Schläfli symbol {3,3,3k,1}. The family starts uniquely as 6-polytopes, but can be extended backwards to include the 5-orthoplex (pentacross) in 5-dimensions, and the 4-simplex (5-cell) in 4-dimensions.
5 21 honeycombDISPLAYTITLE:5 21 honeycomb In geometry, the 521 honeycomb is a uniform tessellation of 8-dimensional Euclidean space. The symbol 521 is from Coxeter, named for the length of the 3 branches of its Coxeter-Dynkin diagram. By putting spheres at its vertices one obtains the densest-possible packing of spheres in 8 dimensions. This was proven by Maryna Viazovska in 2016 using the theory of modular forms. Viazovska was awarded the Fields Medal for this work in 2022.
Rectified 6-simplexesIn six-dimensional geometry, a rectified 6-simplex is a convex uniform 6-polytope, being a rectification of the regular 6-simplex. There are three unique degrees of rectifications, including the zeroth, the 6-simplex itself. Vertices of the rectified 6-simplex are located at the edge-centers of the 6-simplex. Vertices of the birectified 6-simplex are located in the triangular face centers of the 6-simplex. E. L. Elte identified it in 1912 as a semiregular polytope, labeling it as S_1.
2 41 polytopeDISPLAYTITLE:2 41 polytope In 8-dimensional geometry, the 241 is a uniform 8-polytope, constructed within the symmetry of the E8 group. Its Coxeter symbol is 241, describing its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of the 2-node sequences. The rectified 241 is constructed by points at the mid-edges of the 241. The birectified 241 is constructed by points at the triangle face centers of the 241, and is the same as the rectified 142.
Gosset–Elte figuresIn geometry, the Gosset–Elte figures, named by Coxeter after Thorold Gosset and E. L. Elte, are a group of uniform polytopes which are not regular, generated by a Wythoff construction with mirrors all related by order-2 and order-3 dihedral angles. They can be seen as one-end-ringed Coxeter–Dynkin diagrams. The Coxeter symbol for these figures has the form ki,j, where each letter represents a length of order-3 branches on a Coxeter–Dynkin diagram with a single ring on the end node of a k length sequence of branches.
1 52 honeycombDISPLAYTITLE:1 52 honeycomb In geometry, the 152 honeycomb is a uniform tessellation of 8-dimensional Euclidean space. It contains 142 and 151 facets, in a birectified 8-simplex vertex figure. It is the final figure in the 1k2 polytope family. It is created by a Wythoff construction upon a set of 9 hyperplane mirrors in 8-dimensional space. The facet information can be extracted from its Coxeter-Dynkin diagram. Removing the node on the end of the 2-length branch leaves the 8-demicube, 151.
2 31 polytopeDISPLAYTITLE:2 31 polytope In 7-dimensional geometry, 231 is a uniform polytope, constructed from the E7 group. Its Coxeter symbol is 231, describing its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of the 2-node branch. The rectified 231 is constructed by points at the mid-edges of the 231. These polytopes are part of a family of 127 (or 27−1) convex uniform polytopes in 7-dimensions, made of uniform polytope facets and vertex figures, defined by all permutations of rings in this Coxeter-Dynkin diagram: .
Coxeter groupIn mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors). Indeed, the finite Coxeter groups are precisely the finite Euclidean reflection groups; the symmetry groups of regular polyhedra are an example. However, not all Coxeter groups are finite, and not all can be described in terms of symmetries and Euclidean reflections. Coxeter groups were introduced in 1934 as abstractions of reflection groups , and finite Coxeter groups were classified in 1935 .
