|
Real Representation
In the mathematical field of representation theory a real representation is usually a representation on a real vector space ''U'', but it can also mean a representation on a complex vector space ''V'' with an invariant real structure, i.e., an antilinear equivariant map :j\colon V\to V which satisfies :j^2=+1. The two viewpoints are equivalent because if ''U'' is a real vector space acted on by a group ''G'' (say), then ''V'' = ''U''⊗C is a representation on a complex vector space with an antilinear equivariant map given by complex conjugation. Conversely, if ''V'' is such a complex representation, then ''U'' can be recovered as the fixed point set of ''j'' (the eigenspace with eigenvalue 1). In physics, where representations are often viewed concretely in terms of matrices, a real representation is one in which the entries of the matrices representing the group elements are real numbers. These matrices can act either on real or complex column vectors. A real represent ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
Mathematics is an area of knowledge that includes the topics of numbers, formulas and related structures, shapes and the spaces in which they are contained, and quantities and their changes. These topics are represented in modern mathematics with the major subdisciplines of number theory, algebra, geometry, and analysis, respectively. There is no general consensus among mathematicians about a common definition for their academic discipline. Most mathematical activity involves the discovery of properties of abstract objects and the use of pure reason to prove them. These objects consist of either abstractions from nature orin modern mathematicsentities that are stipulated to have certain properties, called axioms. A ''proof'' consists of a succession of applications of deductive rules to already established results. These results include previously proved theorems, axioms, andin case of abstraction from naturesome basic properties that are considered true starting poin ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quaternionic Structure
In mathematics, a quaternionic structure or -structure is an axiomatic system that abstracts the concept of a quaternion algebra over a field. A ''quaternionic structure'' is a triple where is an elementary abelian group of exponent with a distinguished element , is a pointed set with distinguished element , and is a symmetric surjection satisfying axioms :\begin\text \quad &q(a,(-1)a) = 1,\\ \text \quad &q(a,b) = q(a,c) \Leftrightarrow q(a,bc) = 1,\\ \text \quad &q(a,b) = q(c,d) \Rightarrow \exists x\mid q(a,b) = q(a,x), q(c,d) = q(c,x)\end. Every field gives rise to a -structure by taking to be , the set of Brauer classes of quaternion algebras in the Brauer group of with the split quaternion algebra as distinguished element and the quaternion algebra . References * {{cite book , title=Introduction to Quadratic Forms over Fields , volume=67 , series= Graduate Studies in Mathematics , first=Tsit-Yuen , last=Lam , author-link=T. Y. Lam , publisher=American Ma ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Spinor
In geometry and physics, spinors are elements of a complex vector space that can be associated with Euclidean space. Like geometric vectors and more general tensors, spinors transform linearly when the Euclidean space is subjected to a slight ( infinitesimal) rotation. Unlike vectors and tensors, a spinor transforms to its negative when the space is continuously rotated through a complete turn from 0° to 360° (see picture). This property characterizes spinors: spinors can be viewed as the "square roots" of vectors (although this is inaccurate and may be misleading; they are better viewed as "square roots" of sections of vector bundles – in the case of the exterior algebra bundle of the cotangent bundle, they thus become "square roots" of differential forms). It is also possible to associate a substantially similar notion of spinor to Minkowski space, in which case the Lorentz transformations of special relativity play the role of rotations. Spinors were introduced in ge ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tensor Products
In mathematics, the tensor product V \otimes W of two vector spaces and (over the same field) is a vector space to which is associated a bilinear map V\times W \to V\otimes W that maps a pair (v,w),\ v\in V, w\in W to an element of V \otimes W denoted v \otimes w. An element of the form v \otimes w is called the tensor product of and . An element of V \otimes W is a tensor, and the tensor product of two vectors is sometimes called an ''elementary tensor'' or a ''decomposable tensor''. The elementary tensors span V \otimes W in the sense that every element of V \otimes W is a sum of elementary tensors. If bases are given for and , a basis of V \otimes W is formed by all tensor products of a basis element of and a basis element of . The tensor product of two vector spaces captures the properties of all bilinear maps in the sense that a bilinear map from V\times W into another vector space factors uniquely through a linear map V\otimes W\to Z (see Universal property). Ten ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Special Orthogonal Group
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. The orthogonal group is sometimes called the general orthogonal group, by analogy with the general linear group. Equivalently, it is the group of orthogonal matrices, where the group operation is given by matrix multiplication (an orthogonal matrix is a real matrix whose inverse equals its transpose). The orthogonal group is an algebraic group and a Lie group. It is compact. The orthogonal group in dimension has two connected components. The one that contains the identity element is a normal subgroup, called the special orthogonal group, and denoted . It consists of all orthogonal matrices of determinant . This group is also called the rotation group, generalizing the fact that in dimensions 2 and 3, its elements are the usual rotati ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Young Tableaux
In mathematics, a Young tableau (; plural: tableaux) is a combinatorial object useful in representation theory and Schubert calculus. It provides a convenient way to describe the group representations of the symmetric and general linear groups and to study their properties. Young tableaux were introduced by Alfred Young, a mathematician at Cambridge University, in 1900. They were then applied to the study of the symmetric group by Georg Frobenius in 1903. Their theory was further developed by many mathematicians, including Percy MacMahon, W. V. D. Hodge, G. de B. Robinson, Gian-Carlo Rota, Alain Lascoux, Marcel-Paul Schützenberger and Richard P. Stanley. Definitions ''Note: this article uses the English convention for displaying Young diagrams and tableaux''. Diagrams A Young diagram (also called a Ferrers diagram, particularly when represented using dots) is a finite collection of boxes, or cells, arranged in left-justified rows, with the row lengths in non-incr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Irreducible Representations
In mathematics, specifically in the representation theory of groups and algebras, an irreducible representation (\rho, V) or irrep of an algebraic structure A is a nonzero representation that has no proper nontrivial subrepresentation (\rho, _W,W), with W \subset V closed under the action of \. Every finite-dimensional unitary representation on a Hilbert space V is the direct sum of irreducible representations. Irreducible representations are always indecomposable (i.e. cannot be decomposed further into a direct sum of representations), but converse may not hold, e.g. the two-dimensional representation of the real numbers acting by upper triangular unipotent matrices is indecomposable but reducible. History Group representation theory was generalized by Richard Brauer from the 1940s to give modular representation theory, in which the matrix operators act on a vector space over a field K of arbitrary characteristic, rather than a vector space over the field of real numbers or ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Symmetric Group
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 particular, the finite symmetric group \mathrm_n defined over a finite set of n symbols consists of the permutations that can be performed on the n symbols. Since there are n! (n factorial) such permutation operations, the order (number of elements) of the symmetric group \mathrm_n is n!. Although symmetric groups can be defined on infinite sets, this article focuses on the finite symmetric groups: their applications, their elements, their conjugacy classes, a finite presentation, their subgroups, their automorphism groups, and their representation theory. For the remainder of this article, "symmetric group" will mean a symmetric group on a finite set. The symmetric group is important to diverse areas of mathematics such as Galois theory, invariant theory, the represen ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Haar Measure
In mathematical analysis, the Haar measure assigns an "invariant volume" to subsets of locally compact topological groups, consequently defining an integral for functions on those groups. This measure was introduced by Alfréd Haar in 1933, though its special case for Lie groups had been introduced by Adolf Hurwitz in 1897 under the name "invariant integral". Haar measures are used in many parts of analysis, number theory, group theory, representation theory, statistics, probability theory, and ergodic theory. Preliminaries Let (G, \cdot) be a locally compact Hausdorff topological group. The \sigma-algebra generated by all open subsets of G is called the Borel algebra. An element of the Borel algebra is called a Borel set. If g is an element of G and S is a subset of G, then we define the left and right translates of S by ''g'' as follows: * Left translate: g S = \. * Right translate: S g = \. Left and right translates map Borel sets onto Borel sets. A measur ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Character Theory
In mathematics, more specifically in group theory, the character of a group representation is a function on the group that associates to each group element the trace of the corresponding matrix. The character carries the essential information about the representation in a more condensed form. Georg Frobenius initially developed representation theory of finite groups entirely based on the characters, and without any explicit matrix realization of representations themselves. This is possible because a complex representation of a finite group is determined (up to isomorphism) by its character. The situation with representations over a field of positive characteristic, so-called "modular representations", is more delicate, but Richard Brauer developed a powerful theory of characters in this case as well. Many deep theorems on the structure of finite groups use characters of modular representations. Applications Characters of irreducible representations encode many important ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Compact Group
In mathematics, a compact (topological) group is a topological group whose topology realizes it as a compact topological space (when an element of the group is operated on, the result is also within the group). Compact groups are a natural generalization of finite groups with the discrete topology and have properties that carry over in significant fashion. Compact groups have a well-understood theory, in relation to group actions and representation theory. In the following we will assume all groups are Hausdorff spaces. Compact Lie groups Lie groups form a class of topological groups, and the compact Lie groups have a particularly well-developed theory. Basic examples of compact Lie groups include * the circle group T and the torus groups T''n'', * the orthogonal group O(''n''), the special orthogonal group SO(''n'') and its covering spin group Spin(''n''), * the unitary group U(''n'') and the special unitary group SU(''n''), * the compact forms of the exceptio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hermitian Form
In mathematics, a sesquilinear form is a generalization of a bilinear form that, in turn, is a generalization of the concept of the dot product of Euclidean space. A bilinear form is linear in each of its arguments, but a sesquilinear form allows one of the arguments to be "twisted" in a semilinear manner, thus the name; which originates from the Latin numerical prefix ''sesqui-'' meaning "one and a half". The basic concept of the dot product – producing a scalar from a pair of vectors – can be generalized by allowing a broader range of scalar values and, perhaps simultaneously, by widening the definition of a vector. A motivating special case is a sesquilinear form on a complex vector space, . This is a map that is linear in one argument and "twists" the linearity of the other argument by complex conjugation (referred to as being antilinear in the other argument). This case arises naturally in mathematical physics applications. Another important case allows the scalars ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
