Uniform 9-polytopeIn nine-dimensional geometry, a nine-dimensional polytope or 9-polytope is a polytope contained by 8-polytope facets. Each 7-polytope ridge being shared by exactly two 8-polytope facets. A uniform 9-polytope is one which is vertex-transitive, and constructed from uniform 8-polytope facets. Regular 9-polytopes can be represented by the Schläfli symbol {p,q,r,s,t,u,v,w}, with w {p,q,r,s,t,u,v} 8-polytope facets around each peak.
Rectified 8-cubesIn eight-dimensional geometry, a rectified 8-cube is a convex uniform 8-polytope, being a rectification of the regular 8-cube. There are unique 8 degrees of rectifications, the zeroth being the 8-cube, and the 7th and last being the 8-orthoplex. Vertices of the rectified 8-cube are located at the edge-centers of the 8-cube. Vertices of the birectified 8-cube are located in the square face centers of the 8-cube. Vertices of the trirectified 8-cube are located in the 7-cube cell centers of the 8-cube. rectif
Uniform 7-polytopeIn seven-dimensional geometry, a 7-polytope is a polytope contained by 6-polytope facets. Each 5-polytope ridge being shared by exactly two 6-polytope facets. A uniform 7-polytope is one whose symmetry group is transitive on vertices and whose facets are uniform 6-polytopes. Regular 7-polytopes are represented by the Schläfli symbol {p,q,r,s,t,u} with u {p,q,r,s,t} 6-polytopes facets around each 4-face. There are exactly three such convex regular 7-polytopes: {3,3,3,3,3,3} - 7-simplex {4,3,3,3,3,3} - 7-cube {3,3,3,3,3,4} - 7-orthoplex There are no nonconvex regular 7-polytopes.
Hyperoctaèdrethumb|Diagramme de Schlegel de l'hexadécachore, hyperoctaèdre en dimension 4. Un hyperoctaèdre est, en géométrie, un polytope régulier convexe, généralisation de l'octaèdre en dimension quelconque. Un hyperoctaèdre de dimension n est également parfois nommé polytope croisé, n-orthoplexe ou cocube. Un hyperoctaèdre est l'enveloppe convexe des points formés par toutes les permutations des coordonnées (±1, 0, 0, ..., 0). En dimension 1, l'hyperoctaèdre est simplement le segment de droite [-1, +1] ; en dimension 2, il s'agit d'un carré de sommets {(1, 0), (-1, 0), (0, 1), (0, -1)}.
HypercubeUn hypercube est, en géométrie, un analogue n-dimensionnel d'un carré (n = 2) et d'un cube (n = 3). C'est une figure fermée, compacte, convexe constituée de groupes de segments parallèles opposés alignés dans chacune des dimensions de l'espace, à angle droit les uns par rapport aux autres. Un hypercube n-dimensionnel est aussi appelé un n-cube. Le terme « polytope de mesure » a aussi été utilisé (notamment par Coxeter), mais il est tombé en désuétude. Enfin, le cas particulier du 4-cube est souvent désigné par le terme de tesseract.
Groupe de CoxeterUn groupe de Coxeter est un groupe engendré par des réflexions sur un espace. Les groupes de Coxeter se retrouvent dans de nombreux domaines des mathématiques et de la géométrie. En particulier, les groupes diédraux, ou les groupes d'isométries de polyèdres réguliers, sont des groupes de Coxeter. Les groupes de Weyl sont d'autres exemples de groupes de Coxeter. Ces groupes sont nommés d'après le mathématicien H.S.M. Coxeter. Un groupe de Coxeter est un groupe W ayant une présentation du type: où est à valeurs dans , est symétrique () et vérifie , si .