|
Engel's Theorem
In representation theory, a branch of mathematics, Engel's theorem states that a finite-dimensional Lie algebra \mathfrak g is a nilpotent Lie algebra if and only if for each X \in \mathfrak g, the adjoint map :\operatorname(X)\colon \mathfrak \to \mathfrak, given by \operatorname(X)(Y) = , Y/math>, is a nilpotent endomorphism on \mathfrak; i.e., \operatorname(X)^k = 0 for some ''k''. It is a consequence of the theorem, also called Engel's theorem, which says that if a Lie algebra of matrices consists of nilpotent matrices, then the matrices can all be simultaneously brought to a strictly upper triangular form. Note that if we merely have a Lie algebra of matrices which is nilpotent ''as a Lie algebra'', then this conclusion does ''not'' follow (i.e. the naïve replacement in Lie's theorem of "solvable" with "nilpotent", and "upper triangular" with "strictly upper triangular", is false; this already fails for the one-dimensional Lie subalgebra of scalar matrices). The theorem i ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Representation Theory
Representation theory is a branch of mathematics that studies abstract algebraic structures by ''representing'' their elements as linear transformations of vector spaces, and studies modules over these abstract algebraic structures. In essence, a representation makes an abstract algebraic object more concrete by describing its elements by matrices and their algebraic operations (for example, matrix addition, matrix multiplication). The theory of matrices and linear operators is well-understood, so representations of more abstract objects in terms of familiar linear algebra objects helps glean properties and sometimes simplify calculations on more abstract theories. The algebraic objects amenable to such a description include groups, associative algebras and Lie algebras. The most prominent of these (and historically the first) is the representation theory of groups, in which elements of a group are represented by invertible matrices in such a way that the group operation ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nilpotent Lie Algebra
In mathematics, a Lie algebra \mathfrak is nilpotent if its lower central series terminates in the zero subalgebra. The ''lower central series'' is the sequence of subalgebras : \mathfrak \geq mathfrak,\mathfrak\geq mathfrak,[\mathfrak,\mathfrak \geq [\mathfrak, mathfrak,[\mathfrak,\mathfrak] \geq ... We write \mathfrak_0 = \mathfrak, and \mathfrak_n = [\mathfrak,\mathfrak_] for all n > 0. If the lower central series eventually arrives at the zero subalgebra, then the Lie algebra is called nilpotent. The lower central series for Lie algebras is analogous to the lower central series in group theory, and nilpotent Lie algebras are analogs of nilpotent groups. The nilpotent Lie algebras are precisely those that can be obtained from abelian Lie algebras, by successive central extensions. Note that the definition means that, viewed as a non-associative non-unital algebra, a Lie algebra \mathfrak is nilpotent if it is nilpotent as an ideal. Definition Let \mathfrak be a Lie alge ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Adjoint Representation Of A Lie Algebra
In mathematics, the adjoint representation (or adjoint action) of a Lie group ''G'' is a way of representing the elements of the group as linear transformations of the group's Lie algebra, considered as a vector space. For example, if ''G'' is GL(n, \mathbb), the Lie group of real ''n''-by-''n'' invertible matrices, then the adjoint representation is the group homomorphism that sends an invertible ''n''-by-''n'' matrix g to an endomorphism of the vector space of all linear transformations of \mathbb^n defined by: x \mapsto g x g^ . For any Lie group, this natural representation is obtained by linearizing (i.e. taking the differential of) the action of ''G'' on itself by conjugation. The adjoint representation can be defined for linear algebraic groups over arbitrary fields. Definition Let ''G'' be a Lie group, and let :\Psi: G \to \operatorname(G) be the mapping , with Aut(''G'') the automorphism group of ''G'' and given by the inner automorphism (conjugation) :\Psi_g( ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Nilpotent Endomorphism
In linear algebra, a nilpotent matrix is a square matrix ''N'' such that :N^k = 0\, for some positive integer k. The smallest such k is called the index of N, sometimes the degree of N. More generally, a nilpotent transformation is a linear transformation L of a vector space such that L^k = 0 for some positive integer k (and thus, L^j = 0 for all j \geq k). Both of these concepts are special cases of a more general concept of nilpotence that applies to elements of rings. Examples Example 1 The matrix : A = \begin 0 & 1 \\ 0 & 0 \end is nilpotent with index 2, since A^2 = 0. Example 2 More generally, any n-dimensional triangular matrix with zeros along the main diagonal is nilpotent, with index \le n . For example, the matrix : B=\begin 0 & 2 & 1 & 6\\ 0 & 0 & 1 & 2\\ 0 & 0 & 0 & 3\\ 0 & 0 & 0 & 0 \end is nilpotent, with : B^2=\begin 0 & 0 & 2 & 7\\ 0 & 0 & 0 & 3\\ 0 & 0 & 0 & 0\\ 0 & 0 & 0 & 0 \end ;\ B^3=\begin 0 & 0 & 0 & 6\\ 0 & 0 & 0 & 0\\ 0 & 0 & 0 & 0\\ 0 & 0 & ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Strictly Upper Triangular
In mathematics, a triangular matrix is a special kind of square matrix. A square matrix is called if all the entries ''above'' the main diagonal are zero. Similarly, a square matrix is called if all the entries ''below'' the main diagonal are zero. Because matrix equations with triangular matrices are easier to solve, they are very important in numerical analysis. By the LU decomposition algorithm, an invertible matrix may be written as the product of a lower triangular matrix ''L'' and an upper triangular matrix ''U'' if and only if all its leading principal minors are non-zero. Description A matrix of the form :L = \begin \ell_ & & & & 0 \\ \ell_ & \ell_ & & & \\ \ell_ & \ell_ & \ddots & & \\ \vdots & \vdots & \ddots & \ddots & \\ \ell_ & \ell_ & \ldots & \ell_ & \ell_ \end is called a lower triangular matrix or left triangular matrix, ... [...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's 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 #Conseq ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Friedrich Engel (mathematician)
Friedrich Engel (26 December 1861 – 29 September 1941) was a German mathematician. Engel was born in Lugau, Saxony, as the son of a Lutheran pastor. He attended the Universities of both Leipzig and Berlin, before receiving his doctorate from Leipzig in 1883. Engel studied under Felix Klein at Leipzig, and collaborated with Sophus Lie for much of his life. He worked at Leipzig (1885–1904), Greifswald (1904–1913), and Giessen (1913–1931). He died in Giessen. Engel was the co-author, with Sophus Lie, of the three volume work ''Theorie der Transformationsgruppen'' (publ. 1888–1893; tr., "Theory of transformation groups"). Engel was the editor of the collected works of Sophus Lie with six volumes published between 1922 and 1937; the seventh and final volume was prepared for publication but appeared almost twenty years after Engel's death. He was also the editor of the collected works of Hermann Grassmann. Engel translated the works of Nikolai Lobachevski fro ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Wilhelm Killing
Wilhelm Karl Joseph Killing (10 May 1847 – 11 February 1923) was a German mathematician who made important contributions to the theories of Lie algebras, Lie groups, and non-Euclidean geometry. Life Killing studied at the University of Münster and later wrote his dissertation under Karl Weierstrass and Ernst Kummer at Berlin in 1872. He taught in gymnasia (secondary schools) from 1868 to 1872. He became a professor at the seminary college Collegium Hosianum in Braunsberg (now Braniewo). He took holy orders in order to take his teaching position. He became rector of the college and chair of the town council. As a professor and administrator Killing was widely liked and respected. Finally, in 1892 he became professor at the University of Münster. In 1886, Killing and his spouse entered the Third Order of Franciscans. Work In 1878 Killing wrote on space forms in terms of non-Euclidean geometry in Crelle's Journal, which he further developed in 1880 as well as in 1885. ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Proof
Proof most often refers to: * Proof (truth), argument or sufficient evidence for the truth of a proposition * Alcohol proof, a measure of an alcoholic drink's strength Proof may also refer to: Mathematics and formal logic * Formal proof, a construct in proof theory * Mathematical proof, a convincing demonstration that some mathematical statement is necessarily true * Proof complexity, computational resources required to prove statements * Proof procedure, method for producing proofs in proof theory * Proof theory, a branch of mathematical logic that represents proofs as formal mathematical objects * Statistical proof, demonstration of degree of certainty for a hypothesis Law and philosophy * Evidence, information which tends to determine or demonstrate the truth of a proposition * Evidence (law), tested evidence or a legal proof * Legal burden of proof, duty to establish the truth of facts in a trial * Philosophic burden of proof, obligation on a party in a dispute to prov ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Lower Central Series
In mathematics, especially in the fields of group theory and Lie theory, a central series is a kind of normal series of subgroups or Lie subalgebras, expressing the idea that the commutator is nearly trivial. For groups, the existence of a central series means it is a nilpotent group; for matrix rings (considered as Lie algrebras), it means that in some basis the ring consists entirely of upper triangular matrices with constant diagonal. This article uses the language of group theory; analogous terms are used for Lie algebras. A general group possesses a lower central series and upper central series (also called the descending central series and ascending central series, respectively), but these are central series in the strict sense (terminating in the trivial subgroup) if and only if the group is nilpotent. A related but distinct construction is the derived series, which terminates in the trivial subgroup whenever the group is solvable. Definition A central series is a seq ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Jordan–Chevalley Decomposition
In mathematics, the Jordan–Chevalley decomposition, named after Camille Jordan and Claude Chevalley, expresses a linear operator as the sum of its commuting semisimple part and its nilpotent part. The multiplicative decomposition expresses an invertible operator as the product of its commuting semisimple and unipotent parts. The decomposition is easy to describe when the Jordan normal form of the operator is given, but it exists under weaker hypotheses than the existence of a Jordan normal form. Analogues of the Jordan-Chevalley decomposition exist for elements of linear algebraic groups, Lie algebras, and Lie groups, and the decomposition is an important tool in the study of these objects. Decomposition of a linear operator Consider linear operators on a finite-dimensional vector space over a field. An operator T is semisimple if every T-invariant subspace has a complementary T-invariant subspace (if the underlying field is algebraically closed, this is the same as the requireme ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
Heisenberg Group
In mathematics, the Heisenberg group H, named after Werner Heisenberg, is the group of 3×3 upper triangular matrices of the form ::\begin 1 & a & c\\ 0 & 1 & b\\ 0 & 0 & 1\\ \end under the operation of matrix multiplication. Elements ''a, b'' and ''c'' can be taken from any commutative ring with identity, often taken to be the ring of real numbers (resulting in the "continuous Heisenberg group") or the ring of integers (resulting in the "discrete Heisenberg group"). The continuous Heisenberg group arises in the description of one-dimensional quantum mechanical systems, especially in the context of the Stone–von Neumann theorem. More generally, one can consider Heisenberg groups associated to ''n''-dimensional systems, and most generally, to any symplectic vector space. The three-dimensional case In the three-dimensional case, the product of two Heisenberg matrices is given by: :\begin 1 & a & c\\ 0 & 1 & b\\ 0 & 0 & 1\\ \end \begin 1 & a' & c'\\ 0 & 1 & b'\\ ... [...More Info...] [...Related Items...] OR: [Wikipedia] [Google] [Baidu] |
