|
Contragredient Representation
In mathematics, if is a group and is a linear representation of it on the vector space , then the dual representation is defined over the dual vector space as follows: : is the transpose of , that is, = for all . The dual representation is also known as the contragredient representation. If is a Lie algebra and is a representation of it on the vector space , then the dual representation is defined over the dual vector space as follows: : = for all . The motivation for this definition is that Lie algebra representation associated to the dual of a Lie group representation is computed by the above formula. But the definition of the dual of a Lie algebra representation makes sense even if it does not come from a Lie group representation. In both cases, the dual representation is a representation in the usual sense. Properties Irreducibility and second dual If a (finite-dimensional) representation is irreducible, then the dual representation is also irreducible—bu ... [...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 points of ... [...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 exceptional Lie gr ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Tensor Product Of Representations
In mathematics, the tensor product of representations is a tensor product of vector spaces underlying representations together with the factor-wise group action on the product. This construction, together with the Clebsch–Gordan procedure, can be used to generate additional irreducible representations if one already knows a few. Definition Group representations If V_1, V_2 are linear representations of a group G, then their tensor product is the tensor product of vector spaces V_1 \otimes V_2 with the linear action of G uniquely determined by the condition that :g \cdot (v_1 \otimes v_2) = (g\cdot v_1) \otimes (g\cdot v_2) for all v_1\in V_1 and v_2\in V_2. Although not every element of V_1\otimes V_2 is expressible in the form v_1\otimes v_2, the universal property of the tensor product operation guarantees that this action is well defined. In the language of homomorphisms, if the actions of G on V_1 and V_2 are given by homomorphisms \Pi_1:G\rightarrow\operatorname(V_1) and \P ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Complex Conjugate Representation
In mathematics, if is a group and is a representation of it over the complex vector space , then the complex conjugate representation is defined over the complex conjugate vector space as follows: : is the conjugate of for all in . is also a representation, as one may check explicitly. If is a real Lie algebra and is a representation of it over the vector space , then the conjugate representation is defined over the conjugate vector space as follows: : is the conjugate of for all in .This is the mathematicians' convention. Physicists use a different convention where the Lie bracket of two real vectors is an imaginary vector. In the physicist's convention, insert a minus in the definition. is also a representation, as one may check explicitly. If two real Lie algebras have the same complexification, and we have a complex representation of the complexified Lie algebra, their conjugate representations are still going to be different. See spinor for some examples ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Hopf Algebra
Hopf is a German surname. Notable people with the surname include: *Eberhard Hopf (1902–1983), Austrian mathematician *Hans Hopf (1916–1993), German tenor *Heinz Hopf (1894–1971), German mathematician *Heinz Hopf (actor) (1934–2001), Swedish actor *Ludwig Hopf (1884–1939), German physicist *Maria Hopf Maria Hopf (13 September 1913 – 24 August 2008) was a pioneering archaeobotanist, based at the RGZM, Mainz. Career Hopf studied botany from 1941–44, receiving her doctorate in 1947 on the subject of soil microbes. She then worked in phyto ... (1914-2008), German botanist and archaeologist {{surname, Hopf German-language surnames ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Module (mathematics)
In mathematics, a module is a generalization of the notion of vector space in which the field of scalars is replaced by a ring. The concept of ''module'' generalizes also the notion of abelian group, since the abelian groups are exactly the modules over the ring of integers. Like a vector space, a module is an additive abelian group, and scalar multiplication is distributive over the operation of addition between elements of the ring or module and is compatible with the ring multiplication. Modules are very closely related to the representation theory of groups. They are also one of the central notions of commutative algebra and homological algebra, and are used widely in algebraic geometry and algebraic topology. Introduction and definition Motivation In a vector space, the set of scalars is a field and acts on the vectors by scalar multiplication, subject to certain axioms such as the distributive law. In a module, the scalars need only be a ring, so the module conc ... [...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 homomorphi ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Root System
In mathematics, a root system is a configuration of vectors in a Euclidean space satisfying certain geometrical properties. The concept is fundamental in the theory of Lie groups and Lie algebras, especially the classification and representation theory of semisimple Lie algebras. Since Lie groups (and some analogues such as algebraic groups) and Lie algebras have become important in many parts of mathematics during the twentieth century, the apparently special nature of root systems belies the number of areas in which they are applied. Further, the classification scheme for root systems, by Dynkin diagrams, occurs in parts of mathematics with no overt connection to Lie theory (such as singularity theory). Finally, root systems are important for their own sake, as in spectral graph theory. Definitions and examples As a first example, consider the six vectors in 2-dimensional Euclidean space, R2, as shown in the image at the right; call them roots. These vectors Linear span, s ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semisimple Lie Algebra
In mathematics, a Lie algebra is semisimple if it is a direct sum of simple Lie algebras. (A simple Lie algebra is a non-abelian Lie algebra without any non-zero proper ideals). Throughout the article, unless otherwise stated, a Lie algebra is a finite-dimensional Lie algebra over a field of characteristic 0. For such a Lie algebra \mathfrak g, if nonzero, the following conditions are equivalent: *\mathfrak g is semisimple; *the Killing form, κ(x,y) = tr(ad(''x'')ad(''y'')), is non-degenerate; *\mathfrak g has no non-zero abelian ideals; *\mathfrak g has no non-zero solvable ideals; * the radical (maximal solvable ideal) of \mathfrak g is zero. Significance The significance of semisimplicity comes firstly from the Levi decomposition, which states that every finite dimensional Lie algebra is the semidirect product of a solvable ideal (its radical) and a semisimple algebra. In particular, there is no nonzero Lie algebra that is both solvable and semisimple. Semisimple L ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dual Representations Of SU(3)
Dual or Duals may refer to: Paired/two things * Dual (mathematics), a notion of paired concepts that mirror one another ** Dual (category theory), a formalization of mathematical duality *** see more cases in :Duality theories * Dual (grammatical number), a grammatical category used in some languages * Dual county, a Gaelic games county which in both Gaelic football and hurling * Dual diagnosis, a psychiatric diagnosis of co-occurrence of substance abuse and a mental problem * Dual fertilization, simultaneous application of a P-type and N-type fertilizer * Dual impedance, electrical circuits that are the dual of each other * Dual SIM cellphone supporting use of two SIMs * Aerochute International Dual a two-seat Australian powered parachute design Acronyms and other uses * Dual (brand), a manufacturer of Hifi equipment * DUAL (cognitive architecture), an artificial intelligence design model * DUAL algorithm, or diffusing update algorithm, used to update Internet protocol routing tab ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Group (mathematics)
In mathematics, a group is a Set (mathematics), set and an Binary operation, operation that combines any two Element (mathematics), elements of the set to produce a third element of the set, in such a way that the operation is Associative property, associative, an identity element exists and every element has an Inverse element, inverse. These three axioms hold for Number#Main classification, number systems and many other mathematical structures. For example, the integers together with the addition operation form a group. The concept of a group and the axioms that define it were elaborated for handling, in a unified way, essential structural properties of very different mathematical entities such as numbers, geometric shapes and polynomial roots. Because the concept of groups is ubiquitous in numerous areas both within and outside mathematics, some authors consider it as a central organizing principle of contemporary mathematics. In geometry groups arise naturally in the study of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quark Model
In particle physics, the quark model is a classification scheme for hadrons in terms of their valence quarks—the quarks and antiquarks which give rise to the quantum numbers of the hadrons. The quark model underlies "flavor SU(3)", or the Eightfold Way, the successful classification scheme organizing the large number of lighter hadrons that were being discovered starting in the 1950s and continuing through the 1960s. It received experimental verification beginning in the late 1960s and is a valid effective classification of them to date. The model was independently proposed by physicists Murray Gell-Mann, who dubbed them "quarks" in a concise paper, and George Zweig, who suggested "aces" in a longer manuscript. André Petermann also touched upon the central ideas from 1963 to 1965, without as much quantitative substantiation. Today, the model has essentially been absorbed as a component of the established quantum field theory of strong and electroweak particle interactions, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
.png "Click for more on -> Contragredient Representation")
