arXiv:1512.08675v1 [math.RA] 29 Dec 2015

CHIEF FACTORS OF LIE ALGEBRAS
DAVID A. TOWERS
Abstract. In group theory the chief factors allow a group to be studied by
its representation theory on particularly natural irreducible modules. It is to
be expected, therefore, that they will play an important role in the study of
Lie algebras. In this article we survey a few of their properties.

1. Introduction
Throughout L will denote a finite-dimensional Lie algebra over a field F . We
call a subalgebra I a subideal of a Lie algebra L if there is a chain of subalgebras
I = I0 < I1 < . . . < In = L,
where Ij is an ideal of Ij+1 for each 0 ≤ j ≤ n − 1.
Put L1 = L, Lk+1 = [Lk , L] for k ≥ 1. These are the terms of the lower central
series for L. We say that L has nilpotency class n if Ln 6= 0 but Ln+1 = 0. Let U be
a subalgebra of L. If F has characteristic p > 0 we call U nilregular if the nilradical
of U , N (U ), has nilpotency class less than p − 1. If F has characteristic zero we
regard every subalgebra of L as being nilregular. We say that U is characteristic
in L if it is invariant under all derivations of L. Nilregular ideals of L have the
property that their nilradicals are characteristic in L. Details of the results in this
section can be found in [12].
Theorem 1.1.
(i) If I is a nilregular ideal of L then N (I) ⊆ N (L).
(ii) If I is a nilregular subideal of L and every subideal of L containing I is
nilregular, then N (I) ⊆ N (L).
This result was proved by Schenkman ([6]) for fields of characteristic zero; in
characteristic p it follows from a more recent result of Maksimenko ([4]). Similarly,
we will call the subalgebra U solregular if the underlying field F has characteristic
zero, or if it has characteristic p and the (solvable) radical of U , R(U ), has derived
length less than log2 p. Then we have the following corresponding theorem, which
uses a result of Petravchuk ([5]).
Theorem 1.2.
(i) If I is a solregular ideal of L then R(I) ⊆ R(L).
(ii) If I is a solregular subideal of L and every subideal of L containing I is
solregular, then R(I) ⊆ R(L).
These enable us to determine what the minimal ideals of L look like.
Theorem 1.3. Let L be a Lie algebra over a field F , and let I be a minimal
non-abelian ideal of L. Then either
Key words and phrases. L-Algebras, L-Equivalence, c-factor, m-factor, cc´-type.
2010 Mathematics Subject Classification. 17B05, 17B20, 17B30, 17B50.
1

2

DAVID A. TOWERS

(i) I is simple or
(ii) F has characteristic p, N (I) has nilpotency class greater than or equal to
p − 1, and R(I) has derived length greater than or equal to log2 p.
As a result of the above we will call the subalgebra U regular if it is either
nilregular or solregular; otherwise we say that it is irregular. Then we have the
following corollary.
Corollary 1.4. Let L be a Lie algebra over a field F . Then every minimal ideal
of L is abelian, simple or irregular.
Block’s Theorem on differentiably simple rings (see [2]) describes the irregular
minimal ideals as follows.
Theorem 1.5. Let L be a Lie algebra over a field of characteristic p > 0 and let
I be an irregular minimal ideal of L. Then I ∼
= S ⊗ On , where S is simple and
On is the truncated polynomial algebra in n indeterminates. Moreover, N (I) has
nilpotency class p − 1 and R(I) has derived length ⌈log2 p⌉.
2. Primitive Lie algebras
Next we introduce the concept of a primitive Lie algebra. Details of the results
in this section can be found in [10]. A word of warning - this terminology has been
used for a different concept elsewhere. If U is a subalgebra of L we define UL , the
core (with respect to L) of U to be the largest ideal of L contained in U . We say
that U is core-free in L if UL = 0. We shall call L primitive if it has a core-free
maximal subalgebra. The centraliser of U in L is CL (U ) = {x ∈ L : [x, U ] = 0}.
There are three types of primitive Lie algebra:
1. primitive of type 1 if it has a unique minimal ideal that is abelian;
2. primitive of type 2 if it has a unique minimal ideal that is non-abelian; and
3. primitive of type 3 if it has precisely two distinct minimal ideals each of
which is non-abelian.
Of course, primitive Lie algebras of types 2 and 3 are semisimple, and those of
types 1 and 2 are monolithic. (A Lie algebra L is called monolithic if it has a unique
minimal ideal W , the monolith of L.)
Example 2.1. Examples of each type are easy to find.
1. Clearly every primitive solvable Lie algebra is of type 1.
2. Every simple Lie algebra is primitive of type 2.
3. If S is a simple Lie algebra then L = S ⊕ S is primitive of type 3 with
core-free maximal subalgebra D = {s + s : s ∈ S}, the diagonal subalgebra
of L.
Let M be a maximal subalgebra of L. Then M/ML is a core-free maximal
subalgebra of L/ML . We say that M is
1. a maximal subalgebra of type 1 if L/ML is primitive of type 1;
2. a maximal subalgebra of type 2 if L/ML is primitive of type 2; and
3. a maximal subalgebra of type 3 if L/ML is primitive of type 3.
We say that an ideal A is complemented in L if there is a subalgebra U of L such
that L = A + U and A ∩ U = 0. For primitive solvable Lie algebras we have the
following analogue of Galois’ Theorem for groups.

