A Schunck class $\mathfrak{H}$ is determined by the class $\mathfrak{X}$ of primitives contained in $\mathfrak{H}$. We give necessary and sufficient conditions on $\mathfrak{X}$ for $\mathfrak{H}$ to be a saturated formation.

For a Lie algebra $L$ over an algebraically closed field $F$ of nonzero characteristic, every finite dimensional $L$-module can be decomposed into a direct sum of submodules such that all composition factors of a summand have the same character. Using the concept of a character cluster, this result is generalised to fields which are not algebraically closed. Also, it is shown that if the soluble Lie algebra $L$ is in the saturated formation $\mathfrak{F}$ and if $V, W$ are irreducible $L$-modules with the same cluster and the $p$-operation vanishes on the centre of the $p$-envelope used, then $V, W$ are either both $\mathfrak{F}$-central or both $\mathfrak{F}$-eccentric. Clusters are used to generalise the construction of induced modules.

Let 𝔉 be a saturated formation of soluble Leibniz algebras. Let K be an 𝔉-projector and A/B a chief factor of the soluble Leibniz algebra L. It is well known that if A/B is 𝔉-central, then K covers A/B. I prove the converse: if K covers A/B, then A/B is 𝔉-central.

It is well known that all saturated formations of finite soluble groups are locally defined and, except for the trivial formation, have many different local definitions. I show that for Lie and Leibniz algebras over a field of characteristic 0, the formations of all nilpotent algebras and of all soluble algebras are the only locally defined formations and the latter has many local definitions. Over a field of nonzero characteristic, a saturated formation of soluble Lie algebras has at most one local definition, but a locally defined saturated formation of soluble Leibniz algebras other than that of nilpotent algebras has more than one local definition.

A Lie algebra over a field of characteristic 0 splits over its soluble radical and all complements are conjugate. I show that the splitting theorem extends to Leibniz algebras but that the conjugacy theorem does not.

Let L be a finite-dimensional Lie algebra over the field F. The Ado-Iwasawa Theorem asserts the existence of a finite-dimensional L-module which gives a faithful representation ρ of L. Let S be a subnormal subalgebra of L, let be a saturated formation of soluble Lie algebras and suppose that S ∈ . I show that there exists a module V with the extra property that it is -hypercentral as S-module. Further, there exists a module V which has this extra property simultaneously for every such S and , along with the Hochschild extra that ρ(x) is nilpotent for every x ∈ L with ad(x) nilpotent. In particular, if L is supersoluble, then it has a faithful representation by upper triangular matrices.

Following the analogy with group theory, we define the Wielandt subalgebra of a finite-dimensional Lie algebra to be the intersection of the normalisers of the subnormal subalgebras. In a non-zero algebra, this is a non-zero ideal if the ground field has characteristic 0 or if the derived algebra is nilpotent, allowing the definition of the Wielandt series. For a Lie algebra with nilpotent derived algebra, we obtain a bound for the derived length in terms of the Wielandt length and show this bound to be best possible. We also characterise the Lie algebras with nilpotent derived algebra and Wielandt length 2.

Let be a saturated formation of soluble Lie algebras over the field F, and let L ∈ . Let V and W be -hypercentral and -hyperexcentric L-modules respectively. Then V ⊗FW and HomF(V, W) are -hyperexcentric and Hn(L, W) = 0 for all n.

Lie algebras whose finite-dimensional modules decompose into direct sums of modules involving only one type of irreducible are investigated. Some vanishing theorems for the cohomology of some infinite-dimensional Lie algebras are thereby obtained.