1.
Orthogonal projection
–
In linear algebra and functional analysis, a projection is a linear transformation P from a vector space to itself such that P2 = P. That is, whenever P is applied twice to any value, though abstract, this definition of projection formalizes and generalizes the idea of graphical projection. One can also consider the effect of a projection on an object by examining the effect of the projection on points in the object. For example, the function maps the point in three-dimensional space R3 to the point is an orthogonal projection onto the x–y plane. This function is represented by the matrix P =, the action of this matrix on an arbitrary vector is P =. To see that P is indeed a projection, i. e. P = P2, a simple example of a non-orthogonal projection is P =. Via matrix multiplication, one sees that P2 = = = P. proving that P is indeed a projection, the projection P is orthogonal if and only if α =0. Let W be a finite dimensional space and P be a projection on W. Suppose the subspaces U and V are the range and kernel of P respectively, then P has the following properties, By definition, P is idempotent. P is the identity operator I on U ∀ x ∈ U, P x = x and we have a direct sum W = U ⊕ V. Every vector x ∈ W may be decomposed uniquely as x = u + v with u = P x and v = x − P x = x, the range and kernel of a projection are complementary, as are P and Q = I − P. The operator Q is also a projection and the range and kernel of P become the kernel and range of Q and we say P is a projection along V onto U and Q is a projection along U onto V. In infinite dimensional spaces, the spectrum of a projection is contained in as −1 =1 λ I +1 λ P. Only 0 or 1 can be an eigenvalue of a projection, the corresponding eigenspaces are the kernel and range of the projection. Decomposition of a space into direct sums is not unique in general. Therefore, given a subspace V, there may be many projections whose range is V, if a projection is nontrivial it has minimal polynomial x 2 − x = x, which factors into distinct roots, and thus P is diagonalizable. The product of projections is not, in general, a projection, if projections commute, then their product is a projection. When the vector space W has a product and is complete the concept of orthogonality can be used
2.
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
3.
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
4.
Orthoplex
–
In geometry, a cross-polytope, orthoplex, hyperoctahedron, or cocube is a regular, convex polytope that exists in n-dimensions. A 2-orthoplex is a square, a 3-orthoplex is an octahedron. Its facets are simplexes of the dimension, while the cross-polytopes vertex figure is another cross-polytope from the previous dimension. The vertices of a cross-polytope are all the permutations of, the cross-polytope is the convex hull of its vertices. The n-dimensional cross-polytope can also be defined as the unit ball in the ℓ1-norm on Rn. In 1 dimension the cross-polytope is simply the line segment, in 2 dimensions it is a square with vertices, in 3 dimensions it is an octahedron—one of the five convex regular polyhedra known as the Platonic solids. Higher-dimensional cross-polytopes are generalizations of these, the cross-polytope is the dual polytope of the hypercube. The 1-skeleton of a n-dimensional cross-polytope is a Turán graph T, the 4-dimensional cross-polytope also goes by the name hexadecachoron or 16-cell. It is one of six convex regular 4-polytopes and these 4-polytopes were first described by the Swiss mathematician Ludwig Schläfli in the mid-19th century. The cross polytope family is one of three regular polytope families, labeled by Coxeter as βn, the two being the hypercube family, labeled as γn, and the simplices, labeled as αn. A fourth family, the infinite tessellations of hypercubes, he labeled as δn, the n-dimensional cross-polytope has 2n vertices, and 2n facets all of which are n−1 simplices. The vertex figures are all n −1 cross-polytopes, the Schläfli symbol of the cross-polytope is. The dihedral angle of the n-dimensional cross-polytope is δ n = arccos and this gives, δ2 = arccos = 90°, δ3 = arccos =109. 47°, δ4 = arccos = 120°, δ5 = arccos =126. 87°. The volume of the n-dimensional cross-polytope is 2 n n. Petrie polygon projections map the points into a regular 2n-gon or lower order regular polygons. A second projection takes the 2-gon petrie polygon of the dimension, seen as a bipyramid, projected down the axis. The vertices of a cross polytope are all at equal distance from each other in the Manhattan distance. Kusners conjecture states that this set of 2d points is the largest possible equidistant set for this distance, Regular complex polytopes can be defined in complex Hilbert space called generalized orthoplexes, βpn =22. 2p, or. Real solutions exist with p=2, i. e. β2n = βn =22.22 =, for p>2, they exist in C n
5.
Coxeter-Dynkin diagram
–
In geometry, a Coxeter–Dynkin diagram is a graph with numerically labeled edges representing the spatial relations between a collection of mirrors. It describes a kaleidoscopic construction, each node represents a mirror. An unlabeled branch implicitly represents order-3, each diagram represents a Coxeter group, and Coxeter groups are classified by their associated diagrams. Dynkin diagrams correspond to and are used to root systems. Branches of a Coxeter–Dynkin diagram are labeled with a number p. When p =2 the angle is 90° and the mirrors have no interaction, if a branch is unlabeled, it is assumed to have p =3, representing an angle of 60°. Two parallel mirrors have a branch marked with ∞, in principle, n mirrors can be represented by a complete graph in which all n /2 branches are drawn. In practice, nearly all interesting configurations of mirrors include a number of right angles, diagrams can be labeled by their graph structure. The first forms studied by Ludwig Schläfli are the orthoschemes which have linear graphs that generate regular polytopes, plagioschemes are simplices represented by branching graphs, and cycloschemes are simplices represented by cyclic graphs. Every Coxeter diagram has a corresponding Schläfli matrix with matrix elements ai, j = aj, as a matrix of cosines, it is also called a Gramian matrix after Jørgen Pedersen Gram. All Coxeter group Schläfli matrices are symmetric because their root vectors are normalized. It is related closely to the Cartan matrix, used in the similar but directed graph Dynkin diagrams in the cases of p =2,3,4, and 6. The determinant of the Schläfli matrix, called the Schläflian, and its sign determines whether the group is finite, affine and this rule is called Schläflis Criterion. The eigenvalues of the Schläfli matrix determines whether a Coxeter group is of type, affine type. The indefinite type is further subdivided, e. g. into hyperbolic. However, there are multiple non-equivalent definitions for hyperbolic Coxeter groups and we use the following definition, A Coxeter group with connected diagram is hyperbolic if it is neither of finite nor affine type, but every proper connected subdiagram is of finite or affine type. A hyperbolic Coxeter group is compact if all subgroups are finite, Finite and affine groups are also called elliptical and parabolic respectively. Hyperbolic groups are also called Lannér, after F. Lannér who enumerated the compact groups in 1950
6.
9-simplex
–
In geometry, a 9-simplex is a self-dual regular 9-polytope. It has 10 vertices,45 edges,120 triangle faces,210 tetrahedral cells,252 5-cell 4-faces,210 5-simplex 5-faces,120 6-simplex 6-faces,45 7-simplex 7-faces and its dihedral angle is cos−1, or approximately 83. 62°. It can also be called a decayotton, or deca-9-tope, as a 10-facetted polytope in 9-dimensions, the name decayotton is derived from deca for ten facets in Greek and -yott, having 8-dimensional facets, and -on. This construction is based on facets of the 10-orthoplex, 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. 9D uniform polytopes x3o3o3o3o3o3o3o3o - day, Polytopes of Various Dimensions Multi-dimensional Glossary
7.
8-simplex
–
In geometry, an 8-simplex is a self-dual regular 8-polytope. It has 9 vertices,36 edges,84 triangle faces,126 tetrahedral cells,126 5-cell 4-faces,84 5-simplex 5-faces,36 6-simplex 6-faces and its dihedral angle is cos−1, or approximately 82. 82°. It can also be called an enneazetton, or ennea-8-tope, as a 9-facetted polytope in eight-dimensions, the name enneazetton is derived from ennea for nine facets in Greek and -zetta for having seven-dimensional facets, and -on. This construction is based on facets of the 9-orthoplex and this polytope is a facet in the uniform tessellations,251, and 521 with respective Coxeter-Dynkin diagrams, This polytope is one of 135 uniform 8-polytopes with A8 symmetry. 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. 8D uniform polytopes x3o3o3o3o3o3o3o - ene, Polytopes of Various Dimensions Multi-dimensional Glossary
8.
7-simplex
–
In 7-dimensional geometry, a 7-simplex is a self-dual regular 7-polytope. It has 8 vertices,28 edges,56 triangle faces,70 tetrahedral cells,56 5-cell 5-faces,28 5-simplex 6-faces and its dihedral angle is cos−1, or approximately 81. 79°. It can also be called an octaexon, or octa-7-tope, as an 8-facetted polytope in 7-dimensions, the name octaexon is derived from octa for eight facets in Greek and -ex for having six-dimensional facets, and -on. Jonathan Bowers gives an octaexon the acronym oca, the Cartesian coordinates of the vertices of an origin-centered regular octaexon having edge length 2 are, More simply, the vertices of the 7-simplex can be positioned in 8-space as permutations of. This construction is based on facets of the 8-orthoplex and this polytope is a facet in the uniform tessellation 331 with Coxeter-Dynkin diagram, This polytope is one of 71 uniform 7-polytopes with A7 symmetry. Polytopes of Various Dimensions Multi-dimensional Glossary
9.
6-simplex
–
In geometry, a 6-simplex is a self-dual regular 6-polytope. It has 7 vertices,21 edges,35 triangle faces,35 tetrahedral cells,21 5-cell 4-faces and its dihedral angle is cos−1, or approximately 80. 41°. It can also be called a heptapeton, or hepta-6-tope, as a 7-facetted polytope in 6-dimensions, the name heptapeton is derived from hepta for seven facets in Greek and -peta for having five-dimensional facets, and -on. Jonathan Bowers gives a heptapeton the acronym hop, the regular 6-simplex is one of 35 uniform 6-polytopes based on the Coxeter group, all shown here in A6 Coxeter plane orthographic projections. 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. 6D uniform polytopes x3o3o3o3o - hix, archived from the original on 4 February 2007. Polytopes of Various Dimensions Multi-dimensional Glossary
10.
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
11.
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
12.
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
13.
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
14.
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
15.
9-orthoplex
–
It has two constructed forms, the first being regular with Schläfli symbol, and the second with alternately labeled facets, with Schläfli symbol or Coxeter symbol 611. It is one of an family of polytopes, called cross-polytopes or orthoplexes. The dual polytope is the 9-hypercube or enneract, cartesian coordinates for the vertices of a 9-orthoplex, centered at the origin, are, Every vertex pair is connected by an edge, except opposites. 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, 9D uniform polytopes x3o3o3o3o3o3o3o4o - vee. Archived from the original on 4 February 2007, Polytopes of Various Dimensions Multi-dimensional Glossary
16.
Icosagon
–
In geometry, an icosagon or 20-gon is a twenty-sided polygon. The sum of any icosagons interior angles is 3240 degrees, the regular icosagon has Schläfli symbol, and can also be constructed as a truncated decagon, t, or a twice-truncated pentagon, tt. One interior angle in a regular icosagon is 162°, meaning that one exterior angle would be 18°, the area of a regular icosagon with edge length t is A =5 t 2 ≃31.5687 t 2. In terms of the radius R of its circumcircle, the area is A =5 R22, since the area of the circle is π R2, the Big Wheel on the popular US game show The Price Is Right has an icosagonal cross-section. The Globe, the outdoor theater used by William Shakespeares acting company, was discovered to have built on an icosagonal foundation when a partial excavation was done in 1989. As a golygonal path, the swastika is considered to be an irregular icosagon, a regular square, pentagon, and icosagon can completely fill a plane vertex. E20 E1 ¯ E1 F ¯ = E20 F ¯ E20 E1 ¯ =1 +52 = φ ≈1.618 The regular icosagon has Dih20 symmetry, order 40. There are 5 subgroup dihedral symmetries, and, and 6 cyclic group symmetries and these 10 symmetries can be seen in 16 distinct symmetries on the icosagon, a larger number because the lines of reflections can either pass through vertices or edges. John Conway labels these by a letter and group order, full symmetry of the regular form is r40 and no symmetry is labeled a1. The dihedral symmetries are divided depending on whether they pass through vertices or edges, cyclic symmetries in the middle column are labeled as g for their central gyration orders. Each subgroup symmetry allows one or more degrees of freedom for irregular forms, only the g20 subgroup has no degrees of freedom but can seen as directed edges. These two forms are duals of each other and have half the order of the regular icosagon. An icosagram is a 20-sided star polygon, represented by symbol, there are three regular forms given by Schläfli symbols, and. There are also five regular star figures using the vertex arrangement,2,4,5,2,4. Deeper truncations of the regular decagon and decagram can produce isogonal intermediate icosagram forms with equally spaced vertices, a regular icosagram, can be seen as a quasitruncated decagon, t=. Similarly a decagram, has a quasitruncation t=, and finally a simple truncation of a decagram gives t=
17.
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
18.
10-cube
–
In geometry, a 10-cube is a ten-dimensional hypercube. It can be named by its Schläfli symbol, being composed of 3 9-cubes around each 8-face and it is a part of an infinite family of polytopes, called hypercubes. The dual of a dekeract can be called a 10-orthoplex or decacross, cartesian coordinates for the vertices of a dekeract centered at the origin and edge length 2 are while the interior of the same consists of all points with −1 < xi <1. Applying an alternation operation, deleting alternating vertices of the dekeract, creates another uniform polytope, called a 10-demicube, which has 20 demienneractic and 512 enneazettonic facets. 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, Norman Johnson Uniform Polytopes, Manuscript N. W. Johnson, The Theory of Uniform Polytopes and Honeycombs, Ph. D, 10D uniform polytopes o3o3o3o3o3o3o3o3o4x - deker. Archived from the original on 4 February 2007, multi-dimensional Glossary, hypercube Garrett Jones Sloanes A135289, Hypercubes, 10-cube. The On-Line Encyclopedia of Integer Sequences
19.
Convex polytope
–
A convex polytope is a special case of a polytope, having the additional property that it is also a convex set of points in the n-dimensional space Rn. Some authors use the terms polytope and convex polyhedron interchangeably. In addition, some require a polytope to be a bounded set. The terms bounded/unbounded convex polytope will be used whenever the boundedness is critical to the discussed issue. Yet other texts treat a convex n-polytope as a surface or -manifold, Convex polytopes play an important role both in various branches of mathematics and in applied areas, most notably in linear programming. A comprehensive and influential book in the subject, called Convex Polytopes, was published in 1967 by Branko Grünbaum, in 2003 the 2nd edition of the book was published, with significant additional material contributed by new writers. In Grünbaums book, and in other texts in discrete geometry. Grünbaum points out that this is solely to avoid the repetition of the word convex. A polytope is called if it is an n-dimensional object in Rn. Many examples of bounded convex polytopes can be found in the article polyhedron, a convex polytope may be defined in a number of ways, depending on what is more suitable for the problem at hand. Grünbaums definition is in terms of a set of points in space. Other important definitions are, as the intersection of half-spaces and as the hull of a set of points. This is equivalent to defining a bounded convex polytope as the hull of a finite set of points. Such a definition is called a vertex representation, for a compact convex polytope, the minimal V-description is unique and it is given by the set of the vertices of the polytope. A convex polytope may be defined as an intersection of a number of half-spaces. Such definition is called a half-space representation, there exist infinitely many H-descriptions of a convex polytope. However, for a convex polytope, the minimal H-description is in fact unique and is given by the set of the facet-defining halfspaces. A closed half-space can be written as an inequality, a 1 x 1 + a 2 x 2 + ⋯ + a n x n ≤ b where n is the dimension of the space containing the polytope under consideration
20.
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
21.
Cross polytope
–
In geometry, a cross-polytope, orthoplex, hyperoctahedron, or cocube is a regular, convex polytope that exists in n-dimensions. A 2-orthoplex is a square, a 3-orthoplex is an octahedron. Its facets are simplexes of the dimension, while the cross-polytopes vertex figure is another cross-polytope from the previous dimension. The vertices of a cross-polytope are all the permutations of, the cross-polytope is the convex hull of its vertices. The n-dimensional cross-polytope can also be defined as the unit ball in the ℓ1-norm on Rn. In 1 dimension the cross-polytope is simply the line segment, in 2 dimensions it is a square with vertices, in 3 dimensions it is an octahedron—one of the five convex regular polyhedra known as the Platonic solids. Higher-dimensional cross-polytopes are generalizations of these, the cross-polytope is the dual polytope of the hypercube. The 1-skeleton of a n-dimensional cross-polytope is a Turán graph T, the 4-dimensional cross-polytope also goes by the name hexadecachoron or 16-cell. It is one of six convex regular 4-polytopes and these 4-polytopes were first described by the Swiss mathematician Ludwig Schläfli in the mid-19th century. The cross polytope family is one of three regular polytope families, labeled by Coxeter as βn, the two being the hypercube family, labeled as γn, and the simplices, labeled as αn. A fourth family, the infinite tessellations of hypercubes, he labeled as δn, the n-dimensional cross-polytope has 2n vertices, and 2n facets all of which are n−1 simplices. The vertex figures are all n −1 cross-polytopes, the Schläfli symbol of the cross-polytope is. The dihedral angle of the n-dimensional cross-polytope is δ n = arccos and this gives, δ2 = arccos = 90°, δ3 = arccos =109. 47°, δ4 = arccos = 120°, δ5 = arccos =126. 87°. The volume of the n-dimensional cross-polytope is 2 n n. Petrie polygon projections map the points into a regular 2n-gon or lower order regular polygons. A second projection takes the 2-gon petrie polygon of the dimension, seen as a bipyramid, projected down the axis. The vertices of a cross polytope are all at equal distance from each other in the Manhattan distance. Kusners conjecture states that this set of 2d points is the largest possible equidistant set for this distance, Regular complex polytopes can be defined in complex Hilbert space called generalized orthoplexes, βpn =22. 2p, or. Real solutions exist with p=2, i. e. β2n = βn =22.22 =, for p>2, they exist in C n
22.
Vertex (geometry)
–
In geometry, a vertex is a point where two or more curves, lines, or edges meet. As a consequence of this definition, the point where two lines meet to form an angle and the corners of polygons and polyhedra are vertices. A vertex is a point of a polygon, polyhedron, or other higher-dimensional polytope. However, in theory, vertices may have fewer than two incident edges, which is usually not allowed for geometric vertices. However, a smooth approximation to a polygon will also have additional vertices. A polygon vertex xi of a simple polygon P is a principal polygon vertex if the diagonal intersects the boundary of P only at x and x, there are two types of principal vertices, ears and mouths. A principal vertex xi of a simple polygon P is called an ear if the diagonal that bridges xi lies entirely in P, according to the two ears theorem, every simple polygon has at least two ears. A principal vertex xi of a simple polygon P is called a mouth if the diagonal lies outside the boundary of P. 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 vertices is 2 more than the excess of the number of edges over the number of faces, for example, a cube has 12 edges and 6 faces, and hence 8 vertices
23.
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
24.
Face (geometry)
–
In solid geometry, a face is a flat surface that forms part of the boundary of a solid object, a three-dimensional solid bounded exclusively by flat faces is a polyhedron. In more technical treatments of the geometry of polyhedra and higher-dimensional polytopes, in elementary geometry, a face is a polygon on the boundary of a polyhedron. Other names for a polygonal face include side of a polyhedron, for example, any of the six squares that bound a cube is a face of the cube. Sometimes face is used to refer to the 2-dimensional features of a 4-polytope. With this meaning, the 4-dimensional tesseract has 24 square faces, some other polygons, which are not faces, are also important for polyhedra and tessellations. These include Petrie polygons, vertex figures and facets, 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 F is the number of faces. This equation is known as Eulers polyhedron formula, thus the number of faces is 2 more than the excess of the number of edges over the number of vertices. For example, a cube has 12 edges and 8 vertices, in higher-dimensional geometry the faces of a polytope are features of all dimensions. A face of dimension k is called a k-face, for example, the polygonal faces of an ordinary polyhedron are 2-faces. In set theory, the set of faces of a polytope includes the polytope itself, for any n-polytope, −1 ≤ k ≤ n. For example, with meaning, the faces of a cube include the empty set, its vertices, edges and squares. Formally, a face of a polytope P is the intersection of P with any closed halfspace whose boundary is disjoint from the interior of P, from this definition it follows that the set of faces of a polytope includes the polytope itself and the empty set. In other areas of mathematics, such as the theories of abstract polytopes and star polytopes, abstract theory still requires that the set of faces include the polytope itself and the empty set. A cell is an element of a 4-dimensional polytope or 3-dimensional tessellation. Cells are facets for 4-polytopes and 3-honeycombs, examples, In higher-dimensional geometry, the facets of a n-polytope are the -faces of dimension one less than the polytope itself. A polytope is bounded by its facets, for example, The facets of a line segment are its 0-faces or vertices. The facets of a polygon are its 1-faces or edges, the facets of a polyhedron or plane tiling are its 2-faces. The facets of a 4D polytope or 3-honeycomb are its 3-faces, the facets of a 5D polytope or 4-honeycomb are its 4-faces
25.
Cell (mathematics)
–
In solid geometry, a face is a flat surface that forms part of the boundary of a solid object, a three-dimensional solid bounded exclusively by flat faces is a polyhedron. In more technical treatments of the geometry of polyhedra and higher-dimensional polytopes, in elementary geometry, a face is a polygon on the boundary of a polyhedron. Other names for a polygonal face include side of a polyhedron, for example, any of the six squares that bound a cube is a face of the cube. Sometimes face is used to refer to the 2-dimensional features of a 4-polytope. With this meaning, the 4-dimensional tesseract has 24 square faces, some other polygons, which are not faces, are also important for polyhedra and tessellations. These include Petrie polygons, vertex figures and facets, 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 F is the number of faces. This equation is known as Eulers polyhedron formula, thus the number of faces is 2 more than the excess of the number of edges over the number of vertices. For example, a cube has 12 edges and 8 vertices, in higher-dimensional geometry the faces of a polytope are features of all dimensions. A face of dimension k is called a k-face, for example, the polygonal faces of an ordinary polyhedron are 2-faces. In set theory, the set of faces of a polytope includes the polytope itself, for any n-polytope, −1 ≤ k ≤ n. For example, with meaning, the faces of a cube include the empty set, its vertices, edges and squares. Formally, a face of a polytope P is the intersection of P with any closed halfspace whose boundary is disjoint from the interior of P, from this definition it follows that the set of faces of a polytope includes the polytope itself and the empty set. In other areas of mathematics, such as the theories of abstract polytopes and star polytopes, abstract theory still requires that the set of faces include the polytope itself and the empty set. A cell is an element of a 4-dimensional polytope or 3-dimensional tessellation. Cells are facets for 4-polytopes and 3-honeycombs, examples, In higher-dimensional geometry, the facets of a n-polytope are the -faces of dimension one less than the polytope itself. A polytope is bounded by its facets, for example, The facets of a line segment are its 0-faces or vertices. The facets of a polygon are its 1-faces or edges, the facets of a polyhedron or plane tiling are its 2-faces. The facets of a 4D polytope or 3-honeycomb are its 3-faces, the facets of a 5D polytope or 4-honeycomb are its 4-faces
26.
Coxeter symbol
–
They can be seen as one-end-ringed Coxeter–Dynkin diagrams. The vertex figure of ki, j is i, j, rectified simplices are included in the list as limiting cases with k=0. Similarly 0i, j, k represents a graph with a central node ringed. This included the rectified 5-cell 021 in 4-space, demipenteract 121 in 5-space,221 in 6-space,321 in 7-space,421 in 8-space, E. L. Elte independently enumerated a different semiregular list in his 1912 book, The Semiregular Polytopes of the Hyperspaces. He called them semiregular polytopes of the first kind, limiting his search to one or two types of regular or semiregular k-faces, eltes enumeration included all the kij polytopes except for the 142 which has 3 types of 6-faces. The set of figures extend into honeycombs of, and families in 6,7,8 dimensional Euclidean spaces respectively, gossets list included the 521 honeycomb as the only semiregular one in his definition. The polytopes and honeycombs in this family can be seen within ADE classification, a finite polytope kij exists if 1 i +1 +1 j +1 +1 k +1 >1 or equal for Euclidean honeycombs, and less for hyperbolic honeycombs. The Coxeter group can generate up to 3 unique uniform Gosset–Elte figures with Coxeter–Dynkin diagrams with one end node ringed, by Coxeters notation, each figure is represented by kij to mean the end-node on the k-length sequence is ringed. The simplex family can be seen as a case with k=0. The family of n-simplices contain Gosset–Elte figures of the form 0ij as all rectified forms of the n-simplex and they are listed below, along with their Coxeter–Dynkin diagram, with each dimensional family drawn as a graphic orthogonal projection in the plane of the Petrie polygon of the regular simplex. Each Dn group has two Gosset–Elte figures, the n-demihypercube as 1k1, and a form of the n-orthoplex, k11. Rectified n-demihypercubes, a lower form of a birectified n-cube. Each En group from 4 to 8 has two or three Gosset–Elte figures, represented by one of the ringed, k21, 1k2, 2k1. A rectified 1k2 series can also be represented as 0k21, the 5-dimensional hyperbolic Coxeter group, L ¯4, has five order-3 branches, and can express one honeycomb,11111, and its rectification as 011111. On the regular and semi-regular figures in space of n dimensions, the Semiregular Polytopes of the Hyperspaces, Groningen, University of Groningen, ISBN 1-4181-7968-X Coxeter, H. S. M. Regular Polytopes, Dover edition, ISBN 0-486-61480-8 Norman Johnson Uniform Polytopes, Johnson, The Theory of Uniform Polytopes and Honeycombs, Ph. D
27.
Cross-polytope
–
In geometry, a cross-polytope, orthoplex, hyperoctahedron, or cocube is a regular, convex polytope that exists in n-dimensions. A 2-orthoplex is a square, a 3-orthoplex is an octahedron. Its facets are simplexes of the dimension, while the cross-polytopes vertex figure is another cross-polytope from the previous dimension. The vertices of a cross-polytope are all the permutations of, the cross-polytope is the convex hull of its vertices. The n-dimensional cross-polytope can also be defined as the unit ball in the ℓ1-norm on Rn. In 1 dimension the cross-polytope is simply the line segment, in 2 dimensions it is a square with vertices, in 3 dimensions it is an octahedron—one of the five convex regular polyhedra known as the Platonic solids. Higher-dimensional cross-polytopes are generalizations of these, the cross-polytope is the dual polytope of the hypercube. The 1-skeleton of a n-dimensional cross-polytope is a Turán graph T, the 4-dimensional cross-polytope also goes by the name hexadecachoron or 16-cell. It is one of six convex regular 4-polytopes and these 4-polytopes were first described by the Swiss mathematician Ludwig Schläfli in the mid-19th century. The cross polytope family is one of three regular polytope families, labeled by Coxeter as βn, the two being the hypercube family, labeled as γn, and the simplices, labeled as αn. A fourth family, the infinite tessellations of hypercubes, he labeled as δn, the n-dimensional cross-polytope has 2n vertices, and 2n facets all of which are n−1 simplices. The vertex figures are all n −1 cross-polytopes, the Schläfli symbol of the cross-polytope is. The dihedral angle of the n-dimensional cross-polytope is δ n = arccos and this gives, δ2 = arccos = 90°, δ3 = arccos =109. 47°, δ4 = arccos = 120°, δ5 = arccos =126. 87°. The volume of the n-dimensional cross-polytope is 2 n n. Petrie polygon projections map the points into a regular 2n-gon or lower order regular polygons. A second projection takes the 2-gon petrie polygon of the dimension, seen as a bipyramid, projected down the axis. The vertices of a cross polytope are all at equal distance from each other in the Manhattan distance. Kusners conjecture states that this set of 2d points is the largest possible equidistant set for this distance, Regular complex polytopes can be defined in complex Hilbert space called generalized orthoplexes, βpn =22. 2p, or. Real solutions exist with p=2, i. e. β2n = βn =22.22 =, for p>2, they exist in C n
28.
Dual polytope
–
Such dual figures remain combinatorial or abstract polyhedra, but not all are also geometric polyhedra. Starting with any given polyhedron, the dual of its dual is the original polyhedron, duality preserves the symmetries of a polyhedron. Therefore, for classes of polyhedra defined by their symmetries. Thus, the regular polyhedra – the Platonic solids and Kepler-Poinsot polyhedra – form dual pairs, the dual of an isogonal polyhedron, having equivalent vertices, is one which is isohedral, having equivalent faces. The dual of a polyhedron is also isotoxal. Duality is closely related to reciprocity or polarity, a transformation that. There are many kinds of duality, the kinds most relevant to elementary polyhedra are polar reciprocity and topological or abstract duality. The duality of polyhedra is often defined in terms of polar reciprocation about a concentric sphere. In coordinates, for reciprocation about the sphere x 2 + y 2 + z 2 = r 2, the vertex is associated with the plane x 0 x + y 0 y + z 0 z = r 2. The vertices of the dual are the reciprocal to the face planes of the original. Also, any two adjacent vertices define an edge, and these will reciprocate to two adjacent faces which intersect to define an edge of the dual and this dual pair of edges are always orthogonal to each other. If r 0 is the radius of the sphere, and r 1 and r 2 respectively the distances from its centre to the pole and its polar, then, r 1. R2 = r 02 For the more symmetrical polyhedra having an obvious centroid, it is common to make the polyhedron and sphere concentric, the choice of center for the sphere is sufficient to define the dual up to similarity. If multiple symmetry axes are present, they will intersect at a single point. Failing that, a sphere, inscribed sphere, or midsphere is commonly used. If a polyhedron in Euclidean space has an element passing through the center of the sphere, since Euclidean space never reaches infinity, the projective equivalent, called extended Euclidean space, may be formed by adding the required plane at infinity. Some theorists prefer to stick to Euclidean space and say there is no dual. Meanwhile, Wenninger found a way to represent these infinite duals, the concept of duality here is closely related to the duality in projective geometry, where lines and edges are interchanged
29.
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
30.
Greek language
–
Greek is an independent branch of the Indo-European family of languages, native to Greece and other parts of the Eastern Mediterranean. It has the longest documented history of any living language, spanning 34 centuries of written records and its writing system has been the Greek alphabet for the major part of its history, other systems, such as Linear B and the Cypriot syllabary, were used previously. The alphabet arose from the Phoenician script and was in turn the basis of the Latin, Cyrillic, Armenian, Coptic, Gothic and many other writing systems. Together with the Latin texts and traditions of the Roman world, during antiquity, Greek was a widely spoken lingua franca in the Mediterranean world and many places beyond. It would eventually become the official parlance of the Byzantine Empire, the language is spoken by at least 13.2 million people today in Greece, Cyprus, Italy, Albania, Turkey, and the Greek diaspora. Greek roots are used to coin new words for other languages, Greek. Greek has been spoken in the Balkan peninsula since around the 3rd millennium BC, the earliest written evidence is a Linear B clay tablet found in Messenia that dates to between 1450 and 1350 BC, making Greek the worlds oldest recorded living language. Among the Indo-European languages, its date of earliest written attestation is matched only by the now extinct Anatolian languages, the Greek language is conventionally divided into the following periods, Proto-Greek, the unrecorded but assumed last ancestor of all known varieties of Greek. The unity of Proto-Greek would have ended as Hellenic migrants entered the Greek peninsula sometime in the Neolithic era or the Bronze Age, Mycenaean Greek, the language of the Mycenaean civilisation. It is recorded in the Linear B script on tablets dating from the 15th century BC onwards, Ancient Greek, in its various dialects, the language of the Archaic and Classical periods of the ancient Greek civilisation. It was widely known throughout the Roman Empire, after the Roman conquest of Greece, an unofficial bilingualism of Greek and Latin was established in the city of Rome and Koine Greek became a first or second language in the Roman Empire. The origin of Christianity can also be traced through Koine Greek, Medieval Greek, also known as Byzantine Greek, the continuation of Koine Greek in Byzantine Greece, up to the demise of the Byzantine Empire in the 15th century. Much of the written Greek that was used as the language of the Byzantine Empire was an eclectic middle-ground variety based on the tradition of written Koine. Modern Greek, Stemming from Medieval Greek, Modern Greek usages can be traced in the Byzantine period and it is the language used by the modern Greeks, and, apart from Standard Modern Greek, there are several dialects of it. In the modern era, the Greek language entered a state of diglossia, the historical unity and continuing identity between the various stages of the Greek language is often emphasised. Greek speakers today still tend to regard literary works of ancient Greek as part of their own rather than a foreign language and it is also often stated that the historical changes have been relatively slight compared with some other languages. According to one estimation, Homeric Greek is probably closer to demotic than 12-century Middle English is to modern spoken English, Greek is spoken by about 13 million people, mainly in Greece, Albania and Cyprus, but also worldwide by the large Greek diaspora. Greek is the language of Greece, where it is spoken by almost the entire population
31.
Regular polytope
–
In mathematics, a regular polytope is a polytope whose symmetry group acts transitively on its flags, thus giving it the highest degree of symmetry. All its elements or j-faces — cells, faces and so on — are also transitive on the symmetries of the polytope, Regular polytopes are the generalized analog in any number of dimensions of regular polygons and regular polyhedra. The strong symmetry of the regular polytopes gives them an aesthetic quality that interests both non-mathematicians and mathematicians, classically, a regular polytope in n dimensions may be defined as having regular facets and regular vertex figures. These two conditions are sufficient to ensure that all faces are alike and all vertices are alike, note, however, that this definition does not work for abstract polytopes. A regular polytope can be represented by a Schläfli symbol of the form, with regular facets as, Regular polytopes are classified primarily according to their dimensionality. They can be classified according to symmetry. For example, the cube and the regular octahedron share the same symmetry, indeed, symmetry groups are sometimes named after regular polytopes, for example the tetrahedral and icosahedral symmetries. Three special classes of regular polytope exist in every dimensionality, Regular simplex Measure polytope Cross polytope In two dimensions there are many regular polygons. In three and four dimensions there are more regular polyhedra and 4-polytopes besides these three. In five dimensions and above, these are the only ones, see also the list of regular polytopes. The idea of a polytope is sometimes generalised to include related kinds of geometrical object, some of these have regular examples, as discussed in the section on historical discovery below. A concise symbolic representation for regular polytopes was developed by Ludwig Schläfli in the 19th Century, the notation is best explained by adding one dimension at a time. A convex regular polygon having n sides is denoted by, so an equilateral triangle is, a square, and so on indefinitely. A regular star polygon which winds m times around its centre is denoted by the fractional value, a regular polyhedron having faces with p faces joining around a vertex is denoted by. The nine regular polyhedra are and. is the figure of the polyhedron. A regular 4-polytope having cells with q cells joining around an edge is denoted by, the vertex figure of the 4-polytope is a. A five-dimensional regular polytope is an, the dual of a regular polytope is also a regular polytope. The Schläfli symbol for the dual polytope is just the original written backwards, is self-dual, is dual to, to
32.
Cartesian coordinates
–
Each reference line is called a coordinate axis or just axis of the system, and the point where they meet is its origin, usually at ordered pair. The coordinates can also be defined as the positions of the projections of the point onto the two axis, expressed as signed distances from the origin. One can use the principle to specify the position of any point in three-dimensional space by three Cartesian coordinates, its signed distances to three mutually perpendicular planes. In general, n Cartesian coordinates specify the point in an n-dimensional Euclidean space for any dimension n and these coordinates are equal, up to sign, to distances from the point to n mutually perpendicular hyperplanes. The invention of Cartesian coordinates in the 17th century by René Descartes revolutionized mathematics by providing the first systematic link between Euclidean geometry and algebra. Using the Cartesian coordinate system, geometric shapes can be described by Cartesian equations, algebraic equations involving the coordinates of the points lying on the shape. For example, a circle of radius 2, centered at the origin of the plane, a familiar example is the concept of the graph of a function. Cartesian coordinates are also tools for most applied disciplines that deal with geometry, including astronomy, physics, engineering. They are the most common system used in computer graphics, computer-aided geometric design. Nicole Oresme, a French cleric and friend of the Dauphin of the 14th Century, used similar to Cartesian coordinates well before the time of Descartes. The adjective Cartesian refers to the French mathematician and philosopher René Descartes who published this idea in 1637 and it was independently discovered by Pierre de Fermat, who also worked in three dimensions, although Fermat did not publish the discovery. Both authors used a single axis in their treatments and have a length measured in reference to this axis. The concept of using a pair of axes was introduced later, after Descartes La Géométrie was translated into Latin in 1649 by Frans van Schooten and these commentators introduced several concepts while trying to clarify the ideas contained in Descartes work. Many other coordinate systems have developed since Descartes, such as the polar coordinates for the plane. The development of the Cartesian coordinate system would play a role in the development of the Calculus by Isaac Newton. The two-coordinate description of the plane was later generalized into the concept of vector spaces. Choosing a Cartesian coordinate system for a one-dimensional space – that is, for a straight line—involves choosing a point O of the line, a unit of length, and an orientation for the line. An orientation chooses which of the two half-lines determined by O is the positive, and which is negative, we say that the line is oriented from the negative half towards the positive half
33.
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
34.
Norman Johnson (mathematician)
–
Norman Woodason Johnson is a mathematician, previously at Wheaton College, Norton, Massachusetts. He earned his Ph. D. from the University of Toronto in 1966 with a title of The Theory of Uniform Polytopes. In 1966 he enumerated 92 convex non-uniform polyhedra with regular faces, victor Zalgaller later proved that Johnsons list was complete, and the set is now known as the Johnson solids. The theory of polytopes and honeycombs, Ph. D. Dissertation,1966 Hyperbolic Coxeter Groups, paper, convex polyhedra with regular faces, paper containing the original enumeration of the 92 Johnson solids and the conjecture that there are no others. Norman W. Johnson at the Mathematics Genealogy Project Norman W. Johnson Endowed Fund in Mathematics and Computer Science at Wheaton College
35.
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
36.
Simple Lie group
–
Simple Lie groups are a class of Lie groups which play a role in Lie group theory similar to that of simple groups in the theory of discrete groups. Essentially, simple Lie groups are connected Lie groups which cannot be decomposed as an extension of smaller connected Lie groups, and which are not commutative. Many commonly encountered Lie groups are simple or close to being simple, for example. In group theory, a simple Lie group is a locally compact non-abelian Lie group G which does not have nontrivial connected normal subgroups. A simple Lie algebra is a non-abelian Lie algebra whose only ideals are 0, an equivalent definition of a simple Lie group follows from the Lie correspondence, a connected Lie group is simple if its Lie algebra is simple. An important technical point is that a simple Lie group may contain discrete normal subgroups and it emerged in the course of classification of simple Lie groups that there exist also several exceptional possibilities not corresponding to any familiar geometry. These exceptional groups account for special examples and configurations in other branches of mathematics. All Lie groups are smooth manifolds, mathematicians often study complex Lie groups, which are Lie groups with a complex structure on the underlying manifold, which is required to be compatible with the group operations. A complex Lie group is called if it is connected as a topological space. Note that the underlying Lie group may not be simple, although it still be semisimple. It is often useful to study slightly more general classes of Lie groups than simple groups, namely semisimple or, more generally, reductive Lie groups. A connected Lie group is called if its Lie algebra is a semisimple lie algebra. It is called if its Lie algebra is a direct sum of simple. Reductive groups occur naturally as symmetries of a number of objects in algebra, geometry. For example, the group G L n of symmetries of a real vector space is reductive. Finite-dimensional representations of simple groups split into direct sums of irreducible representations, simple Lie groups are fully classified. The classification is usually stated in several steps, namely, Classification of simple complex Lie algebras The classification of simple Lie algebras over the numbers by Dynkin diagrams. Classification of centerless Lie groups For every simple Lie algebra g, there is a unique centerless simple Lie group G whose Lie algebra is g, Classification of simple Lie groups One can show that the fundamental group of any Lie group is a discrete commutative group
37.
E6 (mathematics)
–
The designation E6 comes from the Cartan–Killing classification of the complex simple Lie algebras. This classifies Lie algebras into four infinite series labeled An, Bn, Cn, Dn, and five exceptional cases labeled E6, E7, E8, F4, the E6 algebra is thus one of the five exceptional cases. The fundamental group of the form, compact real form, or any algebraic version of E6 is the cyclic group Z/3Z. Its fundamental representation is 27-dimensional, and a basis is given by the 27 lines on a cubic surface, the dual representation, which is inequivalent, is also 27-dimensional. In particle physics, E6 plays a role in some grand unified theories, there is a unique complex Lie algebra of type E6, corresponding to a complex group of complex dimension 78. The complex adjoint Lie group E6 of complex dimension 78 can be considered as a simple real Lie group of real dimension 156, the split form, EI, which has maximal compact subgroup Sp/, fundamental group of order 2 and outer automorphism group of order 2. The quasi-split form EII, which has maximal compact subgroup SU × SU/, fundamental group cyclic of order 6, EIII, which has maximal compact subgroup SO × Spin/, fundamental group Z and trivial outer automorphism group. EIV, which has maximal compact subgroup F4, trivial fundamental group cyclic, the EIV form of E6 is the group of collineations of the octonionic projective plane OP2. It is also the group of determinant-preserving linear transformations of the exceptional Jordan algebra, the exceptional Jordan algebra is 27-dimensional, which explains why the compact real form of E6 has a 27-dimensional complex representation. Over finite fields, the Lang–Steinberg theorem implies that H1 =0, meaning that E6 has exactly one twisted form, known as 2E6, the Dynkin diagram for E6 is given by, which may also be drawn as or. Although they span a space, it is much more symmetrical to consider them as vectors in a six-dimensional subspace of a nine-dimensional space. Two 16-dimensional subalgebras that transform as a Weyl spinor of spin and these have a non-zero last entry. 1 generator which is their chirality generator, and is the sixth Cartan generator, the Lie algebra E6 has an F4 subalgebra, which is the fixed subalgebra of an outer automorphism, and an SU × SU × SU subalgebra. Other maximal subalgebras which have an importance in physics and can be read off the Dynkin diagram, are the algebras of SO × U, in addition to the 78-dimensional adjoint representation, there are two dual 27-dimensional vector representations. The characters of finite dimensional representations of the real and complex Lie algebras, the fundamental representations have dimensions 27,351,2925,351,27 and 78. The E6 polytope is the hull of the roots of E6. It therefore exists in 6 dimensions, its symmetry group contains the Coxeter group for E6 as an index 2 subgroup, the groups of type E6 over arbitrary fields were introduced by Dickson. The points over a field with q elements of the algebraic group E6, whether of the adjoint or simply connected form
38.
E7 (mathematics)
–
The E7 algebra is thus one of the five exceptional cases. The fundamental group of the form, compact real form, or any algebraic version of E7 is the cyclic group Z/2Z. The dimension of its representation is 56. There is a unique complex Lie algebra of type E7, corresponding to a group of complex dimension 133. The complex adjoint Lie group E7 of complex dimension 133 can be considered as a simple real Lie group of real dimension 266. This has fundamental group Z/2Z, has maximal compact subgroup the compact form of E7, the split form, EV, which has maximal compact subgroup SU/, fundamental group cyclic of order 4 and outer automorphism group of order 2. EVI, which has maximal compact subgroup SU·SO/, fundamental group non-cyclic of order 4, EVII, which has maximal compact subgroup SO·E6/, infinite cyclic findamental group and outer automorphism group of order 2. For a complete list of forms of simple Lie algebras. The compact real form of E7 is the group of the 64-dimensional exceptional compact Riemannian symmetric space EVI. This can be seen using a construction known as the magic square, due to Hans Freudenthal. The Tits–Koecher construction produces forms of the E7 Lie algebra from Albert algebras, over finite fields, the Lang–Steinberg theorem implies that H1 =0, meaning that E7 has no twisted forms, see below. The Dynkin diagram for E7 is given by, even though the roots span a 7-dimensional space, it is more symmetric and convenient to represent them as vectors lying in a 7-dimensional subspace of an 8-dimensional vector space. The roots are all the 8×7 permutations of and all the permutations of Note that the 7-dimensional subspace is the subspace where the sum of all the eight coordinates is zero. The simple roots are We have ordered them so that their corresponding nodes in the Dynkin diagram are ordered left to right with the side node last. Given the E7 Cartan matrix and a Dynkin diagram node ordering of, the Weyl group of E7 is of order 2903040, it is the direct product of the cyclic group of order 2 and the unique simple group of order 1451520. E7 has an SU subalgebra, as is evident by noting that in the 8-dimensional description of the root system, in addition to the 133-dimensional adjoint representation, there is a 56-dimensional vector representation, to be found in the E8 adjoint representation. The characters of finite dimensional representations of the real and complex Lie algebras, there exist non-isomorphic irreducible representation of dimensions 1903725824,16349520330, etc. The fundamental representations are those with dimensions 133,8645,365750,27664,1539,56 and 912, E7 is the automorphism group of the following pair of polynomials in 56 non-commutative variables
39.
E8 (mathematics)
–
The E8 algebra is the largest and most complicated of these exceptional cases. Wilhelm Killing discovered the complex Lie algebra E8 during his classification of simple compact Lie algebras, though he did not prove its existence, Cartan determined that a complex simple Lie algebra of type E8 admits three real forms. Each of them rise to a simple Lie group of dimension 248. Chevalley introduced algebraic groups and Lie algebras of type E8 over other fields, for example, the Lie group E8 has dimension 248. Its rank, which is the dimension of its maximal torus, is 8, therefore, the vectors of the root system are in eight-dimensional Euclidean space, they are described explicitly later in this article. The Weyl group of E8, which is the group of symmetries of the maximal torus which are induced by conjugations in the group, has order 21435527 =696729600. There is a Lie algebra Ek for every integer k ≥3, there is a unique complex Lie algebra of type E8, corresponding to a complex group of complex dimension 248. The complex Lie group E8 of complex dimension 248 can be considered as a simple real Lie group of real dimension 496 and this is simply connected, has maximal compact subgroup the compact form of E8, and has an outer automorphism group of order 2 generated by complex conjugation. The split form, EVIII, which has maximal compact subgroup Spin/, EIX, which has maximal compact subgroup E7×SU/, fundamental group of order 2 and has trivial outer automorphism group. For a complete list of forms of simple Lie algebras. Over finite fields, the Lang–Steinberg theorem implies that H1=0, meaning that E8 has no twisted forms, the characters of finite dimensional representations of the real and complex Lie algebras and Lie groups are all given by the Weyl character formula. There are two non-isomorphic irreducible representations of dimension 8634368000, the fundamental representations are those with dimensions 3875,6696000,6899079264,146325270,2450240,30380,248 and 147250. The values at 1 of the Lusztig–Vogan polynomials give the coefficients of the matrices relating the standard representations with the irreducible representations. These matrices were computed after four years of collaboration by a group of 18 mathematicians and computer scientists, led by Jeffrey Adams, the most difficult case is the split real form of E8, where the largest matrix is of size 453060×453060. The Lusztig–Vogan polynomials for all other simple groups have been known for some time. The announcement of the result in March 2007 received extraordinary attention from the media, the representations of the E8 groups over finite fields are given by Deligne–Lusztig theory. One can construct the E8 group as the group of the corresponding e8 Lie algebra. This algebra has a 120-dimensional subalgebra so generated by Jij as well as 128 new generators Qa that transform as a Weyl–Majorana spinor of spin and it is then possible to check that the Jacobi identity is satisfied
40.
F4 (mathematics)
–
In mathematics, F4 is the name of a Lie group and also its Lie algebra f4. It is one of the five exceptional simple Lie groups, F4 has rank 4 and dimension 52. The compact form is connected and its outer automorphism group is the trivial group. The compact real form of F4 is the group of a 16-dimensional Riemannian manifold known as the octonionic projective plane OP2. This can be seen using a construction known as the magic square, due to Hans Freudenthal. There are 3 real forms, a one, a split one. They are the groups of the three real Albert algebras. The F4 Lie algebra may be constructed by adding 16 generators transforming as a spinor to the 36-dimensional Lie algebra so, in older books and papers, F4 is sometimes denoted by E4. The Dynkin diagram for F4 is and its Weyl/Coxeter group G = W is the symmetry group of the 24-cell, it is a solvable group of order 1152. It has minimal faithful degree μ =24 which is realized by the action on the 24-cell, the F4 lattice is a four-dimensional body-centered cubic lattice. They form a ring called the Hurwitz quaternion ring, the 24 Hurwitz quaternions of norm 1 form the vertices of a 24-cell centered at the origin. One choice of roots for F4, is given by the rows of the following matrix. Invariant, F4 is the group of automorphisms of the set of 3 polynomials in 27 variables. Another way of writing these invariants is as Tr, Tr and Tr of the hermitian octonion matrix, the characters of finite dimensional representations of the real and complex Lie algebras and Lie groups are all given by the Weyl character formula. There are two non-isomorphic irreducible representations of dimensions 1053,160056,4313088, etc, the fundamental representations are those with dimensions 52,1274,273,26. The Exceptional Simple Lie Algebras F and E. Proc
41.
G2 (mathematics)
–
In mathematics, G2 is the name of three simple Lie groups, their Lie algebras g 2, as well as some algebraic groups. They are the smallest of the five exceptional simple Lie groups, G2 has rank 2 and dimension 14. It has two representations, with dimension 7 and 14. The Lie algebra g 2, being the smallest exceptional simple Lie algebra, was the first of these to be discovered in the attempt to classify simple Lie algebras. On May 23,1887, Wilhelm Killing wrote a letter to Friedrich Engel saying that he had found a 14-dimensional simple Lie algebra, in the same year, in the same journal, Engel noticed the same thing. Later it was discovered that the 2-dimensional distribution is related to a ball rolling on another ball. The space of configurations of the ball is 5-dimensional, with a 2-dimensional distribution that describes motions of the ball where it rolls without slipping or twisting. In 1900, Engel discovered that a generic antisymmetric trilinear form on a 7-dimensional complex vector space is preserved by a group isomorphic to the form of G2. In 1908 Cartan mentioned that the group of the octonions is a 14-dimensional simple Lie group. In 1914 he stated that this is the real form of G2. In older books and papers, G2 is sometimes denoted by E2, there are 3 simple real Lie algebras associated with this root system, The underlying real Lie algebra of the complex Lie algebra G2 has dimension 28. It has complex conjugation as an automorphism and is simply connected. The maximal compact subgroup of its associated group is the form of G2. The Lie algebra of the form is 14-dimensional. The associated Lie group has no outer automorphisms, no center, the Lie algebra of the non-compact form has dimension 14. The associated simple Lie group has fundamental group of order 2 and its maximal compact subgroup is SU × SU/. It has a double cover that is simply connected. The Dynkin diagram for G2 is given by and its Cartan matrix is, Although they span a 2-dimensional space, as drawn, it is much more symmetric to consider them as vectors in a 2-dimensional subspace of a three-dimensional space
42.
H4 (mathematics)
–
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
43.
Regular polygon
–
In Euclidean geometry, a regular polygon is a polygon that is equiangular and equilateral. Regular polygons may be convex or star, in the limit, a sequence of regular polygons with an increasing number of sides becomes a circle, if the perimeter is fixed, or a regular apeirogon, if the edge length is fixed. These properties apply to all regular polygons, whether convex or star, a regular n-sided polygon has rotational symmetry of order n. All vertices of a regular polygon lie on a common circle and that is, a regular polygon is a cyclic polygon. Together with the property of equal-length sides, this implies that every regular polygon also has a circle or incircle that is tangent to every side at the midpoint. Thus a regular polygon is a tangential polygon, a regular n-sided polygon can be constructed with compass and straightedge if and only if the odd prime factors of n are distinct Fermat primes. The symmetry group of a regular polygon is dihedral group Dn, D2, D3. It consists of the rotations in Cn, together with reflection symmetry in n axes that pass through the center, if n is even then half of these axes pass through two opposite vertices, and the other half through the midpoint of opposite sides. If n is odd then all pass through a vertex. All regular simple polygons are convex and those having the same number of sides are also similar. An n-sided convex regular polygon is denoted by its Schläfli symbol, for n <3 we have two degenerate cases, Monogon, degenerate in ordinary space. Digon, a line segment, degenerate in ordinary space. In certain contexts all the polygons considered will be regular, in such circumstances it is customary to drop the prefix regular. For instance, all the faces of uniform polyhedra must be regular, for n >2 the number of diagonals is n 2, i. e.0,2,5,9. for a triangle, square, pentagon, hexagon. The diagonals divide the polygon into 1,4,11,24, for a regular n-gon inscribed in a unit-radius circle, the product of the distances from a given vertex to all other vertices equals n. For a regular simple n-gon with circumradius R and distances di from a point in the plane to the vertices. For a regular n-gon, the sum of the distances from any interior point to the n sides is n times the apothem. This is a generalization of Vivianis theorem for the n=3 case, the sum of the perpendiculars from a regular n-gons vertices to any line tangent to the circumcircle equals n times the circumradius
44.
Equilateral triangle
–
In geometry, an equilateral triangle is a triangle in which all three sides are equal. In the familiar Euclidean geometry, equilateral triangles are also equiangular and they are regular polygons, and can therefore also be referred to as regular triangles. Thus these are properties that are unique to equilateral triangles, the three medians have equal lengths. The three angle bisectors have equal lengths, every triangle center of an equilateral triangle coincides with its centroid, which implies that the equilateral triangle is the only triangle with no Euler line connecting some of the centers. For some pairs of triangle centers, the fact that they coincide is enough to ensure that the triangle is equilateral, in particular, A triangle is equilateral if any two of the circumcenter, incenter, centroid, or orthocenter coincide. It is also equilateral if its circumcenter coincides with the Nagel point, for any triangle, the three medians partition the triangle into six smaller triangles. A triangle is equilateral if and only if any three of the triangles have either the same perimeter or the same inradius. A triangle is equilateral if and only if the circumcenters of any three of the triangles have the same distance from the centroid. Morleys trisector theorem states that, in any triangle, the three points of intersection of the adjacent angle trisectors form an equilateral triangle, a version of the isoperimetric inequality for triangles states that the triangle of greatest area among all those with a given perimeter is equilateral. That is, PA, PB, and PC satisfy the inequality that any two of them sum to at least as great as the third. By Eulers inequality, the triangle has the smallest ratio R/r of the circumradius to the inradius of any triangle, specifically. The triangle of largest area of all those inscribed in a circle is equilateral. The ratio of the area of the incircle to the area of an equilateral triangle, the ratio of the area to the square of the perimeter of an equilateral triangle,1123, is larger than that for any other triangle. If a segment splits an equilateral triangle into two regions with equal perimeters and with areas A1 and A2, then 79 ≤ A1 A2 ≤97, in no other triangle is there a point for which this ratio is as small as 2. For any point P in the plane, with p, q, and t from the vertices A, B. For any point P on the circle of an equilateral triangle, with distances p, q. There are numerous triangle inequalities that hold with equality if and only if the triangle is equilateral, an equilateral triangle is the most symmetrical triangle, having 3 lines of reflection and rotational symmetry of order 3 about its center. Its symmetry group is the group of order 6 D3
45.
Square
–
In geometry, a square is a regular quadrilateral, which means that it has four equal sides and four equal angles. It can also be defined as a rectangle in which two adjacent sides have equal length, a square with vertices ABCD would be denoted ◻ ABCD. e. A rhombus with equal diagonals a convex quadrilateral with sides a, b, c, d whose area is A =12 =12. Opposite sides of a square are both parallel and equal in length, all four angles of a square are equal. All four sides of a square are equal, the diagonals of a square are equal. The square is the n=2 case of the families of n-hypercubes and n-orthoplexes, a truncated square, t, is an octagon. An alternated square, h, is a digon, the perimeter of a square whose four sides have length ℓ is P =4 ℓ and the area A is A = ℓ2. In classical times, the power was described in terms of the area of a square. This led to the use of the square to mean raising to the second power. The area can also be calculated using the diagonal d according to A = d 22. In terms of the circumradius R, the area of a square is A =2 R2, since the area of the circle is π R2, in terms of the inradius r, the area of the square is A =4 r 2. Because it is a polygon, a square is the quadrilateral of least perimeter enclosing a given area. Dually, a square is the quadrilateral containing the largest area within a given perimeter. Indeed, if A and P are the area and perimeter enclosed by a quadrilateral, then the isoperimetric inequality holds,16 A ≤ P2 with equality if. The diagonals of a square are 2 times the length of a side of the square and this value, known as the square root of 2 or Pythagoras constant, was the first number proven to be irrational. A square can also be defined as a parallelogram with equal diagonals that bisect the angles, if a figure is both a rectangle and a rhombus, then it is a square. If a circle is circumscribed around a square, the area of the circle is π /2 times the area of the square, if a circle is inscribed in the square, the area of the circle is π /4 times the area of the square. A square has an area than any other quadrilateral with the same perimeter
46.
Hexagon
–
In geometry, a hexagon is a six sided polygon or 6-gon. The total of the angles of any hexagon is 720°. A regular hexagon has Schläfli symbol and can also be constructed as an equilateral triangle, t. A regular hexagon is defined as a hexagon that is both equilateral and equiangular and it is bicentric, meaning that it is both cyclic and tangential. The common length of the sides equals the radius of the circumscribed circle, all internal angles are 120 degrees. A regular hexagon has 6 rotational symmetries and 6 reflection symmetries, the longest diagonals of a regular hexagon, connecting diametrically opposite vertices, are twice the length of one side. Like squares and equilateral triangles, regular hexagons fit together without any gaps to tile the plane, the cells of a beehive honeycomb are hexagonal for this reason and because the shape makes efficient use of space and building materials. The Voronoi diagram of a triangular lattice is the honeycomb tessellation of hexagons. It is not usually considered a triambus, although it is equilateral, the maximal diameter, D is twice the maximal radius or circumradius, R, which equals the side length, t. The minimal diameter or the diameter of the circle, d, is twice the minimal radius or inradius. If a regular hexagon has successive vertices A, B, C, D, E, F, the regular hexagon has Dih6 symmetry, order 12. There are 3 dihedral subgroups, Dih3, Dih2, and Dih1, and 4 cyclic subgroups, Z6, Z3, Z2 and these symmetries express 9 distinct symmetries of a regular hexagon. John Conway labels these by a letter and group order, r12 is full symmetry, and a1 is no symmetry. These two forms are duals of each other and have half the order of the regular hexagon. The i4 forms are regular hexagons flattened or stretched along one symmetry direction and it can be seen as an elongated rhombus, while d2 and p2 can be seen as horizontally and vertically elongated kites. G2 hexagons, with sides parallel are also called hexagonal parallelogons. Each subgroup symmetry allows one or more degrees of freedom for irregular forms, only the g6 subgroup has no degrees of freedom but can seen as directed edges. Hexagons of symmetry g2, i4, and r12, as parallelogons can tessellate the Euclidean plane by translation, other hexagon shapes can tile the plane with different orientations
47.
Uniform polyhedron
–
A uniform polyhedron is a polyhedron which has regular polygons as faces and is vertex-transitive. It follows that all vertices are congruent, Uniform polyhedra may be regular, quasi-regular or semi-regular. The faces and vertices need not be convex, so many of the uniform polyhedra are also star polyhedra, there are two infinite classes of uniform polyhedra together with 75 others. Dual polyhedra to uniform polyhedra are face-transitive and have regular vertex figures, the dual of a regular polyhedron is regular, while the dual of an Archimedean solid is a Catalan solid. The concept of uniform polyhedron is a case of the concept of uniform polytope. Coxeter, Longuet-Higgins & Miller define uniform polyhedra to be vertex-transitive polyhedra with regular faces, by a polygon they implicitly mean a polygon in 3-dimensional Euclidean space, these are allowed to be non-convex and to intersect each other. There are some generalizations of the concept of a uniform polyhedron, if the connectedness assumption is dropped, then we get uniform compounds, which can be split as a union of polyhedra, such as the compound of 5 cubes. If we drop the condition that the realization of the polyhedron is non-degenerate and these require a more general definition of polyhedra. Some of the ways they can be degenerate are as follows, some polyhedra have faces that are hidden, in the sense that no points of their interior can be seen from the outside. These are usually not counted as uniform polyhedra, some polyhedra have multiple edges and their faces are the faces of two or more polyhedra, though these are not compounds in the previous sense since the polyhedra share edges. There are some non-orientable polyhedra that have double covers satisfying the definition of a uniform polyhedron, there double covers have doubled faces, edges and vertices. They are usually not counted as uniform polyhedra, there are several polyhedra with doubled faces produced by Wythoffs construction. Most authors do not allow doubled faces and remove them as part of the construction, skillings figure has the property that it has double edges but its faces cannot be written as a union of two uniform polyhedra. Regular convex polyhedra, The Platonic solids date back to the classical Greeks and were studied by the Pythagoreans, Plato, Theaetetus, Timaeus of Locri, the Etruscans discovered the regular dodecahedron before 500 BC. Nonregular uniform convex polyhedra, The cuboctahedron was known by Plato, Archimedes discovered all of the 13 Archimedean solids. His original book on the subject was lost, but Pappus of Alexandria mentioned Archimedes listed 13 polyhedra, piero della Francesca rediscovered the five truncation of the Platonic solids, truncated tetrahedron, truncated octahedron, truncated cube, truncated dodecahedron, and truncated icosahedron. Luca Pacioli republished Francescas work in De divina proportione in 1509, adding the rhombicuboctahedron, calling it a icosihexahedron for its 26 faces, which was drawn by Leonardo da Vinci. Johannes Kepler was the first to publish the complete list of Archimedean solids, in 1619, regular star polyhedra, Kepler discovered two of the regular Kepler–Poinsot polyhedra and Louis Poinsot discovered the other two
48.
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
49.
Cube
–
Beryllium copper, also known as copper beryllium, beryllium bronze and spring copper, is a copper alloy with 0. 5—3% beryllium and sometimes other elements. Beryllium copper combines high strength with non-magnetic and non-sparking qualities and it has excellent metalworking, forming and machining properties. It has many specialized applications in tools for hazardous environments, musical instruments, precision measurement devices, bullets, beryllium alloys present a toxic inhalation hazard during manufacture. Beryllium copper is a ductile, weldable, and machinable alloy and it is resistant to non-oxidizing acids, to plastic decomposition products, to abrasive wear, and to galling. It can be heat-treated for increased strength, durability, and electrical conductivity, beryllium copper attains the greatest strength of any copper-based alloy. In solid form and as finished objects, beryllium copper presents no known health hazard, however, inhalation of dust, mist, or fume containing beryllium can cause the serious lung condition, chronic beryllium disease. That disease affects primarily the lungs, restricting the exchange of oxygen between the lungs and the bloodstream, the International Agency for Research on Cancer lists beryllium as a Group 1 Human Carcinogen. The National Toxicology Program also lists beryllium as a carcinogen, beryllium copper is a non-ferrous alloy used in springs, spring wire, load cells, and other parts that must retain their shape under repeated stress and strain. It has high electrical conductivity, and is used in low-current contacts for batteries, beryllium copper is non-sparking but physically tough and nonmagnetic, fulfilling the requirements of ATEX directive for Zones 0,1, and 2. Beryllium copper screwdrivers, pliers, wrenches, cold chisels, knives, and hammers are available for environments with explosive hazards, such oil rigs, coal mines, an alternative metal sometimes used for non-sparking tools is aluminium bronze. Compared to steel tools, beryllium copper tools are more expensive, not as strong, and less durable, beryllium copper is frequently used for percussion instruments for its consistent tone and resonance, especially tambourines and triangles. Beryllium copper has been used for armour piercing bullets, though usage is unusual because bullets made from steel alloys are much less expensive and have similar properties. Beryllium copper is used for measurement-while-drilling tools in the drilling industry. A non-magnetic alloy is required, as magnetometers are used for field-strength data received from the tool, beryllium copper gaskets are used to create an RF-tight, electronic seal on doors used with EMC testing and anechoic chambers. For a time, beryllium copper was used in the manufacture of clubs, particularly wedges. Though some golfers prefer the feel of BeCu club heads, regulatory issues, kiefer Plating of Elkhart, Indiana built some beryllium-copper trumpet bells for the Schilke Music Co. of Chicago. These light-weight bells produce a sound preferred by some musicians, beryllium copper wire is produced in many forms, round, square, flat and shaped, in coils, on spools and in straight lengths. Beryllium copper valve seats and guides are used in high performance engines with coated titanium valves
50.
Regular dodecahedron
–
It is one of the five Platonic solids. It has 12 faces,20 vertices,30 edges, and 160 diagonals. Note that, given a regular dodecahedron of edge length one, ru is the radius of a sphere about a cube of edge length ϕ. In perspective projection, viewed above a face, the regular dodecahedron can be seen as a linear-edged schlegel diagram. These projections are used in showing the four-dimensional 120-cell, a regular 4-dimensional polytope, constructed from 120 dodecahedra. The regular dodecahedron can also be represented as a spherical tiling, the following Cartesian coordinates define the 20 vertices of a regular dodecahedron centered at the origin and suitably scaled and oriented, where ϕ =1 + √5/2 is the golden ratio ≈1.618. The edge length is 2/ϕ = √5 −1, the containing sphere has a radius of √3. 5650512°. A137218 If the original regular dodecahedron has edge length 1, its dual icosahedron has edge length ϕ, If the five Platonic solids are built with same volume, the regular dodecahedron has the shortest edges. The map-coloring number of a regular dodecahedrons faces is 4, the distance between the vertices on the same face not connected by an edge is ϕ times the edge length. If two edges share a vertex, then the midpoints of those edges form an equilateral triangle with the body center. The regular dodecahedron is the third in a set of truncated trapezohedra which can be constructed by truncating the two axial vertices of a pentagonal trapezohedron. The stellations of the regular dodecahedron make up three of the four Kepler–Poinsot polyhedra, a rectified regular dodecahedron forms an icosidodecahedron. The regular dodecahedron has icosahedral symmetry Ih, Coxeter group, order 120, when a regular dodecahedron is inscribed in a sphere, it occupies more of the spheres volume than an icosahedron inscribed in the same sphere. A regular dodecahedron has 12 faces and 20 vertices, whereas a regular icosahedron has 20 faces and 12 vertices, a cube can be embedded within a regular dodecahedron, affixed to eight of its equidistant vertices, in five different positions. In fact, five cubes may overlap and interlock inside the regular dodecahedron to result in the compound of five cubes, the ratio of the edge of a regular dodecahedron to the edge of a cube embedded inside such a regular dodecahedron is 1, ϕ, or,1. The ratio of a regular dodecahedrons volume to the volume of a cube embedded inside such a regular dodecahedron is 1, 2/2 + ϕ, or 1 + ϕ/2,1, or,4. For example, a cube with a volume of 64. Thus, the difference in volume between the regular dodecahedron and the enclosed cube is always one half the volume of the cube times ϕ
51.
Regular icosahedron
–
In geometry, a regular icosahedron is a convex polyhedron with 20 faces,30 edges and 12 vertices. It is one of the five Platonic solids, and also the one with the most sides and it has five equilateral triangular faces meeting at each vertex. It is represented by its Schläfli symbol, or sometimes by its vertex figure as 3.3.3.3.3 or 35 and it is the dual of the dodecahedron, which is represented by, having three pentagonal faces around each vertex. A regular icosahedron is a pentagonal bipyramid and a biaugmented pentagonal antiprism in any of six orientations. The name comes from Greek εἴκοσι, meaning twenty, and ἕδρα, the plural can be either icosahedrons or icosahedra. The surface area A and the volume V of a regular icosahedron of edge length a are, note that these vertices form five sets of three concentric, mutually orthogonal golden rectangles, whose edges form Borromean rings. If the original icosahedron has edge length 1, its dual dodecahedron has edge length √5 − 1/2 = 1/ϕ = ϕ −1, the 12 edges of a regular octahedron can be subdivided in the golden ratio so that the resulting vertices define a regular icosahedron. The locations of the vertices of a regular icosahedron can be described using spherical coordinates, if two vertices are taken to be at the north and south poles, then the other ten vertices are at latitude ±arctan ≈ ±26. 57°. These ten vertices are at evenly spaced longitudes, alternating between north and south latitudes and 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 icosahedron has 43,380 distinct nets. To color the icosahedron, such that no two adjacent faces have the color, requires at least 3 colors. A problem dating back to the ancient Greeks is to determine which of two shapes has larger volume, an icosahedron inscribed in a sphere, or a dodecahedron inscribed in the same sphere, the problem was solved by Hero, Pappus, and Fibonacci, among others. Apollonius of Perga discovered the result that the ratio of volumes of these two shapes is the same as the ratio of their surface areas. Both volumes have formulas involving the golden ratio, but taken to different powers, as it turns out, the icosahedron occupies less of the spheres volume than the dodecahedron. The following construction of the icosahedron avoids tedious computations in the number field ℚ necessary in more elementary approaches, the existence of the icosahedron amounts to the existence of six equiangular lines in ℝ3. Indeed, intersecting such a system of lines with a Euclidean sphere centered at their common intersection yields the twelve vertices of a regular icosahedron as can easily be checked. Conversely, supposing the existence of an icosahedron, lines defined by its six pairs of opposite vertices form an equiangular system. In order to such an equiangular system, we start with this 6 ×6 square matrix
52.
Uniform 4-polytope
–
In geometry, a uniform 4-polytope is a 4-polytope which is vertex-transitive and whose cells are uniform polyhedra, and faces are regular polygons. 47 non-prismatic convex uniform 4-polytopes, one set of convex prismatic forms. There are also a number of non-convex star forms. Regular star 4-polytopes 1852, Ludwig Schläfli also found 4 of the 10 regular star 4-polytopes, discounting 6 with cells or vertex figures and this construction enumerated 45 semiregular 4-polytopes. 1912, E. L. Elte independently expanded on Gossets list with the publication The Semiregular Polytopes of the Hyperspaces, polytopes with one or two types of semiregular facets, Convex uniform polytopes,1940, The search was expanded systematically by H. S. M. Coxeter in his publication Regular and Semi-Regular Polytopes,1966 Norman Johnson completes his Ph. D. dissertation The Theory of Uniform Polytopes and Honeycombs under advisor Coxeter, completes the basic theory of uniform polytopes for dimensions 4 and higher. 1986 Coxeter published a paper Regular and Semi-Regular Polytopes II which included analysis of the unique snub 24-cell structure, 1998-2000, The 4-polytopes were systematically named by Norman Johnson, and given by George Olshevskys online indexed enumeration. Johnson named the 4-polytopes as polychora, like polyhedra for 3-polytopes, from the Greek roots poly,2004, A proof that the Conway-Guy set is complete was published by Marco Möller in his dissertation, Vierdimensionale Archimedische Polytope. Möller reproduced Johnsons naming system in his listing,2008, The Symmetries of Things was published by John H. He used his own ijk-ambo naming scheme for the indexed ring permutations beyond truncation and bitruncation, nonregular uniform star 4-polytopes, 2000-2005, In a collaborative search, up to 2005 a total of 1845 uniform 4-polytopes had been identified by Jonathan Bowers and George Olshevsky. Regular 4-polytopes are a subset of the uniform 4-polytopes, which satisfy additional requirements, Regular 4-polytopes can be expressed with Schläfli symbol have cells of type, faces of type, edge figures, and vertex figures. The existence of a regular 4-polytope is constrained by the existence of the regular polyhedra which becomes cells, there are 64 convex uniform 4-polytopes, including the 6 regular convex 4-polytopes, and excluding the infinite sets of the duoprisms and the antiprismatic hyperprisms. 5 are polyhedral prisms based on the Platonic solids 13 are polyhedral prisms based on the Archimedean solids 9 are in the self-dual regular A4 group family,9 are in the self-dual regular F4 group family. 15 are in the regular B4 group family 15 are in the regular H4 group family,1 special snub form in the group family. 1 special non-Wythoffian 4-polytopes, the grand antiprism, TOTAL,68 −4 =64 These 64 uniform 4-polytopes are indexed below by George Olshevsky. Repeated symmetry forms are indexed in brackets, in addition to the 64 above, there are 2 infinite prismatic sets that generate all of the remaining convex forms, Set of uniform antiprismatic prisms - sr× - Polyhedral prisms of two antiprisms. Set of uniform duoprisms - × - A product of two polygons, the 5-cell has diploid pentachoric symmetry, of order 120, isomorphic to the permutations of five elements, because all pairs of vertices are related in the same way. Facets are given, grouped in their Coxeter diagram locations by removing specified nodes, there is one small index subgroup +, order 60, or its doubling +, order 120, defining a omnisnub 5-cell which is listed for completeness, but is not uniform
53.
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
54.
Tesseract
–
In geometry, the tesseract is the four-dimensional analog of the cube, the tesseract is to the cube as the cube is to the square. Just as the surface of the consists of six square faces. The tesseract is one of the six convex regular 4-polytopes, the tesseract is also called an 8-cell, C8, octachoron, octahedroid, cubic prism, and tetracube. It is the four-dimensional hypercube, or 4-cube as a part of the family of hypercubes or measure polytopes. In this publication, as well as some of Hintons later work, the tesseract can be constructed in a number of ways. As a regular polytope with three cubes folded together around every edge, it has Schläfli symbol with hyperoctahedral symmetry of order 384, constructed as a 4D hyperprism made of two parallel cubes, it can be named as a composite Schläfli symbol ×, with symmetry order 96. As a 4-4 duoprism, a Cartesian product of two squares, it can be named by a composite Schläfli symbol ×, with symmetry order 64, as an orthotope it can be represented by composite Schläfli symbol × × × or 4, with symmetry order 16. Since each vertex of a tesseract is adjacent to four edges, the dual polytope of the tesseract is called the hexadecachoron, or 16-cell, with Schläfli symbol. The standard tesseract in Euclidean 4-space is given as the hull of the points. That is, it consists of the points, A tesseract is bounded by eight hyperplanes, each pair of non-parallel hyperplanes intersects to form 24 square faces in a tesseract. Three cubes and three squares intersect at each edge, there are four cubes, six squares, and four edges meeting at every vertex. All in all, it consists of 8 cubes,24 squares,32 edges, the construction of a hypercube can be imagined the following way, 1-dimensional, Two points A and B can be connected to a line, giving a new line segment AB. 2-dimensional, Two parallel line segments AB and CD can be connected to become a square, 3-dimensional, Two parallel squares ABCD and EFGH can be connected to become a cube, with the corners marked as ABCDEFGH. 4-dimensional, Two parallel cubes ABCDEFGH and IJKLMNOP can be connected to become a hypercube and it is possible to project tesseracts into three- or two-dimensional spaces, as projecting a cube is possible on a two-dimensional space. Projections on the 2D-plane become more instructive by rearranging the positions of the projected vertices, the scheme is similar to the construction of a cube from two squares, juxtapose two copies of the lower-dimensional cube and connect the corresponding vertices. Each edge of a tesseract is of the same length, the regular complex polytope 42, in C2 has a real representation as a tesseract or 4-4 duoprism in 4-dimensional space. 42 has 16 vertices, and 8 4-edges and its symmetry is 42, order 32. It also has a lower construction, or 4×4, with symmetry 44
55.
24-cell
–
In geometry, the 24-cell is the convex regular 4-polytope with Schläfli symbol. It is also called C24, icositetrachoron, octaplex, icosatetrahedroid, octacube, hyper-diamond or polyoctahedron, the boundary of the 24-cell is composed of 24 octahedral cells with six meeting at each vertex, and three at each edge. Together they have 96 triangular faces,96 edges, and 24 vertices, the vertex figure is a cube. In fact, the 24-cell is the unique convex self-dual regular Euclidean polytope which is neither a polygon nor a simplex, due to this singular property, it does not have a good analogue in 3 dimensions. A 24-cell is given as the hull of its vertices. The vertices of a 24-cell centered at the origin of 4-space, with edges of length 1, the first 8 vertices are the vertices of a regular 16-cell and the other 16 are the vertices of the dual tesseract. This gives an equivalent to cutting a tesseract into 8 cubical pyramids. This is equivalent to the dual of a rectified 16-cell, the analogous construction in 3-space gives the rhombic dodecahedron which, however, is not regular. We can further divide the last 16 vertices into two groups, those with an number of minus signs and those with an odd number. Each of groups of 8 vertices also define a regular 16-cell, the vertices of the 24-cell can then be grouped into three sets of eight with each set defining a regular 16-cell, and with the complement defining the dual tesseract. The vertices of the dual 24-cell are given by all permutations of, the dual 24-cell has edges of length √2 and is inscribed in a 3-sphere of radius √2. Another method of constructing the 24-cell is by the rectification of the 16-cell, the vertex figure of the 16-cell is the octahedron, thus, cutting the vertices of the 16-cell at the midpoint of its incident edges produce 8 octahedral cells. This process also rectifies the tetrahedral cells of the 16-cell which also become octahedra, a regular tessellation of 4-dimensional Euclidean space exists with 24-cells, called an icositetrachoric honeycomb, with Schläfli symbol. Hence, the angle of a 24-cell is 120°. The regular dual tessellation, has 16-cells, the 24 vertices of the 24-cell represent the root vectors of the simple Lie group D4. The vertices can be seen in 3 hyperplanes, with the 6 vertices of a cell on each of the outer hyperplanes and 12 vertices of a cuboctahedron on a central hyperplane. These vertices, combined with the 8 vertices of the 16-cell, represent the 32 root vectors of the B4, the 48 vertices of the union of the 24-cell and its dual form the root system of type F4. The 24 vertices of the original 24-cell form a system of type D4
56.
120-cell
–
In geometry, the 120-cell is the convex regular 4-polytope with Schläfli symbol. It is also called a C120, hecatonicosachoron, dodecacontachoron and hecatonicosahedroid, the boundary of the 120-cell is composed of 120 dodecahedral cells with 4 meeting at each vertex. It can be thought of as the 4-dimensional analog of the dodecahedron and has called a dodecaplex. Just as a dodecahedron can be built up as a model with 12 pentagons,3 around each vertex, there are 120 cells,720 pentagonal faces,1200 edges, and 600 vertices. There are 4 dodecahedra,6 pentagons, and 4 edges meeting at every vertex, there are 3 dodecahedra and 3 pentagons meeting every edge. The dual polytope of the 120-cell is the 600-cell, the vertex figure of the 120-cell is a tetrahedron. The dihedral angle of the 120-cell is 144° The 600 vertices of the 120-cell include all permutations of, the 120-cell consists of 120 dodecahedral cells. For visualization purposes, it is convenient that the dodecahedron has opposing parallel faces, one can stack dodecahedrons face to face in a straight line bent in the 4th direction into a great circle with a circumference of 10 cells. Starting from this initial ten cell construct there are two common visualizations one can use, a stereographic projection, and a structure of intertwining rings. The cell locations lend themselves to a hyperspherical description, pick an arbitrary cell and label it the North Pole. Twelve great circle meridians radiate out in 3 dimensions, converging at the 5th South Pole cell and this skeleton accounts for 50 of the 120 cells. Starting at the North Pole, we can build up the 120-cell in 9 latitudinal layers, with the exception of the poles, each layer represents a separate 2-sphere, with the equator being a great 2-sphere. The centroids of the 30 equatorial cells form the vertices of an icosidodecahedron, the cells labeled interstitial in the following table do not fall on meridian great circles. Layers 2,4,6 and 8 cells are located over the cells faces. Layers 3 and 7s cells are located directly over the pole cells vertices, layer 5s cells are located over the pole cells edges. The 120-cell can be partitioned into 12 disjoint 10-cell great circle rings, starting with one 10-cell ring, one can place another ring alongside it that spirals around the original ring one complete revolution in ten cells. Five such 10-cell rings can be placed adjacent to the original 10-cell ring, although the outer rings spiral around the inner ring, they actually have no helical torsion. The spiraling is a result of the 3-sphere curvature, the inner ring and the five outer rings now form a six ring, 60-cell solid torus
57.
600-cell
–
In geometry, the 600-cell is the convex regular 4-polytope with Schläfli symbol. It is also called a C600, hexacosichoron and hexacosidedroid, the 600-cell is regarded as the 4-dimensional analog of the icosahedron, since it has five tetrahedra meeting at every edge, just as the icosahedron has five triangles meeting at every vertex. It is also called a tetraplex and polytetrahedron, being bounded by tetrahedral cells and its boundary is composed of 600 tetrahedral cells with 20 meeting at each vertex. Together they form 1200 triangular faces,720 edges, and 120 vertices, the edges form 72 flat regular decagons. Each vertex of the 600-cell is a vertex of six such decagons, References, S. L. van Oss, F. Buekenhout and M. Parker. Its vertex figure is an icosahedron, and its dual polytope is the 120-cell and it has a dihedral angle of cos−1 = ~164. 48°. Each cell touches, in manner,56 other cells. One cell contacts each of the four faces, two cells contact each of the six edges, but not a face, and ten cells contact each of the four vertices, but not a face or edge. The vertices of a 600-cell centered at the origin of 4-space, with edges of length 1/φ, can be given as follows,16 vertices of the form, the remaining 96 vertices are obtained by taking even permutations of ½. Note that the first 16 vertices are the vertices of a tesseract, the eight are the vertices of a 16-cell. The final 96 vertices are the vertices of a snub 24-cell, when interpreted as quaternions, the 120 vertices of the 600-cell form a group under quaternionic multiplication. This group is called the binary icosahedral group and denoted by 2I as it is the double cover of the ordinary icosahedral group I. Each rotational symmetry of the 600-cell is generated by elements of 2IL and 2IR. The centre of RSG consists of the non-rotation Id and the central inversion -Id and we have the isomorphism RSG ≅ /. The order of RSG equals 120 ×120 /2 =7200, the binary icosahedral group is isomorphic to SL. The full symmetry group of the 600-cell is the Weyl group of H4 and this is a group of order 14400. It consists of 7200 rotations and 7200 rotation-reflections, the rotations form an invariant subgroup of the full symmetry group. The rotational symmetry group was described by S. L. van Oss, one can start by realizing the 600-cell is the dual of the 120-cell
58.
Uniform 5-polytope
–
In geometry, a uniform 5-polytope is a five-dimensional uniform polytope. By definition, a uniform 5-polytope is vertex-transitive and constructed from uniform 4-polytope facets, the complete set of convex uniform 5-polytopes has not been determined, but most can be made as Wythoff constructions from a small set of symmetry groups. These construction operations are represented by the permutations of rings of the Coxeter diagrams, Regular polytopes,1852, Ludwig Schläfli proved in his manuscript Theorie der vielfachen Kontinuität that there are exactly 3 regular polytopes in 5 or more dimensions. Convex uniform polytopes, 1940-1988, The search was expanded systematically by H. S. M, Coxeter in his publication Regular and Semi-Regular Polytopes I, II, and III. 1966, Norman W. Johnson completed his Ph. D, There are exactly three such regular polytopes, all convex, - 5-simplex - 5-cube - 5-orthoplex There are no nonconvex regular polytopes in 5 or more dimensions. There are 104 known convex uniform 5-polytopes, plus a number of families of duoprism prisms. All except the grand antiprism prism are based on Wythoff constructions, the 5-simplex is the regular form in the A5 family. The 5-cube and 5-orthoplex are the forms in the B5 family. The bifurcating graph of the D6 family contains the pentacross, as well as a 5-demicube which is an alternated 5-cube, one non-Wythoffian - The grand antiprism prism is the only known non-Wythoffian convex uniform 5-polytope, constructed from two grand antiprisms connected by polyhedral prisms. That brings the tally to, 19+31+8+46+1=105 In addition there are, Infinitely many uniform 5-polytope constructions based on duoprism prismatic families, Infinitely many uniform 5-polytope constructions based on duoprismatic families, ×, ×, ×. There are 19 forms based on all permutations of the Coxeter diagrams with one or more rings and they are named by Norman Johnson from the Wythoff construction operations upon regular 5-simplex. The A5 family has symmetry of order 720,7 of the 19 figures, with symmetrically ringed Coxeter diagrams have doubled symmetry, order 1440. The coordinates of uniform 5-polytopes with 5-simplex symmetry can be generated as permutations of simple integers in 6-space, the B5 family has symmetry of order 3840. This family has 25−1=31 Wythoffian uniform polytopes generated by marking one or more nodes of the Coxeter diagram, for simplicity it is divided into two subgroups, each with 12 forms, and 7 middle forms which equally belong in both. The 5-cube family of 5-polytopes are given by the hulls of the base points listed in the following table, with all permutations of coordinates. Each base point generates a distinct uniform 5-polytope, all coordinates correspond with uniform 5-polytopes of edge length 2. The D5 family has symmetry of order 1920 and this family has 23 Wythoffian uniform polyhedra, from 3x8-1 permutations of the D5 Coxeter diagram with one or more rings. 15 are repeated from the B5 family and 8 are unique to this family, There are 5 finite categorical uniform prismatic families of polytopes based on the nonprismatic uniform 4-polytopes, This prismatic family has 9 forms, The A1 x A4 family has symmetry of order 240
59.
5-orthoplex
–
In five-dimensional geometry, a 5-orthoplex, or 5-cross polytope, is a five-dimensional polytope with 10 vertices,40 edges,80 triangle faces,80 tetrahedron cells,32 5-cell 4-faces. It has two constructed forms, the first being regular with Schläfli symbol, and the second with alternately labeled facets and it is a part of an infinite family of polytopes, called cross-polytopes or orthoplexes. The dual polytope is the 5-hypercube or 5-cube, pentacross, derived from combining the family name cross polytope with pente for five in Greek. Triacontaditeron - as a 32-facetted 5-polytope and this polytope is one of 31 uniform 5-polytopes generated from the B5 Coxeter plane, including the regular 5-cube and 5-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, 5D uniform polytopes x3o3o3o4o - tac. Archived from the original on 4 February 2007, Polytopes of Various Dimensions Multi-dimensional Glossary
60.
5-cube
–
In five-dimensional geometry, a 5-cube is a name for a five-dimensional hypercube with 32 vertices,80 edges,80 square faces,40 cubic cells, and 10 tesseract 4-faces. It is represented by Schläfli symbol or, constructed as 3 tesseracts and it can be called a penteract, a portmanteau of tesseract and pente for five in Greek. It can also be called a regular deca-5-tope or decateron, being a 5-dimensional polytope constructed from 10 regular facets and it is a part of an infinite hypercube family. The dual of a 5-cube is the 5-orthoplex, of the family of orthoplexes. The 5-cube can be seen as an order-3 tesseractic honeycomb on a 4-sphere and it is related to the Euclidean 4-space tesseractic honeycomb and paracompact hyperbolic honeycomb order-5 tesseractic honeycomb. This polytope is one of 31 uniform 5-polytopes generated from the regular 5-cube or 5-orthoplex. Coxeter, Coxeter, Regular Polytopes, Dover edition, ISBN 0-486-61480-8, 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, Norman Johnson Uniform Polytopes, Manuscript N. W. Johnson, The Theory of Uniform Polytopes and Honeycombs, Ph. D, 5D uniform polytopes o3o3o3o4x - pent. Archived from the original on 4 February 2007
61.
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
62.
Uniform 6-polytope
–
In six-dimensional geometry, a uniform polypeton is a six-dimensional uniform polytope. A uniform polypeton is vertex-transitive, and all facets are uniform 5-polytopes, the complete set of convex uniform polypeta has not been determined, but most can be made as Wythoff constructions from a small set of symmetry groups. These construction operations are represented by the permutations of rings of the Coxeter-Dynkin diagrams, each combination of at least one ring on every connected group of nodes in the diagram produces a uniform 6-polytope. The simplest uniform polypeta are regular polytopes, the 6-simplex, the 6-cube, Regular polytopes,1852, Ludwig Schläfli proved in his manuscript Theorie der vielfachen Kontinuität that there are exactly 3 regular polytopes in 5 or more dimensions. Convex uniform polytopes,1940, The search was expanded systematically by H. S. M, Coxeter in his publication Regular and Semi-Regular Polytopes. Nonregular uniform star polytopes, Ongoing, Thousands of nonconvex uniform polypeta are known, participating researchers include Jonathan Bowers, Richard Klitzing and Norman Johnson. Uniform 6-polytopes with reflective symmetry can be generated by these four Coxeter groups, There are four fundamental reflective symmety groups which generate 153 unique uniform 6-polytopes. Uniform prism There are 6 categorical uniform prisms based on the uniform 5-polytopes, Uniform duoprism There are 11 categorical uniform duoprismatic families of polytopes based on Cartesian products of lower-dimensional uniform polytopes. Each combination of at least one ring on every connected group produces a uniform prismatic 6-polytope, in addition, there are 105 uniform 6-polytope constructions based on prisms of the uniform 5-polytopes. In addition, there are many uniform 6-polytope based on. There are 32+4−1=35 forms, derived by marking one or more nodes of the Coxeter-Dynkin diagram and they are named by Norman Johnson from the Wythoff construction operations upon regular 6-simplex. Bowers-style acronym names are given in parentheses for cross-referencing, the A6 family has symmetry of order 5040. The coordinates of uniform 6-polytopes with 6-simplex symmetry can be generated as permutations of simple integers in 7-space, see also list of A6 polytopes for graphs of these polytopes. There are 63 forms based on all permutations of the Coxeter-Dynkin diagrams with one or more rings, the B6 family has symmetry of order 46080. They are named by Norman Johnson from the Wythoff construction operations upon the regular 6-cube, Bowers names and acronym names are given for cross-referencing. See also list of B6 polytopes for graphs of these polytopes, the D6 family has symmetry of order 23040. This family has 3×16−1=47 Wythoffian uniform polytopes, generated by marking one or more nodes of the D6 Coxeter-Dynkin diagram, of these,31 are repeated from the B6 family and 16 are unique to this family. The 16 unique forms are enumerated below, bowers-style acronym names are given for cross-referencing
63.
6-orthoplex
–
In geometry, a 6-orthoplex, or 6-cross polytope, is a regular 6-polytope with 12 vertices,60 edges,160 triangle faces,240 tetrahedron cells,192 5-cell 4-faces, and 64 5-faces. It has two constructed forms, the first being regular with Schläfli symbol, and the second with alternately labeled facets and it is a part of an infinite family of polytopes, called cross-polytopes or orthoplexes. The dual polytope is the 6-hypercube, or hexeract, hexacross, derived from combining the family name cross polytope with hex for six in Greek. A lowest symmetry construction is based on a dual of a 6-orthotope, cartesian coordinates for the vertices of a 6-orthoplex, centered at the origin are, Every vertex pair is connected by an edge, except opposites. This polytope is one of 63 uniform 6-polytopes generated from the B6 Coxeter plane, 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.1966 Klitzing, Richard. 6D uniform polytopes x3o3o3o3o4o - gee, archived from the original on 4 February 2007. Polytopes of Various Dimensions Multi-dimensional Glossary
64.
6-cube
–
In geometry, a 6-cube is a six-dimensional hypercube with 64 vertices,192 edges,240 square faces,160 cubic cells,60 tesseract 4-faces, and 12 5-cube 5-faces. It has Schläfli symbol, being composed of 3 5-cubes around each 4-face and it can be called a hexeract, a portmanteau of tesseract with hex for six in Greek. It can also be called a regular dodeca-6-tope or dodecapeton, being a 6-dimensional polytope constructed from 12 regular facets and it is a part of an infinite family of polytopes, called hypercubes. The dual of a 6-cube can be called a 6-orthoplex, and is a part of the family of cross-polytopes. Applying an alternation operation, deleting alternating vertices of the 6-cube, creates another uniform polytope, called a 6-demicube, which has 12 5-demicube and 32 5-simplex facets. Cartesian coordinates for the vertices of a 6-cube centered at the origin and this polytope is one of 63 Uniform 6-polytopes generated from the B6 Coxeter plane, including the regular 6-cube or 6-orthoplex. Regular Polytopes, Dover edition, ISBN 0-486-61480-8 p.296, Table I, Regular Polytopes, 6D uniform polytopes o3o3o3o3o4x - ax. Archived from the original on 4 February 2007
65.
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
66.
1 22 polytope
–
In 6-dimensional geometry, the 122 polytope is a uniform polytope, constructed from the E6 group. It was first published in E. L. Eltes 1912 listing of semiregular polytopes and its Coxeter symbol is 122, describing its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of the 1-node sequence. There are two rectifications of the 122, construcated by positions points on the elements of 122, the rectified 122 is constructed by points at the mid-edges of the 122. The birectified 122 is constructed by points at the face centers of the 122. The 1_22 polytope contains 72 vertices, and 54 5-demicubic facets and it has a birectified 5-simplex vertex figure. Its 72 vertices represent the vectors of the simple Lie group E6. Pentacontatetra-peton - 54-facetted polypeton It is created by a Wythoff construction upon a set of 6 hyperplane mirrors in 6-dimensional space, the facet information can be extracted from its Coxeter-Dynkin diagram. Removing the node on either of 2-length branches leaves the 5-demicube,131, the vertex figure is determined by removing the ringed node and ringing the neighboring node. This makes the birectified 5-simplex,022, the regular complex polyhedron 332, in C2 has a real representation as the 122 polytope in 4-dimensional space. It has 72 vertices,216 3-edges, and 5433 faces and its complex reflection group is 332, order 1296. It has a half-symmetry quasiregular construction as, as a rectification of the Hessian polyhedron, the 122 is related to the 24-cell by a geometric folding E6 → F4 of Coxeter-Dynkin diagrams, E6 corresponding to 122 in 6 dimensions, F4 to the 24-cell in 4 dimensions. This can be seen in the Coxeter plane projections, the 24 vertices of the 24-cell are projected in the same two rings as seen in the 122. This polytope is the figure for a uniform tessellation of 6-dimensional space,222. The rectified 122 polytope can tessellate 6-dimensional space as the Voronoi cell of the E6* honeycomb lattice, removing the ring on the short branch leaves the birectified 5-simplex. Removing the ring on the either 2-length branch leaves the birectified 5-orthoplex in its alternated form, the vertex figure is determined by removing the ringed node and ringing the neighboring ring. This makes 3-3 duoprism prism, ××, Vertices are colored by their multiplicity in this projection, in progressive order, red, orange, yellow. Truncated 122 polytope Its construction is based on the E6 group, Vertices are colored by their multiplicity in this projection, in progressive order, red, orange, yellow. Bicantellated 221 Birectified pentacontitetrapeton Vertices are colored by their multiplicity in this projection, in order, red, orange
67.
2 21 polytope
–
In 6-dimensional geometry, the 221 polytope is a uniform 6-polytope, constructed within the symmetry of the E6 group. It was discovered by Thorold Gosset, published in his 1900 paper and he called it an 6-ic semi-regular figure. It is also called the Schläfli polytope and its Coxeter symbol is 221, describing its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of one of the 2-node sequences. He also studied its connection with the 27 lines on the cubic surface, the rectified 221 is constructed by points at the mid-edges of the 221. The birectified 221 is constructed by points at the face centers of the 221. The 221 has 27 vertices, and 99 facets,27 5-orthoplexes and 72 5-simplices and its vertex figure is a 5-demicube. For visualization this 6-dimensional polytope is often displayed in a special skewed orthographic projection direction that fits its 27 vertices within a 12-gonal regular polygon and its 216 edges are drawn between 2 rings of 12 vertices, and 3 vertices projected into the center. Higher elements can also be extracted and drawn on this projection, the Schläfli graph contains the 1-skeleton of this polytope. E. L. Elte named it V27 in his 1912 listing of semiregular polytopes, icosihepta-heptacontidi-peton - 27-72 facetted polypeton The 27 vertices can be expressed in 8-space as an edge-figure of the 421 polytope, Its construction is based on the E6 group. The facet information can be extracted from its Coxeter-Dynkin diagram, removing the node on the short branch leaves the 5-simplex. Removing the node on the end of the 2-length branch leaves the 5-orthoplex in its alternated form, every simplex facet touches an 5-orthoplex facet, while alternate facets of the orthoplex touch either a simplex or another orthoplex. The vertex figure is determined by removing the ringed node and ringing the neighboring node, vertices are colored by their multiplicity in this projection, in progressive order, red, orange, yellow. The number of vertices by color are given in parentheses, the 221 is related to the 24-cell by a geometric folding of the E6/F4 Coxeter-Dynkin diagrams. This can be seen in the Coxeter plane projections, the 24 vertices of the 24-cell are projected in the same two rings as seen in the 221. This polytope can tessellate Euclidean 6-space, forming the 222 honeycomb with this Coxeter-Dynkin diagram, the regular complex polygon 333, in C2 has a real representation as the 221 polytope, in 4-dimensional space. It is called a Hessian polyhedron after Edmund Hess and it has 27 vertices,72 3-edges, and 2733 faces. Its complex reflection group is 333, order 648, the 221 is fourth 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
68.
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
69.
7-orthoplex
–
In geometry, a 7-orthoplex, or 7-cross polytope, is a regular 7-polytope with 14 vertices,84 edges,280 triangle faces,560 tetrahedron cells,672 5-cells 4-faces,448 5-faces, and 128 6-faces. It has two constructed forms, the first being regular with Schläfli symbol, and the second with alternately labeled facets and it is a part of an infinite family of polytopes, called cross-polytopes or orthoplexes. The dual polytope is the 7-hypercube, or hepteract, heptacross, derived from combining the family name cross polytope with hept for seven in Greek. A lowest symmetry construction is based on a dual of a 7-orthotope, cartesian coordinates for the vertices of a 7-orthoplex, centered at the origin are, Every vertex pair is connected by an edge, except opposites. 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, 7D uniform polytopes x3o3o3o3o3o4o - zee. Archived from the original on 4 February 2007, Polytopes of Various Dimensions Multi-dimensional Glossary
70.
7-cube
–
In geometry, a 7-cube is a seven-dimensional hypercube with 128 vertices,448 edges,672 square faces,560 cubic cells,280 tesseract 4-faces,84 penteract 5-faces, and 14 hexeract 6-faces. It can be named by its Schläfli symbol, being composed of 3 6-cubes around each 5-face and it can be called a hepteract, a portmanteau of tesseract and hepta for seven in Greek. It can also be called a regular tetradeca-7-tope or tetradecaexon, being a 7 dimensional polytope constructed from 14 regular facets and it is a part of an infinite family of polytopes, called hypercubes. The dual of a 7-cube is called a 7-orthoplex, and is a part of the family of cross-polytopes. Applying an alternation operation, deleting alternating vertices of the hepteract, creates another uniform polytope, called a demihepteract, which has 14 demihexeractic and 64 6-simplex 6-faces. Cartesian coordinates for the vertices of a hepteract centered at the origin, hepteract 7D simple rotation through 2Pi with 7D perspective projection to 3D. 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, Norman Johnson Uniform Polytopes, Manuscript N. W. Johnson, The Theory of Uniform Polytopes and Honeycombs, Ph. D, 7D uniform polytopes o3o3o3o3o3o4x - hept. Archived from the original on 4 February 2007, multi-dimensional Glossary, hypercube Garrett Jones Rotation of 7D-Cube www. 4d-screen. de
71.
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
72.
1 32 polytope
–
In 7-dimensional geometry,132 is a uniform polytope, constructed from the E7 group. Its Coxeter symbol is 132, describing its bifurcating Coxeter-Dynkin diagram, the rectified 132 is constructed by points at the mid-edges of the 132. This polytope can tessellate 7-dimensional space, with symbol 133, and it is the Voronoi cell of the dual E7* lattice. Emanuel Lodewijk Elte named it V576 in his 1912 listing of semiregular polytopes, Coxeter called it 132 for its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of the 1-node branch. Pentacontihexa-hecatonicosihexa-exon - 56-126 facetted polyexon It is created by a Wythoff construction upon a set of 7 hyperplane mirrors in 7-dimensional space and this makes the birectified 6-simplex,032, The 132 is third in a dimensional series of uniform polytopes and honeycombs, expressed by Coxeter as 13k series. The next figure is the Euclidean honeycomb 133 and the final is a noncompact hyperbolic honeycomb,134, the rectified 132 is a rectification of the 132 polytope, creating new vertices on the center of edge of the 132. Its vertex figure is a prism, the product of a regular tetrahedra and triangle, doubled into a prism. Rectified pentacontihexa-hecatonicosihexa-exon for rectified 56-126 facetted polyexon It is created by a Wythoff construction upon a set of 7 hyperplane mirrors in 7-dimensional space and these mirrors are represented by its Coxeter-Dynkin diagram, and the ring represents the position of the active mirror. This makes the tetrahedron-triangle duoprism prism, ××, List of E7 polytopes Elte, E. L. The Semiregular Polytopes of the Hyperspaces, Groningen, University of Groningen H. S. M. 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 III, Klitzing, Richard. O3o3o3x *c3o3o3o - lin, o3o3x3o *c3o3o3o - rolin
73.
2 31 polytope
–
In 7-dimensional geometry,231 is a uniform polytope, constructed from the E7 group. Its Coxeter symbol is 231, describing its bifurcating Coxeter-Dynkin diagram, the rectified 231 is constructed by points at the mid-edges of the 231. The 231 is composed of 126 vertices,2016 edges,10080 faces,20160 cells,16128 4-faces,4788 5-faces,632 6-faces and its vertex figure is a 6-demicube. Its 126 vertices represent the vectors of the simple Lie group E7. This polytope is the figure for a uniform tessellation of 7-dimensional space,331. E. L. Elte named it V126 in his 1912 listing of semiregular polytopes and it was called 231 by Coxeter for its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of the 2-node sequence. Pentacontihexa-pentacosiheptacontihexa-exon - 56-576 facetted polyexon It is created by a Wythoff construction upon a set of 7 hyperplane mirrors in 7-dimensional space, the facet information can be extracted from its Coxeter-Dynkin diagram. Removing the node on the branch leaves the 6-simplex. There are 576 of these facets and these facets are centered on the locations of the vertices of the 321 polytope. Removing the node on the end of the 3-length branch leaves the 221, there are 56 of these facets. These facets are centered on the locations of the vertices of the 132 polytope, the vertex figure is determined by removing the ringed node and ringing the neighboring node. The rectified 231 is a rectification of the 231 polytope, creating new vertices on the center of edge of the 231, rectified pentacontihexa-pentacosiheptacontihexa-exon - as a rectified 56-576 facetted polyexon It is created by a Wythoff construction upon a set of 7 hyperplane mirrors in 7-dimensional space. The facet information can be extracted from its Coxeter-Dynkin diagram, removing the node on the short branch leaves the rectified 6-simplex. Removing the node on the end of the 2-length branch leaves the, removing the node on the end of the 3-length branch leaves the rectified 221. The vertex figure is determined by removing the ringed node and ringing the neighboring node, list of E7 polytopes Elte, E. L. The Semiregular Polytopes of the Hyperspaces, Groningen, University of Groningen H. S. M. 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 III, Klitzing, Richard. X3o3o3o *c3o3o3o - laq, o3x3o3o *c3o3o3o - rolaq
74.
3 21 polytope
–
In 7-dimensional geometry, the 321 polytope is a uniform 7-polytope, constructed within the symmetry of the E7 group. It was discovered by Thorold Gosset, published in his 1900 paper and he called it an 7-ic semi-regular figure. Its Coxeter symbol is 321, describing its bifurcating Coxeter-Dynkin diagram, the rectified 321 is constructed by points at the mid-edges of the 321. The birectified 321 is constructed by points at the face centers of the 321. The trirectified 321 is constructed by points at the centers of the 321. In 7-dimensional geometry, the 321 is a uniform polytope and it has 56 vertices, and 702 facets,126311 and 576 6-simplexes. For visualization this 7-dimensional polytope is often displayed in a special skewed orthographic projection direction that fits its 56 vertices within an 18-gonal regular polygon and its 756 edges are drawn between 3 rings of 18 vertices, and 2 vertices in the center. Specific higher elements can also be extracted and drawn on this projection, the 1-skeleton of the 321 polytope is called a Gosset graph. This polytope, along with the 7-simplex, can tessellate 7-dimensional space, represented by 331 and it is also called the Hess polytope for Edmund Hess who first discovered it. It was enumerated by Thorold Gosset in his 1900 paper and he called it an 7-ic semi-regular figure. E. L. Elte named it V56 in his 1912 listing of semiregular polytopes. Coxeter called it 321 due to its bifurcating Coxeter-Dynkin diagram, having 3 branches of length 3,2, and 1, Coxeter named it as 321 by its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of the 3-node sequence. The facet information can be extracted from its Coxeter-Dynkin diagram, removing the node on the short branch leaves the 6-simplex. Removing the node on the end of the 2-length branch leaves the 6-orthoplex in its form,311. Every simplex facet touches an 6-orthoplex facet, while alternate facets of the orthoplex touch either a simplex or another orthoplex, the vertex figure is determined by removing the ringed node and ringing the neighboring node. The 321 is fifth in a 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. It is in a series of uniform polytopes and honeycombs
75.
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
76.
8-orthoplex
–
It has two constructive forms, the first being regular with Schläfli symbol, and the second with alternately labeled facets, with Schläfli symbol or Coxeter symbol 511. It is a part of an family of polytopes, called cross-polytopes or orthoplexes. The dual polytope is an 8-hypercube, or octeract. A lowest symmetry construction is based on a dual of an 8-orthotope, cartesian coordinates for the vertices of an 8-cube, centered at the origin are, Every vertex pair is connected by an edge, except opposites. It is used in its alternated form 511 with the 8-simplex to form the 521 honeycomb, 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. 8D uniform polytopes x3o3o3o3o3o3o4o - ek, archived from the original on 4 February 2007. Polytopes of Various Dimensions Multi-dimensional Glossary
77.
8-cube
–
In geometry, an 8-cube is an eight-dimensional hypercube. It has 256 vertices,1024 edges,1792 square faces,1792 cubic cells,1120 tesseract 4-faces,448 5-cube 5-faces,112 6-cube 6-faces and it is represented by Schläfli symbol, being composed of 3 7-cubes around each 6-face. It is called an octeract, a portmanteau of tesseract and oct for eight in Greek and it can also be called a regular hexdeca-8-tope or hexadecazetton, being an 8-dimensional polytope constructed from 16 regular facets. It is a part of an family of polytopes, called hypercubes. The dual of an 8-cube can be called a 8-orthoplex, and is a part of the family of cross-polytopes. Cartesian coordinates for the vertices of an 8-cube centered at the origin, applying an alternation operation, deleting alternating vertices of the octeract, creates another uniform polytope, called a 8-demicube, which has 16 demihepteractic and 128 8-simplex facets. Coxeter, Coxeter, Regular Polytopes, Dover edition, ISBN 0-486-61480-8, 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, Norman Johnson Uniform Polytopes, Manuscript N. W. Johnson, The Theory of Uniform Polytopes and Honeycombs, Ph. D, 8D uniform polytopes o3o3o3o3o3o3o4x - octo. Archived from the original on 4 February 2007
78.
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
79.
1 42 polytope
–
In 8-dimensional geometry, the 142 is a uniform 8-polytope, constructed within the symmetry of the E8 group. Its Coxeter symbol is 142, describing its bifurcating Coxeter-Dynkin diagram, the rectified 142 is constructed by points at the mid-edges of the 142 and is the same as the birectified 241, and the quadrirectified 421. The 142 is composed of 2400 facets,240132 polytopes and its vertex figure is a birectified 7-simplex. This polytope, along with the demiocteract, can tessellate 8-dimensional space, represented by the symbol 152, Coxeter named it 142 for its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of the 1-node branch. It is created by a Wythoff construction upon a set of 8 hyperplane mirrors in 8-dimensional space, the facet information can be extracted from its Coxeter-Dynkin diagram. Removing the node on the end of the 2-length branch leaves the 7-demicube,141, Removing the node on the end of the 4-length branch leaves the 132. The vertex figure is determined by removing the ringed node and ringing the neighboring node and this makes the birectified 7-simplex,042. Orthographic projections are shown for the sub-symmetries of E8, E7, E6, B8, B7, B6, B5, B4, B3, B2, A7, vertices are shown as circles, colored by their order of overlap in each projective plane. The rectified 142 is named from being a rectification of the 142 polytope, the facet information can be extracted from its Coxeter-Dynkin diagram. Removing the node on the end of the 1-length branch leaves the birectified 7-simplex, Removing the node on the end of the 3-length branch leaves the 132. The vertex figure is determined by removing the ringed node and ringing the neighboring node and this makes the 5-cell-triangle duoprism prism. Orthographic projections are shown for the sub-symmetries of B6, B5, B4, B3, B2, A7, vertices are shown as circles, colored by their order of overlap in each projective plane. List of E8 polytopes H. S. M. 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 III, Klitzing, Richard. O3o3o3x *c3o3o3o3o - bif, o3o3o3x *c3o3o3o3o - buffy
80.
2 41 polytope
–
In 8-dimensional geometry, the 241 is a uniform 8-polytope, constructed within the symmetry of the E8 group. Its Coxeter symbol is 241, describing its bifurcating Coxeter-Dynkin diagram, the rectified 241 is constructed by points at the mid-edges of the 241. The birectified 241 is constructed by points at the face centers of the 241. The 241 is composed of 17,520 facets,144,960 6-faces,544,320 5-faces,1,209,600 4-faces,1,209,600 cells,483,840 faces,69,120 edges and its vertex figure is a 7-demicube. This polytope is a facet in the uniform tessellation,251 with Coxeter-Dynkin diagram and it is named 241 by Coxeter for its bifurcating Coxeter-Dynkin diagram, with a single ring on the end of the 2-node sequence. The facet information can be extracted from its Coxeter-Dynkin diagram, Removing the node on the short branch leaves the 7-simplex. There are 17280 of these facets Removing the node on the end of the 4-length branch leaves the 231, there are 240 of these facets. They are centered at the positions of the 240 vertices in the 421 polytope, the vertex figure is determined by removing the ringed node and ringing the neighboring node. Petrie polygon projections can be 12,18, or 30-sided based on the E6, E7, the 2160 vertices are all displayed, but lower symmetry forms have projected positions overlapping, shown as different colored vertices. For comparison, a B6 coxeter group is also shown, the rectified 241 is a rectification of the 241 polytope, with vertices positioned at the mid-edges of the 241. The facet information can be extracted from its Coxeter-Dynkin diagram, Removing the node on the short branch leaves the rectified 7-simplex. Removing the node on the end of the 4-length branch leaves the rectified 231, Removing the node on the end of the 2-length branch leaves the 7-demicube,141. The vertex figure is determined by removing the ringed node and ringing the neighboring node and this makes the rectified 6-simplex prism. Petrie polygon projections can be 12,18, or 30-sided based on the E6, E7, the 2160 vertices are all displayed, but lower symmetry forms have projected positions overlapping, shown as different colored vertices. For comparison, a B6 coxeter group is also shown, list of E8 polytopes Elte, E. L. The Semiregular Polytopes of the Hyperspaces, Groningen, University of Groningen H. S. M. 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 III, Klitzing, Richard. X3o3o3o *c3o3o3o3o - bay, o3x3o3o *c3o3o3o3o - robay
81.
4 21 polytope
–
In 8-dimensional geometry, the 421 is a semiregular uniform 8-polytope, constructed within the symmetry of the E8 group. It was discovered by Thorold Gosset, published in his 1900 paper and he called it an 8-ic semi-regular figure. Its Coxeter symbol is 421, describing its bifurcating Coxeter-Dynkin diagram, the rectified 421 is constructed by points at the mid-edges of the 421. The birectified 421 is constructed by points at the face centers of the 421. The trirectified 421 is constructed by points at the centers of the 421. The 421 is composed of 17,280 7-simplex and 2,160 7-orthoplex facets and its vertex figure is the 321 polytope. For visualization this 8-dimensional polytope is often displayed in a special skewed orthographic projection direction that fits its 240 vertices within a regular triacontagon and its 6720 edges are drawn between the 240 vertices. Specific higher elements can also be extracted and drawn on this projection, as its 240 vertices represent the root vectors of the simple Lie group E8, the polytope is sometimes referred to as the E8 polytope. The vertices of this polytope can be obtained by taking the 240 integral octonions of norm 1, because the octonions are a nonassociative normed division algebra, these 240 points have a multiplication operation making them not into a group but rather a loop, in fact a Moufang loop. This polytope was discovered by Thorold Gosset, who described it in his 1900 paper as an 8-ic semi-regular figure and it is the last finite semiregular figure in his enumeration, semiregular to him meaning that it contained only regular facets. E. L. Elte named it V240 in his 1912 listing of semiregular polytopes, Coxeter called it 421 because its Coxeter-Dynkin diagram has three branches of length 4,2, and 1, with a single node on the terminal node of the 4 branch. Dischiliahectohexaconta-myriaheptachiliadiacosioctaconta-zetton - 2160-17280 facetted polyzetton It is created by a Wythoff construction upon a set of 8 hyperplane mirrors in 8-dimensional space and these 56 points are the vertices of a 321 polytope in 7 dimensions. These 126 points are the vertices of a 231 polytope in 7 dimensions. Each vertex also has 56 third nearest neighbors, which are the negatives of its nearest neighbors, there are 17,280 simplex facets and 2160 orthoplex facets. Since every 7-simplex has 7 6-simplex facets, each incident to no other 6-simplex, since every 7-orthoplex has 128 6-simplex facets, half of which are not incident to 7-simplexes, the 421 polytope has 138,240 6-simplex faces that are not facets of 7-simplexes. The 421 polytope thus has two kinds of 6-simplex faces, not interchanged by symmetries of this polytope, the total number of 6-simplex faces is 259200. The vertex figure of a polytope is obtained by removing the ringed node. These graphs represent orthographic projections in the E8, E7, E6, the vertex colors are by overlapping multiplicity in the projection, colored by increasing order of multiplicities as red, orange, yellow, green
82.
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
83.
9-cube
–
It can be named by its Schläfli symbol, being composed of three 8-cubes around each 7-face. It is also called an enneract, a portmanteau of tesseract and it can also be called a regular octadeca-9-tope or octadecayotton, as a nine-dimensional polytope constructed with 18 regular facets. It is a part of an family of polytopes, called hypercubes. The dual of a 9-cube can be called a 9-orthoplex, and is a part of the family of cross-polytopes. Cartesian coordinates for the vertices of a 9-cube centered at the origin, applying an alternation operation, deleting alternating vertices of the 9-cube, creates another uniform polytope, called a 9-demicube, which has 18 8-demicube and 256 8-simplex facets. 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, Norman Johnson Uniform Polytopes, Manuscript N. W. Johnson, The Theory of Uniform Polytopes and Honeycombs, Ph. D, 9D uniform polytopes o3o3o3o3o3o3o3o4x - enne. Archived from the original on 4 February 2007
84.
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
85.
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