We find an upper bound for the number of groups of order n up to isomorphism in the variety ${\mathfrak {S}}={\mathfrak {A}_p}{\mathfrak {A}_q}{\mathfrak {A}_r}$, where p, q and r are distinct primes. We also find a bound on the orders and on the number of conjugacy classes of subgroups that are maximal amongst the subgroups of the general linear group that are also in the variety $\mathfrak {A}_q\mathfrak {A}_r$.

The class of all monolithic (that is, subdirectly irreducible) groups belonging to a variety generated by a finite nilpotent group can be axiomatised by a finite set of elementary sentences.

A group G satisfies the second Engel condition [X,Y,Y ]=1 if and only if x commutes with xy, for all x,y∈G. This paper considers the generalization of this condition to groups G such that, for fixed positive integers r and s, xr commutes with (xs)y for all x,y∈G. Various general bounds are proved for the structure of groups in the corresponding variety, defined by the law [Xr,(Xs)Y]=1.

In order to classify solvable groups Philip Hall introduced in 1939 the concept of isoclinism. Subsequently he defined a more general notion called isologism. This is so to speak isoclinism with respect to a certain variety of groups. The equivalence relation isologism partitions the class of all groups into families. The present paper is concerned with the internal structure of these families.