A group $G=AB$ is the weakly mutually permutable product of the subgroups A and B, if A permutes with every subgroup of B containing $A \cap B$ and B permutes with every subgroup of A containing $A \cap B$. Weakly mutually permutable products were introduced by the first, second and fourth authors [‘Generalised mutually permutable products and saturated formations’, J. Algebra 595 (2022), 434–443] who showed that if $G'$ is nilpotent, A permutes with every Sylow subgroup of B and B permutes with every Sylow subgroup of A, then $G^{\mathfrak {F}}=A^{\mathfrak {F}}B^{\mathfrak {F}} $, where $ \mathfrak {F} $ is a saturated formation containing $ \mathfrak {U} $, the class of supersoluble groups. In this article we prove results on weakly mutually permutable products concerning $ \mathfrak {F} $-residuals, $ \mathfrak {F} $-projectors and $\mathfrak {F}$-normalisers. As an application of some of our arguments, we unify some results on weakly mutually $sn$-products.

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.

Two subgroups A and B of a group G are said to be totally completely conditionally permutable (tcc-permutable) in G if X permutes with Yg for some g ∊ 〈X, Y〉, for all X ≤ A and Y ≤ B. We study the belonging of a finite product of tcc-permutable subgroups to a saturated formation of soluble groups containing all finite supersoluble groups.

The concepts of d- and nd-Frattini chief factors of a finite group are introduced. Their ingrainment into that of the extended Frattini dual subgroup becomes the natural dual to Frattini and supplemented chief factors. Not only does a dual of the strengthened form of the Jordan–Hölder theorem arise, but also the $p$-nilpotent radical becomes the intersection of the centralizers of the nd-Frattini chief factors. As a result, a class $\mathfrak{F}$ of groups is a full integrated local formation $\mathrm{LF}(f)$ if and only if each nd-Frattini chief factor in $G\in\mathfrak{F}$ is $f$-central.

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.