|
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 complex form, compact real form, or any algebraic version of E6 is the cyclic group Z/3Z, and its outer automorphism group is the cyclic group Z/2Z. Its fundamental representation is 27-dimensional (complex), 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 role in some grand ... [...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 t ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Particle Physics
Particle physics or high energy physics is the study of fundamental particles and forces that constitute matter and radiation. The fundamental particles in the universe are classified in the Standard Model as fermions (matter particles) and bosons (force-carrying particles). There are three generations of fermions, but ordinary matter is made only from the first fermion generation. The first generation consists of up and down quarks which form protons and neutrons, and electrons and electron neutrinos. The three fundamental interactions known to be mediated by bosons are electromagnetism, the weak interaction, and the strong interaction. Quarks cannot exist on their own but form hadrons. Hadrons that contain an odd number of quarks are called baryons and those that contain an even number are called mesons. Two baryons, the proton and the neutron, make up most of the mass of ordinary matter. Mesons are unstable and the longest-lived last for only a few hundredt ... [...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] |
Perfect Field
In algebra, a field ''k'' is perfect if any one of the following equivalent conditions holds: * Every irreducible polynomial over ''k'' has distinct roots. * Every irreducible polynomial over ''k'' is separable. * Every finite extension of ''k'' is separable. * Every algebraic extension of ''k'' is separable. * Either ''k'' has characteristic 0, or, when ''k'' has characteristic , every element of ''k'' is a ''p''th power. * Either ''k'' has characteristic 0, or, when ''k'' has characteristic , the Frobenius endomorphism is an automorphism of ''k''. * The separable closure of ''k'' is algebraically closed. * Every reduced commutative ''k''-algebra ''A'' is a separable algebra; i.e., A \otimes_k F is reduced for every field extension ''F''/''k''. (see below) Otherwise, ''k'' is called imperfect. In particular, all fields of characteristic zero and all finite fields are perfect. Perfect fields are significant because Galois theory over these fields becomes simpler, si ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Galois Cohomology
In mathematics, Galois cohomology is the study of the group cohomology of Galois modules, that is, the application of homological algebra to modules for Galois groups. A Galois group ''G'' associated to a field extension ''L''/''K'' acts in a natural way on some abelian groups, for example those constructed directly from ''L'', but also through other Galois representations that may be derived by more abstract means. Galois cohomology accounts for the way in which taking Galois-invariant elements fails to be an exact functor. History The current theory of Galois cohomology came together around 1950, when it was realised that the Galois cohomology of ideal class groups in algebraic number theory was one way to formulate class field theory, at the time it was in the process of ridding itself of connections to L-functions. Galois cohomology makes no assumption that Galois groups are abelian groups, so this was a non-abelian theory. It was formulated abstractly as a theory of class ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Chevalley Basis
In mathematics, a Chevalley basis for a simple complex Lie algebra is a basis constructed by Claude Chevalley with the property that all structure constants are integers. Chevalley used these bases to construct analogues of Lie groups over finite fields, called Chevalley groups. The Chevalley basis is the Cartan-Weyl basis, but with a different normalization. The generators of a Lie group are split into the generators ''H'' and ''E'' indexed by simple roots A root is the part of a plant, generally underground, that anchors the plant body, and absorbs and stores water and nutrients. Root or roots may also refer to: Art, entertainment, and media * ''The Root'' (magazine), an online magazine focusing ... and their negatives \pm\alpha_i. The Cartan-Weyl basis may be written as : _i,H_j0 : _i,E_\alpha\alpha_i E_\alpha Defining the dual root or coroot of \alpha as :\alpha^\vee = \frac One may perform a change of basis to define :H_=(\alpha_i^\vee, H) The Cartan integers are :A_= ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Freudenthal Magic Square
In mathematics, the Freudenthal magic square (or Freudenthal–Tits magic square) is a construction relating several Lie algebras (and their associated Lie groups). It is named after Hans Freudenthal and Jacques Tits, who developed the idea independently. It associates a Lie algebra to a pair of division algebras ''A'', ''B''. The resulting Lie algebras have Dynkin diagrams according to the table at right. The "magic" of the Freudenthal magic square is that the constructed Lie algebra is symmetric in ''A'' and ''B'', despite the original construction not being symmetric, though Vinberg's symmetric method gives a symmetric construction. The Freudenthal magic square includes all of the exceptional Lie groups apart from ''G''2, and it provides one possible approach to justify the assertion that "the exceptional Lie groups all exist because of the octonions": ''G''2 itself is the automorphism group of the octonions (also, it is in many ways like a classical Lie group because i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Rosenfeld Projective Plane
In mathematics, the Freudenthal magic square (or Freudenthal–Tits magic square) is a construction relating several Lie algebras (and their associated Lie groups). It is named after Hans Freudenthal and Jacques Tits, who developed the idea independently. It associates a Lie algebra to a pair of division algebras ''A'', ''B''. The resulting Lie algebras have Dynkin diagrams according to the table at right. The "magic" of the Freudenthal magic square is that the constructed Lie algebra is symmetric in ''A'' and ''B'', despite the original construction not being symmetric, though Vinberg's symmetric method gives a symmetric construction. The Freudenthal magic square includes all of the exceptional Lie groups apart from ''G''2, and it provides one possible approach to justify the assertion that "the exceptional Lie groups all exist because of the octonions": ''G''2 itself is the automorphism group of the octonions (also, it is in many ways like a classical Lie group because it is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Riemannian Manifold
In differential geometry, a Riemannian manifold or Riemannian space , so called after the German mathematician Bernhard Riemann, is a real, smooth manifold ''M'' equipped with a positive-definite inner product ''g''''p'' on the tangent space ''T''''p''''M'' at each point ''p''. The family ''g''''p'' of inner products is called a Riemannian metric (or Riemannian metric tensor). Riemannian geometry is the study of Riemannian manifolds. A common convention is to take ''g'' to be smooth, which means that for any smooth coordinate chart on ''M'', the ''n''2 functions :g\left(\frac,\frac\right):U\to\mathbb are smooth functions. These functions are commonly designated as g_. With further restrictions on the g_, one could also consider Lipschitz Riemannian metrics or measurable Riemannian metrics, among many other possibilities. A Riemannian metric (tensor) makes it possible to define several geometric notions on a Riemannian manifold, such as angle at an intersection, lengt ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Isometry Group
In mathematics, the isometry group of a metric space is the set of all bijective isometries (i.e. bijective, distance-preserving maps) from the metric space onto itself, with the function composition as group operation. Its identity element is the identity function. The elements of the isometry group are sometimes called motions of the space. Every isometry group of a metric space is a subgroup of isometries. It represents in most cases a possible set of symmetries of objects/figures in the space, or functions defined on the space. See symmetry group. A discrete isometry group is an isometry group such that for every point of the space the set of images of the point under the isometries is a discrete set. In pseudo-Euclidean space the metric is replaced with an isotropic quadratic form; transformations preserving this form are sometimes called "isometries", and the collection of them is then said to form an isometry group of the pseudo-Euclidean space. Examples * The isometry ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jordan Algebra
In abstract algebra, a Jordan algebra is a nonassociative algebra over a field whose multiplication satisfies the following axioms: # xy = yx (commutative law) # (xy)(xx) = x(y(xx)) (). The product of two elements ''x'' and ''y'' in a Jordan algebra is also denoted ''x'' ∘ ''y'', particularly to avoid confusion with the product of a related associative algebra. The axioms imply that a Jordan algebra is power-associative, meaning that x^n = x \cdots x is independent of how we parenthesize this expression. They also imply that x^m (x^n y) = x^n(x^m y) for all positive integers ''m'' and ''n''. Thus, we may equivalently define a Jordan algebra to be a commutative, power-associative algebra such that for any element x, the operations of multiplying by powers x^n all commute. Jordan algebras were first introduced by to formalize the notion of an algebra of observables in quantum mechanics. They were originally called "r-number systems", but were renamed "Jordan algebras" by , w ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Octonionic Projective Plane
In mathematics, the Cayley plane (or octonionic projective plane) P2(O) is a projective plane over the octonions.Baez (2002). The Cayley plane was discovered in 1933 by Ruth Moufang, and is named after Arthur Cayley for his 1845 paper describing the octonions. Properties In the Cayley plane, lines and points may be defined in a natural way so that it becomes a 2-dimensional projective space, that is, a projective plane. It is a non-Desarguesian plane, where Desargues' theorem does not hold. More precisely, as of 2005, there are two objects called Cayley planes, namely the real and the complex Cayley plane. The real Cayley plane is the symmetric space F4/Spin(9), where F4 is a compact form of an exceptional Lie group and Spin(9) is the spin group of nine-dimensional Euclidean space (realized in F4). It admits a cell decomposition into three cells, of dimensions 0, 8 and 16.Iliev and Manivel (2005). The complex Cayley plane is a homogeneous space under the complexificatio ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
