|
Nilradical Of A Lie Algebra
In algebra, the nilradical of a Lie algebra is a nilpotent ideal, which is as large as possible. The nilradical \mathfrak(\mathfrak g) of a finite-dimensional Lie algebra \mathfrak is its maximal nilpotent ideal, which exists because the sum of any two nilpotent ideals is nilpotent. It is an ideal in the radical \mathfrak(\mathfrak) of the Lie algebra \mathfrak. The quotient of a Lie algebra by its nilradical is a reductive Lie algebra \mathfrak^. However, the corresponding short exact sequence : 0 \to \mathfrak(\mathfrak g)\to \mathfrak g\to \mathfrak^\to 0 does not split in general (i.e., there isn't always a ''subalgebra'' complementary to \mathfrak(\mathfrak g) in \mathfrak). This is in contrast to the Levi decomposition: the short exact sequence : 0 \to \mathfrak(\mathfrak g)\to \mathfrak g\to \mathfrak^\to 0 does split (essentially because the quotient \mathfrak^ is semisimple). See also * Levi decomposition * Nilradical of a ring In algebra, the nilradical of a commutativ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Algebra
Algebra () is one of the broad areas of mathematics. Roughly speaking, algebra is the study of mathematical symbols and the rules for manipulating these symbols in formulas; it is a unifying thread of almost all of mathematics. Elementary algebra deals with the manipulation of variables (commonly represented by Roman letters) as if they were numbers and is therefore essential in all applications of mathematics. Abstract algebra is the name given, mostly in education, to the study of algebraic structures such as groups, rings, and fields (the term is no more in common use outside educational context). Linear algebra, which deals with linear equations and linear mappings, is used for modern presentations of geometry, and has many practical applications (in weather forecasting, for example). There are many areas of mathematics that belong to algebra, some having "algebra" in their name, such as commutative algebra, and some not, such as Galois theory. The word ''algebra'' is ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lie Algebra
In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an Binary operation, operation called the Lie bracket, an Alternating multilinear map, alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi identity. The Lie bracket of two vectors x and y is denoted [x,y]. The vector space \mathfrak g together with this operation is a non-associative algebra, meaning that the Lie bracket is not necessarily associative property, associative. Lie algebras are closely related to Lie groups, which are group (mathematics), groups that are also smooth manifolds: any Lie group gives rise to a Lie algebra, which is its tangent space at the identity. Conversely, to any finite-dimensional Lie algebra over real or complex numbers, there is a corresponding connected space, connected Lie group unique up to finite coverings (Lie's third theorem). This Lie group–Lie algebra correspondence, correspondence allows one ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Ideal (Lie Algebra)
In mathematics, a Lie algebra (pronounced ) is a vector space \mathfrak g together with an operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi identity. The Lie bracket of two vectors x and y is denoted ,y/math>. The vector space \mathfrak g together with this operation is a non-associative algebra, meaning that the Lie bracket is not necessarily associative. Lie algebras are closely related to Lie groups, which are groups that are also smooth manifolds: any Lie group gives rise to a Lie algebra, which is its tangent space at the identity. Conversely, to any finite-dimensional Lie algebra over real or complex numbers, there is a corresponding connected Lie group unique up to finite coverings ( Lie's third theorem). This correspondence allows one to study the structure and classification of Lie groups in terms of Lie algebras. In physics, Lie groups appear as symmetry groups of ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nilpotent Ideal
In mathematics, more specifically ring theory, an ideal ''I'' of a ring ''R'' is said to be a nilpotent ideal if there exists a natural number ''k'' such that ''I''''k'' = 0. By ''I''''k'', it is meant the additive subgroup generated by the set of all products of ''k'' elements in ''I''. Therefore, ''I'' is nilpotent if and only if there is a natural number ''k'' such that the product of any ''k'' elements of ''I'' is 0. The notion of a nilpotent ideal is much stronger than that of a nil ideal in many classes of rings. There are, however, instances when the two notions coincide—this is exemplified by Levitzky's theorem. The notion of a nilpotent ideal, although interesting in the case of commutative rings, is most interesting in the case of noncommutative rings. Relation to nil ideals The notion of a nil ideal has a deep connection with that of a nilpotent ideal, and in some classes of rings, the two notions coincide. If an ideal is nilpotent, it is of course nil, but a nil ideal ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Radical Of A Lie Algebra
In the mathematical field of Lie theory, the radical of a Lie algebra \mathfrak is the largest solvable ideal of \mathfrak.. The radical, denoted by (\mathfrak), fits into the exact sequence :0 \to (\mathfrak) \to \mathfrak g \to \mathfrak/(\mathfrak) \to 0. where \mathfrak/(\mathfrak) is semisimple. When the ground field has characteristic zero and \mathfrak g has finite dimension, Levi's theorem states that this exact sequence splits; i.e., there exists a (necessarily semisimple) subalgebra of \mathfrak g that is isomorphic to the semisimple quotient \mathfrak/(\mathfrak) via the restriction of the quotient map \mathfrak g \to \mathfrak/(\mathfrak). A similar notion is a Borel subalgebra, which is a (not necessarily unique) maximal solvable subalgebra. Definition Let k be a field and let \mathfrak be a finite-dimensional Lie algebra over k. There exists a unique maximal solvable ideal, called the ''radical,'' for the following reason. Firstly let \mathfrak and \mathfrak be ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Reductive Lie Algebra
In mathematics, a Lie algebra is reductive if its adjoint representation is completely reducible, whence the name. More concretely, a Lie algebra is reductive if it is a direct sum of a semisimple Lie algebra and an abelian Lie algebra: \mathfrak = \mathfrak \oplus \mathfrak; there are alternative characterizations, given below. Examples The most basic example is the Lie algebra \mathfrak_n of n \times n matrices with the commutator as Lie bracket, or more abstractly as the endomorphism algebra of an ''n''-dimensional vector space, \mathfrak(V). This is the Lie algebra of the general linear group GL(''n''), and is reductive as it decomposes as \mathfrak_n = \mathfrak_n \oplus \mathfrak, corresponding to traceless matrices and scalar matrices. Any semisimple Lie algebra or abelian Lie algebra is ''a fortiori'' reductive. Over the real numbers, compact Lie algebras are reductive. Definitions A Lie algebra \mathfrak over a field of characteristic 0 is called reductive if any ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Short Exact Sequence
An exact sequence is a sequence of morphisms between objects (for example, groups, rings, modules, and, more generally, objects of an abelian category) such that the image of one morphism equals the kernel of the next. Definition In the context of group theory, a sequence :G_0\;\xrightarrow\; G_1 \;\xrightarrow\; G_2 \;\xrightarrow\; \cdots \;\xrightarrow\; G_n of groups and group homomorphisms is said to be exact at G_i if \operatorname(f_i)=\ker(f_). The sequence is called exact if it is exact at each G_i for all 1\leq i |
Levi Decomposition
In Lie theory and representation theory, the Levi decomposition, conjectured by Wilhelm Killing and Élie Cartan and proved by , states that any finite-dimensional real Lie algebra ''g'' is the semidirect product of a solvable ideal and a semisimple subalgebra. One is its radical, a maximal solvable ideal, and the other is a semisimple subalgebra, called a Levi subalgebra. The Levi decomposition implies that any finite-dimensional Lie algebra is a semidirect product of a solvable Lie algebra and a semisimple Lie algebra. When viewed as a factor-algebra of ''g'', this semisimple Lie algebra is also called the Levi factor of ''g''. To a certain extent, the decomposition can be used to reduce problems about finite-dimensional Lie algebras and Lie groups to separate problems about Lie algebras in these two special classes, solvable and semisimple. Moreover, Malcev (1942) showed that any two Levi subalgebras are conjugate by an (inner) automorphism of the form :\exp(\mathrm(z ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nilradical Of A Ring
In algebra, the nilradical of a commutative ring is the ideal consisting of the nilpotent elements: :\mathfrak_R = \lbrace f \in R \mid f^m=0 \text m\in\mathbb_\rbrace. In the non-commutative ring case the same definition does not always work. This has resulted in several radicals generalizing the commutative case in distinct ways; see the article Radical of a ring for more on this. The nilradical of a Lie algebra is similarly defined for Lie algebras. Commutative rings The nilradical of a commutative ring is the set of all nilpotent elements in the ring, or equivalently the radical of the zero ideal. This is an ideal because the sum of any two nilpotent elements is nilpotent (by the binomial formula), and the product of any element with a nilpotent element is nilpotent (by commutativity). It can also be characterized as the intersection of all the prime ideals of the ring (in fact, it is the intersection of all minimal prime ideals). A ring is called reduced if it has ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
