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.
Semiregular polytopeIn geometry, by Thorold Gosset's definition a semiregular polytope is usually taken to be a polytope that is vertex-transitive and has all its facets being regular polytopes. E.L. Elte compiled a longer list in 1912 as The Semiregular Polytopes of the Hyperspaces which included a wider definition. In three-dimensional space and below, the terms semiregular polytope and uniform polytope have identical meanings, because all uniform polygons must be regular.
2 21 polytopeDISPLAYTITLE:2 21 polytope In 6-dimensional geometry, the 221 polytope is a uniform 6-polytope, constructed within the symmetry of the E6 group. It was discovered by Thorold Gosset, published in his 1900 paper. He called it an 6-ic semi-regular figure. It is also called the Schläfli polytope. Its Coxeter symbol is 221, describing its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of one of the 2-node sequences. He also studied its connection with the 27 lines on the cubic surface, which are naturally in correspondence with the vertices of 221.
3 21 polytopeDISPLAYTITLE:3 21 polytope In 7-dimensional geometry, the 321 polytope is a uniform 7-polytope, constructed within the symmetry of the E7 group. It was discovered by Thorold Gosset, published in his 1900 paper. He called it an 7-ic semi-regular figure. Its Coxeter symbol is 321, describing its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of one of the 3-node sequences. The rectified 321 is constructed by points at the mid-edges of the 321. The birectified 321 is constructed by points at the triangle face centers of the 321.
4 21 polytopeDISPLAYTITLE:4 21 polytope In 8-dimensional geometry, the 421 is a semiregular uniform 8-polytope, constructed within the symmetry of the E8 group. It was discovered by Thorold Gosset, published in his 1900 paper. He called it an 8-ic semi-regular figure. Its Coxeter symbol is 421, describing its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of the 4-node sequences, . The rectified 421 is constructed by points at the mid-edges of the 421. The birectified 421 is constructed by points at the triangle face centers of the 421.
5-demicubeIn five-dimensional geometry, a demipenteract or 5-demicube is a semiregular 5-polytope, constructed from a 5-hypercube (penteract) with alternated vertices removed. It was discovered by Thorold Gosset. Since it was the only semiregular 5-polytope (made of more than one type of regular facets), he called it a 5-ic semi-regular. E. L. Elte identified it in 1912 as a semiregular polytope, labeling it as HM5 for a 5-dimensional half measure polytope.
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.
Uniform 1 k2 polytopeDISPLAYTITLE:Uniform 1 k2 polytope In geometry, 1k2 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 1k2 by its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of the 1-node sequence. It can be named by an extended Schläfli symbol {3,3k,2}. The family starts uniquely as 6-polytopes, but can be extended backwards to include the 5-demicube (demipenteract) in 5-dimensions, and the 4-simplex (5-cell) in 4-dimensions.
E9 honeycombDISPLAYTITLE:E9 honeycomb In geometry, an E9 honeycomb is a tessellation of uniform polytopes in hyperbolic 9-dimensional space. , also (E10) is a paracompact hyperbolic group, so either facets or vertex figures will not be bounded. E10 is last of the series of Coxeter groups with a bifurcated Coxeter-Dynkin diagram of lengths 6,2,1. There are 1023 unique E10 honeycombs by all combinations of its Coxeter-Dynkin diagram.
Rectified 5-cellIn four-dimensional geometry, the rectified 5-cell is a uniform 4-polytope composed of 5 regular tetrahedral and 5 regular octahedral cells. Each edge has one tetrahedron and two octahedra. Each vertex has two tetrahedra and three octahedra. In total it has 30 triangle faces, 30 edges, and 10 vertices. Each vertex is surrounded by 3 octahedra and 2 tetrahedra; the vertex figure is a triangular prism. Topologically, under its highest symmetry, [3,3,3], there is only one geometrical form, containing 5 regular tetrahedra and 5 rectified tetrahedra (which is geometrically the same as a regular octahedron).