CHIEF FACTORS OF LIE ALGEBRAS

3

Theorem 2.2.
1. If L is a solvable primitive Lie algebra then all core-free
maximal subalgebras are conjugate.
2. If A is a self-centralising minimal ideal of a solvable Lie algebra L, then L
is primitive, A is complemented in L, and all complements are conjugate.
The Frattini ideal of L, φ(L), is the core of intersection of the maximal subalgebras of L. We say that L is φ-free if φ(L) = 0. Then we have the following
characterisation of primitive Lie algebras of type 1.
Theorem 2.3. Let L be a Lie algebra over a field F .
1. L is primitive of type 1 if and only if L is monolithic, with abelian monolith
W , and φ-free.
2. If F has characteristic zero, then L is primitive of type 1 if and only if
L = W ⋉ (C ⊕ S) (semi-direct sum), where W is the abelian monolith of
L, C is an abelian subalgebra of L, every element of which acts semisimply
on W , and S is a Levi subalgebra of L.
3. If L is solvable, then L is primitive if and only if it has a self-centralising
minimal ideal A.
For type 2 we have
Theorem 2.4.
1. L is primitive of type 2 if and only if L ∼
= U + (S ⊗ On ),
where S ⊗ On is an ideal of L and S is simple.
2. If F has characteristic zero, then L is primitive of type 2 if and only if L
is simple.
3. L is primitive of type 2 if and only if there is a primitive Lie algebra X of
type 3 such that L ∼
= X/B for a minimal ideal B of L.
For type 3 we have
Theorem 2.5.
1. L is primitive of type 3 if and only if L has two distinct
minimal ideals B1 and B2 with a common complement and such that the
factor algebras L/Bi are primitive of type 2 for i = 1, 2. Moreover, B1 and
B2 are both isomorphic to S ⊗ On , where S is simple.
2. If F has characteristic zero, then L is primitive of type 3 if and only if
L = S ⊕ S, where S is simple.
3. Chief factors
The factor algebra A/B is called a chief factor of L if B is an ideal of L and A/B
is a minimal ideal of L/B. So chief factors are as described in Corollary 1.4 and
Theorem 1.5. We can identify different types of chief factor; details for this section
can be found in [10]. A chief factor A/B is called Frattini if A/B ⊆ φ (L/B) . This
concept was first introduced in [8].
If there is a subalgebra, M such that L = A + M and B ⊆ A ∩ M, we say that
A/B is a supplemented chief factor of L, and that M is a supplement of A/B in
L. Also, if A/B is a non-Frattini chief factor of L, then A/B is supplemented by a
maximal subalgebra M of L.
If A/B is a chief factor of L supplemented by a subalgebra M of L, and
A ∩ M = B then we say that A/B is complemented chief factor of L, and M
is a complement of A/B in L. When L is solvable, it is easy to see that a chief

4

DAVID A. TOWERS

factor is Frattini if and only if it is not complemented. Then we have the following
generalisation of the Jordan-Hölder Theorem.
Theorem 3.1. Let
0 < A1 < . . . < An = L

(1)

0 < B1 < . . . < Bn = L

(2)

