141 relations: Abelian group, Alternated hypercubic honeycomb, Annals of Mathematics, Apeirogon, Artin group, Automatic group, Bruhat order, Cayley graph, Chevalley–Shephard–Todd theorem, Commutative property, Commutator, Commutator subgroup, Complex reflection group, Conjugate element (field theory), Connected component (graph theory), Coxeter element, Coxeter notation, Coxeter–Dynkin diagram, Cross-polytope, Crystallographic restriction theorem, Cube, Cyclic group, Cyclic permutation, Demihypercube, Dihedral group, Direct product of groups, Disjoint union, Dodecahedron, Dot product, Dual polyhedron, Dynkin diagram, E6 (mathematics), E7 (mathematics), E8 (mathematics), Eduard Stiefel, Eigenvalues and eigenvectors, Elementary abelian group, Equilateral triangle, Ernst Witt, Exceptional object, F4 (mathematics), François Bruhat, G2 (mathematics), Generating set of a group, Glossary of graph theory terms, Graded poset, Graduate Texts in Mathematics, Group (mathematics), Group algebra, Harold Scott MacDonald Coxeter, ..., Hasse diagram, Hexagon, Hexagonal tiling, Hyperbolic geometry, Hyperbolic space, Hypercube, Hypercubic honeycomb, Hyperoctahedral group, Hyperplane, Icosahedral symmetry, Icosahedron, Involution (mathematics), Iwahori–Hecke algebra, Kac–Moody algebra, Kaleidoscope, Kazhdan–Lusztig polynomial, Length function, Longest element of a Coxeter group, Mathematics, Matrix group, Normal subgroup, Octahedron, Order (group theory), Parity of a permutation, Partially ordered set, Pentagon, Presentation of a group, Quotient group, Reflection (mathematics), Reflection group, Regular polygon, Regular polyhedron, Regular polytope, Representation theory, Schur multiplier, Simple Lie group, Simplectic honeycomb, Simplex, Square, Subgroup, Supersolvable arrangement, Symmetric group, Symmetric matrix, Symmetry group, Symmetry in mathematics, Tesseract, Tetrahedron, Thorold Gosset, Triangle group, Triangular tiling, Two-dimensional space, Uniform polytope, Vertex (graph theory), Weyl group, Word metric, 1 22 polytope, 1 32 polytope, 1 33 honeycomb, 1 42 polytope, 1 52 honeycomb, 120-cell, 16-cell, 16-cell honeycomb, 2 21 polytope, 2 22 honeycomb, 2 31 polytope, 2 41 polytope, 2 51 honeycomb, 24-cell, 24-cell honeycomb, 3 21 polytope, 3 31 honeycomb, 4 21 polytope, 5 21 honeycomb, 5-cell, 5-cube, 5-demicube, 5-orthoplex, 5-simplex, 6-cube, 6-demicube, 6-orthoplex, 6-simplex, 600-cell, 7-cube, 7-demicube, 7-orthoplex, 7-simplex, 8-demicube, 8-orthoplex, 8-simplex. Expand index (91 more) » « Shrink index
In abstract algebra, an abelian group, also called a commutative group, is a group in which the result of applying the group operation to two group elements does not depend on the order in which they are written.
In geometry, the alternated hypercube honeycomb (or demicubic honeycomb) is a dimensional infinite series of honeycombs, based on the hypercube honeycomb with an alternation operation.
The Annals of Mathematics is a bimonthly mathematical journal published by Princeton University and the Institute for Advanced Study.
In geometry, an apeirogon (from the Greek word ἄπειρος apeiros, "infinite, boundless" and γωνία gonia, "angle") is a generalized polygon with a countably infinite number of sides.
In mathematics, an Artin group (or generalized braid group) is a group with a presentation of the form \begin \Big\langle x_1,x_2,\ldots,x_n \Big| \langle x_1, x_2 \rangle^ &.
In mathematics, an automatic group is a finitely generated group equipped with several finite-state automata.
In mathematics, the Bruhat order (also called strong order or strong Bruhat order or Chevalley order or Bruhat–Chevalley order or Chevalley–Bruhat order) is a partial order on the elements of a Coxeter group, that corresponds to the inclusion order on Schubert varieties.
In mathematics, a Cayley graph, also known as a Cayley colour graph, Cayley diagram, group diagram, or colour group is a graph that encodes the abstract structure of a group.
In mathematics, the Chevalley–Shephard–Todd theorem in invariant theory of finite groups states that the ring of invariants of a finite group acting on a complex vector space is a polynomial ring if and only if the group is generated by pseudoreflections.
In mathematics, a binary operation is commutative if changing the order of the operands does not change the result.
In mathematics, the commutator gives an indication of the extent to which a certain binary operation fails to be commutative.
In mathematics, more specifically in abstract algebra, the commutator subgroup or derived subgroup of a group is the subgroup generated by all the commutators of the group.
In mathematics, a complex reflection group is a finite group acting on a finite-dimensional complex vector space that is generated by complex reflections: non-trivial elements that fix a complex hyperplane pointwise.
In mathematics, in particular field theory, the conjugate elements of an algebraic element α, over a field extension L/K, are the roots of the minimal polynomial pK,α(x) of α over K. Conjugate elements are also called Galois conjugates or simply conjugates.
In graph theory, a connected component (or just component) of an undirected graph is a subgraph in which any two vertices are connected to each other by paths, and which is connected to no additional vertices in the supergraph.
In mathematics, the Coxeter number h is the order of a Coxeter element of an irreducible Coxeter group.
In geometry, Coxeter notation (also Coxeter symbol) is a system of classifying symmetry groups, describing the angles between with fundamental reflections of a Coxeter group in a bracketed notation expressing the structure of a Coxeter-Dynkin diagram, with modifiers to indicate certain subgroups.
In geometry, a Coxeter–Dynkin diagram (or Coxeter diagram, Coxeter graph) is a graph with numerically labeled edges (called branches) representing the spatial relations between a collection of mirrors (or reflecting hyperplanes).
In geometry, a cross-polytope, orthoplex, hyperoctahedron, or cocube is a regular, convex polytope that exists in n-dimensions.
The crystallographic restriction theorem in its basic form was based on the observation that the rotational symmetries of a crystal are usually limited to 2-fold, 3-fold, 4-fold, and 6-fold.
In geometry, a cube is a three-dimensional solid object bounded by six square faces, facets or sides, with three meeting at each vertex.
In algebra, a cyclic group or monogenous group is a group that is generated by a single element.
In mathematics, and in particular in group theory, a cyclic permutation (or cycle) is a permutation of the elements of some set X which maps the elements of some subset S of X to each other in a cyclic fashion, while fixing (that is, mapping to themselves) all other elements of X. If S has k elements, the cycle is called a k-cycle.
In geometry, demihypercubes (also called n-demicubes, n-hemicubes, and half measure polytopes) are a class of n-polytopes constructed from alternation of an n-hypercube, labeled as hγn for being half of the hypercube family, γn.
In mathematics, a dihedral group is the group of symmetries of a regular polygon, which includes rotations and reflections.
In group theory, the direct product is an operation that takes two groups and and constructs a new group, usually denoted.
In set theory, the disjoint union (or discriminated union) of a family of sets is a modified union operation that indexes the elements according to which set they originated in.
In geometry, a dodecahedron (Greek δωδεκάεδρον, from δώδεκα dōdeka "twelve" + ἕδρα hédra "base", "seat" or "face") is any polyhedron with twelve flat faces.
In mathematics, the dot product or scalar productThe term scalar product is often also used more generally to mean a symmetric bilinear form, for example for a pseudo-Euclidean space.
In geometry, any polyhedron is associated with a second dual figure, where the vertices of one correspond to the faces of the other and the edges between pairs of vertices of one correspond to the edges between pairs of faces of the other.
In the mathematical field of Lie theory, a Dynkin diagram, named for Eugene Dynkin, is a type of graph with some edges doubled or tripled (drawn as a double or triple line).
In mathematics, E6 is the name of some closely related Lie groups, linear algebraic groups or their Lie algebras \mathfrak_6, all of which have dimension 78; the same notation E6 is used for the corresponding root lattice, which has rank 6.
In mathematics, E7 is the name of several closely related Lie groups, linear algebraic groups or their Lie algebras e7, all of which have dimension 133; the same notation E7 is used for the corresponding root lattice, which has rank 7.
In mathematics, E8 is any of several closely related exceptional simple Lie groups, linear algebraic groups or Lie algebras of dimension 248; the same notation is used for the corresponding root lattice, which has rank 8.
Eduard L. Stiefel (21 April 1909 – 25 November 1978) was a Swiss mathematician.
In linear algebra, an eigenvector or characteristic vector of a linear transformation is a non-zero vector that changes by only a scalar factor when that linear transformation is applied to it.
In group theory, an elementary abelian group (or elementary abelian p-group) is an abelian group in which every nontrivial element has order p. The number p must be prime, and the elementary abelian groups are a particular kind of ''p''-group.
In geometry, an equilateral triangle is a triangle in which all three sides are equal.
Ernst Witt (26 June 1911 – 3 July 1991) was a German mathematician, one of the leading algebraists of his time.
Many branches of mathematics study objects of a given type and prove a classification theorem.
In mathematics, F4 is the name of a Lie group and also its Lie algebra f4.
François Georges René Bruhat (8 April 1929 – 17 July 2007) was a French mathematician who worked on algebraic groups.
In mathematics, G2 is the name of three simple Lie groups (a complex form, a compact real form and a split real form), their Lie algebras \mathfrak_2, as well as some algebraic groups.
In abstract algebra, a generating set of a group is a subset such that every element of the group can be expressed as the combination (under the group operation) of finitely many elements of the subset and their inverses.
This is a glossary of graph theory terms.
In mathematics, in the branch of combinatorics, a graded poset is a partially ordered set (poset) P equipped with a rank function ρ from P to N satisfying the following two properties.
Graduate Texts in Mathematics (GTM) (ISSN 0072-5285) is a series of graduate-level textbooks in mathematics published by Springer-Verlag.
In mathematics, a group is an algebraic structure consisting of a set of elements equipped with an operation that combines any two elements to form a third element and that satisfies four conditions called the group axioms, namely closure, associativity, identity and invertibility.
In mathematics, the group algebra is any of various constructions to assign to a locally compact group an operator algebra (or more generally a Banach algebra), such that representations of the algebra are related to representations of the group.
Harold Scott MacDonald "Donald" Coxeter, FRS, FRSC, (February 9, 1907 – March 31, 2003) was a British-born Canadian geometer.
In order theory, a Hasse diagram is a type of mathematical diagram used to represent a finite partially ordered set, in the form of a drawing of its transitive reduction.
In geometry, a hexagon (from Greek ἕξ hex, "six" and γωνία, gonía, "corner, angle") is a six-sided polygon or 6-gon.
In geometry, the hexagonal tiling or hexagonal tessellation is a regular tiling of the Euclidean plane, in which three hexagons meet at each vertex.
In mathematics, hyperbolic geometry (also called Bolyai–Lobachevskian geometry or Lobachevskian geometry) is a non-Euclidean geometry.
In mathematics, hyperbolic space is a homogeneous space that has a constant negative curvature, where in this case the curvature is the sectional curvature.
In geometry, a hypercube is an ''n''-dimensional analogue of a square and a cube.
In geometry, a hypercubic honeycomb is a family of regular honeycombs (tessellations) in n-dimensions with the Schläfli symbols and containing the symmetry of Coxeter group Rn (or B~n-1) for n>.
In mathematics, a hyperoctahedral group is an important type of group that can be realized as the group of symmetries of a hypercube or of a cross-polytope.
In geometry, a hyperplane is a subspace whose dimension is one less than that of its ambient space.
A regular icosahedron has 60 rotational (or orientation-preserving) symmetries, and a symmetry order of 120 including transformations that combine a reflection and a rotation.
In geometry, an icosahedron is a polyhedron with 20 faces.
In mathematics, an involution, or an involutory function, is a function that is its own inverse, for all in the domain of.
In mathematics, the Iwahori–Hecke algebra, or Hecke algebra, named for Erich Hecke and Nagayoshi Iwahori, is a deformation of the group algebra of a Coxeter group.
In mathematics, a Kac–Moody algebra (named for Victor Kac and Robert Moody, who independently discovered them) is a Lie algebra, usually infinite-dimensional, that can be defined by generators and relations through a generalized Cartan matrix.
A kaleidoscope is an optical instrument with two or more reflecting surfaces tilted to each other in an angle, so that one or more (parts of) objects on one end of the mirrors are seen as a regular symmetrical pattern when viewed from the other end, due to repeated reflection.
In the mathematical field of representation theory, a Kazhdan–Lusztig polynomial P_(q) is a member of a family of integral polynomials introduced by.
In the mathematical field of geometric group theory, a length function is a function that assigns a number to each element of a group.
In mathematics, the longest element of a Coxeter group is the unique element of maximal length in a finite Coxeter group with respect to the chosen generating set consisting of simple reflections.
Mathematics (from Greek μάθημα máthēma, "knowledge, study, learning") is the study of such topics as quantity, structure, space, and change.
In mathematics, a matrix group is a group G consisting of invertible matrices over a specified field K, with the operation of matrix multiplication.
In abstract algebra, a normal subgroup is a subgroup which is invariant under conjugation by members of the group of which it is a part.
In geometry, an octahedron (plural: octahedra) is a polyhedron with eight faces, twelve edges, and six vertices.
In group theory, a branch of mathematics, the term order is used in two unrelated senses.
In mathematics, when X is a finite set of at least two elements, the permutations of X (i.e. the bijective functions from X to X) fall into two classes of equal size: the even permutations and the odd permutations.
In mathematics, especially order theory, a partially ordered set (also poset) formalizes and generalizes the intuitive concept of an ordering, sequencing, or arrangement of the elements of a set.
In geometry, a pentagon (from the Greek πέντε pente and γωνία gonia, meaning five and angle) is any five-sided polygon or 5-gon.
In mathematics, one method of defining a group is by a presentation.
A quotient group or factor group is a mathematical group obtained by aggregating similar elements of a larger group using an equivalence relation that preserves the group structure.
In mathematics, a reflection (also spelled reflexion) is a mapping from a Euclidean space to itself that is an isometry with a hyperplane as a set of fixed points; this set is called the axis (in dimension 2) or plane (in dimension 3) of reflection.
In group theory and geometry, a reflection group is a discrete group which is generated by a set of reflections of a finite-dimensional Euclidean space.
In Euclidean geometry, a regular polygon is a polygon that is equiangular (all angles are equal in measure) and equilateral (all sides have the same length).
A regular polyhedron is a polyhedron whose symmetry group acts transitively on its flags.
In mathematics, a regular polytope is a polytope whose symmetry group acts transitively on its flags, thus giving it the highest degree of symmetry.
Representation theory is a branch of mathematics that studies abstract algebraic structures by representing their elements as linear transformations of vector spaces, and studies modules over these abstract algebraic structures.
In mathematical group theory, the Schur multiplier or Schur multiplicator is the second homology group H2(G, Z) of a group G. It was introduced by in his work on projective representations.
In group theory, a simple Lie group is a connected non-abelian Lie group G which does not have nontrivial connected normal subgroups.
In geometry, the simplectic honeycomb (or n-simplex honeycomb) is a dimensional infinite series of honeycombs, based on the _n affine Coxeter group symmetry.
In geometry, a simplex (plural: simplexes or simplices) is a generalization of the notion of a triangle or tetrahedron to arbitrary dimensions.
In geometry, a square is a regular quadrilateral, which means that it has four equal sides and four equal angles (90-degree angles, or (100-gradian angles or right 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.
In group theory, a branch of mathematics, given a group G under a binary operation ∗, a subset H of G is called a subgroup of G if H also forms a group under the operation ∗.
In mathematics, a supersolvable arrangement is a hyperplane arrangement which has a maximal flag with only modular elements.
In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group operation is the composition of functions.
In linear algebra, a symmetric matrix is a square matrix that is equal to its transpose.
In group theory, the symmetry group of an object (image, signal, etc.) is the group of all transformations under which the object is invariant with composition as the group operation.
Symmetry occurs not only in geometry, but also in other branches of mathematics.
In geometry, the tesseract is the four-dimensional analogue of the cube; the tesseract is to the cube as the cube is to the square.
In geometry, a tetrahedron (plural: tetrahedra or tetrahedrons), also known as a triangular pyramid, is a polyhedron composed of four triangular faces, six straight edges, and four vertex corners.
John Herbert de Paz Thorold Gosset (16 October 1869 – December 1962) was an English lawyer and an amateur mathematician.
In mathematics, a triangle group is a group that can be realized geometrically by sequences of reflections across the sides of a triangle.
In geometry, the triangular tiling or triangular tessellation is one of the three regular tilings of the Euclidean plane.
Two-dimensional space or bi-dimensional space is a geometric setting in which two values (called parameters) are required to determine the position of an element (i.e., point).
A uniform polytope of dimension three or higher is a vertex-transitive polytope bounded by uniform facets.
In mathematics, and more specifically in graph theory, a vertex (plural vertices) or node is the fundamental unit of which graphs are formed: an undirected graph consists of a set of vertices and a set of edges (unordered pairs of vertices), while a directed graph consists of a set of vertices and a set of arcs (ordered pairs of vertices).
In mathematics, in particular the theory of Lie algebras, the Weyl group of a root system Φ is a subgroup of the isometry group of the root system.
In group theory, a branch of mathematics, a word metric on a group G is a way to measure distance between any two elements of G. As the name suggests, the word metric is a metric on G, assigning to any two elements g, h of G a distance d(g,h) that measures how efficiently their difference g^ h can be expressed as a word whose letters come from a generating set for the group.
In 6-dimensional geometry, the 122 polytope is a uniform polytope, constructed from the E6 group.
In 7-dimensional geometry, 132 is a uniform polytope, constructed from the E7 group.
In 7-dimensional geometry, 133 is a uniform honeycomb, also given by Schläfli symbol, and is composed of 132''' facets.
In 8-dimensional geometry, the 142 is a uniform 8-polytope, constructed within the symmetry of the E8 group.
In geometry, the 152 honeycomb is a uniform tessellation of 8-dimensional Euclidean space.
In geometry, the 120-cell is the convex regular 4-polytope with Schläfli symbol.
In four-dimensional geometry, a 16-cell is a regular convex 4-polytope.
In four-dimensional Euclidean geometry, the 16-cell honeycomb is one of the three regular space-filling tessellations (or honeycombs) in Euclidean 4-space.
In 6-dimensional geometry, the 221 polytope is a uniform 6-polytope, constructed within the symmetry of the E6 group.
In geometry, the 222 honeycomb is a uniform tessellation of the six-dimensional Euclidean space.
In 7-dimensional geometry, 231 is a uniform polytope, constructed from the E7 group.
In 8-dimensional geometry, the 241 is a uniform 8-polytope, constructed within the symmetry of the E8 group.
In 8-dimensional geometry, the 251 honeycomb is a space-filling uniform tessellation.
In geometry, the 24-cell is the convex regular 4-polytope (four-dimensional analogue of a Platonic solid) with Schläfli symbol.
In four-dimensional Euclidean geometry, the 24-cell honeycomb, or icositetrachoric honeycomb is a regular space-filling tessellation (or honeycomb) of 4-dimensional Euclidean space by regular 24-cells.
In 7-dimensional geometry, the 321 polytope is a uniform 7-polytope, constructed within the symmetry of the E7 group.
In 7-dimensional geometry, the 331 honeycomb is a uniform honeycomb, also given by Schläfli symbol and is composed of 321 and 7-simplex facets, with 56 and 576 of them respectively around each vertex.
In 8-dimensional geometry, the 421 is a semiregular uniform 8-polytope, constructed within the symmetry of the E8 group.
In geometry, the 521 honeycomb is a uniform tessellation of 8-dimensional Euclidean space.
In geometry, the 5-cell is a four-dimensional object bounded by 5 tetrahedral cells.
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.
In five-dimensional geometry, a demipenteract or 5-demicube is a semiregular 5-polytope, constructed from a 5-hypercube (penteract) with alternated vertices removed.
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.
In five-dimensional geometry, a 5-simplex is a self-dual regular 5-polytope.
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.
In geometry, a 6-demicube or demihexteract is a uniform 6-polytope, constructed from a 6-cube (hexeract) with alternated vertices removed.
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.
In geometry, a 6-simplex is a self-dual regular 6-polytope.
In geometry, the 600-cell is the convex regular 4-polytope (four-dimensional analogue of a Platonic solid) with Schläfli symbol.
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.
In geometry, a demihepteract or 7-demicube is a uniform 7-polytope, constructed from the 7-hypercube (hepteract) with alternated vertices removed.
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.
In 7-dimensional geometry, a 7-simplex is a self-dual regular 7-polytope.
In geometry, a demiocteract or 8-demicube is a uniform 8-polytope, constructed from the 8-hypercube, octeract, with alternated vertices removed.
In geometry, an 8-orthoplex or 8-cross polytope is a regular 8-polytope with 16 vertices, 112 edges, 448 triangle faces, 1120 tetrahedron cells, 1792 5-cells 4-faces, 1792 5-faces, 1024 6-faces, and 256 7-faces.
In geometry, an 8-simplex is a self-dual regular 8-polytope.
Affine Coxeter group, Affine Weyl group, Affine weyl group, Bruhat ordering, Coxeter Group, Coxeter Groups, Coxeter System, Coxeter Systems, Coxeter groups, Coxeter matrix, Coxeter system, Coxeter systems, Finite Coxeter group, Finite Coxeter groups, H4 (mathematics).