|
Projective Representation
In the field of representation theory in mathematics, a projective representation of a group ''G'' on a vector space ''V'' over a field ''F'' is a group homomorphism from ''G'' to the projective linear group \mathrm(V) = \mathrm(V) / F^*, where GL(''V'') is the general linear group of invertible linear transformations of ''V'' over ''F'', and ''F''∗ is the normal subgroup consisting of nonzero scalar multiples of the identity transformation (see Scalar transformation). In more concrete terms, a projective representation of G is a collection of operators \rho(g)\in\mathrm(V),\, g\in G satisfying the homomorphism property up to a constant: :\rho(g)\rho(h) = c(g, h)\rho(gh), for some constant c(g, h)\in F. Equivalently, a projective representation of G is a collection of operators \tilde\rho(g)\subset\mathrm(V), g\in G, such that \tilde\rho(gh)=\tilde\rho(g)\tilde\rho(h). Note that, in this notation, \tilde\rho(g) is a ''set'' of linear operators related by multiplication with som ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
Representation Theory
Representation theory is a branch of mathematics that studies abstract algebra, abstract algebraic structures by ''representing'' their element (set theory), elements as linear transformations of vector spaces, and studies Module (mathematics), modules over these abstract algebraic structures. In essence, a representation makes an abstract algebraic object more concrete by describing its elements by matrix (mathematics), matrices and their algebraic operations (for example, matrix addition, matrix multiplication). The algebraic objects amenable to such a description include group (mathematics), groups, associative algebras and Lie algebras. The most prominent of these (and historically the first) is the group representation, representation theory of groups, in which elements of a group are represented by invertible matrices such that the group operation is matrix multiplication. Representation theory is a useful method because it reduces problems in abstract algebra to problems ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
 |
Central Extension (mathematics)
In mathematics, a group extension is a general means of describing a group (mathematics), group in terms of a particular normal subgroup and quotient group. If Q and N are two groups, then G is an extension of Q by N if there is a short exact sequence :1\to N\;\overset\;G\;\overset\;Q \to 1. If G is an extension of Q by N, then G is a group, \iota(N) is a normal subgroup of G and the quotient group G/\iota(N) is isomorphic to the group Q. Group extensions arise in the context of the extension problem, where the groups Q and N are known and the properties of G are to be determined. Note that the phrasing "G is an extension of N by Q" is also used by some. Since any finite group G possesses a Maximal subgroup, maximal normal subgroup N with simple group, simple factor group G/\iota(N), all finite groups may be constructed as a series of extensions with finite simple groups. This fact was a motivation for completing the classification of finite simple groups. An extension is call ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Covering Group
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 is a continuous (topology), continuous group homomorphism. The map ''p'' is called the covering homomorphism. A frequently occurring case is a double covering group, a double cover (topology), topological double cover in which ''H'' has Index of a subgroup, index 2 in ''G''; examples include the spin groups, pin groups, and metaplectic groups. Roughly explained, saying that for example the metaplectic group Mp2''n'' is a ''double cover'' of the symplectic group Sp2''n'' means that there are always two elements in the metaplectic group representing one element in the symplectic group. Properties Let ''G'' be a covering group of ''H''. The kernel (group theory), kernel ''K'' of the covering homomorphism is just the fiber over the identity in ''H'' and is a discrete group, discrete normal subgroup of ''G''. The kernel ''K'' i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
Lie Group
In mathematics, a Lie group (pronounced ) is a group (mathematics), group that is also a differentiable manifold, such that group multiplication and taking inverses are both differentiable. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract concept of a binary operation along with the additional properties it must have to be thought of as a "transformation" in the abstract sense, for instance multiplication and the taking of inverses (to allow division), or equivalently, the concept of addition and subtraction. Combining these two ideas, one obtains a continuous group where multiplying points and their inverses is continuous. If the multiplication and taking of inverses are smoothness, smooth (differentiable) as well, one obtains a Lie group. Lie groups provide a natural model for the concept of continuous symmetry, a celebrated example of which is the circle group. Rotating a circle is an example of a continuous symmetry. For an ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
 |