be chief series for the Lie algebra L. Then there is a bijection between the chief
factors of these two series such that corresponding factors are isomorphic as Lmodules and such that the Frattini chief factors in the two series correspond.
The number of Frattini chief factors or of chief factors which are complemented
by a maximal subalgebra of a finite-dimensional Lie algebra L is the same in every
chief series for L. However, this is not the case for the number of chief factors which
are simply complemented in L; in [11] we determine the possible variation in that
number.
Note that if L is a primitive Lie algebra of type 3, its two minimal ideals are
not L-isomorphic, so we introduce the following concept. We say that two chief
factors of L are L-connected if either they are L-isomorphic, or there exists an
epimorphic image L of L which is primitive of type 3 and whose minimal ideals
are L-isomorphic, respectively, to the given factors. (It is clear that, if two chief
factors of L are L-connected and are not L-isomorphic, then they are nonabelian
and there is a single epimorphic image of L which is primitive of type 3 and which
connects them.) Then, as we would hope,
Theorem 3.2. The relation ‘is L-connected to’ is an equivalence relation on the
set of chief factors.
Let A/B be a supplemented chief factor of L and put J = {ML : M is a
maximal subalgebra of L supplementing a chief factor L-connected to A/B}. Let
R = ∩{N : N ∈ J } and C = A + CL (A/B). Then we call C/R the crown of L
associated with A/B. This object gives much information about the supplemented
chief factors of L.
Theorem 3.3. Let C/R be the crown associated with the supplemented chief factor
A/B of L. Then C/R = Soc(L/R). Furthermore
(i) every minimal ideal of L/R is a supplemented chief factor of L which is
L-connected to A/B, and
(ii) no supplemented chief factor of L above C or below R is L-connected to
A/B.
In other words, there are r ideals A1 , . . . , Ar of L such that
C/R = A1 /R ⊕ . . . ⊕ Ar /R
where Ai /R is a supplemented chief factor of L which is L-connected to A/B for
i = 1, . . . , r and r is the number of supplemented chief factors of L which are
L-connected to A/B in each chief series for L. Moreover, φ(L/R) = 0.
Corollary 3.4. Two supplemented chief factors of L define the same crown if and
only if they are L-connected.

CHIEF FACTORS OF LIE ALGEBRAS

5

Theorem 3.5. Let L be a solvable Lie algebra, and let C/R = C̄ be the crown
associated with a supplemented chief factor of L. Then C̄ is complemented in L̄,
and any two complements are conjugate by an automorphism of the form 1 + ad a
for some a ∈ C̄.
Finally, in [1], Barnes determined for a solvable Lie algebra which irreducible
L-modules A have the property that H 1 (L, A) = 0.
Theorem 3.6. Let L be a solvable Lie algebra and let A be an irreducible L-module.
Then H 1 (L, A) = 0 if and only if L has no complemented chief factor isomrphic to
A.
4. Covering and Avoidance
The subalgebra U avoids the factor algebra Ai /Ai−1 if U ∩ Ai = U ∩ Ai−1 ;
likewise, U covers Ai /Ai−1 if U +Ai = U +Ai−1 . We say that U has the covering and
avoidance property of L if U either covers or avoids every chief factor of L. We also
say that U is a CAP -subalgebra of L. Then these subalgebras give characterisations
of solvable and supersolvable Lie algebras; details can be found in [9].
There are a number of ways in which CAP -subalgebras arise. For a subalgebra
B of L we denote by [B : L] the set of all subalgebras S of L with B ⊆ S ⊆ L, and
by [B : L]max the set of maximal subalgebras in [B : L]; that is, the set of maximal
subalgebras of L containing B. We define the set I by i ∈ I if and only if Ai /Ai−1
is not a Frattini chief factor of L. For each i ∈ I put
Mi = {M ∈ [Ai−1 , L]max : Ai 6⊆ M }.
Then U is a prefrattini subalgebra of L if
\
U=
Mi for some Mi ∈ Mi .
i∈I

It was shown in [8] that, when L is solvable, this definition does not depend on the
choice of chief series, and that the prefrattini subalgebras of L cover the Frattini
chief factors and avoid the rest; that is, they are CAP -subalgebras of L.
Further examples were given by Stitzinger in [7], where he proved the following
result (see [7] for definitions of the terminology used).
Theorem 4.1. ([7, Theorem 2] Let F be a saturated formation of solvable Lie
algebras, and let U be an F -normaliser of L. Then U covers every F -central chief
factor of L and avoids every F -eccentric chief factor of L.
The chief factor Ai /Ai−1 is called central if [L, Ai ] ⊆ Ai−1 and eccentric otherwise. A particular case of the above result is the following theorem, due to Hallahan
and Overbeck.
Theorem 4.2. ([3, Theorem 1]) Let L be a metanilpotent Lie algebra. Then C is
a Cartan subalgebra of L if and only if it covers the central chief factors and avoids
the eccentric ones.
A subalgebra U of L will be called ideally embedded in L if IL (U ) contains a
Cartan subalgebra of L, where IL (U ) = {x ∈ L : [x, U ] ⊆ U } is the idealiser of U
in L . Clearly, any subalgebra containing a Cartan subalgebra of L and any ideal
of L is ideally embedded in L. Then we have the following extension of Theorem
4.2.

6

DAVID A. TOWERS

Theorem 4.3. Let L be a metanilpotent Lie algebra and let U be ideally embedded
in L. Then U is a CAP -subalgebra of L.
Corollary 4.4. Let L be any solvable Lie algebra and let U be an ideally embedded
subalgebra of L with K = N2 (L) ⊆ U . Then U is a CAP -subalgebra of L.
Another set of examples of CAP -subalgebras, which don’t require L to be solvable, is given by the next result.
Theorem 4.5. Let L be any Lie algebra, let U be a supplement to an ideal B in
L, and suppose that B k ⊆ U for some k ∈ N. Then U is a CAP -subalgebra of L.
We can calculate the dimension of CAP -subalgebras in terms of the chief factors
that they cover.
Lemma 4.6. Let U be a CAP -subalgebra of L, let 0 = A0 < A1 < . . . < An = L
be a chiefPseries for L and let I = {i : 1 ≤ i ≤ n, U covers Ai /Ai−1 }. Then
dim U = i∈I (dim Ai − dim Ai−1 ).
We have the following characterisations of solvable and supersolvable Lie algebras.
Theorem 4.7. Every one-dimensional subalgebra of L is a CAP -subalgebra of L
if and only if L is supersolvable.
Theorem 4.8. Let L be a Lie algebra over any field F . Then L is solvable if and
only if all of its maximal subalgebras are CAP -subalgebras.
Theorem 4.9. Let L be a Lie algebra over a field F which has characteristic
zero, or is algebraically closed field and of characteristic greater than 5. Then L
is solvable if and only if there is a maximal subalgebra M of L such that M is a
solvable CAP -subalgebra of L.
References
[1] D.W. Barnes, ‘First cohomology groups of soluble Lie algebras’, J. Algebra 46 (1977), 292–
297.
[2] R.E. Block, ‘Differentiably simple algebras’, Bull. Amer. Math, Soc. 74 (1968), 433 – 459.
[3] Hallahan, C.B. and Overbeck, J., ‘Cartan subalgebras of meta-nilpotent Lie algebras’,
Math. Zeit. 116 (1970), 215–217.
[4] D.V. Maksimenko, ‘On action of outer derivations on nilpotent ideals of Lie algebras’, Algebra
Discrete Math. 1 (2009), 74–82.
[5] A.P. Petravchuk, ‘On behavior of solvable ideals of Lie algebras under outer derivations’,
Comm. Alg. 38 (2010), 2311–2316.
[6] E. Schenkman, ‘A theory of subinvariant Lie algebras’, Amer. J. Math. 73 (1951), 453–474.
[7] Stitzinger, E.L., ‘Covering avoidance for saturated formations of solvable Lie algebras’, Math.
Zeit. 106 (1972), 237–249.
[8] D.A. Towers, ‘Complements of intervals and prefrattini subalgebras of solvable Lie algebras’,
Proc. Amer. Math. Soc. 141 (2013), 1893–1901.
[9] D.A. Towers, ‘Subalgebras that cover or avoid chief factors of Lie algebras’, Proc. Amer.
Math. Soc. 143 (2015), 3377–3385.
[10] D.A. Towers, ‘Maximal subalgebras and chief factors of Lie algebras’, J. Pure Appl. Algebra
220 (2016), 482–493.
[11] D.A. Towers and Z. Ciloglu, ‘On complemented non-abelian chief factors of a Lie algebra’,
arXiv:1509.07282 .
[12] D.A. Towers, ‘The generalised nilradical of a Lie algebra’, arXiv:1512.01018.
Lancaster University, Department of Mathematics and Statistics, LA1 4YF Lancaster, ENGLAND
E-mail address: d.towers@lancaster.ac.uk

