Solvable Lie \(A\)-algebras (Q661874)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Solvable Lie \(A\)-algebras
scientific article

    Statements

    Solvable Lie \(A\)-algebras (English)
    0 references
    0 references
    11 February 2012
    0 references
    An \(A\)-group is a finite group such that all of its Sylow subgroups are abelian. These groups were first studied in the 1940s by Philip Hall, and are still studied today. Similarly, a finite-dimensional Lie algebra \(L\) over a field \(F\) is called an \(A\)-algebra if all of its nilpotent subalgebras are abelian. \(A\)-algebras were investigated from the point of view of varieties of algebras in the 1970--1990s (in papers mainly in Russian), in the study of constant Yang-Mills potentials (in the 1990s), and elementary Lie algebras (the Frattini ideal is 0 for all subalgebras of \(L\)) in the 2000s. In the paper under review the author obtains more detailed results on the structure of solvable Lie \(A\)-algebras. It has turned out that solvable \(A\)-algebras split over each term of their derived series: \(L=A_n+\cdots+A_0\), where \(A_i\) is an abelian subalgebra of \(L\) and \(L^{(i)}=A_n+\cdots+A_i\), \(0\leq i\leq n\). The ideals of \(L\) relate nicely with this decomposition: If \(K\) is an ideal of \(L\), then \(K=(K\cap A_n)+\cdots+(K\cap A_0)\), and \(Z(L^{(i)})=N\cap A_i\), where \(N\) is the nilradical of \(L\). Then the author studies metabelian \(A\)-algebras. He shows that \(L=L^2+B\), where \(B\) is an abelian algebra and \(N=L^2\oplus Z(L)\). A minimal ideal of \(L\) is contained either in \(L^2\) or in \(B\). In particular, the Frattini ideal of \(L\) is equal to 0 if and only if \(L^2\) is contained in the abelian socle (the sum of the minimal abelian ideals) of \(L\). The maximal nilpotent subalgebras \(U\) of \(L\) are of the form \(U=(U\cap L^2)\oplus (U\cap C)\), where \(C\) is a Cartan subalgebra of \(L\). Further, the author considers monolithic solvable \(A\)-algebras (algebras with unique minimal ideals). They play a part in the application of \(A\)-algebras to the study of residually finite varieties of Lie algebras. In the metabelian case, when \(L=L^2+B\), it is shown that \([L^2,b]=L^2\) for all non-zero \(b\in B\) (i.e., \(\text{ad}b\) acts invertibly on \(L^2\)). Finally, the author studies solvable \(A\)-algebras over an algebraically closed field \(F\), paying attention to the monolithic algebras and algebras with zero Frattini ideal.
    0 references
    Lie algebras
    0 references
    solvable
    0 references
    \(A\)-algebra
    0 references
    completely solvable
    0 references
    monolithic
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references