Outer Derivations and Classical-Albert-Zassenhaus lie Algebras

1984 ◽  
Vol 36 (6) ◽  
pp. 961-972 ◽  
Author(s):  
David J. Winter

This paper is concerned with the structure of the derivation algebra Der L of the Lie algebra L with split Cartan subalgebra H. The Fitting decompositionof Der L with respect to ad ad H leads to a decompositionwhereThis decomposition is studied in detail in Section 2, where the centralizer of ad L∞ in D0(H) is shown to bewhich is Hom(L/L2, Center L) when H is Abelian. When the root-spaces La (a nonzero) are one-dimensional, this leads to the decomposition of Der L aswhere T is any maximal torus of D0(H).

1983 ◽  
Vol 35 (5) ◽  
pp. 898-960 ◽  
Author(s):  
R. V. Moody ◽  
A. Pianzola

In [10] Patera and Sharp conceived a new relation, subjoining, between semisimple Lie algebras. Our objective in this paper is twofold. Firstly, to lay down a mathematical formalization of this concept for arbitrary Lie algebras. Secondly, to give a complete classification of all maximal subjoinings between Lie algebras of the same rank, of which many examples were already known to the above authors.The notion of subjoining is a generalization of the subalgebra relation between Lie algebras. To give an intuitive idea of what is involved we take a simple example. Suppose is a complex simple Lie algebra of type B2. Let be a Cartan subalgebra of and Δ the corresponding root system. We have the standard root diagramInside B2 there lies the subalgebra A1 × A1 which can be identified with the sum of and the root spaces corresponding to the long roots of B2.


1962 ◽  
Vol 14 ◽  
pp. 553-564 ◽  
Author(s):  
Richard Block

If L is a Lie algebra with a representation Δ a→aΔ (a in L) (of finite degree), then by the trace form f = fΔ of Δ is meant the symmetric bilinear form on L obtained by taking the trace of the matrix products:Then f is invariant, that is, f is symmetric and f(ab, c) — f(a, bc) for all a, b, c in L. By the Δ-radical L⊥ = L⊥ of L is meant the set of a in L such that f(a, b) = 0 for all b in L. Then L⊥ is an ideal and f induces a bilinear form , called a quotient trace form, on L/L⊥. Thus an algebra has a quotient trace form if and only if there exists a Lie algebra L with a representation Δ such that


2018 ◽  
Vol 83 (3) ◽  
pp. 1204-1216 ◽  
Author(s):  
OLGA KHARLAMPOVICH ◽  
ALEXEI MYASNIKOV

AbstractLet R be a commutative integral unital domain and L a free noncommutative Lie algebra over R. In this article we show that the ring R and its action on L are 0-interpretable in L, viewed as a ring with the standard ring language $+ , \cdot ,0$. Furthermore, if R has characteristic zero then we prove that the elementary theory $Th\left( L \right)$ of L in the standard ring language is undecidable. To do so we show that the arithmetic ${\Bbb N} = \langle {\Bbb N}, + , \cdot ,0\rangle $ is 0-interpretable in L. This implies that the theory of $Th\left( L \right)$ has the independence property. These results answer some old questions on model theory of free Lie algebras.


1970 ◽  
Vol 13 (4) ◽  
pp. 463-467 ◽  
Author(s):  
F. W. Lemire

Let L denote a semi-simple, finite dimensional Lie algebra over an algebraically closed field K of characteristic zero. If denotes a Cartan subalgebra of L and denotes the centralizer of in the universal enveloping algebra U of L, then it has been shown that each algebra homomorphism (called a "mass-function" on ) uniquely determines a linear irreducible representation of L. The technique involved in this construction is analogous to the Harish-Chandra construction [2] of dominated irreducible representations of L starting from a linear functional . The difference between the two results lies in the fact that all linear functionals on are readily obtained, whereas since is in general a noncommutative algebra the construction of mass-functions is decidedly nontrivial.


1979 ◽  
Vol 31 (2) ◽  
pp. 308-311
Author(s):  
David J. Winter

