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.
Root systemIn mathematics, a root system is a configuration of vectors in a Euclidean space satisfying certain geometrical properties. The concept is fundamental in the theory of Lie groups and Lie algebras, especially the classification and representation theory of semisimple Lie algebras. Since Lie groups (and some analogues such as algebraic groups) and Lie algebras have become important in many parts of mathematics during the twentieth century, the apparently special nature of root systems belies the number of areas in which they are applied.
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 .
1 32 polytopeDISPLAYTITLE:1 32 polytope In 7-dimensional geometry, 132 is a uniform polytope, constructed from the E7 group. Its Coxeter symbol is 132, describing its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of one of the 1-node sequences. The rectified 132 is constructed by points at the mid-edges of the 132. These polytopes are part of a family of 127 (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: .
1 42 polytopeDISPLAYTITLE:1 42 polytope In 8-dimensional geometry, the 142 is a uniform 8-polytope, constructed within the symmetry of the E8 group. Its Coxeter symbol is 142, describing its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of the 1-node sequences. The rectified 142 is constructed by points at the mid-edges of the 142 and is the same as the birectified 241, and the quadrirectified 421.
Uniform 5-polytopeIn geometry, a uniform 5-polytope is a five-dimensional uniform polytope. By definition, a uniform 5-polytope is vertex-transitive and constructed from uniform 4-polytope facets. The complete set of convex uniform 5-polytopes has not been determined, but many can be made as Wythoff constructions from a small set of symmetry groups. These construction operations are represented by the permutations of rings of the Coxeter diagrams.
