|
Cartan Criterion
In mathematics, Cartan's criterion gives conditions for a Lie algebra in characteristic 0 to be solvable, which implies a related criterion for the Lie algebra to be semisimple. It is based on the notion of the Killing form, a symmetric bilinear form on \mathfrak defined by the formula : \kappa(u,v)=\operatorname(\operatorname(u)\operatorname(v)), where tr denotes the trace of a linear operator. The criterion was introduced by .Cartan, Chapitre IV, Théorème 1 Cartan's criterion for solvability Cartan's criterion for solvability states: :''A Lie subalgebra \mathfrak of endomorphisms of a finite-dimensional vector space over a field of characteristic zero is solvable if and only if \operatorname(ab)=0 whenever a\in\mathfrak,b\in mathfrak,\mathfrak'' The fact that \operatorname(ab)=0 in the solvable case follows from Lie's theorem that puts \mathfrak g in the upper triangular form over the algebraic closure of the ground field (the trace can be computed after extending the gro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Mathematics
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] |
Lie's Theorem
In mathematics, specifically the theory of Lie algebras, Lie's theorem states that, over an algebraically closed field of characteristic zero, if \pi: \mathfrak \to \mathfrak(V) is a finite-dimensional representation of a solvable Lie algebra, then there is a flag V = V_0 \supset V_1 \supset \cdots \supset V_n = 0 of invariant subspaces of \pi(\mathfrak) with \operatorname V_i = i, meaning that \pi(X)(V_i) \subseteq V_i for each X \in \mathfrak and ''i''. Put in another way, the theorem says there is a basis for ''V'' such that all linear transformations in \pi(\mathfrak) are represented by upper triangular matrices. This is a generalization of the result of Frobenius that commuting matrices are simultaneously upper triangularizable, as commuting matrices generate an abelian Lie algebra, which is a fortiori solvable. A consequence of Lie's theorem is that any finite dimensional solvable Lie algebra over a field of characteristic 0 has a nilpotent derived algebra (see #Consequ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Springer-Verlag
Springer Science+Business Media, commonly known as Springer, is a German multinational publishing company of books, e-books and peer-reviewed journals in science, humanities, technical and medical (STM) publishing. Originally founded in 1842 in Berlin, it expanded internationally in the 1960s, and through mergers in the 1990s and a sale to venture capitalists it fused with Wolters Kluwer and eventually became part of Springer Nature in 2015. Springer has major offices in Berlin, Heidelberg, Dordrecht, and New York City. History Julius Springer founded Springer-Verlag in Berlin in 1842 and his son Ferdinand Springer grew it from a small firm of 4 employees into Germany's then second-largest academic publisher with 65 staff in 1872.Chronology ". Springer Science+Business Media. In 1964, Springer expanded its business internationally, ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Proceedings Of The American Mathematical Society
''Proceedings of the American Mathematical Society'' is a monthly peer-reviewed scientific journal of mathematics published by the American Mathematical Society. The journal is devoted to shorter research articles. As a requirement, all articles must be at most 15 printed pages. According to the ''Journal Citation Reports'', the journal has a 2018 impact factor of 0.813. Scope ''Proceedings of the American Mathematical Society'' publishes articles from all areas of pure and applied mathematics, including topology, geometry, analysis, algebra, number theory, combinatorics, logic, probability and statistics. Abstracting and indexing This journal is indexed in the following databases: 2011. American Mathematical Society. * [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Semidirect Product
In mathematics, specifically in group theory, the concept of a semidirect product is a generalization of a direct product. It is usually denoted with the symbol . There are two closely related concepts of semidirect product: * an ''inner'' semidirect product is a particular way in which a group can be made up of two subgroups, one of which is a normal subgroup. * an ''outer'' semidirect product is a way to construct a new group from two given groups by using the Cartesian product as a set and a particular multiplication operation. As with direct products, there is a natural equivalence between inner and outer semidirect products, and both are commonly referred to simply as ''semidirect products''. For finite groups, the Schur–Zassenhaus theorem provides a sufficient condition for the existence of a decomposition as a semidirect product (also known as splitting extension). Inner semidirect product definitions Given a group with identity element , a subgroup , and a ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Quadratic Lie Algebra
A quadratic Lie algebra is a Lie algebra together with a compatible symmetric bilinear form. Compatibility means that it is invariant under the adjoint representation. Examples of such are semisimple Lie algebras, such as su(''n'') and sl(''n'',R). Definition A quadratic Lie algebra is a Lie algebra (g, ,. together with a non-degenerate symmetric bilinear form (.,.)\colon \mathfrak\otimes\mathfrak\to \mathbb that is invariant under the adjoint action, i.e. :( 'X'',''Y''''Z'')+(''Y'', 'X'',''Z''=0 where ''X,Y,Z'' are elements of the Lie algebra g. A localization/ generalization is the concept of Courant algebroid where the vector space g is replaced by (sections of) a vector bundle. Examples As a first example, consider ''R''n with zero-bracket and standard inner product :((x_1,\dots,x_n),(y_1,\dots,y_n)):= \sum_j x_jy_j. Since the bracket is trivial the invariance is trivially fulfilled. As a more elaborate example consider so(3), i.e. ''R''3 with base ''X,Y,Z'', standa ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Degenerate Form
In mathematics, specifically linear algebra, a degenerate bilinear form on a vector space ''V'' is a bilinear form such that the map from ''V'' to ''V''∗ (the dual space of ''V'') given by is not an isomorphism. An equivalent definition when ''V'' is finite-dimensional is that it has a non-trivial kernel: there exist some non-zero ''x'' in ''V'' such that :f(x,y)=0\, for all \,y \in V. Nondegenerate forms A nondegenerate or nonsingular form is a bilinear form that is not degenerate, meaning that v \mapsto (x \mapsto f(x,v)) is an isomorphism, or equivalently in finite dimensions, if and only if :f(x,y)=0 for all y \in V implies that x = 0. Using the determinant If ''V'' is finite-dimensional then, relative to some basis for ''V'', a bilinear form is degenerate if and only if the determinant of the associated matrix is zero – if and only if the matrix is ''singular'', and accordingly degenerate forms are also called singular forms. Likewise, a nondegenerate form is one for ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jordan–Chevalley Decomposition
In mathematics, specifically linear algebra, the Jordan–Chevalley decomposition, named after Camille Jordan and Claude Chevalley, expresses a linear operator in a unique way as the sum of two other linear operators which are simpler to understand. Specifically, one part is potentially diagonalisable and the other is nilpotent. The two parts are polynomials in the operator, which makes them behave nicely in algebraic manipulations. The decomposition has a short description when the Jordan normal form of the operator is given, but it exists under weaker hypotheses than are needed for the existence of a Jordan normal form. Hence the Jordan–Chevalley decomposition can be seen as a generalisation of the Jordan normal form, which is also reflected in several proofs of it. It is closely related to the Wedderburn principal theorem about associative algebras, which also leads to several analogues in Lie algebras. Analogues of the Jordan–Chevalley decomposition also exist for elements ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Characteristic Zero
In mathematics, the characteristic of a ring (mathematics), ring , often denoted , is defined to be the smallest positive number of copies of the ring's identity element, multiplicative identity () that will sum to the additive identity (). If no such number exists, the ring is said to have characteristic zero. That is, is the smallest positive number such that: : \underbrace_ = 0 if such a number exists, and otherwise. Motivation The special definition of the characteristic zero is motivated by the equivalent definitions characterized in the next section, where the characteristic zero is not required to be considered separately. The characteristic may also be taken to be the exponent (group theory), exponent of the ring's additive group, that is, the smallest positive integer such that: : \underbrace_ = 0 for every element of the ring (again, if exists; otherwise zero). This definition applies in the more general class of Rng (algebra), rngs (see '); for (unital) ri ... [...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 operation called the Lie bracket, an alternating bilinear map \mathfrak g \times \mathfrak g \rightarrow \mathfrak g, that satisfies the Jacobi identity. In other words, a Lie algebra is an algebra over a field for which the multiplication operation (called the Lie bracket) is alternating and satisfies the Jacobi identity. The Lie bracket of two vectors x and y is denoted ,y/math>. A Lie algebra is typically a non-associative algebra. However, every associative algebra gives rise to a Lie algebra, consisting of the same vector space with the commutator Lie bracket, ,y= xy - yx . Lie algebras are closely related to Lie groups, which are groups that are also smooth manifolds: every Lie group gives rise to a Lie algebra, which is the tangent space at the identity. (In this case, the Lie bracket measures the failure of commutativity for the Lie group.) Conversely, to any finite-di ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Field (mathematics)
In mathematics, a field is a set (mathematics), set on which addition, subtraction, multiplication, and division (mathematics), division are defined and behave as the corresponding operations on rational number, rational and real numbers. A field is thus a fundamental algebraic structure which is widely used in algebra, number theory, and many other areas of mathematics. The best known fields are the field of rational numbers, the field of real numbers and the field of complex numbers. Many other fields, such as field of rational functions, fields of rational functions, algebraic function fields, algebraic number fields, and p-adic number, ''p''-adic fields are commonly used and studied in mathematics, particularly in number theory and algebraic geometry. Most cryptographic protocols rely on finite fields, i.e., fields with finitely many element (set), elements. The theory of fields proves that angle trisection and squaring the circle cannot be done with a compass and straighte ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Trace (linear Algebra)
In linear algebra, the trace of a square matrix , denoted , is the sum of the elements on its main diagonal, a_ + a_ + \dots + a_. It is only defined for a square matrix (). The trace of a matrix is the sum of its eigenvalues (counted with multiplicities). Also, for any matrices and of the same size. Thus, similar matrices have the same trace. As a consequence, one can define the trace of a linear operator mapping a finite-dimensional vector space into itself, since all matrices describing such an operator with respect to a basis are similar. The trace is related to the derivative of the determinant (see Jacobi's formula). Definition The trace of an square matrix is defined as \operatorname(\mathbf) = \sum_^n a_ = a_ + a_ + \dots + a_ where denotes the entry on the row and column of . The entries of can be real numbers, complex numbers, or more generally elements of a field . The trace is not defined for non-square matrices. Example Let be a matrix, with \m ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