1. Introduction. Throughout this paper, G is a connected linear algebraic group over an algebraically closed field whose characteristic is denoted p. For any closed subgroup H of G, denotes the Lie algebra of H and H0 denotes the connected component of the identity of H.A Borel subalgebra of is the Lie algebra of some Borel subgroup B of G. A maximal torus of is the Lie algebra of some maximal torus T of G. In [4], it is shown that the maximal tori of are the maximal commutative subalgebras of consisting of semisimple elements, and the question was raised in § 14.3 as to whether the set of Borel subalgebras of is the set of maximal triangulable subalgebras of .


Axioms ◽  
2019 ◽  
Vol 8 (1) ◽  
pp. 10 ◽  
Author(s):  
Rutwig Campoamor-Stursberg ◽  
Francisco Oviaño García

The generic structure and some peculiarities of real rank one solvable Lie algebras possessing a maximal torus of derivations with the eigenvalue spectrum spec ( t ) = 1 , k , k + 1 , ⋯ , n + k − 3 , n + 2 k − 3 for k ≥ 2 are analyzed, with special emphasis on the resulting Lie algebras for which the second Chevalley cohomology space vanishes. From the detailed inspection of the values k ≤ 5 , some series of cohomologically rigid algebras for arbitrary values of k are determined.


1971 ◽  
Vol 23 (2) ◽  
pp. 325-331 ◽  
Author(s):  
Arthur A. Sagle

A Lie admissible algebra is a non-associative algebra A such that A− is a Lie algebra where A− denotes the anti-commutative algebra with vector space A and with commutation [X, Y] = XY – YX as multiplication; see [1; 2; 5]. Next let L−(X): A− → A−: Y → [X, Y] and H = {L−(X): X ∊ A−}; then, since A− is a Lie algebra, we see that H is contained in the derivation algebra of A− and consequently the direct sum g = A − ⊕ H can be naturally made into a Lie algebra with multiplication [PQ] given by: P = X + L−(U), Q = Y + L−(V) ∊ g, thenand note that for any P, [PP] = 0 so that [PQ] = −[QP] and the Jacobi identity for g follows from the fact that A− is Lie.


2002 ◽  
Vol 01 (03) ◽  
pp. 341-356 ◽  
Author(s):  
BENOÎT ARBOUR ◽  
DRAGOMIR Ž. ĐOKOVIĆ

We derive explicit formulae for the characteristics H(k) of the semiregular nilpotent orbits Dn(ak) of the simple complex Lie algebra [Formula: see text] of type Dn. These formulae express H(k) as an integral linear combination of a basis of the Cartan subalgebra [Formula: see text] of [Formula: see text]. For that purpose we use several suitable bases of [Formula: see text] consisting of coroots. We also construct several explicit standard triples (E, H, F) with H = H(k), and E, F ∈ Dn(ak). Similar triples are constructed also for each connected component of the intersection of the orbit Dn(ak) with the split real form [Formula: see text] and the real form [Formula: see text] of [Formula: see text].


1961 ◽  
Vol 13 ◽  
pp. 201-216 ◽  
Author(s):  
Shigeaki Tôgô

LetLbe a Lie algebra over a field of characteristic 0 and letD(L)be the derivation algebra ofL, that is, the Lie algebra of all derivations ofL. Then it is natural to ask the following questions: What is the structure ofD(L)?What are the relations of the structures ofD(L)andL? It is the main purpose of this paper to present some results onD(L)as the answers to these questions in simple cases.Concerning the questions above, we give an example showing that there exist non-isomorphic Lie algebras whose derivation algebras are isomorphic (Example 3 in § 5). Therefore the structure of a Lie algebraLis not completely determined by the structure ofD(L). However, there is still some intimate connection between the structure ofD(L)and that ofL.


1989 ◽  
Vol 03 (06) ◽  
pp. 853-861 ◽  
Author(s):  
B.A. KUPERSHMIDT

For any finite-dimensional Euclidean Lie alegebra [Formula: see text], a commuting hierarchy of generalized modified Korteweg-de Vries equations is constructed, together with a nonabelian generalization of the classical Miura map. The classical situation is recovered for the case when [Formula: see text] is abelian one-dimensional. Localization of differential formulae yields a representation of the Virasoro algebra in terms of elements of the current Lie algebra associated to [Formula: see text].


Sign in / Sign up

Export Citation Format

Share Document