Heisenberg Group
In mathematics, the Heisenberg group H, named after Werner Heisenberg, is the group of 3×3 upper triangular matrices of the form : \begin 1 & a & c\\ 0 & 1 & b\\ 0 & 0 & 1\\ \end under the operation of matrix multiplication. Elements ''a, b'' and ''c'' can be taken from any commutative ring with identity, often taken to be the ring of real numbers (resulting in the "continuous Heisenberg group") or the ring of integers (resulting in the "discrete Heisenberg group"). The continuous Heisenberg group arises in the description of one-dimensional quantum mechanical systems, especially in the context of the Stone–von Neumann theorem. More generally, one can consider Heisenberg groups associated to ''n''-dimensional systems, and most generally, to any symplectic vector space. Three-dimensional case In the three-dimensional case, the product of two Heisenberg matrices is given by : \begin 1 & a & c\\ 0 & 1 & b\\ 0 & 0 & 1\\ \end \begin 1 & a' & c'\\ 0 & 1 & b'\\ 0 & 0 & ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
 |
Discrete Fourier Transform
In mathematics, the discrete Fourier transform (DFT) converts a finite sequence of equally-spaced Sampling (signal processing), samples of a function (mathematics), function into a same-length sequence of equally-spaced samples of the discrete-time Fourier transform (DTFT), which is a complex number, complex-valued function of frequency. The interval at which the DTFT is sampled is the reciprocal of the duration of the input sequence. An inverse DFT (IDFT) is a Fourier series, using the DTFT samples as coefficients of complex number, complex Sine wave, sinusoids at the corresponding DTFT frequencies. It has the same sample-values as the original input sequence. The DFT is therefore said to be a frequency domain representation of the original input sequence. If the original sequence spans all the non-zero values of a function, its DTFT is continuous (and periodic), and the DFT provides discrete samples of one cycle. If the original sequence is one cycle of a periodic fu ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
Irreducible Representation
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 the 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 number ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
|
Schur's Lemma
In mathematics, Schur's lemma is an elementary but extremely useful statement in representation theory of groups and algebras. In the group case it says that if ''M'' and ''N'' are two finite-dimensional irreducible representations of a group ''G'' and ''φ'' is a linear map from ''M'' to ''N'' that commutes with the action of the group, then either ''φ'' is invertible, or ''φ'' = 0. An important special case occurs when ''M'' = ''N'', i.e. ''φ'' is a self-map; in particular, any element of the center of a group must act as a scalar operator (a scalar multiple of the identity) on ''M''. The lemma is named after Issai Schur who used it to prove the Schur orthogonality relations and develop the basics of the representation theory of finite groups. Schur's lemma admits generalisations to Lie groups and Lie algebras, the most common of which are due to Jacques Dixmier and Daniel Quillen. Representation theory of groups Representation theory is the study of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
|
 |
Group Extension
In mathematics, a group extension is a general means of describing a group in terms of a particular normal subgroup and quotient group. If Q and N are two groups, then G is an extension of Q by N if there is a short exact sequence :1\to N\;\overset\;G\;\overset\;Q \to 1. If G is an extension of Q by N, then G is a group, \iota(N) is a normal subgroup of G and the quotient group G/\iota(N) is isomorphic to the group Q. Group extensions arise in the context of the extension problem, where the groups Q and N are known and the properties of G are to be determined. Note that the phrasing "G is an extension of N by Q" is also used by some. Since any finite group G possesses a maximal normal subgroup N with simple factor group G/\iota(N), all finite groups may be constructed as a series of extensions with finite simple groups. This fact was a motivation for completing the classification of finite simple groups. An extension is called a central extension if the subgroup N lies in th ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
 |
Alternating Group
In mathematics, an alternating group is the Group (mathematics), group of even permutations of a finite set. The alternating group on a set of elements is called the alternating group of degree , or the alternating group on letters and denoted by or Basic properties For , the group A''n'' is the commutator subgroup of the symmetric group S''n'' with Index of a subgroup, index 2 and has therefore factorial, ''n''!/2 elements. It is the kernel (algebra), kernel of the signature group homomorphism explained under symmetric group. The group A''n'' is abelian group, abelian if and only if and simple group, simple if and only if or . A5 is the smallest non-abelian simple group, having order of a group, order 60, and thus the smallest non-solvable group. The group A4 has the Klein four-group V as a proper normal subgroup, namely the identity and the double transpositions , that is the kernel of the surjection of A4 onto . We have the exact sequence . In Galois theory, this m ... [...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 re ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |