|
Compact Lie Group
In mathematics, a compact (topological) group is a topological group whose topology realizes it as a compact space, 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 action (mathematics), 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 co ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Circle As Lie Group
A circle is a shape consisting of all point (geometry), points in a plane (mathematics), plane that are at a given distance from a given point, the Centre (geometry), centre. The distance between any point of the circle and the centre is called the radius. The length of a line segment connecting two points on the circle and passing through the centre is called the diameter. A circle bounds a region of the plane called a Disk (mathematics), disc. The circle has been known since before the beginning of recorded history. Natural circles are common, such as the full moon or a slice of round fruit. The circle is the basis for the wheel, which, with related inventions such as gears, makes much of modern machinery possible. In mathematics, the study of the circle has helped inspire the development of geometry, astronomy and calculus. Terminology * Annulus (mathematics), Annulus: a ring-shaped object, the region bounded by two concentric circles. * Circular arc, Arc: any Connected ... [...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] |
Simple Lie Group
In mathematics, a simple Lie group is a connected non-abelian Lie group ''G'' which does not have nontrivial connected normal subgroups. The list of simple Lie groups can be used to read off the list of simple Lie algebras and Riemannian symmetric spaces. Together with the commutative Lie group of the real numbers, \mathbb, and that of the unit-magnitude complex numbers, U(1) (the unit circle), simple Lie groups give the atomic "building blocks" that make up all (finite-dimensional) connected Lie groups via the operation of group extension. Many commonly encountered Lie groups are either simple or 'close' to being simple: for example, the so-called "special linear group" SL(''n'', \mathbb) of ''n'' by ''n'' matrices with determinant equal to 1 is simple for all odd ''n'' > 1, when it is isomorphic to the projective special linear group. The first classification of simple Lie groups was by Wilhelm Killing, and this work was later perfected by Élie Cartan. The final class ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quotient Group
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 some of the group structure (the rest of the structure is "factored out"). For example, the cyclic group of addition modulo ''n'' can be obtained from the group of integers under addition by identifying elements that differ by a multiple of n and defining a group structure that operates on each such class (known as a congruence class) as a single entity. It is part of the mathematical field known as group theory. For a congruence relation on a group, the equivalence class of the identity element is always a normal subgroup of the original group, and the other equivalence classes are precisely the cosets of that normal subgroup. The resulting quotient is written , where G is the original group and N is the normal subgroup. This is read as '', where \text is short for modulo. (The notation should be interpreted w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Connected Space
In topology and related branches of mathematics, a connected space is a topological space that cannot be represented as the union (set theory), union of two or more disjoint set, disjoint Empty set, non-empty open (topology), open subsets. Connectedness is one of the principal topological properties that distinguish topological spaces. A subset of a topological space X is a if it is a connected space when viewed as a Subspace topology, subspace of X. Some related but stronger conditions are #Path connectedness, path connected, Simply connected space, simply connected, and N-connected space, n-connected. Another related notion is Locally connected space, locally connected, which neither implies nor follows from connectedness. Formal definition A topological space X is said to be if it is the union of two disjoint non-empty open sets. Otherwise, X is said to be connected. A subset of a topological space is said to be connected if it is connected under its subspace topology. So ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Identity Component
In mathematics, specifically group theory, the identity component of a group (mathematics) , group ''G'' (also known as its unity component) refers to several closely related notions of the largest connected space , connected subgroup of ''G'' containing the identity element. In point set topology, the identity component of a topological group ''G'' is the connected component (topology), connected component ''G''0 of ''G'' that contains the identity element of the group. The identity path component of a topological group ''G'' is the path component of ''G'' that contains the identity element of the group. In algebraic geometry, the identity component of an algebraic group ''G'' over a field ''k'' is the identity component of the underlying topological space. The identity component of a group scheme ''G'' over a base scheme (mathematics) , scheme ''S'' is, roughly speaking, the group scheme ''G''0 whose fiber (mathematics) , fiber over the point ''s'' of ''S'' is the connected c ... [...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] |
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] |
Classification Theorem
In mathematics, a classification theorem answers the classification problem: "What are the objects of a given type, up to some equivalence?". It gives a non-redundant enumeration: each object is equivalent to exactly one class. A few issues related to classification are the following. *The equivalence problem is "given two objects, determine if they are equivalent". *A complete set of invariants, together with which invariants are realizable, solves the classification problem, and is often a step in solving it. (A combination of invariant values is realizable if there in fact exists an object whose invariants take on the specified set of values) *A (together with which invariants are realizable) solves both the classification problem and the equivalence problem. * A canonical form solves the classification problem, and is more data: it not only classifies every class, but provides a distinguished (canonical) element of each class. There exist many classification theorems in mat ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
E8 (mathematics)
In mathematics, E8 is any of several closely related exceptional simple Lie groups, linear algebraic groups or Lie algebras of dimension 248; the same notation is used for the corresponding root lattice, which has rank 8. The designation E8 comes from the Cartan–Killing classification of the complex simple Lie algebras, which fall into four infinite series labeled A''n'', B''n'', C''n'', D''n'', and five exceptional cases labeled G2, F4, E6, E7, and E8. The E8 algebra is the largest and most complicated of these exceptional cases. Basic description The Lie group E8 has dimension 248. Its rank, which is the dimension of its maximal torus, is eight. Therefore, the vectors of the root system are in eight-dimensional Euclidean space: they are described explicitly later in this article. The Weyl group of E8, which is the group of symmetries of the maximal torus that are induced by conjugations in the whole group, has order 2357 = . The compact group E8 is u ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
E7 (mathematics)
In mathematics, E7 is the name of several closely related Lie groups, linear algebraic groups or their Lie algebras e7, all of which have dimension 133; the same notation E7 is used for the corresponding root lattice, which has rank 7. The designation E7 comes from the Cartan–Killing classification of the complex simple Lie algebras, which fall into four infinite series labeled A''n'', B''n'', C''n'', D''n'', and five exceptional cases labeled E6, E7, E8, F4, and G2. The E7 algebra is thus one of the five exceptional cases. The fundamental group of the (adjoint) complex form, compact real form, or any algebraic version of E7 is the cyclic group Z/2Z, and its outer automorphism group is the trivial group. The dimension of its fundamental representation is 56. Real and complex forms There is a unique complex Lie algebra of type E7, corresponding to a complex group of complex dimension 133. The complex adjoint Lie group E7 of complex dimension 133 can be considered ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
E6 (mathematics)
In mathematics, E6 is the name of some closely related Lie groups, linear algebraic groups or their Lie algebras \mathfrak_6, all of which have dimension 78; the same notation E6 is used for the corresponding root lattice, which has rank 6. The designation E6 comes from the Cartan–Killing classification of the complex simple Lie algebras (see ). This classifies Lie algebras into four infinite series labeled A''n'', B''n'', C''n'', D''n'', and five exceptional cases labeled E6, E7, E8, F4, and G2. The E6 algebra is thus one of the five exceptional cases. The fundamental group of the adjoint form of E6 (as a complex or compact Lie group) is the cyclic group Z/3Z, and its outer automorphism group is the cyclic group Z/2Z. For the simply-connected form, its fundamental representation is 27-dimensional, and a basis is given by the 27 lines on a cubic surface. The dual representation, which is inequivalent, is also 27-dimensional. In particle physics, E6 plays a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
