178 relations: Absolute value, Academic Press, Algebraic group, Algebraic topology, Algebraic variety, American Mathematical Society, Angle, Bivector, Blade (geometry), Bott periodicity theorem, Brane, Cartan subalgebra, Cartan–Dieudonné theorem, Center (group theory), Characteristic (algebra), Characteristic subgroup, Charts on SO(3), Circle, Circle group, Clifford algebra, Clutching construction, Cofibration, Commutator, Commutator subgroup, Compact space, Complete intersection, Complex number, Conformal map, Congruence (geometry), Connected space, Coordinate rotations and reflections, Countable set, Covering group, Covering space, Coxeter group, Curl (mathematics), Cyclic group, Definite quadratic form, Determinant, Dihedral group, Dimension, Dimension (vector space), Direct limit, Direct product of groups, Discrete space, Discriminant, Division algebra, Dot product, Elementary abelian group, Euclidean group, ..., Euclidean space, Euler's rotation theorem, Exact sequence, Fiber bundle, Field (mathematics), Field with one element, Finite field, Free abelian group, Function composition, Fundamental group, Galois cohomology, General linear group, Generalized permutation matrix, Graduate Studies in Mathematics, Group (mathematics), Group action, Homogeneous space, Homothetic transformation, Homotopy group, Homotopy groups of spheres, Householder transformation, Identity component, Identity matrix, Improper rotation, Indefinite orthogonal group, Inner product space, Integer, Integer matrix, Invertible matrix, Irreducible component, Isometry, K-frame, Kaluza–Klein theory, Kernel (linear algebra), Lagrangian Grassmannian, Length function, Lie algebra, Lie group, Limit point, Linear form, Linear map, List of finite simple groups, List of finite spherical symmetry groups, List of simple Lie groups, Longest element of a Coxeter group, Mathematics, Matrix multiplication, Maximal torus, Multiplicative group, Multiplicative inverse, N-connected space, N-sphere, Nondegenerate form, Normal subgroup, Octonion, Ordered field, Orientation (geometry), Orientation (vector space), Orthogonal complement, Orthogonal group, Orthogonal matrix, Orthonormal basis, P-group, Perfect field, Permutation matrix, Pin group, Plane of rotation, Point group, Point groups in three dimensions, Point groups in two dimensions, Point reflection, Polyhedral group, Polytope, Principal homogeneous space, Projective line, Projective orthogonal group, Quadratic form, Quaternion, Quotient group, Real form (Lie theory), Real line, Real number, Real projective line, Real projective space, Regular polytope, Riemann sphere, Rotation, Rotation (mathematics), Rotation group SO(3), Rotational symmetry, Rotations in 4-dimensional Euclidean space, Semidirect product, Semisimple Lie algebra, Similarity (geometry), Simply connected space, Singular point of an algebraic variety, Skew-symmetric matrix, Snake lemma, SO(8), Special unitary group, Sphere, Spin group, Spin representation, Springer Science+Business Media, Square (algebra), Stiefel manifold, String group, Subgroup, Symmetric bilinear form, Symmetric group, Symmetric matrix, Symmetric space, Symmetry group, Symplectic geometry, Symplectic group, Tautological bundle, Topological quantum field theory, Topological space, Transpose, Unit vector, Unitary group, Up to, Vector space, Weyl group, Witt's theorem, Zero object (algebra), 2, 3-sphere. Expand index (128 more) » « Shrink index
In mathematics, the absolute value or modulus of a real number is the non-negative value of without regard to its sign.
Academic Press is an academic book publisher.
In algebraic geometry, an algebraic group (or group variety) is a group that is an algebraic variety, such that the multiplication and inversion operations are given by regular maps on the variety.
Algebraic topology is a branch of mathematics that uses tools from abstract algebra to study topological spaces.
Algebraic varieties are the central objects of study in algebraic geometry.
The American Mathematical Society (AMS) is an association of professional mathematicians dedicated to the interests of mathematical research and scholarship, and serves the national and international community through its publications, meetings, advocacy and other programs.
In plane geometry, an angle is the figure formed by two rays, called the sides of the angle, sharing a common endpoint, called the vertex of the angle.
In mathematics, a bivector or 2-vector is a quantity in exterior algebra or geometric algebra that extends the idea of scalars and vectors.
In the study of geometric algebras, a blade is a generalization of the concept of scalars and vectors to include simple bivectors, trivectors, etc.
In mathematics, the Bott periodicity theorem describes a periodicity in the homotopy groups of classical groups, discovered by, which proved to be of foundational significance for much further research, in particular in K-theory of stable complex vector bundles, as well as the stable homotopy groups of spheres.
In string theory and related theories such as supergravity theories, a brane is a physical object that generalizes the notion of a point particle to higher dimensions.
In mathematics, a Cartan subalgebra, often abbreviated as CSA, is a nilpotent subalgebra \mathfrak of a Lie algebra \mathfrak that is self-normalising (if \in \mathfrak for all X \in \mathfrak, then Y \in \mathfrak).
In mathematics, the Cartan–Dieudonné theorem, named after Élie Cartan and Jean Dieudonné, establishes that every orthogonal transformation in an n-dimensional symmetric bilinear space can be described as the composition of at most n reflections.
In abstract algebra, the center of a group,, is the set of elements that commute with every element of.
In mathematics, the characteristic of a ring R, often denoted char(R), is defined to be the smallest number of times one must use the ring's multiplicative identity (1) in a sum to get the additive identity (0) if the sum does indeed eventually attain 0.
In mathematics, particularly in the area of abstract algebra known as group theory, a characteristic subgroup is a subgroup that is mapped to itself by every automorphism of the parent group.
In mathematics, the special orthogonal group in three dimensions, otherwise known as the rotation group SO(3), is a naturally occurring example of a manifold.
A circle is a simple closed shape.
In mathematics, the circle group, denoted by T, is the multiplicative group of all complex numbers with absolute value 1, that is, the unit circle in the complex plane or simply the unit complex numbers The circle group forms a subgroup of C×, the multiplicative group of all nonzero complex numbers.
In mathematics, a Clifford algebra is an algebra generated by a vector space with a quadratic form, and is a unital associative algebra.
In topology, a branch of mathematics, the clutching construction is a way of constructing fiber bundles, particularly vector bundles on spheres.
In mathematics, in particular homotopy theory, a continuous mapping where A and X are topological spaces, is a cofibration if it satisfies the homotopy extension property with respect to all spaces Y. This definition is dual to that of a fibration, which is required to satisfy the homotopy lifting property with respect to all spaces.
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, and more specifically in general topology, compactness is a property that generalizes the notion of a subset of Euclidean space being closed (that is, containing all its limit points) and bounded (that is, having all its points lie within some fixed distance of each other).
In mathematics, an algebraic variety V in projective space is a complete intersection if the ideal of V is generated by exactly codim V elements.
A complex number is a number that can be expressed in the form, where and are real numbers, and is a solution of the equation.
In mathematics, a conformal map is a function that preserves angles locally.
In geometry, two figures or objects are congruent if they have the same shape and size, or if one has the same shape and size as the mirror image of the other.
In topology and related branches of mathematics, a connected space is a topological space that cannot be represented as the union of two or more disjoint nonempty open subsets.
In geometry, two-dimensional coordinate rotations and reflections are two kinds of Euclidean plane isometries which are related to one another.
In mathematics, a countable set is a set with the same cardinality (number of elements) as some subset of the set of natural numbers.
In mathematics, a covering group of a topological group H is a covering space G of H such that G is a topological group and the covering map p: G → H is a continuous group homomorphism.
In mathematics, more specifically algebraic topology, a covering map (also covering projection) is a continuous function p from a topological space, C, to a topological space, X, such that each point in X has an open neighbourhood evenly covered by p (as shown in the image); the precise definition is given below.
In mathematics, a Coxeter group, named after H. S. M. Coxeter, is an abstract group that admits a formal description in terms of reflections (or kaleidoscopic mirrors).
In vector calculus, the curl is a vector operator that describes the infinitesimal rotation of a vector field in three-dimensional Euclidean space.
In algebra, a cyclic group or monogenous group is a group that is generated by a single element.
In mathematics, a definite quadratic form is a quadratic form over some real vector space that has the same sign (always positive or always negative) for every nonzero vector of.
In linear algebra, the determinant is a value that can be computed from the elements of a square matrix.
In mathematics, a dihedral group is the group of symmetries of a regular polygon, which includes rotations and reflections.
In physics and mathematics, the dimension of a mathematical space (or object) is informally defined as the minimum number of coordinates needed to specify any point within it.
In mathematics, the dimension of a vector space V is the cardinality (i.e. the number of vectors) of a basis of V over its base field.
In mathematics, a direct limit is a way to construct a (typically large) object from many (typically smaller) objects that are put together in a specific way.
In group theory, the direct product is an operation that takes two groups and and constructs a new group, usually denoted.
In topology, a discrete space is a particularly simple example of a topological space or similar structure, one in which the points form a discontinuous sequence, meaning they are isolated from each other in a certain sense.
In algebra, the discriminant of a polynomial is a polynomial function of its coefficients, which allows deducing some properties of the roots without computing them.
In the field of mathematics called abstract algebra, a division algebra is, roughly speaking, an algebra over a field in which division, except by zero, is always possible.
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 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 mathematics, the Euclidean group E(n), also known as ISO(n) or similar, is the symmetry group of n-dimensional Euclidean space.
In geometry, Euclidean space encompasses the two-dimensional Euclidean plane, the three-dimensional space of Euclidean geometry, and certain other spaces.
In geometry, Euler's rotation theorem states that, in three-dimensional space, any displacement of a rigid body such that a point on the rigid body remains fixed, is equivalent to a single rotation about some axis that runs through the fixed point.
An exact sequence is a concept in mathematics, especially in group theory, ring and module theory, homological algebra, as well as in differential geometry.
In mathematics, and particularly topology, a fiber bundle (or, in British English, fibre bundle) is a space that is locally a product space, but globally may have a different topological structure.
In mathematics, a field is a set on which addition, subtraction, multiplication, and division are defined, and behave as when they are applied to rational and real numbers.
In mathematics, the field with one element is a suggestive name for an object that should behave similarly to a finite field with a single element, if such a field could exist.
In mathematics, a finite field or Galois field (so-named in honor of Évariste Galois) is a field that contains a finite number of elements.
In abstract algebra, a free abelian group or free Z-module is an abelian group with a basis.
In mathematics, function composition is the pointwise application of one function to the result of another to produce a third function.
In the mathematical field of algebraic topology, the fundamental group is a mathematical group associated to any given pointed topological space that provides a way to determine when two paths, starting and ending at a fixed base point, can be continuously deformed into each other.
In mathematics, Galois cohomology is the study of the group cohomology of Galois modules, that is, the application of homological algebra to modules for Galois groups.
In mathematics, the general linear group of degree n is the set of invertible matrices, together with the operation of ordinary matrix multiplication.
In mathematics, a generalized permutation matrix (or monomial matrix) is a matrix with the same nonzero pattern as a permutation matrix, i.e. there is exactly one nonzero entry in each row and each column.
Graduate Studies in Mathematics (GSM) is a series of graduate-level textbooks in mathematics published by the American Mathematical Society (AMS).
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, an action of a group is a formal way of interpreting the manner in which the elements of the group correspond to transformations of some space in a way that preserves the structure of that space.
In mathematics, particularly in the theories of Lie groups, algebraic groups and topological groups, a homogeneous space for a group G is a non-empty manifold or topological space X on which G acts transitively.
In mathematics, a homothety (or homothecy, or homogeneous dilation) is a transformation of an affine space determined by a point S called its center and a nonzero number λ called its ratio, which sends in other words it fixes S, and sends any M to another point N such that the segment SN is on the same line as SM, but scaled by a factor λ. In Euclidean geometry homotheties are the similarities that fix a point and either preserve (if) or reverse (if) the direction of all vectors.
In mathematics, homotopy groups are used in algebraic topology to classify topological spaces.
In the mathematical field of algebraic topology, the homotopy groups of spheres describe how spheres of various dimensions can wrap around each other.
In linear algebra, a Householder transformation (also known as a Householder reflection or elementary reflector) is a linear transformation that describes a reflection about a plane or hyperplane containing the origin.
In mathematics, the identity component of a topological group G is the connected component G0 of G that contains the identity element of the group.
In linear algebra, the identity matrix, or sometimes ambiguously called a unit matrix, of size n is the n × n square matrix with ones on the main diagonal and zeros elsewhere.
In geometry, an improper rotation,.
In mathematics, the indefinite orthogonal group, is the Lie group of all linear transformations of an n-dimensional real vector space that leave invariant a nondegenerate, symmetric bilinear form of signature, where.
In linear algebra, an inner product space is a vector space with an additional structure called an inner product.
An integer (from the Latin ''integer'' meaning "whole")Integer 's first literal meaning in Latin is "untouched", from in ("not") plus tangere ("to touch").
In mathematics, an integer matrix is a matrix whose entries are all integers.
In linear algebra, an n-by-n square matrix A is called invertible (also nonsingular or nondegenerate) if there exists an n-by-n square matrix B such that where In denotes the n-by-n identity matrix and the multiplication used is ordinary matrix multiplication.
In mathematics, and specifically in algebraic geometry, the concept of irreducible component is used to make formal the idea that a set such as defined by the equation is the union of the two lines and Thus an algebraic set is irreducible if it is not the union of two proper algebraic subsets.
In mathematics, an isometry (or congruence, or congruent transformation) is a distance-preserving transformation between metric spaces, usually assumed to be bijective.
In linear algebra, a branch of mathematics, a k-frame is an ordered set of k linearly independent vectors in a space; thus k ≤ n, where n is the dimension of the vector space, and if k.
In physics, Kaluza–Klein theory (KK theory) is a classical unified field theory of gravitation and electromagnetism built around the idea of a fifth dimension beyond the usual four of space and time and considered an important precursor to string theory.
In mathematics, and more specifically in linear algebra and functional analysis, the kernel (also known as null space or nullspace) of a linear map between two vector spaces V and W, is the set of all elements v of V for which, where 0 denotes the zero vector in W. That is, in set-builder notation,.
In mathematics, the Lagrangian Grassmannian is the smooth manifold of Lagrangian subspaces of a real symplectic vector space V. Its dimension is n(n+1)/2 (where the dimension of V is 2n).
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, a Lie algebra (pronounced "Lee") is a vector space \mathfrak g together with a non-associative, alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g; (x, y) \mapsto, called the Lie bracket, satisfying the Jacobi identity.
In mathematics, a Lie group (pronounced "Lee") is a group that is also a differentiable manifold, with the property that the group operations are compatible with the smooth structure.
In mathematics, a limit point (or cluster point or accumulation point) of a set S in a topological space X is a point x that can be "approximated" by points of S in the sense that every neighbourhood of x with respect to the topology on X also contains a point of S other than x itself.
In linear algebra, a linear functional or linear form (also called a one-form or covector) is a linear map from a vector space to its field of scalars.
In mathematics, a linear map (also called a linear mapping, linear transformation or, in some contexts, linear function) is a mapping between two modules (including vector spaces) that preserves (in the sense defined below) the operations of addition and scalar multiplication.
In mathematics, the classification of finite simple groups states that every finite simple group is cyclic, or alternating, or in one of 16 families of groups of Lie type, or one of 26 sporadic groups.
Finite spherical symmetry groups are also called point groups in three dimensions.
In mathematics, the simple Lie groups were first classified by Wilhelm Killing and later perfected by Élie Cartan.
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, matrix multiplication or matrix product is a binary operation that produces a matrix from two matrices with entries in a field, or, more generally, in a ring or even a semiring.
In the mathematical theory of compact Lie groups a special role is played by torus subgroups, in particular by the maximal torus subgroups.
In mathematics and group theory, the term multiplicative group refers to one of the following concepts.
In mathematics, a multiplicative inverse or reciprocal for a number x, denoted by 1/x or x−1, is a number which when multiplied by x yields the multiplicative identity, 1.
In the mathematical branch of algebraic topology, specifically homotopy theory, n-connectedness (sometimes, n-simple connectedness) generalizes the concepts of path-connectedness and simple connectedness.
In mathematics, the n-sphere is the generalization of the ordinary sphere to spaces of arbitrary dimension.
In linear algebra, a nondegenerate form or nonsingular form is a bilinear form that is not degenerate, meaning that v \mapsto (x \mapsto f(x,v)) is an isomorphism, or equivalently in finite dimensions, if and only if.
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 mathematics, the octonions are a normed division algebra over the real numbers, usually represented by the capital letter O, using boldface O or blackboard bold \mathbb O. There are three lower-dimensional normed division algebras over the reals: the real numbers R themselves, the complex numbers C, and the quaternions H. The octonions have eight dimensions; twice the number of dimensions of the quaternions, of which they are an extension.
In mathematics, an ordered field is a field together with a total ordering of its elements that is compatible with the field operations.
In geometry the orientation, angular position, or attitude of an object such as a line, plane or rigid body is part of the description of how it is placed in the space it occupies.
In mathematics, orientation is a geometric notion that in two dimensions allows one to say when a cycle goes around clockwise or counterclockwise, and in three dimensions when a figure is left-handed or right-handed.
In the mathematical fields of linear algebra and functional analysis, the orthogonal complement of a subspace W of a vector space V equipped with a bilinear form B is the set W⊥ of all vectors in V that are orthogonal to every vector in W. Informally, it is called the perp, short for perpendicular complement.
In mathematics, the orthogonal group in dimension, denoted, is the group of distance-preserving transformations of a Euclidean space of dimension that preserve a fixed point, where the group operation is given by composing transformations.
In linear algebra, an orthogonal matrix is a square matrix whose columns and rows are orthogonal unit vectors (i.e., orthonormal vectors), i.e. where I is the identity matrix.
In mathematics, particularly linear algebra, an orthonormal basis for an inner product space V with finite dimension is a basis for V whose vectors are orthonormal, that is, they are all unit vectors and orthogonal to each other.
In mathematical group theory, given a prime number p, a p-group is a group in which each element has a power of p as its order.
In algebra, a field k is said to be perfect if any one of the following equivalent conditions holds.
In mathematics, the pin group is a certain subgroup of the Clifford algebra associated to a quadratic space.
In geometry, a plane of rotation is an abstract object used to describe or visualize rotations in space.
In geometry, a point group is a group of geometric symmetries (isometries) that keep at least one point fixed.
In geometry, a point group in three dimensions is an isometry group in three dimensions that leaves the origin fixed, or correspondingly, an isometry group of a sphere.
In geometry, a two-dimensional point group or rosette group is a group of geometric symmetries (isometries) that keep at least one point fixed in a plane.
In geometry, a point reflection or inversion in a point (or inversion through a point, or central inversion) is a type of isometry of Euclidean space.
In geometry, the polyhedral group is any of the symmetry groups of the Platonic solids.
In elementary geometry, a polytope is a geometric object with "flat" sides.
In mathematics, a principal homogeneous space, or torsor, for a group G is a homogeneous space X for G in which the stabilizer subgroup of every point is trivial.
In mathematics, a projective line is, roughly speaking, the extension of a usual line by a point called a point at infinity.
In projective geometry and linear algebra, the projective orthogonal group PO is the induced action of the orthogonal group of a quadratic space V.
In mathematics, a quadratic form is a homogeneous polynomial of degree two in a number of variables.
In mathematics, the quaternions are a number system that extends the complex numbers.
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, the notion of a real form relates objects defined over the field of real and complex numbers.
In mathematics, the real line, or real number line is the line whose points are the real numbers.
In mathematics, a real number is a value of a continuous quantity that can represent a distance along a line.
In geometry, a real projective line is an extension of the usual concept of line that has been historically introduced to solve a problem set by visual perspective: two parallel lines do not intersect but seem to intersect "at infinity".
In mathematics, real projective space, or RPn or \mathbb_n(\mathbb), is the topological space of lines passing through the origin 0 in Rn+1.
In mathematics, a regular polytope is a polytope whose symmetry group acts transitively on its flags, thus giving it the highest degree of symmetry.
In mathematics, the Riemann sphere, named after Bernhard Riemann, is a model of the extended complex plane, the complex plane plus a point at infinity.
A rotation is a circular movement of an object around a center (or point) of rotation.
Rotation in mathematics is a concept originating in geometry.
In mechanics and geometry, the 3D rotation group, often denoted SO(3), is the group of all rotations about the origin of three-dimensional Euclidean space R3 under the operation of composition.
Rotational symmetry, also known as radial symmetry in biology, is the property a shape has when it looks the same after some rotation by a partial turn.
In mathematics, the group of rotations about a fixed point in four-dimensional Euclidean space is denoted SO(4).
In mathematics, specifically in group theory, the concept of a semidirect product is a generalization of a direct product.
In mathematics, a Lie algebra is semisimple if it is a direct sum of simple Lie algebras, i.e., non-abelian Lie algebras \mathfrak g whose only ideals are and \mathfrak g itself.
Two geometrical objects are called similar if they both have the same shape, or one has the same shape as the mirror image of the other.
In topology, a topological space is called simply connected (or 1-connected, or 1-simply connected) if it is path-connected and every path between two points can be continuously transformed (intuitively for embedded spaces, staying within the space) into any other such path while preserving the two endpoints in question.
In the mathematical field of algebraic geometry, a singular point of an algebraic variety V is a point P that is 'special' (so, singular), in the geometric sense that at this point the tangent space at the variety may not be regularly defined.
In mathematics, particularly in linear algebra, a skew-symmetric (or antisymmetric or antimetric) matrix is a square matrix whose transpose equals its negative; that is, it satisfies the condition In terms of the entries of the matrix, if aij denotes the entry in the and; i.e.,, then the skew-symmetric condition is For example, the following matrix is skew-symmetric: 0 & 2 & -1 \\ -2 & 0 & -4 \\ 1 & 4 & 0\end.
The snake lemma is a tool used in mathematics, particularly homological algebra, to construct long exact sequences.
In mathematics, SO(8) is the special orthogonal group acting on eight-dimensional Euclidean space.
In mathematics, the special unitary group of degree, denoted, is the Lie group of unitary matrices with determinant 1.
A sphere (from Greek σφαῖρα — sphaira, "globe, ball") is a perfectly round geometrical object in three-dimensional space that is the surface of a completely round ball (viz., analogous to the circular objects in two dimensions, where a "circle" circumscribes its "disk").
In mathematics the spin group Spin(n) is the double cover of the special orthogonal group, such that there exists a short exact sequence of Lie groups (with) As a Lie group, Spin(n) therefore shares its dimension,, and its Lie algebra with the special orthogonal group.
In mathematics, the spin representations are particular projective representations of the orthogonal or special orthogonal groups in arbitrary dimension and signature (i.e., including indefinite orthogonal groups).
Springer Science+Business Media or Springer, part of Springer Nature since 2015, is a global publishing company that publishes books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing.
In mathematics, a square is the result of multiplying a number by itself.
In mathematics, the Stiefel manifold Vk(Rn) is the set of all orthonormal ''k''-frames in Rn.
In topology, a branch of mathematics, a string group is an infinite-dimensional group String(n) introduced by as a 3-connected cover of a spin group.
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 ∗.
A symmetric bilinear form on a vector space is a bilinear map from two copies of the vector space to the field of scalars such that the order of the two vectors does not affect the value of the map.
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 differential geometry, representation theory and harmonic analysis, a symmetric space is a pseudo-Riemannian manifold whose group of symmetries contains an inversion symmetry about every point.
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.
Symplectic geometry is a branch of differential geometry and differential topology that studies symplectic manifolds; that is, differentiable manifolds equipped with a closed, nondegenerate 2-form.
In mathematics, the name symplectic group can refer to two different, but closely related, collections of mathematical groups, denoted and, the latter is called the compact symplectic group.
In mathematics, the tautological bundle is a vector bundle occurring over a Grassmannian in a natural tautological way: the fiber of the bundle over a vector space V (a point in the Grassmannian) is V itself.
A topological quantum field theory (or topological field theory or TQFT) is a quantum field theory which computes topological invariants.
In topology and related branches of mathematics, a topological space may be defined as a set of points, along with a set of neighbourhoods for each point, satisfying a set of axioms relating points and neighbourhoods.
In linear algebra, the transpose of a matrix is an operator which flips a matrix over its diagonal, that is it switches the row and column indices of the matrix by producing another matrix denoted as AT (also written A′, Atr, tA or At).
In mathematics, a unit vector in a normed vector space is a vector (often a spatial vector) of length 1.
In mathematics, the unitary group of degree n, denoted U(n), is the group of unitary matrices, with the group operation of matrix multiplication.
In mathematics, the phrase up to appears in discussions about the elements of a set (say S), and the conditions under which subsets of those elements may be considered equivalent.
A vector space (also called a linear space) is a collection of objects called vectors, which may be added together and multiplied ("scaled") by numbers, called scalars.
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 mathematics, Witt's theorem, named after Ernst Witt, is a basic result in the algebraic theory of quadratic forms: any isometry between two subspaces of a nonsingular quadratic space over a field k may be extended to an isometry of the whole space.
In algebra, the zero object of a given algebraic structure is, in the sense explained below, the simplest object of such structure.
2 (two) is a number, numeral, and glyph.
In mathematics, a 3-sphere, or glome, is a higher-dimensional analogue of a sphere.
Complex orthogonal group, Dickson map, General orthogonal group, Invariant theory of the orthogonal group, O(2), O(3), Orthogonal Lie algebra, Orthogonal groups, Rotation Group, Rotation group, SO(32), SO(N), SO(n), So(n), Special orthogonal Lie algebra, Special orthogonal group, Spinor norm.