In mathematics, an orthogonal symmetric Lie algebra is a pair consisting of a real Lie algebra and an automorphism of of order such that the eigenspace of s corresponding to 1 (i.e., the set of fixed points) is a compact subalgebra. If "compactness" is omitted, it is called a symmetric Lie algebra. An orthogonal symmetric Lie algebra is said to be effective if intersects the center of trivially. In practice, effectiveness is often assumed; we do this in this article as well.
The canonical example is the Lie algebra of a symmetric space, being the differential of a symmetry.
Let be effective orthogonal symmetric Lie algebra, and let denotes the -1 eigenspace of . We say that is of compact type if is compact and semisimple. If instead it is noncompact, semisimple, and if is a Cartan decomposition, then is of noncompact type. If is an Abelian ideal of , then is said to be of Euclidean type.
Every effective, orthogonal symmetric Lie algebra decomposes into a direct sum of ideals , and , each invariant under and orthogonal with respect to the Killing form of , and such that if , and denote the restriction of to , and , respectively, then , and are effective orthogonal symmetric Lie algebras of Euclidean type, compact type and noncompact type.
and 25 Related for: Orthogonal symmetric Lie algebra information
mathematics, an orthogonalsymmetricLiealgebra is a pair ( g , s ) {\displaystyle ({\mathfrak {g}},s)} consisting of a real Liealgebra g {\displaystyle...
used to read off the list of simple Liealgebras and Riemannian symmetric spaces. Together with the commutative Lie group of the real numbers, R {\displaystyle...
the theory of holonomy; or algebraically through Lie theory, which allowed Cartan to give a complete classification. Symmetric spaces commonly occur in...
inverse equals its transpose). The orthogonal group is an algebraic group and a Lie group. It is compact. The orthogonal group in dimension n has two connected...
In linear algebra, an orthogonal matrix, or orthonormal matrix, is a real square matrix whose columns and rows are orthonormal vectors. One way to express...
decomposition of the orthogonalsymmetricLiealgebra yields a direct product decomposition of the corresponding compact symmetric space H / K when H is...
most familiar Clifford algebras, the orthogonal Clifford algebras, are also referred to as (pseudo-)Riemannian Clifford algebras, as distinct from symplectic...
field of Lie theory, there are two definitions of a compact Liealgebra. Extrinsically and topologically, a compact Liealgebra is the Liealgebra of a compact...
semisimple Liealgebras, Cartan's theory of symmetric spaces, and Hermann Weyl's description of representations of compact and semisimple Lie groups using...
{\displaystyle \mathbb {H} } together with special automorphism groups of symmetric or skew-symmetric bilinear forms and Hermitian or skew-Hermitian sesquilinear forms...
nondegenerate, symmetric bilinear form of signature (p, q), where n = p + q. It is also called the pseudo-orthogonal group or generalized orthogonal group. The...
after Wilhelm Killing, is a symmetric bilinear form that plays a basic role in the theories of Lie groups and Liealgebras. Cartan's criteria (criterion...
example, orthogonal groups, general linear groups, projective groups, Euclidean groups, etc. Many matrix groups are also algebraic. Other algebraic groups...
group of Lie type usually refers to finite groups that are closely related to the group of rational points of a reductive linear algebraic group with...
In abstract algebra, the symmetric group defined over any set is the group whose elements are all the bijections from the set to itself, and whose group...
branches of mathematics, including number theory, linear algebra, group theory (orthogonal groups), differential geometry (the Riemannian metric, the...
represent the groups. In Cartan's classification of the simple Liealgebras, the Liealgebra of the complex group Sp(2n, C) is denoted Cn, and Sp(n) is the...
mathematics, a Liealgebra is semisimple if it is a direct sum of simple Liealgebras. (A simple Liealgebra is a non-abelian Liealgebra without any non-zero...
Multilinear algebraSymmetricalgebra, the symmetric analog Tensor algebra Weyl algebra, a quantum deformation of the symmetricalgebra by a symplectic...
and Fourier analysis (orthogonal basis). Nearly all scientific computations involve linear algebra. Consequently, linear algebra algorithms have been highly...
space s o ( n ) {\displaystyle {\mathfrak {so}}(n)} (the special orthogonalLiealgebra), which is not itself a rotation matrix. An infinitesimal rotation...
exterior algebras, the analogous quantization to the Weyl one is the Clifford algebra, which is also referred to as the orthogonal Clifford algebra. In the...
\operatorname {SO} (n)} . As a Lie group, Spin(n) therefore shares its dimension, n(n − 1)/2, and its Liealgebra with the special orthogonal group. For n > 2, Spin(n)...