A subgroup H is called weakly s-permutably embedded in G if there are a subnormal subgroup T of G and an s-permutably embedded subgroup Hse of G contained in H such that G=HT and H∩T≤Hse. In this note, we study the influence of the weakly s-permutably embedded property of subgroups on the structure of G, and obtain the following theorem. Let ℱ be a saturated formation containing 𝒰, the class of all supersolvable groups, and G a group with E as a normal subgroup of G such that G/E∈ℱ. Suppose that P has a subgroup D such that 1<∣D∣<∣P∣ and all subgroups H of P with order ∣H∣=∣D∣ are s-permutably embedded in G. Also, when p=2and ∣D∣=2 , we suppose that each cyclic subgroup of P of order four is weakly s-permutably embedded in G. Then G∈ℱ.

We present an efficient algorithm for the condensation of homomorphism spaces. This provides an improvement over the known tensor condensation method which is essentially due to a better choice of bases. We explain the theory behind this approach and describe the implementation in detail. Finally, we give timings to compare with previous methods.

We compute the centre of the cyclotomic Hecke algebra attached to G(m, 1, 2) and show that if q ≠ 1, it is equal to the image of the centre of the affine Hecke algebra Haff2. We also briefly discuss what is known about the relation between the centre of an arbitrary cyclotomic Hecke algebra and the centre of the affine Hecke algebra of type A.

c-Sections of maximal subgroups in a finite group and their relation to solvability have been extensively researched in recent years. A fundamental result due to Wang [‘C-normality of groups and its properties’, J. Algebra 180 (1998), 954–965] is that a finite group is solvable if and only if the c-sections of all its maximal subgroups are trivial. In this paper we prove that if for each maximal subgroup of a finite group G, the corresponding c-section order is smaller than the index of the maximal subgroup, then each composition factor of G is either cyclic or isomorphic to the O’Nan sporadic group (the converse does not hold). Furthermore, by a certain ‘refining’ of the latter theorem we obtain an equivalent condition for solvability. Finally, we provide an existence result for large subgroups in the sense of Lev [‘On large subgroups of finite groups’ J. Algebra 152 (1992), 434–438].

Let p be an odd prime and let G be a finite p-group such that xZ(G)⊆xG, for all x∈G∖Z(G), where xG denotes the conjugacy class of x in G. Then G has a noninner automorphism of order p leaving the Frattini subgroup Φ(G)elementwise fixed.

Let G be a finite group. A subset X of G is a set of pairwise noncommuting elements if any two distinct elements of X do not commute. In this paper we determine the maximum size of these subsets in any finite nonabelian metacyclic p-group for an odd prime p.

We consider finite groups in which, for all primes p, the p-part of the length of any conjugacy class is trivial or fixed. We obtain a full description in the case in which for each prime divisor p of the order of the group there exists a noncentral conjugacy class of p-power size.

Lattices of radicals have been extensively studied, for example in the class of associative rings, leading to some interesting results. In this paper we investigate the lattice L of all radicals in the class of all finite groups. We also consider some of its important sublattices. In particular, we prove that the lattice L is closed to being modular, the lattice Lh of all hereditary radicals is a Boolean algebra, and there exists a natural, useful projection of the lattice L onto Lh.

We consider the class of solvable groups in which all subnormal subgroups have subnormal normalizers, a class containing many well-known classes of solvable groups. Groups of this class have Fitting length three at most; some other information connected with the Fitting series is given.

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.

In this paper, solubility of groups factorised as a product of two subgroups which are connected by certain permutability properties is studied.

