1.
Hemicube (geometry)
–
In abstract geometry, a hemicube is an abstract regular polyhedron, containing half the faces of a cube. It has three faces, six edges, and four vertices. From the point of view of theory the skeleton is a tetrahedral graph. The hemicube should not be confused with the demicube – the hemicube is a projective polyhedron, while the demicube is an ordinary polyhedron. While they both have half the vertices of a cube, the hemicube is a quotient of the cube, the hemicube is the Petrie dual to the regular tetrahedron, with the four vertices, six edges of the tetrahedron, and three Petrie polygon quadrilateral faces. The faces can be seen as red, green, and blue edge colorings in the graph, hemi-octahedron hemi-dodecahedron hemi-icosahedron McMullen, Peter, Schulte, Egon. Projective Regular Polytopes, Abstract Regular Polytopes, Cambridge University Press, pp. 162–165, ISBN 0-521-81496-0 The hemicube
2.
Alternation (geometry)
–
In geometry, an alternation or partial truncation, is an operation on a polygon, polyhedron, tiling, or higher dimensional polytope that removes alternate vertices. Coxeter labels an alternation by a prefixed by an h, standing for hemi or half, because alternation reduce all polygon faces to half as many sides, it can only be applied for polytopes with all even-sided faces. An alternated square face becomes a digon, and being degenerate, is reduced to a single edge. More generally any vertex-uniform polyhedron or tiling with a configuration consisting of all even-numbered elements can be alternated. For example, the alternation a vertex figure with 2a. 2b. 2c is a.3. b.3. c.3 where the three is the number of elements in this vertex figure. A special case is square faces whose order divide in half into degenerate digons, a snub can be seen as an alternation of a truncated regular or truncated quasiregular polyhedron. In general a polyhedron can be snubbed if its truncation has only even-sided faces, all truncated rectified polyhedra can be snubbed, not just from regular polyhedra. The snub square antiprism is an example of a general snub and this alternation operation applies to higher-dimensional polytopes and honeycombs as well, but in general most of the results of this operation will not be uniform. The voids created by the vertices will not in general create uniform facets. Examples, Honeycombs An alternated cubic honeycomb is the tetrahedral-octahedral honeycomb, an alternated hexagonal prismatic honeycomb is the gyrated alternated cubic honeycomb. 4-polytope An alternated truncated 24-cell is the snub 24-cell, 4-honeycombs, An alternated truncated 24-cell honeycomb is the snub 24-cell honeycomb. A hypercube can always be alternated into a uniform demihypercube, cube → Tetrahedron → Tesseract → 16-cell → Penteract → demipenteract Hexeract → demihexeract. Coxeter also used the operator a, which contains both halves, so retains the original symmetry, for even-sided regular polyhedra, a represents a compound polyhedron with two opposite copies of h. For odd-sided, greater than 3, regular polyhedra a, becomes a star polyhedron, Norman Johnson extended the use of the altered operator a, b for blended, and c for converted, as, and respectively. The compound polyhedron, stellated octahedron can be represented by a, the star-polyhedron, small ditrigonal icosidodecahedron, can be represented by a, and. Here all the pentagons have been alternated into pentagrams, and triangles have been inserted to take up the free edges. A similar operation can truncate alternate vertices, rather than just removing them, below is a set of polyhedra that can be generated from the Catalan solids. These have two types of vertices which can be alternately truncated, truncating the higher order vertices and both vertex types produce these forms, Conway polyhedral notation Wythoff construction Coxeter, H. S. M
3.
Tetrahedron
–
In geometry, a tetrahedron, also known as a triangular pyramid, is a polyhedron composed of four triangular faces, six straight edges, and four vertex corners. The tetrahedron is the simplest of all the ordinary convex polyhedra, the tetrahedron is the three-dimensional case of the more general concept of a Euclidean simplex. The tetrahedron is one kind of pyramid, which is a polyhedron with a polygon base. In the case of a tetrahedron the base is a triangle, like all convex polyhedra, a tetrahedron can be folded from a single sheet of paper. For any tetrahedron there exists a sphere on which all four vertices lie, a regular tetrahedron is one in which all four faces are equilateral triangles. It is one of the five regular Platonic solids, which have known since antiquity. In a regular tetrahedron, not only are all its faces the same size and shape, regular tetrahedra alone do not tessellate, but if alternated with regular octahedra they form the alternated cubic honeycomb, which is a tessellation. The regular tetrahedron is self-dual, which means that its dual is another regular tetrahedron, the compound figure comprising two such dual tetrahedra form a stellated octahedron or stella octangula. This form has Coxeter diagram and Schläfli symbol h, the tetrahedron in this case has edge length 2√2. Inverting these coordinates generates the dual tetrahedron, and the together form the stellated octahedron. In other words, if C is the centroid of the base and this follows from the fact that the medians of a triangle intersect at its centroid, and this point divides each of them in two segments, one of which is twice as long as the other. The vertices of a cube can be grouped into two groups of four, each forming a regular tetrahedron, the symmetries of a regular tetrahedron correspond to half of those of a cube, those that map the tetrahedra to themselves, and not to each other. The tetrahedron is the only Platonic solid that is not mapped to itself by point inversion, the regular tetrahedron has 24 isometries, forming the symmetry group Td, isomorphic to the symmetric group, S4. The first corresponds to the A2 Coxeter plane, the two skew perpendicular opposite edges of a regular tetrahedron define a set of parallel planes. When one of these intersects the tetrahedron the resulting cross section is a rectangle. When the intersecting plane is one of the edges the rectangle is long. When halfway between the two edges the intersection is a square, the aspect ratio of the rectangle reverses as you pass this halfway point. For the midpoint square intersection the resulting boundary line traverses every face of the tetrahedron similarly, if the tetrahedron is bisected on this plane, both halves become wedges
4.
Geometry
–
Geometry is a branch of mathematics concerned with questions of shape, size, relative position of figures, and the properties of space. A mathematician who works in the field of geometry is called a geometer, Geometry arose independently in a number of early cultures as a practical way for dealing with lengths, areas, and volumes. Geometry began to see elements of mathematical science emerging in the West as early as the 6th century BC. By the 3rd century BC, geometry was put into a form by Euclid, whose treatment, Euclids Elements. Geometry arose independently in India, with texts providing rules for geometric constructions appearing as early as the 3rd century BC, islamic scientists preserved Greek ideas and expanded on them during the Middle Ages. By the early 17th century, geometry had been put on a solid footing by mathematicians such as René Descartes. Since then, and into modern times, geometry has expanded into non-Euclidean geometry and manifolds, while geometry has evolved significantly throughout the years, there are some general concepts that are more or less fundamental to geometry. These include the concepts of points, lines, planes, surfaces, angles, contemporary geometry has many subfields, Euclidean geometry is geometry in its classical sense. The mandatory educational curriculum of the majority of nations includes the study of points, lines, planes, angles, triangles, congruence, similarity, solid figures, circles, Euclidean geometry also has applications in computer science, crystallography, and various branches of modern mathematics. Differential geometry uses techniques of calculus and linear algebra to problems in geometry. It has applications in physics, including in general relativity, topology is the field concerned with the properties of geometric objects that are unchanged by continuous mappings. In practice, this often means dealing with large-scale properties of spaces, convex geometry investigates convex shapes in the Euclidean space and its more abstract analogues, often using techniques of real analysis. It has close connections to convex analysis, optimization and functional analysis, algebraic geometry studies geometry through the use of multivariate polynomials and other algebraic techniques. It has applications in areas, including cryptography and string theory. Discrete geometry is concerned mainly with questions of relative position of simple objects, such as points. It shares many methods and principles with combinatorics, Geometry has applications to many fields, including art, architecture, physics, as well as to other branches of mathematics. The earliest recorded beginnings of geometry can be traced to ancient Mesopotamia, the earliest known texts on geometry are the Egyptian Rhind Papyrus and Moscow Papyrus, the Babylonian clay tablets such as Plimpton 322. For example, the Moscow Papyrus gives a formula for calculating the volume of a truncated pyramid, later clay tablets demonstrate that Babylonian astronomers implemented trapezoid procedures for computing Jupiters position and motion within time-velocity space
5.
Polytopes
–
In elementary geometry, a polytope is a geometric object with flat sides, and may exist in any general number of dimensions n as an n-dimensional polytope or n-polytope. For example, a polygon is a 2-polytope and a three-dimensional polyhedron is a 3-polytope. Polytopes in more than three dimensions were first discovered by Ludwig Schläfli, the German term polytop was coined by the mathematician Reinhold Hoppe, and was introduced to English mathematicians as polytope by Alicia Boole Stott. The term polytope is nowadays a broad term that covers a class of objects. Many of these definitions are not equivalent, resulting in different sets of objects being called polytopes and they represent different approaches to generalizing the convex polytopes to include other objects with similar properties. In this approach, a polytope may be regarded as a tessellation or decomposition of some given manifold, an example of this approach defines a polytope as a set of points that admits a simplicial decomposition. However this definition does not allow star polytopes with interior structures, the discovery of star polyhedra and other unusual constructions led to the idea of a polyhedron as a bounding surface, ignoring its interior. A polyhedron is understood as a surface whose faces are polygons, a 4-polytope as a hypersurface whose facets are polyhedra and this approach is used for example in the theory of abstract polytopes. In certain fields of mathematics, the terms polytope and polyhedron are used in a different sense and this terminology is typically confined to polytopes and polyhedra that are convex. A polytope comprises elements of different dimensionality such as vertices, edges, faces, cells, terminology for these is not fully consistent across different authors. For example, some authors use face to refer to an -dimensional element while others use face to denote a 2-face specifically, authors may use j-face or j-facet to indicate an element of j dimensions. Some use edge to refer to a ridge, while H. S. M. Coxeter uses cell to denote an -dimensional element, the terms adopted in this article are given in the table below, An n-dimensional polytope is bounded by a number of -dimensional facets. These facets are themselves polytopes, whose facets are -dimensional ridges of the original polytope, Every ridge arises as the intersection of two facets. Ridges are once again polytopes whose facets give rise to -dimensional boundaries of the original polytope and these bounding sub-polytopes may be referred to as faces, or specifically j-dimensional faces or j-faces. A 0-dimensional face is called a vertex, and consists of a single point, a 1-dimensional face is called an edge, and consists of a line segment. A 2-dimensional face consists of a polygon, and a 3-dimensional face, sometimes called a cell, the convex polytopes are the simplest kind of polytopes, and form the basis for several different generalizations of the concept of polytopes. A convex polytope is defined as the intersection of a set of half-spaces. This definition allows a polytope to be neither bounded nor finite, Polytopes are defined in this way, e. g. in linear programming
6.
Hypercube
–
In geometry, a hypercube is an n-dimensional analogue of a square and a cube. A unit hypercubes longest diagonal in n-dimensions is equal to n, an n-dimensional hypercube is also called an n-cube or an n-dimensional cube. The term measure polytope is also used, notably in the work of H. S. M. Coxeter, the hypercube is the special case of a hyperrectangle. A unit hypercube is a hypercube whose side has one unit. Often, the hypercube whose corners are the 2n points in Rn with coordinates equal to 0 or 1 is called the unit hypercube, a hypercube can be defined by increasing the numbers of dimensions of a shape,0 – A point is a hypercube of dimension zero. 1 – If one moves this point one unit length, it will sweep out a line segment,2 – If one moves this line segment its length in a perpendicular direction from itself, it sweeps out a 2-dimensional square. 3 – If one moves the square one unit length in the perpendicular to the plane it lies on. 4 – If one moves the cube one unit length into the fourth dimension and this can be generalized to any number of dimensions. The 1-skeleton of a hypercube is a hypercube graph, a unit hypercube of n dimensions is the convex hull of the points given by all sign permutations of the Cartesian coordinates. It has a length of 1 and an n-dimensional volume of 1. An n-dimensional hypercube is also regarded as the convex hull of all sign permutations of the coordinates. This form is chosen due to ease of writing out the coordinates. Its edge length is 2, and its volume is 2n. Every n-cube of n >0 is composed of elements, or n-cubes of a dimension, on the -dimensional surface on the parent hypercube. A side is any element of -dimension of the parent hypercube, a hypercube of dimension n has 2n sides. The number of vertices of a hypercube is 2 n, the number of m-dimensional hypercubes on the boundary of an n-cube is E m, n =2 n − m, where = n. m. and n. denotes the factorial of n. For example, the boundary of a 4-cube contains 8 cubes,24 squares,32 lines and 16 vertices and this identity can be proved by combinatorial arguments, each of the 2 n vertices defines a vertex in a m-dimensional boundary. There are ways of choosing which lines that defines the subspace that the boundary is in, but, each side is counted 2 m times since it has that many vertices, we need to divide with this number
7.
16-cell
–
In four-dimensional geometry, a 16-cell is a regular convex 4-polytope. It is one of the six regular convex 4-polytopes first described by the Swiss mathematician Ludwig Schläfli in the mid-19th century and it is also called C16, hexadecachoron, or hexdecahedroid. It is a part of an family of polytopes, called cross-polytopes or orthoplexes. The dual polytope is the tesseract, conways name for a cross-polytope is orthoplex, for orthant complex. The 16-cell has 16 cells as the tesseract has 16 vertices and it is bounded by 16 cells, all of which are regular tetrahedra. It has 32 triangular faces,24 edges, and 8 vertices, the 24 edges bound 6 squares lying in the 6 coordinate planes. The eight vertices of the 16-cell are, all vertices are connected by edges except opposite pairs. The Schläfli symbol of the 16-cell is and its vertex figure is a regular octahedron. There are 8 tetrahedra,12 triangles, and 6 edges meeting at every vertex and its edge figure is a square. There are 4 tetrahedra and 4 triangles meeting at every edge, the 16-cell can be decomposed into two similar disjoint circular chains of eight tetrahedrons each, four edges long. Each chain, when stretched out straight, forms a Boerdijk–Coxeter helix and this decomposition can be seen in a 4-4 duoantiprism construction of the 16-cell, or, Schläfli symbol ⨂ or ss, symmetry, order 64. The 16-cell can be dissected into two octahedral pyramids, which share a new octahedron base through the 16-cell center, one can tessellate 4-dimensional Euclidean space by regular 16-cells. This is called the 16-cell honeycomb and has Schläfli symbol, hence, the 16-cell has a dihedral angle of 120°. The dual tessellation, 24-cell honeycomb, is made of by regular 24-cells, together with the tesseractic honeycomb, these are the only three regular tessellations of R4. Each 16-cell has 16 neighbors with which it shares a tetrahedron,24 neighbors with which it only an edge. Twenty-four 16-cells meet at any vertex in this tessellation. A 16-cell can constructed from two Boerdijk–Coxeter helixes of eight chained tetrahedra, each folded into a 4-dimensional ring, the 16 triangle faces can be seen in a 2D net within a triangular tiling, with 6 triangles around every vertex. The purple edges represent the Petrie polygon of the 16-cell, the cell-first parallel projection of the 16-cell into 3-space has a cubical envelope
8.
5-demicube
–
In five-dimensional geometry, a demipenteract or 5-demicube is a semiregular 5-polytope, constructed from a 5-hypercube with alternated vertices truncated. It was discovered by Thorold Gosset, since it was the only semiregular 5-polytope, he called it a 5-ic semi-regular. E. L. Elte identified it in 1912 as a semiregular polytope, Coxeter named this polytope as 121 from its Coxeter diagram, which has branches of length 2,1 and 1 with a ringed node on one of the short branches, and Schläfli symbol or. It exists in the k21 polytope family as 121 with the Gosset polytopes,221,321, the graph formed by the vertices and edges of the demipenteract is sometimes called the Clebsch graph, though that name sometimes refers to the folded cube graph of order five instead. Cartesian coordinates for the vertices of a demipenteract centered at the origin and edge length 2√2 are alternate halves of the penteract and it is a part of a dimensional family of uniform polytopes called demihypercubes for being alternation of the hypercube family. There are 23 Uniform 5-polytopes that can be constructed from the D5 symmetry of the demipenteract,8 of which are unique to this family, the 5-demicube is third in a dimensional series of semiregular polytopes. Each progressive uniform polytope is constructed vertex figure of the previous polytope, Thorold Gosset identified this series in 1900 as containing all regular polytope facets, containing all simplexes and orthoplexes. In Coxeters notation the 5-demicube is given the symbol 121, T. Gosset, On the Regular and Semi-Regular Figures in Space of n Dimensions, Messenger of Mathematics, Macmillan,1900 H. S. M. Coxeter, Coxeter, Regular Polytopes, Dover edition, ISBN 0-486-61480-8, p.296, Table I, Regular Polytopes, three regular polytopes in n-dimensions H. S. M. Coxeter, Regular Polytopes, 3rd Edition, Dover New York,1973, p.296, Table I, Regular Polytopes, Coxeter, edited by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication,1995, ISBN 978-0-471-01003-6 H. S. M, Coxeter, Regular and Semi Regular Polytopes I, H. S. M. Coxeter, Regular and Semi-Regular Polytopes II, H. S. M, Coxeter, Regular and Semi-Regular Polytopes III, John H. Conway, Heidi Burgiel, Chaim Goodman-Strass, The Symmetries of Things 2008, ISBN 978-1-56881-220-5 Klitzing, Richard. 5D uniform polytopes x3o3o *b3o3o - hin, archived from the original on 4 February 2007
9.
Uniform polytope
–
A uniform polytope of dimension three or higher is a vertex-transitive polytope bounded by uniform facets. The uniform polytopes in two dimensions are the regular polygons and this is a generalization of the older category of semiregular polytopes, but also includes the regular polytopes. Further, star regular faces and vertex figures are allowed, which expand the possible solutions. A strict definition requires uniform polytopes to be finite, while a more expansive definition allows uniform honeycombs of Euclidean, nearly every uniform polytope can be generated by a Wythoff construction, and represented by a Coxeter diagram. Notable exceptions include the antiprism in four dimensions. Equivalently, the Wythoffian polytopes can be generated by applying basic operations to the regular polytopes in that dimension and this approach was first used by Johannes Kepler, and is the basis of the Conway polyhedron notation. Regular n-polytopes have n orders of rectification, the zeroth rectification is the original form. The th rectification is the dual, an extended Schläfli symbol can be used for representing rectified forms, with a single subscript, k-th rectification = tk = kr. Truncation operations that can be applied to regular n-polytopes in any combination, the resulting Coxeter diagram has two ringed nodes, and the operation is named for the distance between them. Truncation cuts vertices, cantellation cuts edges, runcination cuts faces, each higher operation also cuts lower ones too, so a cantellation also truncates vertices. T0,1 or t, Truncation - applied to polygons, a truncation removes vertices, and inserts a new facet in place of each former vertex. Faces are truncated, doubling their edges and it can be seen as rectifying its rectification. A cantellation truncates both vertices and edges and replaces them with new facets, cells are replaced by topologically expanded copies of themselves. There are higher cantellations also, bicantellation t1,3 or r2r, tricantellation t2,4 or r3r, quadricantellation t3,5 or r4r, etc. t0,1,2 or tr, Cantitruncation - applied to polyhedra and higher. It can be seen as a truncation of its rectification, a cantitruncation truncates both vertices and edges and replaces them with new facets. Cells are replaced by topologically expanded copies of themselves, runcination truncates vertices, edges, and faces, replacing them each with new facets. 4-faces are replaced by topologically expanded copies of themselves, There are higher runcinations also, biruncination t1,4, triruncination t2,5, etc. t0,4 or 2r2r, Sterication - applied to Uniform 5-polytopes and higher. It can be seen as birectifying its birectification, Sterication truncates vertices, edges, faces, and cells, replacing each with new facets
10.
Halved cube graph
–
That is, it is the half-square of the hypercube. This connectivity pattern produces two isomorphic graphs, disconnected from other, each of which is the halved cube graph. The construction of the cube graph can be reformulated in terms of binary numbers. The vertices of a hypercube may be labeled by numbers in such a way that two vertices are adjacent exactly when they differ in a single bit. The halved cube graph 12 Q3 of order 3 is the complete graph K4, the halved cube graph 12 Q4 of order 4 is K2,2,2,2, the graph of the four-dimensional regular polytope, the 16-cell. The halved cube graph 12 Q5 of order five is sometimes known as the Clebsch graph and it exists in the 5-dimensional uniform 5-polytope, the 5-demicube. Because it is the half of a distance-regular graph, the halved cube graph is itself distance-regular. And because it contains a hypercube as a subgraph, it inherits from the hypercube all monotone graph properties. As with the graphs, and their isometric subgraphs the partial cubes. For every halved cube graph of order five or more, it is possible to color the vertices with two colors, in such a way that the colored graph has no nontrivial symmetries. For the graphs of order three and four, four colors are needed to eliminate all symmetries, the two graphs shown are symmetric Dn and Bn Petrie polygon projections of the related polytope which can include overlapping edges and vertices. Weisstein, Eric W. Halved Cube Graph
11.
Uniform k 21 polytope
–
In geometry, a uniform k21 polytope is a polytope in k +4 dimensions constructed from the En Coxeter group, and having only regular polytope facets. The family was named by their Coxeter symbol k21 by its bifurcating Coxeter–Dynkin diagram, thorold Gosset discovered this family as a part of his 1900 enumeration of the regular and semiregular polytopes, and so they are sometimes called Gossets semiregular figures. Gosset named them by their dimension from 5 to 9, for example the 5-ic semiregular figure, the sequence as identified by Gosset ends as an infinite tessellation in 8-space, called the E8 lattice. (A final form was not discovered by Gosset and is called the E9 lattice,621 and it is a tessellation of hyperbolic 9-space constructed of The family starts uniquely as 6-polytopes. The triangular prism and rectified 5-cell are included at the beginning for completeness, the demipenteract also exists in the demihypercube family. They are also named by their symmetry group, like E6 polytope. The orthoplex faces are constructed from the Coxeter group Dn−1 and have a Schläfli symbol of rather than the regular and this construction is an implication of two facet types. Half the facets around each orthoplex ridge are attached to another orthoplex, in contrast, every simplex ridge is attached to an orthoplex. Each has a figure as the previous form. For example, the rectified 5-cell has a figure as a triangular prism. Uniform 2k1 polytope family Uniform 1k2 polytope family T. B, Geometrical Deduction of Semiregular from Regular Polytopes and Space Fillings. Alicia Boole Stott, Geometrical deduction of semiregular from regular polytopes and space fillings, Verhandelingen der Koninklijke Akademie van Wetenschappen te Amsterdam, Vol.11,1, pp. 1–24 plus 3 plates,1910. Geometrical Deduction of Semiregular from Regular Polytopes and Space Fillings, analytical treatment of the polytopes regularly derived from the regular polytopes, Ver. der Koninklijke Akad. van Wetenschappen te Amsterdam, vol 11.5,1913. H. S. M. Coxeter, Regular and Semi-Regular Polytopes, Part I, Mathematische Zeitschrift, Springer, johnson, The Theory of Uniform Polytopes and Honeycombs, Ph. D. Dissertation, University of Toronto,1966 H. S. M, Coxeter, Regular and Semi-Regular Polytopes, Part II, Mathematische Zeitschrift, Springer, Berlin,1985 H. S. M
12.
Vertex figure
–
In geometry, a vertex figure, broadly speaking, is the figure exposed when a corner of a polyhedron or polytope is sliced off. Take some vertex of a polyhedron, mark a point somewhere along each connected edge. Draw lines across the faces, joining adjacent points. When done, these form a complete circuit, i. e. a polygon. This polygon is the vertex figure, more precise formal definitions can vary quite widely, according to circumstance. For example Coxeter varies his definition as convenient for the current area of discussion, most of the following definitions of a vertex figure apply equally well to infinite tilings, or space-filling tessellation with polytope cells. Make a slice through the corner of the polyhedron, cutting all the edges connected to the vertex. The cut surface is the vertex figure and this is perhaps the most common approach, and the most easily understood. Different authors make the slice in different places, Wenninger cuts each edge a unit distance from the vertex, as does Coxeter. For uniform polyhedra the Dorman Luke construction cuts each connected edge at its midpoint, other authors make the cut through the vertex at the other end of each edge. For irregular polyhedra, these approaches may produce a figure that does not lie in a plane. A more general approach, valid for convex polyhedra, is to make the cut along any plane which separates the given vertex from all the other vertices. Cromwell makes a cut or scoop, centered on the vertex. The cut surface or vertex figure is thus a spherical polygon marked on this sphere, many combinatorial and computational approaches treat a vertex figure as the ordered set of points of all the neighboring vertices to the given vertex. In the theory of polytopes, the vertex figure at a given vertex V comprises all the elements which are incident on the vertex, edges, faces. More formally it is the -section Fn/V, where Fn is the greatest face and this set of elements is elsewhere known as a vertex star. A vertex figure for an n-polytope is an -polytope, for example, a vertex figure for a polyhedron is a polygon figure, and the vertex figure for a 4-polytope is a polyhedron. Each edge of the vertex figure exists on or inside of a face of the original polytope connecting two vertices from an original face
13.
Rectification (geometry)
–
In Euclidean geometry, rectification or complete-truncation is the process of truncating a polytope by marking the midpoints of all its edges, and cutting off its vertices at those points. The resulting polytope will be bounded by vertex figure facets and the facets of the original polytope. A rectification operator is denoted by the symbol r, for example, r is the rectified cube. Conway polyhedron notation uses ambo for this operator, in graph theory this operation creates a medial graph. Rectification is the point of a truncation process. The highest degree of rectification creates the dual polytope, a rectification truncates edges to points. A birectification truncates faces to points, a trirectification truncates cells to points, and so on. New vertices are placed at the center of the edges of the original polygon, each platonic solid and its dual have the same rectified polyhedron. The rectified polyhedron turns out to be expressible as the intersection of the original platonic solid with an appropriated scaled concentric version of its dual, the rectified octahedron, whose dual is the cube, is the cuboctahedron. The rectified icosahedron, whose dual is the dodecahedron, is the icosidodecahedron, a rectified square tiling is a square tiling. A rectified triangular tiling or hexagonal tiling is a trihexagonal tiling, examples If a polyhedron is not regular, the edge midpoints surrounding a vertex may not be coplanar. The resulting medial graph remains polyhedral, so by Steinitzs theorem it can be represented as a polyhedron, the Conway polyhedron notation equivalent to rectification is ambo, represented by a. Applying twice aa, is Conways expand operation, e, which is the same as Johnsons cantellation operation, t0,2 generated from regular polyhedral, each Convex regular 4-polytope has a rectified form as a uniform 4-polytope. Its rectification will have two types, a rectified polyhedron left from the original cells and polyhedron as new cells formed by each truncated vertex. A rectified is not the same as a rectified, however, a further truncation, called bitruncation, is symmetric between a 4-polytope and its dual. Examples A first rectification truncates edges down to points, If a polytope is regular, this form is represented by an extended Schläfli symbol notation t1 or r. A second rectification, or birectification, truncates faces down to points, If regular it has notation t2 or 2r. For polyhedra, a birectification creates a dual polyhedron, higher degree rectifications can be constructed for higher dimensional polytopes
14.
Simplex
–
In geometry, a simplex is a generalization of the notion of a triangle or tetrahedron to arbitrary dimensions. Specifically, a k-simplex is a polytope which is the convex hull of its k +1 vertices. More formally, suppose the k +1 points u 0, …, u k ∈ R k are affinely independent, then, the simplex determined by them is the set of points C =. For example, a 2-simplex is a triangle, a 3-simplex is a tetrahedron, a single point may be considered a 0-simplex, and a line segment may be considered a 1-simplex. A simplex may be defined as the smallest convex set containing the given vertices, a regular simplex is a simplex that is also a regular polytope. A regular n-simplex may be constructed from a regular -simplex by connecting a new vertex to all original vertices by the edge length. In topology and combinatorics, it is common to “glue together” simplices to form a simplicial complex, the associated combinatorial structure is called an abstract simplicial complex, in which context the word “simplex” simply means any finite set of vertices. A 1-simplex is a line segment, the convex hull of any nonempty subset of the n+1 points that define an n-simplex is called a face of the simplex. In particular, the hull of a subset of size m+1 is an m-simplex. The 0-faces are called the vertices, the 1-faces are called the edges, the -faces are called the facets, in general, the number of m-faces is equal to the binomial coefficient. Consequently, the number of m-faces of an n-simplex may be found in column of row of Pascals triangle, a simplex A is a coface of a simplex B if B is a face of A. Face and facet can have different meanings when describing types of simplices in a simplicial complex, see simplical complex for more detail. The regular simplex family is the first of three regular polytope families, labeled by Coxeter as αn, the two being the cross-polytope family, labeled as βn, and the hypercubes, labeled as γn. A fourth family, the infinite tessellation of hypercubes, he labeled as δn, an -simplex can be constructed as a join of an n-simplex and a point. An -simplex can be constructed as a join of an m-simplex, the two simplices are oriented to be completely normal from each other, with translation in a direction orthogonal to both of them. A 1-simplex is a joint of two points, ∨ =2, a general 2-simplex is the join of 3 points, ∨∨. An isosceles triangle is the join of a 1-simplex and a point, a general 3-simplex is the join of 4 points, ∨∨∨. A 3-simplex with mirror symmetry can be expressed as the join of an edge and 2 points, a 3-simplex with triangular symmetry can be expressed as the join of an equilateral triangle and 1 point,3. ∨ or ∨
15.
Hyperrectangle
–
In geometry, an n-orthotope is the generalization of a rectangle for higher dimensions, formally defined as the Cartesian product of intervals. A three-dimensional orthotope is also called a rectangular prism, rectangular cuboid. A special case of an n-orthotope, where all edges are equal length, is the n-cube, the dual polytope of an n-orthotope has been variously called a rectangular n-orthoplex, rhombic n-fusil, or n-lozenge. It is constructed by 2n points located in the center of the rectangular faces. An n-fusils Schläfli symbol can be represented by a sum of n line segments. A 1-fusil is a line segment and its plane cross selections in all pairs of axes are rhombi. Minimum bounding box Coxeter, Harold Scott MacDonald
16.
Harold Scott MacDonald Coxeter
–
Harold Scott MacDonald Donald Coxeter, FRS, FRSC, CC was a British-born Canadian geometer. Coxeter is regarded as one of the greatest geometers of the 20th century and he was born in London but spent most of his adult life in Canada. He was always called Donald, from his third name MacDonald, in his youth, Coxeter composed music and was an accomplished pianist at the age of 10. He felt that mathematics and music were intimately related, outlining his ideas in a 1962 article on Mathematics and he worked for 60 years at the University of Toronto and published twelve books. He was most noted for his work on regular polytopes and higher-dimensional geometries and he was a champion of the classical approach to geometry, in a period when the tendency was to approach geometry more and more via algebra. Coxeter went up to Trinity College, Cambridge in 1926 to read mathematics, there he earned his BA in 1928, and his doctorate in 1931. In 1932 he went to Princeton University for a year as a Rockefeller Fellow, where he worked with Hermann Weyl, Oswald Veblen, returning to Trinity for a year, he attended Ludwig Wittgensteins seminars on the philosophy of mathematics. In 1934 he spent a year at Princeton as a Procter Fellow. In 1936 Coxeter moved to the University of Toronto, flather, and John Flinders Petrie published The Fifty-Nine Icosahedra with University of Toronto Press. In 1940 Coxeter edited the eleventh edition of Mathematical Recreations and Essays and he was elevated to professor in 1948. Coxeter was elected a Fellow of the Royal Society of Canada in 1948 and he also inspired some of the innovations of Buckminster Fuller. Coxeter, M. S. Longuet-Higgins and J. C. P. Miller were the first to publish the full list of uniform polyhedra, since 1978, the Canadian Mathematical Society have awarded the Coxeter–James Prize in his honor. He was made a Fellow of the Royal Society in 1950, in 1990, he became a Foreign Member of the American Academy of Arts and Sciences and in 1997 was made a Companion of the Order of Canada. In 1973 he got the Jeffery–Williams Prize,1940, Regular and Semi-Regular Polytopes I, Mathematische Zeitschrift 46, 380-407, MR2,10 doi,10. 1007/BF011814491942, Non-Euclidean Geometry, University of Toronto Press, MAA. 1954, Uniform Polyhedra, Philosophical Transactions of the Royal Society A246, arthur Sherk, Peter McMullen, Anthony C. Thompson and Asia Ivić Weiss, editors, Kaleidoscopes — Selected Writings of H. S. M. John Wiley and Sons ISBN 0-471-01003-01999, The Beauty of Geometry, Twelve Essays, Dover Publications, LCCN 99-35678, ISBN 0-486-40919-8 Davis, Chandler, Ellers, Erich W, the Coxeter Legacy, Reflections and Projections. King of Infinite Space, Donald Coxeter, the Man Who Saved Geometry, www. donaldcoxeter. com www. math. yorku. ca/dcoxeter webpages dedicated to him Jarons World, Shapes in Other Dimensions, Discover mag. Apr 2007 The Mathematics in the Art of M. C, escher video of a lecture by H. S. M
17.
Petrie polygon
–
In geometry, a Petrie polygon for a regular polytope of n dimensions is a skew polygon such that every consecutive sides belong to one of the facets. The Petrie polygon of a polygon is the regular polygon itself. For every regular polytope there exists an orthogonal projection onto a plane such that one Petrie polygon becomes a regular polygon with the remainder of the interior to it. The plane in question is the Coxeter plane of the group of the polygon. These polygons and projected graphs are useful in visualizing symmetric structure of the regular polytopes. John Flinders Petrie was the son of Egyptologist Flinders Petrie. He was born in 1907 and as a schoolboy showed remarkable promise of mathematical ability, in periods of intense concentration he could answer questions about complicated four-dimensional objects by visualizing them. He first noted the importance of the skew polygons which appear on the surface of regular polyhedra. When my incredulity had begun to subside, he described them to me, one consisting of squares, six at each vertex, in 1938 Petrie collaborated with Coxeter, Patrick du Val, and H. T. Flather to produce The Fifty-Nine Icosahedra for publication, realizing the geometric facility of the skew polygons used by Petrie, Coxeter named them after his friend when he wrote Regular Polytopes. In 1972, a few months after his retirement, Petrie was killed by a car attempting to cross a motorway near his home in Surrey. The idea of Petrie polygons was later extended to semiregular polytopes, the Petrie polygon of the regular polyhedron has h sides, where h+2=24/. The regular duals, and, are contained within the same projected Petrie polygon, three of the Kepler–Poinsot polyhedra have hexagonal, and decagrammic, petrie polygons. The Petrie polygon projections are most useful for visualization of polytopes of dimension four and this table represents Petrie polygon projections of 3 regular families, and the exceptional Lie group En which generate semiregular and uniform polytopes for dimensions 4 to 8. Coxeter, H. S. M. Regular Polytopes, 3rd ed, Section 4.3 Flags and Orthoschemes, Section 11.3 Petrie polygons Ball, W. W. R. and H. S. M. Coxeter Mathematical Recreations and Essays, 13th ed. The Beauty of Geometry, Twelve Essays, Dover Publications LCCN 99-35678 Peter McMullen, Egon Schulte Abstract Regular Polytopes, ISBN 0-521-81496-0 Steinberg, Robert, ON THE NUMBER OF SIDES OF A PETRIE POLYGON Weisstein, Eric W. Petrie polygon. Weisstein, Eric W. Cross polytope graphs, Weisstein, Eric W. Gosset graph 3_21
18.
2-polytope
–
In elementary geometry, a polygon /ˈpɒlɪɡɒn/ is a plane figure that is bounded by a finite chain of straight line segments closing in a loop to form a closed polygonal chain or circuit. These segments are called its edges or sides, and the points where two edges meet are the vertices or corners. The interior of the polygon is called its body. An n-gon is a polygon with n sides, for example, a polygon is a 2-dimensional example of the more general polytope in any number of dimensions. The basic geometrical notion of a polygon has been adapted in various ways to suit particular purposes, mathematicians are often concerned only with the bounding closed polygonal chain and with simple polygons which do not self-intersect, and they often define a polygon accordingly. A polygonal boundary may be allowed to intersect itself, creating star polygons and these and other generalizations of polygons are described below. The word polygon derives from the Greek adjective πολύς much, many and it has been suggested that γόνυ knee may be the origin of “gon”. Polygons are primarily classified by the number of sides, Polygons may be characterized by their convexity or type of non-convexity, Convex, any line drawn through the polygon meets its boundary exactly twice. As a consequence, all its interior angles are less than 180°, equivalently, any line segment with endpoints on the boundary passes through only interior points between its endpoints. Non-convex, a line may be found which meets its boundary more than twice, equivalently, there exists a line segment between two boundary points that passes outside the polygon. Simple, the boundary of the polygon does not cross itself, there is at least one interior angle greater than 180°. Star-shaped, the interior is visible from at least one point. The polygon must be simple, and may be convex or concave, self-intersecting, the boundary of the polygon crosses itself. Branko Grünbaum calls these coptic, though this term does not seem to be widely used, star polygon, a polygon which self-intersects in a regular way. A polygon cannot be both a star and star-shaped, equiangular, all corner angles are equal. Cyclic, all lie on a single circle, called the circumcircle. Isogonal or vertex-transitive, all lie within the same symmetry orbit. The polygon is cyclic and equiangular
19.
Digon
–
In geometry, a digon is a polygon with two sides and two vertices. Its construction is degenerate in a Euclidean plane because either the two sides would coincide or one or both would have to be curved, a regular digon has both angles equal and both sides equal and is represented by Schläfli symbol. It may be constructed on a sphere as a pair of 180 degree arcs connecting antipodal points, the digon is the simplest abstract polytope of rank 2. A truncated digon, t is a square, an alternated digon, h is a monogon. A straight-sided digon is regular even though it is degenerate, because its two edges are the length and its two angles are equal. As such, the regular digon is a constructible polygon, some definitions of a polygon do not consider the digon to be a proper polygon because of its degeneracy in the Euclidean case. A digon as a face of a polyhedron is degenerate because it is a degenerate polygon, but sometimes it can have a useful topological existence in transforming polyhedra. A spherical lune is a digon whose two vertices are antipodal points on the sphere, a spherical polyhedron constructed from such digons is called a hosohedron. The digon is an important construct in the theory of networks such as graphs. Topological equivalences may be established using a process of reduction to a set of polygons. The digon represents a stage in the simplification where it can be removed and substituted by a line segment. The cyclic groups may be obtained as rotation symmetries of polygons, monogon Demihypercube Herbert Busemann, The geometry of geodesics. New York, Academic Press,1955 Coxeter, Regular Polytopes, Dover Publications Inc,1973 ISBN 0-486-61480-8 Weisstein, a. B. Ivanov, Digon, in Hazewinkel, Michiel, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4 Media related to Digons at Wikimedia Commons
20.
Edge (geometry)
–
For edge in graph theory, see Edge In geometry, an edge is a particular type of line segment joining two vertices in a polygon, polyhedron, or higher-dimensional polytope. In a polygon, an edge is a segment on the boundary. In a polyhedron or more generally a polytope, an edge is a segment where two faces meet. A segment joining two vertices while passing through the interior or exterior is not an edge but instead is called a diagonal. In graph theory, an edge is an abstract object connecting two vertices, unlike polygon and polyhedron edges which have a concrete geometric representation as a line segment. However, any polyhedron can be represented by its skeleton or edge-skeleton, conversely, the graphs that are skeletons of three-dimensional polyhedra can be characterized by Steinitzs theorem as being exactly the 3-vertex-connected planar graphs. Any convex polyhedrons surface has Euler characteristic V − E + F =2, where V is the number of vertices, E is the number of edges and this equation is known as Eulers polyhedron formula. Thus the number of edges is 2 less than the sum of the numbers of vertices and faces, for example, a cube has 8 vertices and 6 faces, and hence 12 edges. In a polygon, two edges meet at each vertex, more generally, by Balinskis theorem, at least d edges meet at every vertex of a convex polytope. Similarly, in a polyhedron, exactly two faces meet at every edge, while in higher dimensional polytopes three or more two-dimensional faces meet at every edge. Thus, the edges of a polygon are its facets, the edges of a 3-dimensional convex polyhedron are its ridges, archived from the original on 4 February 2007
21.
3-polytope
–
In geometry, a polyhedron is a solid in three dimensions with flat polygonal faces, straight edges and sharp corners or vertices. The word polyhedron comes from the Classical Greek πολύεδρον, as poly- + -hedron, a convex polyhedron is the convex hull of finitely many points, not all on the same plane. Cubes and pyramids are examples of convex polyhedra, a polyhedron is a 3-dimensional example of the more general polytope in any number of dimensions. Convex polyhedra are well-defined, with several equivalent standard definitions, however, the formal mathematical definition of polyhedra that are not required to be convex has been problematic. Many definitions of polyhedron have been given within particular contexts, some more rigorous than others, some of these definitions exclude shapes that have often been counted as polyhedra or include shapes that are often not considered as valid polyhedra. As Branko Grünbaum observed, The Original Sin in the theory of polyhedra goes back to Euclid, the writers failed to define what are the polyhedra. Nevertheless, there is agreement that a polyhedron is a solid or surface that can be described by its vertices, edges, faces. Natural refinements of this definition require the solid to be bounded, to have a connected interior, and possibly also to have a connected boundary. However, the polyhedra defined in this way do not include the self-crossing star polyhedra, their faces may not form simple polygons, definitions based on the idea of a bounding surface rather than a solid are also common. If a planar part of such a surface is not itself a convex polygon, ORourke requires it to be subdivided into smaller convex polygons, cromwell gives a similar definition but without the restriction of three edges per vertex. Again, this type of definition does not encompass the self-crossing polyhedra, however, there exist topological polyhedra that cannot be realized as acoptic polyhedra. One modern approach is based on the theory of abstract polyhedra and these can be defined as partially ordered sets whose elements are the vertices, edges, and faces of a polyhedron. A vertex or edge element is less than an edge or face element when the vertex or edge is part of the edge or face, additionally, one may include a special bottom element of this partial order and a top element representing the whole polyhedron. However, these requirements are relaxed, to instead require only that the sections between elements two levels apart from line segments. Geometric polyhedra, defined in other ways, can be described abstractly in this way, a realization of an abstract polyhedron is generally taken to be a mapping from the vertices of the abstract polyhedron to geometric points, such that the points of each face are coplanar. A geometric polyhedron can then be defined as a realization of an abstract polyhedron, realizations that forgo the requirement of planarity, that impose additional requirements of symmetry, or that map the vertices to higher dimensional spaces have also been considered. Unlike the solid-based and surface-based definitions, this perfectly well for star polyhedra. However, without restrictions, this definition allows degenerate or unfaithful polyhedra
22.
Triangle
–
A triangle is a polygon with three edges and three vertices. It is one of the shapes in geometry. A triangle with vertices A, B, and C is denoted △ A B C, in Euclidean geometry any three points, when non-collinear, determine a unique triangle and a unique plane. This article is about triangles in Euclidean geometry except where otherwise noted, triangles can be classified according to the lengths of their sides, An equilateral triangle has all sides the same length. An equilateral triangle is also a polygon with all angles measuring 60°. An isosceles triangle has two sides of equal length, some mathematicians define an isosceles triangle to have exactly two equal sides, whereas others define an isosceles triangle as one with at least two equal sides. The latter definition would make all equilateral triangles isosceles triangles, the 45–45–90 right triangle, which appears in the tetrakis square tiling, is isosceles. A scalene triangle has all its sides of different lengths, equivalently, it has all angles of different measure. Hatch marks, also called tick marks, are used in diagrams of triangles, a side can be marked with a pattern of ticks, short line segments in the form of tally marks, two sides have equal lengths if they are both marked with the same pattern. In a triangle, the pattern is no more than 3 ticks. Similarly, patterns of 1,2, or 3 concentric arcs inside the angles are used to indicate equal angles, triangles can also be classified according to their internal angles, measured here in degrees. A right triangle has one of its interior angles measuring 90°, the side opposite to the right angle is the hypotenuse, the longest side of the triangle. The other two sides are called the legs or catheti of the triangle, special right triangles are right triangles with additional properties that make calculations involving them easier. One of the two most famous is the 3–4–5 right triangle, where 32 +42 =52, in this situation,3,4, and 5 are a Pythagorean triple. The other one is a triangle that has 2 angles that each measure 45 degrees. Triangles that do not have an angle measuring 90° are called oblique triangles, a triangle with all interior angles measuring less than 90° is an acute triangle or acute-angled triangle. If c is the length of the longest side, then a2 + b2 > c2, a triangle with one interior angle measuring more than 90° is an obtuse triangle or obtuse-angled triangle. If c is the length of the longest side, then a2 + b2 < c2, a triangle with an interior angle of 180° is degenerate
23.
4-polytope
–
In geometry, a 4-polytope is a four-dimensional polytope. It is a connected and closed figure, composed of lower-dimensional polytopal elements, vertices, edges, faces, each face is shared by exactly two cells. The two-dimensional analogue of a 4-polytope is a polygon, and the three-dimensional analogue is a polyhedron, topologically 4-polytopes are closely related to the uniform honeycombs, such as the cubic honeycomb, which tessellate 3-space, similarly the 3D cube is related to the infinite 2D square tiling. Convex 4-polytopes can be cut and unfolded as nets in 3-space, a 4-polytope is a closed four-dimensional figure. It comprises vertices, edges, faces and cells, a cell is the three-dimensional analogue of a face, and is therefore a polyhedron. Each face must join exactly two cells, analogous to the way in each edge of a polyhedron joins just two faces. Like any polytope, the elements of a 4-polytope cannot be subdivided into two or more sets which are also 4-polytopes, i. e. it is not a compound, the most familiar 4-polytope is the tesseract or hypercube, the 4D analogue of the cube. 4-polytopes cannot be seen in space due to their extra dimension. Several techniques are used to help visualise them, Orthogonal projection Orthogonal projections can be used to show various symmetry orientations of a 4-polytope. They can be drawn in 2D as vertex-edge graphs, and can be shown in 3D with solid faces as visible projective envelopes. Perspective projection Just as a 3D shape can be projected onto a flat sheet, sectioning Just as a slice through a polyhedron reveals a cut surface, so a slice through a 4-polytope reveals a cut hypersurface in three dimensions. A sequence of sections can be used to build up an understanding of the overall shape. The extra dimension can be equated with time to produce an animation of these cross sections. The topology of any given 4-polytope is defined by its Betti numbers, the value of the Euler characteristic used to characterise polyhedra does not generalize usefully to higher dimensions, and is zero for all 4-polytopes, whatever their underlying topology. This inadequacy of the Euler characteristic to distinguish between different topologies in higher dimensions led to the discovery of the more sophisticated Betti numbers. Similarly, the notion of orientability of a polyhedron is insufficient to characterise the surface twistings of toroidal 4-polytopes, like all polytopes, 4-polytopes may be classified based on properties like convexity and symmetry. Self-intersecting 4-polytopes are also known as star 4-polytopes, from analogy with the shapes of the non-convex star polygons. A 4-polytope is regular if it is transitive on its flags and this means that its cells are all congruent regular polyhedra, and similarly its vertex figures are congruent and of another kind of regular polyhedron
24.
Octahedron
–
In geometry, an octahedron is a polyhedron with eight faces, twelve edges, and six vertices. A regular octahedron is a Platonic solid composed of eight equilateral triangles, a regular octahedron is the dual polyhedron of a cube. It is a square bipyramid in any of three orthogonal orientations and it is also a triangular antiprism in any of four orientations. An octahedron is the case of the more general concept of a cross polytope. A regular octahedron is a 3-ball in the Manhattan metric, the second and third correspond to the B2 and A2 Coxeter planes. The octahedron can also be represented as a tiling. This projection is conformal, preserving angles but not areas or lengths, straight lines on the sphere are projected as circular arcs on the plane. An octahedron with edge length √2 can be placed with its center at the origin and its vertices on the coordinate axes, the Cartesian coordinates of the vertices are then. In an x–y–z Cartesian coordinate system, the octahedron with center coordinates, additionally the inertia tensor of the stretched octahedron is I =. These reduce to the equations for the regular octahedron when x m = y m = z m = a 22, the interior of the compound of two dual tetrahedra is an octahedron, and this compound, called the stella octangula, is its first and only stellation. Correspondingly, an octahedron is the result of cutting off from a regular tetrahedron. One can also divide the edges of an octahedron in the ratio of the mean to define the vertices of an icosahedron. There are five octahedra that define any given icosahedron in this fashion, octahedra and tetrahedra can be alternated to form a vertex, edge, and face-uniform tessellation of space, called the octet truss by Buckminster Fuller. This is the only such tiling save the regular tessellation of cubes, another is a tessellation of octahedra and cuboctahedra. The octahedron is unique among the Platonic solids in having a number of faces meeting at each vertex. Consequently, it is the member of that group to possess mirror planes that do not pass through any of the faces. Using the standard nomenclature for Johnson solids, an octahedron would be called a square bipyramid, truncation of two opposite vertices results in a square bifrustum. The octahedron is 4-connected, meaning that it takes the removal of four vertices to disconnect the remaining vertices and it is one of only four 4-connected simplicial well-covered polyhedra, meaning that all of the maximal independent sets of its vertices have the same size
25.
5-polytope
–
In five-dimensional geometry, a five-dimensional polytope or 5-polytope is a 5-dimensional polytope, bounded by facets. Each polyhedral cell being shared by exactly two 4-polytope facets, a 5-polytope is a closed five-dimensional figure with vertices, edges, faces, and cells, and 4-faces. A vertex is a point where five or more edges meet, an edge is a line segment where four or more faces meet, and a face is a polygon where three or more cells meet. A cell is a polyhedron, and a 4-face is a 4-polytope, furthermore, the following requirements must be met, Each cell must join exactly two 4-faces. Adjacent 4-faces are not in the same four-dimensional hyperplane, the figure is not a compound of other figures which meet the requirements. The topology of any given 5-polytope is defined by its Betti numbers, the value of the Euler characteristic used to characterise polyhedra does not generalize usefully to higher dimensions, whatever their underlying topology. This inadequacy of the Euler characteristic to distinguish between different topologies in higher dimensions led to the discovery of the more sophisticated Betti numbers. Similarly, the notion of orientability of a polyhedron is insufficient to characterise the surface twistings of toroidal polytopes, 5-polytopes may be classified based on properties like convexity and symmetry. Self-intersecting 5-polytopes are also known as star polytopes, from analogy with the shapes of the non-convex Kepler-Poinsot polyhedra. A uniform 5-polytope has a group under which all vertices are equivalent. The faces of a uniform polytope must be regular, a semi-regular 5-polytope contains two or more types of regular 4-polytope facets. There is only one figure, called a demipenteract. A regular 5-polytope has all identical regular 4-polytope facets, a prismatic 5-polytope is constructed by a Cartesian product of two lower-dimensional polytopes. A prismatic 5-polytope is uniform if its factors are uniform, the hypercube is prismatic, but is considered separately because it has symmetries other than those inherited from its factors. A 4-space tessellation is the division of four-dimensional Euclidean space into a grid of polychoral facets. Strictly speaking, tessellations are not polytopes as they do not bound a 5D volume, a uniform 4-space tessellation is one whose vertices are related by a space group and whose facets are uniform 4-polytopes. Regular 5-polytopes can be represented by the Schläfli symbol, with s polychoral facets around each face, the 5-demicube honeycomb, vertex figure is a rectified 5-orthoplex and facets are the 5-orthoplex and 5-demicube. Pyramidal 5-polytopes, or 5-pyramids, can be generated by a 4-polytope base in a 4-space hyperplane connected to a point off the hyperplane, the 5-simplex is the simplest example with a 4-simplex base
26.
5-cell
–
In geometry, the 5-cell is a four-dimensional object bounded by 5 tetrahedral cells. It is also known as a C5, pentachoron, pentatope, pentahedroid and it is a 4-simplex, the simplest possible convex regular 4-polytope, and is analogous to the tetrahedron in three dimensions and the triangle in two dimensions. The pentachoron is a four dimensional pyramid with a tetrahedral base, the regular 5-cell is bounded by regular tetrahedra, and is one of the six regular convex 4-polytopes, represented by Schläfli symbol. Pentachoron 4-simplex Pentatope Pentahedroid Pen Hyperpyramid, tetrahedral pyramid The 5-cell is self-dual and its maximal intersection with 3-dimensional space is the triangular prism. Its dihedral angle is cos−1, or approximately 75. 52°, the 5-cell can be constructed from a tetrahedron by adding a 5th vertex such that it is equidistant from all the other vertices of the tetrahedron. The simplest set of coordinates is, with edge length 2√2, a 5-cell can be constructed as a Boerdijk–Coxeter helix of five chained tetrahedra, folded into a 4-dimensional ring. The 10 triangle faces can be seen in a 2D net within a triangular tiling, with 6 triangles around every vertex, the purple edges represent the Petrie polygon of the 5-cell. The A4 Coxeter plane projects the 5-cell into a regular pentagon, the four sides of the pyramid are made of tetrahedron cells. Many uniform 5-polytopes have tetrahedral pyramid vertex figures, Other uniform 5-polytopes have irregular 5-cell vertex figures, the symmetry of a vertex figure of a uniform polytope is represented by removing the ringed nodes of the Coxeter diagram. The compound of two 5-cells in dual configurations can be seen in this A5 Coxeter plane projection, with a red and this compound has symmetry, order 240. The intersection of these two 5-cells is a uniform birectified 5-cell, the pentachoron is the simplest of 9 uniform polychora constructed from the Coxeter group. It is in the sequence of regular polychora, the tesseract, 120-cell, of Euclidean 4-space, all of these have a tetrahedral vertex figure. It is similar to three regular polychora, the tesseract, 600-cell of Euclidean 4-space, and the order-6 tetrahedral honeycomb of hyperbolic space, all of these have a tetrahedral cell. T. Gosset, On the Regular and Semi-Regular Figures in Space of n Dimensions, Messenger of Mathematics, Macmillan,1900 H. S. M. Coxeter, Coxeter, Regular Polytopes, Dover edition, ISBN 0-486-61480-8, p.296, Table I, Regular Polytopes, three regular polytopes in n-dimensions H. S. M. Coxeter, Regular Polytopes, 3rd Edition, Dover New York,1973, p.296, Table I, Regular Polytopes, Coxeter, edited by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication,1995, ISBN 978-0-471-01003-6 H. S. M, Coxeter, Regular and Semi Regular Polytopes I, H. S. M. Coxeter, Regular and Semi-Regular Polytopes II, H. S. M, johnson, The Theory of Uniform Polytopes and Honeycombs, Ph. D
27.
Rectified 5-cell
–
In 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. The vertex figure of the rectified 5-cell is a triangular prism. Together with the simplex and 24-cell, this shape and its dual was one of the first 2-simple 2-simplicial 4-polytopes known and this means that all of its two-dimensional faces, and all of the two-dimensional faces of its dual, are triangles. In 1997, Tom Braden found another pair of examples. The birectified 5-cell can be seen as the intersection of two regular 5-cells in dual positions and it is one of three semiregular 4-polytope made of two or more cells which are Platonic solids, discovered by Thorold Gosset in his 1900 paper. He called it a tetroctahedric for being made of tetrahedron and octahedron cells, E. L. Elte identified it in 1912 as a semiregular polytope, labeling it as tC5. These construction can be seen as positive orthant facets of the rectified pentacross or birectified penteract respectively and this polytope is the vertex figure of the 5-demicube, and the edge figure of the uniform 221 polytope. It is also one of 9 Uniform 4-polytopes constructed from the Coxeter group, the rectified 5-cell is second in a dimensional series of semiregular polytopes. Each progressive uniform polytope is constructed as the figure of the previous polytope. Thorold Gosset identified this series in 1900 as containing all regular polytope facets, the Coxeter symbol for the rectified 5-cell is 021. Semiregular k 21 polytope T. Gosset, On the Regular and Semi-Regular Figures in Space of n Dimensions, Messenger of Mathematics, Macmillan,1900 J. H. Conway and M. J. T. Guy, Four-Dimensional Archimedean Polytopes, Proceedings of the Colloquium on Convexity at Copenhagen, Coxeter, Regular Polytopes, 3rd Edition, Dover New York,1973 Kaleidoscopes, Selected Writings of H. S. M. Coxeter, edited by F. Arthur Sherk, Peter McMullen, thompson, Asia Ivic Weiss, Wiley-Interscience Publication,1995, ISBN 978-0-471-01003-6 H. S. M. Coxeter, Regular and Semi Regular Polytopes I, H. S. M, Coxeter, Regular and Semi-Regular Polytopes II, H. S. M. Coxeter, Regular and Semi-Regular Polytopes III, Norman Johnson Uniform Polytopes, Johnson, The Theory of Uniform Polytopes and Honeycombs, Ph. D. John H. Conway, Heidi Burgiel, Chaim Goodman-Strauss, The Symmetries of Things 2008, ISBN 978-1-56881-220-5 Rectified 5-cell - data, convex uniform polychora based on the pentachoron - Model 2, George Olshevsky
28.
6-polytope
–
In six-dimensional geometry, a six-dimensional polytope or 6-polytope is a polytope, bounded by 5-polytope facets. A 6-polytope is a closed figure with vertices, edges, faces, cells, 4-faces. A vertex is a point where six or more edges meet, an edge is a line segment where four or more faces meet, and a face is a polygon where three or more cells meet. A 4-face is a polychoron, and a 5-face is a 5-polytope, furthermore, the following requirements must be met, Each 4-face must join exactly two 5-faces. Adjacent facets are not in the same five-dimensional hyperplane, the figure is not a compound of other figures which meet the requirements. The topology of any given 6-polytope is defined by its Betti numbers, the value of the Euler characteristic used to characterise polyhedra does not generalize usefully to higher dimensions, and is zero for all 6-polytopes, whatever their underlying topology. This inadequacy of the Euler characteristic to distinguish between different topologies in higher dimensions led to the discovery of the more sophisticated Betti numbers. Similarly, the notion of orientability of a polyhedron is insufficient to characterise the surface twistings of toroidal polytopes, 6-polytopes may be classified by properties like convexity and symmetry. Self-intersecting 6-polytope are also known as star 6-polytopes, from analogy with the shapes of the non-convex Kepler-Poinsot polyhedra. A regular 6-polytope has all identical regular 5-polytope facets, a semi-regular 6-polytope contains two or more types of regular 4-polytope facets. There is only one figure, called 221. A uniform 6-polytope has a group under which all vertices are equivalent. The faces of a uniform polytope must be regular, a prismatic 6-polytope is constructed by the Cartesian product of two lower-dimensional polytopes. A prismatic 6-polytope is uniform if its factors are uniform, the 6-cube is prismatic, but is considered separately because it has symmetries other than those inherited from its factors. A 5-space tessellation is the division of five-dimensional Euclidean space into a grid of 5-polytope facets. Strictly speaking, tessellations are not 6-polytopes as they do not bound a 6D volume, a uniform 5-space tessellation is one whose vertices are related by a space group and whose facets are uniform 5-polytopes. Regular 6-polytopes can be generated from Coxeter groups represented by the Schläfli symbol with t 5-polytope facets around each cell, There are only three such convex regular 6-polytopes, - 6-simplex - 6-cube - 6-orthoplex There are no nonconvex regular polytopes of 5 or more dimensions. For the 3 convex regular 6-polytopes, their elements are, Here are six simple uniform convex 6-polytopes, the expanded 6-simplex is the vertex figure of the uniform 6-simplex honeycomb
29.
6-demicube
–
In geometry, a 6-demicube or demihexteract is a uniform 6-polytope, constructed from a 6-cube with alternated vertices truncated. It is part of an infinite family of uniform polytopes called demihypercubes. E. L. Elte identified it in 1912 as a semiregular polytope, Coxeter named this polytope as 131 from its Coxeter diagram, with a ring on one of the 1-length branches. It can named similarly by a 3-dimensional exponential Schläfli symbol or, cartesian coordinates for the vertices of a demihexeract centered at the origin are alternate halves of the hexeract, with an odd number of plus signs. The fifth figure is a Euclidean honeycomb,331, and the final is a noncompact hyperbolic honeycomb,431, each progressive uniform polytope is constructed from the previous as its vertex figure. It is also the second in a series of uniform polytopes and honeycombs. The next figure is the Euclidean honeycomb 133 and the final is a noncompact hyperbolic honeycomb,134. Coxeter, Coxeter, Regular Polytopes, Dover edition, ISBN 0-486-61480-8, p.296, Table I, Regular Polytopes, three regular polytopes in n-dimensions H. S. M. Coxeter, Regular Polytopes, 3rd Edition, Dover New York,1973, p.296, Table I, Regular Polytopes, Coxeter, edited by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication,1995, ISBN 978-0-471-01003-6 H. S. M, Coxeter, Regular and Semi Regular Polytopes I, H. S. M. Coxeter, Regular and Semi-Regular Polytopes II, H. S. M, Coxeter, Regular and Semi-Regular Polytopes III, John H. Conway, Heidi Burgiel, Chaim Goodman-Strass, The Symmetries of Things 2008, ISBN 978-1-56881-220-5 Klitzing, Richard. 6D uniform polytopes x3o3o *b3o3o3o – hax, archived from the original on 4 February 2007
30.
5-simplex
–
In five-dimensional geometry, a 5-simplex is a self-dual regular 5-polytope. It has six vertices,15 edges,20 triangle faces,15 tetrahedral cells and it has a dihedral angle of cos−1, or approximately 78. 46°. It can also be called a hexateron, or hexa-5-tope, as a 6-facetted polytope in 5-dimensions, the name hexateron is derived from hexa- for having six facets and teron for having four-dimensional facets. By Jonathan Bowers, a hexateron is given the acronym hix, the hexateron can be constructed from a 5-cell by adding a 6th vertex such that it is equidistant from all the other vertices of the 5-cell. These construction can be seen as facets of the 6-orthoplex or rectified 6-cube respectively and it is first in a dimensional series of uniform polytopes and honeycombs, expressed by Coxeter as 13k series. A degenerate 4-dimensional case exists as 3-sphere tiling, a tetrahedral dihedron and it is first in a dimensional series of uniform polytopes and honeycombs, expressed by Coxeter as 3k1 series. A degenerate 4-dimensional case exists as 3-sphere tiling, a tetrahedral hosohedron, the 5-simplex, as 220 polytope is first in dimensional series 22k. The regular 5-simplex is one of 19 uniform polytera based on the Coxeter group, the 5-simplex can also be considered a 5-cell pyramid, constructed as a 5-cell base in a 4-space hyperplane, and an apex point above the hyperplane. The five sides of the pyramid are made of 5-cell cells, T. Gosset, On the Regular and Semi-Regular Figures in Space of n Dimensions, Messenger of Mathematics, Macmillan,1900 H. S. M. Coxeter, Coxeter, Regular Polytopes, Dover edition, ISBN 0-486-61480-8, p.296, Table I, Regular Polytopes, three regular polytopes in n-dimensions H. S. M. Coxeter, Regular Polytopes, 3rd Edition, Dover New York,1973, p.296, Table I, Regular Polytopes, Coxeter, edited by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication,1995, ISBN 978-0-471-01003-6 H. S. M, Coxeter, Regular and Semi Regular Polytopes I, H. S. M. Coxeter, Regular and Semi-Regular Polytopes II, H. S. M, johnson, The Theory of Uniform Polytopes and Honeycombs, Ph. D. 5D uniform polytopes x3o3o3o3o - hix, archived from the original on 4 February 2007. Polytopes of Various Dimensions, Jonathan Bowers Multi-dimensional Glossary
31.
Rectified 5-simplexes
–
In five-dimensional geometry, a rectified 5-simplex is a convex uniform 5-polytope, being a rectification of the regular 5-simplex. There are three degrees of rectifications, including the zeroth, the 5-simplex itself. Vertices of the rectified 5-simplex are located at the edge-centers of the 5-simplex, vertices of the birectified 5-simplex are located in the triangular face centers of the 5-simplex. In five dimensional geometry, a rectified 5-simplex, is a uniform 5-polytope with 15 vertices,60 edges,80 triangular faces,45 cells and it is also called 03,1 for its branching Coxeter-Dynkin diagram, shown as. E. L. Elte identified it in 1912 as a semiregular polytope, the rectified 5-simplex,031, is second in a dimensional series of uniform polytopes, expressed by Coxeter as 13k series. The fifth figure is a Euclidean honeycomb,331, and the final is a noncompact hyperbolic honeycomb,431, each progressive uniform polytope is constructed from the previous as its vertex figure. Rectified hexateron The vertices of the rectified 5-simplex can be more simply positioned on a hyperplane in 6-space as permutations of or and these construction can be seen as facets of the rectified 6-orthoplex or birectified 6-cube respectively. The birectified 5-simplex is isotopic, with all 12 of its facets as rectified 5-cells and it has 20 vertices,90 edges,120 triangular faces,60 cells. E. L. Elte identified it in 1912 as a semiregular polytope and it is also called 02,2 for its branching Coxeter-Dynkin diagram, shown as. It is seen in the figure of the 6-dimensional 122. Birectified hexateron dodecateron The A5 projection has an appearance to Metatrons Cube. The birectified 5-simplex is the intersection of two regular 5-simplexes in dual configuration, the vertices of a birectification exist at the center of the faces of the original polytope. It is also the intersection of a 6-cube with the hyperplane that bisects the 6-cubes long diagonal orthogonally, in this sense it is the 5-dimensional analog of the regular hexagon, octahedron, and bitruncated 5-cell. This characterization yields simple coordinates for the vertices of a birectified 5-simplex in 6-space, the vertices of the birectified 5-simplex can also be positioned on a hyperplane in 6-space as permutations of. This construction can be seen as facets of the birectified 6-orthoplex, the birectified 5-simplex,022, is second in a dimensional series of uniform polytopes, expressed by Coxeter as k22 series. The birectified 5-simplex is the figure for the third, the 122. The fourth figure is a Euclidean honeycomb,222, and the final is a noncompact hyperbolic honeycomb,322, each progressive uniform polytope is constructed from the previous as its vertex figure. This polytope is the figure of the 6-demicube, and the edge figure of the uniform 231 polytope
32.
Uniform 7-polytope
–
In 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 which is vertex-transitive, and constructed from uniform 6-polytope facets. Regular 7-polytopes are represented by the Schläfli symbol with u 6-polytopes facets around each 4-face, There are exactly three such convex regular 7-polytopes, - 7-simplex - 7-cube - 7-orthoplex There are no nonconvex regular 7-polytopes. The topology of any given 7-polytope is defined by its Betti numbers, the value of the Euler characteristic used to characterise polyhedra does not generalize usefully to higher dimensions, whatever their underlying topology. This inadequacy of the Euler characteristic to distinguish between different topologies in higher dimensions led to the discovery of the more sophisticated Betti numbers. Similarly, the notion of orientability of a polyhedron is insufficient to characterise the surface twistings of toroidal polytopes, There are 71 forms based on all permutations of the Coxeter-Dynkin diagrams with one or more rings. Norman Johnsons truncation names are given, bowers names and acronym are also given for cross-referencing. See also a list of A7 polytopes for symmetric Coxeter plane graphs of these polytopes, the B7 family has symmetry of order 645120. There are 127 forms based on all permutations of the Coxeter-Dynkin diagrams with one or more rings, see also a list of B7 polytopes for symmetric Coxeter plane graphs of these polytopes. The D7 family has symmetry of order 322560 and this family has 3×32−1=95 Wythoffian uniform polytopes, generated by marking one or more nodes of the D7 Coxeter-Dynkin diagram. Of these,63 are repeated from the B7 family and 32 are unique to this family, bowers names and acronym are given for cross-referencing. See also list of D7 polytopes for Coxeter plane graphs of these polytopes, the E7 Coxeter group has order 2,903,040. There are 127 forms based on all permutations of the Coxeter-Dynkin diagrams with one or more rings, see also a list of E7 polytopes for symmetric Coxeter plane graphs of these polytopes. Coxeter calls the first one a quarter 6-cubic honeycomb, however, there are 3 noncompact hyperbolic Coxeter groups of rank 7, each generating uniform honeycombs in 6-space as permutations of rings of the Coxeter diagrams. The reflective 7-dimensional uniform polytopes are constructed through a Wythoff construction process, and represented by a Coxeter-Dynkin diagram, an active mirror is represented by a ringed node. Each combination of active mirrors generates a unique uniform polytope, Uniform polytopes are named in relation to the regular polytopes in each family. Some families have two regular constructors and thus may be named in two equally valid ways, here are the primary operators available for constructing and naming the uniform 7-polytopes. The prismatic forms and bifurcating graphs can use the same truncation indexing notation, T. Gosset, On the Regular and Semi-Regular Figures in Space of n Dimensions, Messenger of Mathematics, Macmillan,1900 A. S. M
33.
7-demicube
–
In geometry, a demihepteract or 7-demicube is a uniform 7-polytope, constructed from the 7-hypercube with alternated vertices truncated. It is part of an infinite family of uniform polytopes called demihypercubes. E. L. Elte identified it in 1912 as a semiregular polytope, Coxeter named this polytope as 141 from its Coxeter diagram, with a ring on one of the 1-length branches, and Schläfli symbol or. Cartesian coordinates for the vertices of a demihepteract centered at the origin are alternate halves of the hepteract, there are 95 uniform polytopes with D6 symmetry,63 are shared by the B6 symmetry, and 32 are unique, H. S. M. Coxeter, Coxeter, Regular Polytopes, Dover edition, ISBN 0-486-61480-8, p.296, Table I, Regular Polytopes, three regular polytopes in n-dimensions H. S. M. Coxeter, Regular Polytopes, 3rd Edition, Dover New York,1973, p.296, Table I, Regular Polytopes, Coxeter, edited by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication,1995, ISBN 978-0-471-01003-6 H. S. M, Coxeter, Regular and Semi Regular Polytopes I, H. S. M. Coxeter, Regular and Semi-Regular Polytopes II, H. S. M, Coxeter, Regular and Semi-Regular Polytopes III, John H. Conway, Heidi Burgiel, Chaim Goodman-Strass, The Symmetries of Things 2008, ISBN 978-1-56881-220-5 Klitzing, Richard. 7D uniform polytopes x3o3o *b3o3o3o3o - hesa, archived from the original on 4 February 2007
34.
Rectified 6-simplexes
–
In six-dimensional geometry, a rectified 6-simplex is a convex uniform 6-polytope, being a rectification of the regular 6-simplex. There are three 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 and it is also called 04,1 for its branching Coxeter-Dynkin diagram, shown as. Rectified heptapeton The vertices of the rectified 6-simplex can be most simply positioned in 7-space as permutations of and this construction is based on facets of the rectified 7-orthoplex. E. L. Elte identified it in 1912 as a semiregular polytope and it is also called 03,2 for its branching Coxeter-Dynkin diagram, shown as. Birectified heptapeton The vertices of the birectified 6-simplex can be most simply positioned in 7-space as permutations of and this construction is based on facets of the birectified 7-orthoplex. The rectified 6-simplex polytope is the figure of the 7-demicube. These polytopes are a part of 35 uniform 6-polytopes based on the Coxeter group, Coxeter, Regular Polytopes, 3rd Edition, Dover New York,1973 Kaleidoscopes, Selected Writings of H. S. M. Coxeter, edited by F. Arthur Sherk, Peter McMullen, thompson, Asia Ivic Weiss, Wiley-Interscience Publication,1995, ISBN 978-0-471-01003-6 H. S. M. Coxeter, Regular and Semi Regular Polytopes I, H. S. M, Coxeter, Regular and Semi-Regular Polytopes II, H. S. M. Coxeter, Regular and Semi-Regular Polytopes III, Norman Johnson Uniform Polytopes, Johnson, The Theory of Uniform Polytopes and Honeycombs, Ph. D. O3x3o3o3o3o - ril, o3x3o3o3o3o - bril Olshevsky, George, archived from the original on 4 February 2007. Polytopes of Various Dimensions Multi-dimensional Glossary
35.
Uniform 8-polytope
–
In eight-dimensional geometry, an eight-dimensional polytope or 8-polytope is a polytope contained by 7-polytope facets. Each 6-polytope ridge being shared by exactly two 7-polytope facets, a uniform 8-polytope is one which is vertex-transitive, and constructed from uniform 7-polytope facets. Regular 8-polytopes can be represented by the Schläfli symbol, with v 7-polytope facets around each peak, There are exactly three such convex regular 8-polytopes, - 8-simplex - 8-cube - 8-orthoplex There are no nonconvex regular 8-polytopes. The topology of any given 8-polytope is defined by its Betti numbers, the value of the Euler characteristic used to characterise polyhedra does not generalize usefully to higher dimensions, and is zero for all 8-polytopes, whatever their underlying topology. This inadequacy of the Euler characteristic to distinguish between different topologies in higher dimensions led to the discovery of the more sophisticated Betti numbers. Similarly, the notion of orientability of a polyhedron is insufficient to characterise the surface twistings of toroidal polytopes, There are 135 forms based on all permutations of the Coxeter-Dynkin diagrams with one or more rings. Bowers-style acronym names are given in parentheses for cross-referencing, see also a list of 8-simplex polytopes for symmetric Coxeter plane graphs of these polytopes. The B8 family has symmetry of order 10321920, There are 255 forms based on all permutations of the Coxeter-Dynkin diagrams with one or more rings. See also a list of B8 polytopes for symmetric Coxeter plane graphs of these polytopes, the D8 family has symmetry of order 5,160,960. This family has 191 Wythoffian uniform polytopes, from 3x64-1 permutations of the D8 Coxeter-Dynkin diagram with one or more rings,127 are repeated from the B8 family and 64 are unique to this family, all listed below. See list of D8 polytopes for Coxeter plane graphs of these polytopes, the E8 family has symmetry order 696,729,600. There are 255 forms based on all permutations of the Coxeter-Dynkin diagrams with one or more rings, eight forms are shown below,4 single-ringed,3 truncations, and the final omnitruncation are given below. Bowers-style acronym names are given for cross-referencing, see also list of E8 polytopes for Coxeter plane graphs of this family. However, there are 4 noncompact hyperbolic Coxeter groups of rank 8, T. Gosset, On the Regular and Semi-Regular Figures in Space of n Dimensions, Messenger of Mathematics, Macmillan,1900 A. S. M. Miller, Uniform Polyhedra, Philosophical Transactions of the Royal Society of London, Coxeter, Regular Polytopes, 3rd Edition, Dover New York,1973 Kaleidoscopes, Selected Writings of H. S. M. Coxeter, edited by F. Arthur Sherk, Peter McMullen, thompson, Asia Ivic Weiss, Wiley-Interscience Publication,1995, ISBN 978-0-471-01003-6 Wiley, Kaleidoscopes, Selected Writings of H. S. M. Coxeter, Regular and Semi Regular Polytopes I, H. S. M, Coxeter, Regular and Semi-Regular Polytopes II, H. S. M. Coxeter, Regular and Semi-Regular Polytopes III, N. W, johnson, The Theory of Uniform Polytopes and Honeycombs, Ph. D
36.
8-demicube
–
In geometry, a demiocteract or 8-demicube is a uniform 8-polytope, constructed from the 8-hypercube, octeract, with alternated vertices truncated. It is part of an infinite family of uniform polytopes called demihypercubes. E. L. Elte identified it in 1912 as a semiregular polytope, Coxeter named this polytope as 151 from its Coxeter diagram, with a ring on one of the 1-length branches, and Schläfli symbol or. Cartesian coordinates for the vertices of an 8-demicube centered at the origin are alternate halves of the 8-cube and this polytope is the vertex figure for the uniform tessellation,251 with Coxeter-Dynkin diagram, H. S. M. Coxeter, Coxeter, Regular Polytopes, Dover edition, ISBN 0-486-61480-8, p.296, Table I, Regular Polytopes, three regular polytopes in n-dimensions H. S. M. Coxeter, Regular Polytopes, 3rd Edition, Dover New York,1973, p.296, Table I, Regular Polytopes, Coxeter, edited by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication,1995, ISBN 978-0-471-01003-6 H. S. M, Coxeter, Regular and Semi Regular Polytopes I, H. S. M. Coxeter, Regular and Semi-Regular Polytopes II, H. S. M, Coxeter, Regular and Semi-Regular Polytopes III, John H. Conway, Heidi Burgiel, Chaim Goodman-Strass, The Symmetries of Things 2008, ISBN 978-1-56881-220-5 Olshevsky, George. Archived from the original on 4 February 2007
37.
Rectified 7-simplexes
–
In seven-dimensional geometry, a rectified 7-simplex is a convex uniform 7-polytope, being a rectification of the regular 7-simplex. There are four degrees of rectifications, including the zeroth. Vertices of the rectified 7-simplex are located at the edge-centers of the 7-simplex, vertices of the birectified 7-simplex are located in the triangular face centers of the 7-simplex. Vertices of the trirectified 7-simplex are located in the cell centers of the 7-simplex. The rectified 7-simplex is the figure of the 251 honeycomb. It is called 05,1 for its branching Coxeter-Dynkin diagram, E. L. Elte identified it in 1912 as a semiregular polytope, labeling it as S17. Rectified octaexon The vertices of the rectified 7-simplex can be most simply positioned in 8-space as permutations of and this construction is based on facets of the rectified 8-orthoplex. E. L. Elte identified it in 1912 as a semiregular polytope and it is also called 04,2 for its branching Coxeter-Dynkin diagram, shown as. Birectified octaexon The vertices of the birectified 7-simplex can be most simply positioned in 8-space as permutations of and this construction is based on facets of the birectified 8-orthoplex. The trirectified 7-simplex is the intersection of two regular 7-simplexes in dual configuration, E. L. Elte identified it in 1912 as a semiregular polytope, labeling it as S37. This polytope is the figure of the 133 honeycomb. It is called 03,3 for its branching Coxeter-Dynkin diagram, hexadecaexon The vertices of the trirectified 7-simplex can be most simply positioned in 8-space as permutations of. This construction is based on facets of the trirectified 8-orthoplex, the trirectified 7-simplex is the intersection of two regular 7-simplices in dual configuration. This characterization yields simple coordinates for the vertices of a trirectified 7-simplex in 8-space and these polytopes are three of 71 uniform 7-polytopes with A7 symmetry. Coxeter, Regular Polytopes, 3rd Edition, Dover New York,1973 Kaleidoscopes, coxeter, edited by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication,1995, ISBN 978-0-471-01003-6 H. S. M, coxeter, Regular and Semi Regular Polytopes I, H. S. M. Coxeter, Regular and Semi-Regular Polytopes II, H. S. M, coxeter, Regular and Semi-Regular Polytopes III, Norman Johnson Uniform Polytopes, Manuscript N. W. Johnson, The Theory of Uniform Polytopes and Honeycombs, Ph. D, o3o3x3o3o3o3o - broc, o3x3o3o3o3o3o - roc, o3o3x3o3o3o3o - he Olshevsky, George
38.
Uniform 9-polytope
–
In 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, with w 8-polytope facets around each peak, There are exactly three such convex regular 9-polytopes, - 9-simplex - 9-cube - 9-orthoplex There are no nonconvex regular 9-polytopes. The topology of any given 9-polytope is defined by its Betti numbers, the value of the Euler characteristic used to characterise polyhedra does not generalize usefully to higher dimensions, whatever their underlying topology. This inadequacy of the Euler characteristic to distinguish between different topologies in higher dimensions led to the discovery of the more sophisticated Betti numbers. Similarly, the notion of orientability of a polyhedron is insufficient to characterise the surface twistings of toroidal polytopes, - 9-orthoplex,611 - The A9 family has symmetry of order 3628800. There are 256+16-1=271 forms based on all permutations of the Coxeter-Dynkin diagrams with one or more rings, bowers-style acronym names are given in parentheses for cross-referencing. There are 511 forms based on all permutations of the Coxeter-Dynkin diagrams with one or more rings, eleven cases are shown below, Nine rectified forms and 2 truncations. Bowers-style acronym names are given in parentheses for cross-referencing, bowers-style acronym names are given in parentheses for cross-referencing. The D9 family has symmetry of order 92,897,280 and this family has 3×128−1=383 Wythoffian uniform polytopes, generated by marking one or more nodes of the D9 Coxeter-Dynkin diagram. Of these,255 are repeated from the B9 family and 128 are unique to this family, bowers-style acronym names are given in parentheses for cross-referencing. However, there are 4 noncompact hyperbolic Coxeter groups of rank 9, T. Gosset, On the Regular and Semi-Regular Figures in Space of n Dimensions, Messenger of Mathematics, Macmillan,1900 A. S. M. Miller, Uniform Polyhedra, Philosophical Transactions of the Royal Society of London, Coxeter, Regular Polytopes, 3rd Edition, Dover New York,1973 Kaleidoscopes, Selected Writings of H. S. M. Coxeter, edited by F. Arthur Sherk, Peter McMullen, thompson, Asia Ivic Weiss, Wiley-Interscience Publication,1995, ISBN 978-0-471-01003-6 H. S. M. Coxeter, Regular and Semi Regular Polytopes I, H. S. M, Coxeter, Regular and Semi-Regular Polytopes II, H. S. M. Coxeter, Regular and Semi-Regular Polytopes III, N. W, johnson, The Theory of Uniform Polytopes and Honeycombs, Ph. D. Dissertation, University of Toronto,1966 Klitzing, Richard, polytope names Polytopes of Various Dimensions, Jonathan Bowers Multi-dimensional Glossary Glossary for hyperspace, George Olshevsky
39.
9-demicube
–
In geometry, a demienneract or 9-demicube is a uniform 9-polytope, constructed from the 9-cube, with alternated vertices truncated. It is part of an infinite family of uniform polytopes called demihypercubes. E. L. Elte identified it in 1912 as a semiregular polytope, Coxeter named this polytope as 161 from its Coxeter diagram, with a ring on one of the 1-length branches, and Schläfli symbol or. Cartesian coordinates for the vertices of a demienneract centered at the origin are alternate halves of the enneract, with an odd number of plus signs. Coxeter, Coxeter, Regular Polytopes, Dover edition, ISBN 0-486-61480-8, p.296, Table I, Regular Polytopes, three regular polytopes in n-dimensions H. S. M. Coxeter, Regular Polytopes, 3rd Edition, Dover New York,1973, p.296, Table I, Regular Polytopes, Coxeter, edited by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication,1995, ISBN 978-0-471-01003-6 H. S. M, Coxeter, Regular and Semi Regular Polytopes I, H. S. M. Coxeter, Regular and Semi-Regular Polytopes II, H. S. M, Coxeter, Regular and Semi-Regular Polytopes III, John H. Conway, Heidi Burgiel, Chaim Goodman-Strass, The Symmetries of Things 2008, ISBN 978-1-56881-220-5 Klitzing, Richard. 9D uniform polytopes x3o3o *b3o3o3o3o3o3o - henne, archived from the original on 4 February 2007
40.
Rectified 8-simplexes
–
In eight-dimensional geometry, a rectified 8-simplex is a convex uniform 8-polytope, being a rectification of the regular 8-simplex. There are unique 3 degrees of rectifications in regular 8-polytopes, vertices of the rectified 8-simplex are located at the edge-centers of the 8-simplex. Vertices of the birectified 8-simplex are located in the face centers of the 8-simplex. Vertices of the trirectified 8-simplex are located in the cell centers of the 8-simplex. E. L. Elte identified it in 1912 as a semiregular polytope and it is also called 06,1 for its branching Coxeter-Dynkin diagram, shown as. The Cartesian coordinates of the vertices of the rectified 8-simplex can be most simply positioned in 9-space as permutations of and this construction is based on facets of the rectified 9-orthoplex. E. L. Elte identified it in 1912 as a semiregular polytope and it is also called 05,2 for its branching Coxeter-Dynkin diagram, shown as. The birectified 8-simplex is the figure of the 152 honeycomb. The Cartesian coordinates of the vertices of the birectified 8-simplex can be most simply positioned in 9-space as permutations of and this construction is based on facets of the birectified 9-orthoplex. E. L. Elte identified it in 1912 as a semiregular polytope and it is also called 04,3 for its branching Coxeter-Dynkin diagram, shown as. The Cartesian coordinates of the vertices of the trirectified 8-simplex can be most simply positioned in 9-space as permutations of and this construction is based on facets of the trirectified 9-orthoplex. This polytope is the figure of the 9-demicube, and the edge figure of the uniform 261 honeycomb. It is also one of 135 uniform 8-polytopes with A8 symmetry, coxeter, Regular Polytopes, 3rd Edition, Dover New York,1973 Kaleidoscopes, Selected Writings of H. S. M. Coxeter, edited by F. Arthur Sherk, Peter McMullen, thompson, Asia Ivic Weiss, Wiley-Interscience Publication,1995, ISBN 978-0-471-01003-6 H. S. M. Coxeter, Regular and Semi Regular Polytopes I, H. S. M, coxeter, Regular and Semi-Regular Polytopes II, H. S. M. Coxeter, Regular and Semi-Regular Polytopes III, Norman Johnson Uniform Polytopes, Johnson, The Theory of Uniform Polytopes and Honeycombs, Ph. D. O3x3o3o3o3o3o3o - rene, o3o3x3o3o3o3o3o - brene, o3o3o3x3o3o3o3o - trene Olshevsky, archived from the original on 4 February 2007. Polytopes of Various Dimensions Multi-dimensional Glossary
41.
Uniform 10-polytope
–
In ten-dimensional geometry, a 10-polytope is a 10-dimensional polytope whose boundary consists of 9-polytope facets, exactly two such facets meeting at each 8-polytope ridge. A uniform 10-polytope is one which is vertex-transitive, and constructed from uniform facets, Regular 10-polytopes can be represented by the Schläfli symbol, with x 9-polytope facets around each peak. There are exactly three convex regular 10-polytopes, - 10-simplex - 10-cube - 10-orthoplex There are no nonconvex regular 10-polytopes. The topology of any given 10-polytope is defined by its Betti numbers, the value of the Euler characteristic used to characterise polyhedra does not generalize usefully to higher dimensions, and is zero for all 10-polytopes, whatever their underlying topology. This inadequacy of the Euler characteristic to distinguish between different topologies in higher dimensions led to the discovery of the more sophisticated Betti numbers. Similarly, the notion of orientability of a polyhedron is insufficient to characterise the surface twistings of toroidal polytopes, There are 512+16-1=527 forms based on all permutations of the Coxeter-Dynkin diagrams with one or more rings. 31 are shown below, all one and two ringed forms, and the final omnitruncated form, bowers-style acronym names are given in parentheses for cross-referencing. There are 1023 forms based on all permutations of the Coxeter-Dynkin diagrams with one or more rings, twelve cases are shown below, ten single-ring forms, and two truncations. Bowers-style acronym names are given in parentheses for cross-referencing, the D10 family has symmetry of order 1,857,945,600. This family has 3×256−1=767 Wythoffian uniform polytopes, generated by marking one or more nodes of the D10 Coxeter-Dynkin diagram, of these,511 are repeated from the B10 family and 256 are unique to this family, with 2 listed below. Bowers-style acronym names are given in parentheses for cross-referencing, however, there are 3 noncompact hyperbolic Coxeter groups of rank 9, each generating uniform honeycombs in 9-space as permutations of rings of the Coxeter diagrams. Miller, Uniform Polyhedra, Philosophical Transactions of the Royal Society of London, Coxeter, Regular Polytopes, 3rd Edition, Dover New York,1973 Kaleidoscopes, Selected Writings of H. S. M. Coxeter, edited by F. Arthur Sherk, Peter McMullen, thompson, Asia Ivic Weiss, Wiley-Interscience Publication,1995, ISBN 978-0-471-01003-6 H. S. M. Coxeter, Regular and Semi Regular Polytopes I, H. S. M, Coxeter, Regular and Semi-Regular Polytopes II, H. S. M. Coxeter, Regular and Semi-Regular Polytopes III, N. W, johnson, The Theory of Uniform Polytopes and Honeycombs, Ph. D. Dissertation, University of Toronto,1966 Klitzing, Richard, polytope names Polytopes of Various Dimensions, Jonathan Bowers Multi-dimensional Glossary Glossary for hyperspace, George Olshevsky
42.
10-demicube
–
In geometry, a 10-demicube or demidekeract is a uniform 10-polytope, constructed from the 10-cube with alternated vertices truncated. It is part of an infinite family of uniform polytopes called demihypercubes. E. L. Elte identified it in 1912 as a semiregular polytope, Coxeter named this polytope as 171 from its Coxeter diagram, with a ring on one of the 1-length branches, and Schläfli symbol or. Cartesian coordinates for the vertices of a demidekeract centered at the origin are alternate halves of the dekeract, with an odd number of plus signs. Coxeter, Coxeter, Regular Polytopes, Dover edition, ISBN 0-486-61480-8, p.296, Table I, Regular Polytopes, three regular polytopes in n-dimensions H. S. M. Coxeter, Regular Polytopes, 3rd Edition, Dover New York,1973, p.296, Table I, Regular Polytopes, Coxeter, edited by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication,1995, ISBN 978-0-471-01003-6 H. S. M, Coxeter, Regular and Semi Regular Polytopes I, H. S. M. Coxeter, Regular and Semi-Regular Polytopes II, H. S. M, johnson, The Theory of Uniform Polytopes and Honeycombs, Ph. D. 10D uniform polytopes x3o3o *b3o3o3o3o3o3o3o - hede, archived from the original on 4 February 2007
43.
Rectified 9-simplexes
–
In nine-dimensional geometry, a rectified 9-simplex is a convex uniform 9-polytope, being a rectification of the regular 9-simplex. These polytopes are part of a family of 271 uniform 9-polytopes with A9 symmetry, there are unique 4 degrees of rectifications. Vertices of the rectified 9-simplex are located at the edge-centers of the 9-simplex, vertices of the birectified 9-simplex are located in the triangular face centers of the 9-simplex. Vertices of the trirectified 9-simplex are located in the cell centers of the 9-simplex. Vertices of the quadrirectified 9-simplex are located in the 5-cell centers of the 9-simplex, the rectified 9-simplex is the vertex figure of the 10-demicube. Rectified decayotton The Cartesian coordinates of the vertices of the rectified 9-simplex can be most simply positioned in 10-space as permutations of and this construction is based on facets of the rectified 10-orthoplex. This polytope is the figure for the 162 honeycomb. Its 120 vertices represent the number of the related hyperbolic 10-dimensional sphere packing. Birectified decayotton The Cartesian coordinates of the vertices of the birectified 9-simplex can be most simply positioned in 10-space as permutations of and this construction is based on facets of the birectified 10-orthoplex. Trirectified decayotton The Cartesian coordinates of the vertices of the trirectified 9-simplex can be most simply positioned in 10-space as permutations of and this construction is based on facets of the trirectified 10-orthoplex. Quadrirectified decayotton Icosayotton The Cartesian coordinates of the vertices of the quadrirectified 9-simplex can be most simply positioned in 10-space as permutations of and this construction is based on facets of the quadrirectified 10-orthoplex. Coxeter, Regular Polytopes, 3rd Edition, Dover New York,1973 Kaleidoscopes, coxeter, edited by F. Arthur Sherk, Peter McMullen, Anthony C. Thompson, Asia Ivic Weiss, Wiley-Interscience Publication,1995, ISBN 978-0-471-01003-6 H. S. M, coxeter, Regular and Semi Regular Polytopes I, H. S. M. Coxeter, Regular and Semi-Regular Polytopes II, H. S. M, coxeter, Regular and Semi-Regular Polytopes III, Norman Johnson Uniform Polytopes, Manuscript N. W. Johnson, The Theory of Uniform Polytopes and Honeycombs, Ph. D, o3x3o3o3o3o3o3o3o - reday, o3o3x3o3o3o3o3o3o - breday, o3o3o3x3o3o3o3o3o - treday, o3o3o3o3x3o3o3o3o - icoy Olshevsky, George. Archived from the original on 4 February 2007, Polytopes of Various Dimensions Multi-dimensional Glossary
44.
Polytope
–
In elementary geometry, a polytope is a geometric object with flat sides, and may exist in any general number of dimensions n as an n-dimensional polytope or n-polytope. For example, a polygon is a 2-polytope and a three-dimensional polyhedron is a 3-polytope. Polytopes in more than three dimensions were first discovered by Ludwig Schläfli, the German term polytop was coined by the mathematician Reinhold Hoppe, and was introduced to English mathematicians as polytope by Alicia Boole Stott. The term polytope is nowadays a broad term that covers a class of objects. Many of these definitions are not equivalent, resulting in different sets of objects being called polytopes and they represent different approaches to generalizing the convex polytopes to include other objects with similar properties. In this approach, a polytope may be regarded as a tessellation or decomposition of some given manifold, an example of this approach defines a polytope as a set of points that admits a simplicial decomposition. However this definition does not allow star polytopes with interior structures, the discovery of star polyhedra and other unusual constructions led to the idea of a polyhedron as a bounding surface, ignoring its interior. A polyhedron is understood as a surface whose faces are polygons, a 4-polytope as a hypersurface whose facets are polyhedra and this approach is used for example in the theory of abstract polytopes. In certain fields of mathematics, the terms polytope and polyhedron are used in a different sense and this terminology is typically confined to polytopes and polyhedra that are convex. A polytope comprises elements of different dimensionality such as vertices, edges, faces, cells, terminology for these is not fully consistent across different authors. For example, some authors use face to refer to an -dimensional element while others use face to denote a 2-face specifically, authors may use j-face or j-facet to indicate an element of j dimensions. Some use edge to refer to a ridge, while H. S. M. Coxeter uses cell to denote an -dimensional element, the terms adopted in this article are given in the table below, An n-dimensional polytope is bounded by a number of -dimensional facets. These facets are themselves polytopes, whose facets are -dimensional ridges of the original polytope, Every ridge arises as the intersection of two facets. Ridges are once again polytopes whose facets give rise to -dimensional boundaries of the original polytope and these bounding sub-polytopes may be referred to as faces, or specifically j-dimensional faces or j-faces. A 0-dimensional face is called a vertex, and consists of a single point, a 1-dimensional face is called an edge, and consists of a line segment. A 2-dimensional face consists of a polygon, and a 3-dimensional face, sometimes called a cell, the convex polytopes are the simplest kind of polytopes, and form the basis for several different generalizations of the concept of polytopes. A convex polytope is defined as the intersection of a set of half-spaces. This definition allows a polytope to be neither bounded nor finite, Polytopes are defined in this way, e. g. in linear programming
45.
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 reflections. Indeed, the finite Coxeter groups are precisely the finite Euclidean reflection groups, however, not all Coxeter groups are finite, and not all can be described in terms of symmetries and Euclidean reflections. Coxeter groups were introduced as abstractions of reflection groups, and finite Coxeter groups were classified in 1935, Coxeter groups find applications in many areas of mathematics. Examples of finite Coxeter groups include the groups of regular polytopes. The condition m i j = ∞ means no relation of the form m should be imposed, the pair where W is a Coxeter group with generators S = is called a Coxeter system. Note that in general S is not uniquely determined by W, for example, the Coxeter groups of type B3 and A1 × A3 are isomorphic but the Coxeter systems are not equivalent. A number of conclusions can be drawn immediately from the above definition, the relation m i i =1 means that 1 =2 =1 for all i, as such the generators are involutions. If m i j =2, then the r i and r j commute. This follows by observing that x x = y y =1, in order to avoid redundancy among the relations, it is necessary to assume that m i j = m j i. This follows by observing that y y =1, together with m =1 implies that m = m y y = y m y = y y =1. Alternatively, k and k are elements, as y k y −1 = k y y −1 = k. The Coxeter matrix is the n × n, symmetric matrix with entries m i j, indeed, every symmetric matrix with positive integer and ∞ entries and with 1s on the diagonal such that all nondiagonal entries are greater than 1 serves to define a Coxeter group. The Coxeter matrix can be encoded by a Coxeter diagram. The vertices of the graph are labelled by generator subscripts, vertices i and j are adjacent if and only if m i j ≥3. An edge is labelled with the value of m i j whenever the value is 4 or greater, in particular, two generators commute if and only if they are not connected by an edge. Furthermore, if a Coxeter graph has two or more connected components, the group is the direct product of the groups associated to the individual components. Thus the disjoint union of Coxeter graphs yields a product of Coxeter groups. The Coxeter matrix, M i j, is related to the n × n Schläfli matrix C with entries C i j = −2 cos , but the elements are modified, being proportional to the dot product of the pairwise generators
46.
Hyperoctahedral group
–
In mathematics, a hyperoctahedral group is an important type of group that can be realized as the group of symmetries of a hypercube or of a cross-polytope. It was named by Alfred Young in 1930, groups of this type are identified by a parameter n, the dimension of the hypercube. As a Coxeter group it is of type Bn = Cn, as a wreath product it is S2 ≀ S n where S n is the symmetric group of degree n. As a permutation group, the group is the symmetric group of permutations π either of the set or of the set such that π = −π for all i. As a matrix group, it can be described as the group of n×n orthogonal matrices whose entries are all integers, the representation theory of the hyperoctahedral group was described by according to. In three dimensions, the group is known as O×S2 where O≅S4 is the octahedral group. Geometric figures in three dimensions with this group are said to have octahedral symmetry, named after the regular octahedron. In 4-dimensions it is called a symmetry, after the regular 16-cell. In two dimensions, the group structure is the abstract dihedral group of order eight, describing the symmetry of a square. Multiplying these together yields a third map C n →, the kernel of the first map is the Coxeter group D n. In the other direction, the center is the subgroup of scalar matrices, geometrically, in dimension 2 these groups completely describe the hyperoctahedral group, which is the dihedral group Dih4 of order 8, and is an extension 2. V. In general, passing to the subquotient is the group of the projective demihypercube. The hyperoctahedral subgroup, Dn by dimension, The chiral hyper-octahedral symmetry, is the direct subgroup, another notable index 2 subgroup can be called hyper-pyritohedral symmetry, by dimension, These groups have n orthogonal mirrors in n-dimensions. The group homology of the group is similar to that of the symmetric group. This is easily seen directly, the −1 elements are order 2, and all conjugate, as are the transpositions in S n, and these are two separate classes. These elements generate the group, so the only non-trivial abelianizations are to 2-groups, the maps are explicitly given as the product of the signs of all the elements, and the sign of the permutation. Multiplying these together yields a third map, and together with the trivial map these form the 4-group. The second homology groups, known classically as the Schur multipliers, were computed in and they are, H2 = {0 n =0,1 Z /2 n =22 n =33 n ≥4