
Heptellated 8-simplex
    
    Encyclopedia
    | 8-simplex | Heptellated 8-simplex | Heptihexipentisteriruncicantitruncated 8-simplex (Omnitruncated 8-simplex) | 
| Orthogonal projections in A8 Coxeter plane (A7 for omnitruncation) | ||
|---|---|---|
In eight-dimensional geometry
Geometry
Geometry  arose as the field of knowledge dealing with spatial relationships. Geometry was one of the two fields of pre-modern mathematics, the other being the study of numbers ....
, a heptellated 8-simplex is a convex uniform 8-polytope, including 7th-order truncations (heptellation) from the regular 8-simplex.
There are 35 unique heptellations for the 8-simplex, including all permutations of truncations, cantellations, runcinations, sterications, and pentellations. The simplest heptellated 8-simplex is also called an expanded 8-simplex, with only the first and last nodes ringed, is constructed by an expansion
Expansion (geometry)
In geometry, expansion is a polytope operation where facets are separated and moved radially apart, and new facets are formed at separated elements...
operation applied to the regular 8-simplex. The highest form, the heptihexipentisteriruncicantitruncated 8-simplex is more simply called a omnitruncated 8-simplex with all of the nodes ringed.
Heptellated 8-simplex
| Heptellated 8-simplex | |
|---|---|
| Type | uniform polyzetton | 
| Schläfli symbol | t0,7{3,3,3,3,3,3,3} | 
| Coxeter-Dynkin diagram Coxeter-Dynkin diagram In geometry, a Coxeter–Dynkin diagram  is a graph with numerically labeled edges  representing the spatial relations between a collection of mirrors... s | |
| 7-faces | |
| 6-faces | |
| 5-faces | |
| 4-faces | |
| Cells | |
| Faces | |
| Edges | 504 | 
| Vertices | 72 | 
| Vertex figure Vertex figure In geometry a vertex figure is, broadly speaking, the figure exposed when a corner of a polyhedron or polytope is sliced off.-Definitions - theme and variations:... | 6-simplex antiprism | 
| Coxeter group Coxeter group In mathematics, a Coxeter group, named after H.S.M. Coxeter, is an abstract group that admits a  formal description in terms of mirror symmetries.   Indeed, the finite Coxeter groups are precisely the finite Euclidean reflection groups; the symmetry groups of regular polyhedra are an example... | A8, | 
| Properties | convex Convex polytope A convex polytope is a special case of a polytope, having the additional property that it is also a convex set of points in the n-dimensional space Rn... | 
Coordinates
The vertices of the heptellated 8-simplex can be most simply positioned in 8-space as permutations of (0,1,1,1,1,1,1,1,2). This construction is based on facets of the heptellated 9-orthoplex.Root vectors
Its 72 vertices represent the root vectors of the simple Lie groupSimple Lie group
In group theory, a simple Lie group is a connected non-abelian Lie group G which does not have nontrivial connected normal subgroups.A simple Lie algebra is a non-abelian Lie algebra whose only ideals are 0 and itself...
A8.
Omnitruncated 8-simplex
| Omnitruncated 8-simplex | |
|---|---|
| Type | uniform polyzetton | 
| Schläfli symbol | t0,1,2,3,4,5,6,7{37} | 
| Coxeter-Dynkin diagram Coxeter-Dynkin diagram In geometry, a Coxeter–Dynkin diagram  is a graph with numerically labeled edges  representing the spatial relations between a collection of mirrors... s | |
| 7-faces | |
| 6-faces | |
| 5-faces | |
| 4-faces | |
| Cells | |
| Faces | |
| Edges | 1451520 | 
| Vertices | 362880 | 
| Vertex figure Vertex figure In geometry a vertex figure is, broadly speaking, the figure exposed when a corner of a polyhedron or polytope is sliced off.-Definitions - theme and variations:... | irr. 7-simplex | 
| Coxeter group Coxeter group In mathematics, a Coxeter group, named after H.S.M. Coxeter, is an abstract group that admits a  formal description in terms of mirror symmetries.   Indeed, the finite Coxeter groups are precisely the finite Euclidean reflection groups; the symmetry groups of regular polyhedra are an example... | A8, | 
| Properties | convex Convex polytope A convex polytope is a special case of a polytope, having the additional property that it is also a convex set of points in the n-dimensional space Rn... | 
The symmetry order of an omnitruncated 9-simplex is 725760. The symmetry of a family of a uniform polytopes is equal to the number of vertices of the omnitruncation, being 362880 (9 factorial
Factorial
In mathematics, the factorial of a non-negative integer n, denoted by n!, is the product of all positive integers less than or equal to n...
) in the case of the omnitruncated 8-simplex; but when the CD symbol is palindromic, the symmetry order is doubled, 725760 here, because the element corresponding to any element of the underlying 8-simplex can be exchanged with one of those corresponding to an element of its dual.
Alternate names
- Heptihexipentisteriruncicantitruncated 8-simplex
- Great exated enneazetton (goxeb) (Jonathan Bowers)
Coordinates
The Cartesian coordinates of the vertices of the omnitruncated 8-simplex can be most simply positioned in 9-space as permutations of (0,1,2,3,4,5,6,7,8). This construction is based on facets of the heptihexipentisteriruncicantitruncated 9-orthoplex, t0,1,2,3,4,5,6,7{37,4}Permutohedron and related tessellation
The omnitruncated 8-simplex is the permutohedronPermutohedron
In mathematics, the permutohedron of order n  is an -dimensional polytope embedded in an n-dimensional space, the vertices of which are formed by permuting the coordinates of the vector .-History:According to , permutohedra were first studied by...
of order 9. The omnitruncated 8-simplex is a zonotope, the Minkowski sum of nine line segments parallel to the nine lines through the origin and the nine vertices of the 8-simplex.
Like all uniform omnitruncated n-simplices, the omnitruncated 8-simplex can tessellate space by itself, in this case 8-dimensional space with three facets around each ridge
Ridge (geometry)
In geometry, a ridge is an -dimensional element of an n-dimensional polytope. It is also sometimes called a subfacet for having one lower dimension than a facet.By dimension, this corresponds to:*a vertex of a polygon;...
. It has Coxeter-Dynkin diagram
Coxeter-Dynkin diagram
In geometry, a Coxeter–Dynkin diagram  is a graph with numerically labeled edges  representing the spatial relations between a collection of mirrors...
of .