We consider the wreath product of two permutation groups G≤Sym Γ and H≤Sym Δ as a permutation group acting on the set Π of functions from Δ to Γ. Such groups play an important role in the O’Nan–Scott theory of permutation groups and they also arise as automorphism groups of graph products and codes. Let X be a subgroup of Sym Γ≀Sym Δ. Our main result is that, in a suitable conjugate of X, the subgroup of SymΓ induced by a stabiliser of a coordinate δ∈Δ only depends on the orbit of δ under the induced action of X on Δ. Hence, if X is transitive on Δ, then X can be embedded into the wreath product of the permutation group induced by the stabiliser Xδ on Γ and the permutation group induced by X on Δ. We use this result to describe the case where X is intransitive on Δ and offer an application to error-correcting codes in Hamming graphs.

Suppose G is a p-solvable group, where p is odd. We explore the connection between lifts of Brauer characters of G and certain local objects in G, called vertex pairs. We show that if χ is a lift, then the vertex pairs of χ form a single conjugacy class. We use this to prove a sufficient condition for a given pair to be a vertex pair of a lift and to study the behaviour of lifts with respect to normal subgroups.

This note proves Cellini’s conjecture that, in a Coxeter system (W,S) with reflections T, the T-increasing paths in W are self-avoiding. Here, a T-increasing path is a sequence v,t1v,…,tn⋯t1v in W with ti∈T and t1≺⋯≺tn in a reflection order ⪯ of T.

In this paper we determine the suborbits of Janko’s largest simple group in its conjugation action on each of its two conjugacy classes of involutions. We also provide matrix representatives of these suborbits in an accompanying computer file. These representatives are used to investigate a commuting involution graph for J4.

Supplementary materials are available with this article.

We calculate all decomposition matrices of the cyclotomic Hecke algebras of the rank two exceptional complex reflection groups in characteristic zero. We prove the existence of canonical basic sets in the sense of Geck–Rouquier and show that all modular irreducible representations can be lifted to the ordinary ones.

The triple product property (TPP) for subsets of a finite group was introduced by Henry Cohn and Christopher Umans in 2003 as a tool for the study of the complexity of matrix multiplication. This note records some consequences of the simple observation that if (S1,S2,S3) is a TPP triple in a finite group G, then so is (dS1a,dS2b,dS3c) for any a,b,c,d∈G.

Let si:=∣Si∣ for 1≤i≤3. First we prove the inequality s1(s2+s3−1)≤∣G∣ and show some of its uses. Then we show (something a little more general than) that if G has an abelian subgroup of index v, then s1s2s3 ≤v2 ∣G∣.

We fix a prime p and consider a connected reductive algebraic group G over a perfect field k which is defined over 𝔽p. Let M be a finite-dimensional rational G-module M, a comodule for k[G]. We seek to somewhat unravel the relationship between the restriction of M to the finite Chevalley subgroup G(𝔽p)⊂G and the family of restrictions of M to Frobenius kernels G(r) ⊂G. In particular, we confront the conundrum that if M is the Frobenius twist of a rational G-module N,M=N(1), then the restrictions of M and N to G(𝔽p)are equal whereas the restriction of M to G(1) is trivial. Our analysis enables us to compare support varieties (and the finer non-maximal support varieties) for G(𝔽p)and G(r) of a rational G-module M where the choice of r depends explicitly on M.

Let G be a group. A subset X of G is a set of pairwise noncommuting elements if xy≠yx for any two distinct elements x and y in X. If |X|≥|Y | for any other set of pairwise noncommuting elements Y in G, then X is said to be a maximal subset of pairwise noncommuting elements. In this paper we determine the cardinality of a maximal subset of pairwise noncommuting elements for some p-groups of maximal class. Specifically, we determine this cardinality for all 2 -groups and 3 -groups of maximal class.

Suppose that G is a finite group and H is a subgroup of G. We call H a weakly s-supplementally embedded subgroup of G if there exist a subgroup T of G and an s-quasinormally embedded subgroup Hse of G contained in H such that G = HT and H ∩ T ≤ Hse. We investigate the influence of the weakly s-supplementally embedded property of some minimal subgroups on the structure of finite groups. As an application of our results, some earlier results are generalized.