|
Compact Lie Algebra
In the mathematical field of Lie theory, there are two definitions of a compact Lie algebra. Extrinsically and topologically, a compact Lie algebra is the Lie algebra of a compact Lie group; this definition includes tori. Intrinsically and algebraically, a compact Lie algebra is a real Lie algebra whose Killing form is negative definite; this definition is more restrictive and excludes tori. A compact Lie algebra can be seen as the smallest real form of a corresponding complex Lie algebra, namely the complexification. Definition Formally, one may define a compact Lie algebra either as the Lie algebra of a compact Lie group, or as a real Lie algebra whose Killing form is negative definite. These definitions do not quite agree: * The Killing form on the Lie algebra of a compact Lie group is negative ''semi''definite, not negative definite in general. * If the Killing form of a Lie algebra is negative definite, then the Lie algebra is the Lie algebra of a compact ''semisimple'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematical
Mathematics is a field of study that discovers and organizes methods, Mathematical theory, theories and theorems that are developed and Mathematical proof, proved for the needs of empirical sciences and mathematics itself. There are many areas of mathematics, which include number theory (the study of numbers), algebra (the study of formulas and related structures), geometry (the study of shapes and spaces that contain them), Mathematical analysis, analysis (the study of continuous changes), and set theory (presently used as a foundation for all mathematics). Mathematics involves the description and manipulation of mathematical object, abstract objects that consist of either abstraction (mathematics), abstractions from nature orin modern mathematicspurely abstract entities that are stipulated to have certain properties, called axioms. Mathematics uses pure reason to proof (mathematics), prove properties of objects, a ''proof'' consisting of a succession of applications of in ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dynkin Diagram
In the Mathematics, mathematical field of Lie theory, a Dynkin diagram, named for Eugene Dynkin, is a type of Graph (discrete mathematics), graph with some edges doubled or tripled (drawn as a double or triple line). Dynkin diagrams arise in the classification of semisimple Lie algebras over algebraically closed fields, in the classification of Weyl groups and other finite reflection groups, and in other contexts. Various properties of the Dynkin diagram (such as whether it contains multiple edges, or its symmetries) correspond to important features of the associated Lie algebra. The term "Dynkin diagram" can be ambiguous. In some cases, Dynkin diagrams are assumed to be directed graph, directed, in which case they correspond to root systems and semi-simple Lie algebras, while in other cases they are assumed to be undirected graph, undirected, in which case they correspond to Weyl groups. In this article, "Dynkin diagram" means ''directed'' Dynkin diagram, and ''undirected'' ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Unit Quaternion
In mathematics, a versor is a quaternion of norm one, also known as a unit quaternion. Each versor has the form :u = \exp(a\mathbf) = \cos a + \mathbf \sin a, \quad \mathbf^2 = -1, \quad a \in ,\pi where the r2 = −1 condition means that r is an imaginary unit. There is a Quaternion#Square_roots_of_%E2%88%921, sphere of imaginary units in the quaternions. Note that the expression for a versor is just Euler's formula for the imaginary unit r. In case (a right angle), then u = \mathbf, and it is called a ''right versor''. The mapping q \to u^ q u corresponds to three-dimensional space, 3-dimensional rotation, and has the angle 2''a'' about the axis r in axis–angle representation. The collection of versors, with quaternion multiplication, forms a group (mathematics), group, and appears as a 3-sphere in the 4-dimensional quaternion algebra. Presentation on 3- and 2-spheres Hamilton denoted the versor of a quaternion ''q'' by the symbol U ''q''. He was then able to display t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Exceptional Isomorphism
In mathematics, an exceptional isomorphism, also called an accidental isomorphism, is an isomorphism between members ''a''''i'' and ''b''''j'' of two families, usually infinite, of mathematical objects, which is incidental, in that it is not an instance of a general pattern of such isomorphisms.Because these series of objects are presented differently, they are not identical objects (do not have identical descriptions), but turn out to describe the same object, hence one refers to this as an isomorphism, not an equality (identity). These coincidences are at times considered a matter of trivia, but in other respects they can give rise to consequential phenomena, such as exceptional objects. In the following, coincidences are organized according to the structures where they occur. Groups Finite simple groups The exceptional isomorphisms between the series of finite simple groups mostly involve projective special linear groups and alternating groups, and are: * PSL(4) ≅ PSL(5) ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Dynkin Diagram Isomorphisms
Dynkin (Russian: Дынкин) is a Russian masculine surname, its feminine counterpart is Dynkina. It may refer to the following notable people: * Aleksandr Dynkin (born 1948), Russian economist * Eugene Dynkin (1924–2014), Soviet and American mathematician known for ** Dynkin diagram ** Coxeter–Dynkin diagram ** Dynkin system ** Dynkin's formula ** Doob–Dynkin lemma ** Dynkin index In mathematics, the Dynkin index I() of finite-dimensional highest-weight representations of a compact simple Lie algebra \mathfrak g relates their trace forms via \frac= \frac. In the particular case where \lambda is the highest root, so that ... {{surname Russian-language surnames ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Exceptional Lie Algebra
In mathematics, an exceptional Lie algebra is a complex Complex commonly refers to: * Complexity, the behaviour of a system whose components interact in multiple ways so possible interactions are difficult to describe ** Complex system, a system composed of many components which may interact with each ... simple Lie algebra whose Dynkin diagram is of exceptional (nonclassical) type. There are exactly five of them: \mathfrak_2, \mathfrak_4, \mathfrak_6, \mathfrak_7, \mathfrak_8; their respective dimensions are 14, 52, 78, 133, 248. The corresponding diagrams are: * G2 : * F4 : * E6 : * E7 : * E8 : In contrast, simple Lie algebras that are not exceptional are called classical Lie algebras (there are infinitely many of them). Construction There is no simple universally accepted way to construct exceptional Lie algebras; in fact, they were discovered only in the process of the classification program. Here are some constructions: *§ 22.1-2 of give a detailed construction ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Special Orthogonal Group
In projective geometry and linear algebra, the projective orthogonal group PO is the induced action of the orthogonal group of a quadratic space ''V'' = (''V'',''Q'')A quadratic space is a vector space ''V'' together with a quadratic form ''Q''; the ''Q'' is dropped from notation when it is clear. on the associated projective space P(''V''). Explicitly, the projective orthogonal group is the quotient group :PO(''V'') = O(''V'')/ZO(''V'') = O(''V'')/ where O(''V'') is the orthogonal group of (''V'') and ZO(''V'')= is the subgroup of all orthogonal scalar transformations of ''V'' – these consist of the identity and reflection through the origin. These scalars are quotiented out because they act trivially on the projective space and they form the kernel of the action, and the notation "Z" is because the scalar transformations are the center of the orthogonal group. The projective special orthogonal group, PSO, is defined analogously, as the induced action of the special orthogonal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Compact Symplectic Group
In mathematics, the name symplectic group can refer to two different, but closely related, collections of mathematical groups, denoted and for positive integer ''n'' and field F (usually C or R). The latter is called the compact symplectic group and is also denoted by \mathrm(n). Many authors prefer slightly different notations, usually differing by factors of . The notation used here is consistent with the size of the most common matrices which represent the groups. In Cartan's classification of the simple Lie algebras, the Lie algebra of the complex group is denoted , and is the compact real form of . Note that when we refer to ''the'' (compact) symplectic group it is implied that we are talking about the collection of (compact) symplectic groups, indexed by their dimension . The name " symplectic group" was coined by Hermann Weyl as a replacement for the previous confusing names (line) complex group and Abelian linear group, and is the Greek analog of "complex". The met ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Orthogonal Group
In mathematics, the orthogonal group in dimension , denoted , is the Group (mathematics), group of isometry, distance-preserving transformations of a Euclidean space of dimension that preserve a fixed point, where the group operation is given by Function composition, 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 matrix, orthogonal matrices, where the group operation is given by matrix multiplication (an orthogonal matrix is a real matrix whose invertible matrix, inverse equals its transpose). The orthogonal group is an algebraic group and a Lie group. It is compact group, compact. The orthogonal group in dimension has two connected component (topology), 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 ... [...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 1. This group is also called the rotation group, generalizing the fact that in dimensions 2 and 3, its elements are the usual rot ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Projective Special Unitary Group
In mathematics, the projective unitary group is the quotient of the unitary group by the right multiplication of its center, , embedded as scalars. Abstractly, it is the holomorphic isometry group of complex projective space, just as the projective orthogonal group is the isometry group of real projective space. In terms of matrices, elements of are complex unitary matrices, and elements of the center are diagonal matrices equal to , where is the identity matrix. Thus, elements of correspond to equivalence classes of unitary matrices under multiplication by a constant phase . This space is not (which only requires the determinant to be one), because still contains elements where is an -th root of unity (since then ). Abstractly, given a Hermitian space , the group is the image of the unitary group in the automorphism group of the projective space . Projective special unitary group The projective special unitary group PSU() is equal to the projective unitary gro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Special Unitary Group
In mathematics, the special unitary group of degree , denoted , is the Lie group of unitary matrices with determinant 1. The matrices of the more general unitary group may have complex determinants with absolute value 1, rather than real 1 in the special case. The group operation is matrix multiplication. The special unitary group is a normal subgroup of the unitary group , consisting of all unitary matrices. As a compact classical group, is the group that preserves the standard inner product on \mathbb^n. It is itself a subgroup of the general linear group, \operatorname(n) \subset \operatorname(n) \subset \operatorname(n, \mathbb ). The groups find wide application in the Standard Model of particle physics, especially in the electroweak interaction and in quantum chromodynamics. The simplest case, , is the trivial group, having only a single element. The group is isomorphic to the group of quaternions of norm 1, and is thus diffeomorphic to the 3-sphere. S ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
