In Cossey and Stonehewer [‘On the rarity of quasinormal subgroups’, Rend. Semin. Mat. Univ. Padova125 (2011), 81–105] it is shown that for any odd prime p and integer n≥3, there is a finite p-group G of exponent pn containing a quasinormal subgroup H of exponent pn−1 such that the nontrivial quasinormal subgroups of G lying in H can have exponent only p, pn−1 or, when n≥4 , pn−2. Thus large sections of these groups are devoid of quasinormal subgroups. The authors ask in that paper if there is a nontrivial subgroup-theoretic property 𝔛 of finite p-groups such that (i) 𝔛 is invariant under subgroup lattice isomorphisms and (ii) every chain of 𝔛-subgroups of a finite p-group can be refined to a composition series of 𝔛-subgroups. Failing this, can such a chain always be refined to a series of 𝔛-subgroups in which the intervals between adjacent terms are restricted in some significant way? The present work embarks upon this quest.

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.

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

Let G be a finite group and let H≤G. We refer to |H||CG(H)| as the Chermak–Delgado measure ofH with respect to G. Originally described by Chermak and Delgado, the collection of all subgroups of G with maximal Chermak–Delgado measure, denoted 𝒞𝒟(G), is a sublattice of the lattice of all subgroups of G. In this paper we note that if H∈𝒞𝒟(G) then H is subnormal in G and prove that if K is a second finite group then 𝒞𝒟(G×K)=𝒞𝒟(G)×𝒞𝒟(K) . We additionally describe the 𝒞𝒟(G≀Cp) where G has a nontrivial centre and p is an odd prime and determine conditions for a wreath product to be a member of its own Chermak–Delgado lattice. We also examine the behaviour of centrally large subgroups, a subset of the Chermak–Delgado lattice.

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=2 and ∣D∣=2 , we suppose that each cyclic subgroup of P of order four is weakly s-permutably embedded in G. Then G∈ℱ.

Let G be a finite d-dimensional classical group and p a prime divisor of ∣G∣ distinct from the characteristic of the natural representation. We consider a subfamily of p-singular elements in G (elements with order divisible by p) that leave invariant a subspace X of the natural G-module of dimension greater than d/2 and either act irreducibly on X or preserve a particular decomposition of X into two equal-dimensional irreducible subspaces. We proved in a recent paper that the proportion in G of these so-called p-abundant elements is at least an absolute constant multiple of the best currently known lower bound for the proportion of all p-singular elements. From a computational point of view, the p-abundant elements generalise another class of p-singular elements which underpin recognition algorithms for finite classical groups, and it is our hope that p-abundant elements might lead to improved versions of these algorithms. As a step towards this, here we present efficient algorithms to test whether a given element is p-abundant, both for a known prime p and for the case where p is not known a priori.

Let 𝒯n(F) denote the monoid of all upper triangular n×n matrices over a finite field F. It has been shown by Volkov and Goldberg that 𝒯n(F) is nonfinitely based if ∣F∣>2 and n≥4, but the cases when ∣F∣>2 and n=2,3 or when ∣F∣=2 have remained open. In this paper, it is shown that the monoid 𝒯2 (F) is finitely based when ∣F∣=2 , and a finite identity basis for it is given. Moreover, all maximal subvarieties of the variety generated by 𝒯2 (F) with ∣F∣=2 are determined.

A finite measure supported by the unit sphere 𝕊n−1 in ℝn and absolutely continuous with respect to the natural measure on 𝕊n−1 is entirely determined by the restriction of its Fourier transform to a sphere of radius r if and only 2πr is not a zero of any Bessel function Jd+(n−2)/2 with d a nonnegative integer.

The existence of solutions to a homogeneous Dirichlet problem for a p-Laplacian differential inclusion is studied via a fixed-point type theorem concerning operator inclusions in Banach spaces. Some meaningful special cases are then worked out.

In this paper we consider some notions of amenability such as ideal amenability, n-ideal amenability and approximate n-ideal amenability. The first two were introduced and studied by Gordji, Yazdanpanah and Memarbashi. We investigate some properties of certain Banach algebras in each of these classes. Results are also given for Segal algebras on locally compact groups.

Let X be any set and P(X) the set of all partial transformations defined on X, that is, all functions α:A→B where A,B are subsets of X. Then P(X) is a semigroup under composition. Let Y be a subset of X. Recently, Fernandes and Sanwong defined PT(X,Y )={α∈P(X):Xα⊆Y } and defined I(X,Y ) to be the set of all injective transformations in PT(X,Y ) . Hence PT(X,Y ) and I(X,Y ) are subsemigroups of P(X) . In this paper, we study properties of the so-called natural partial order ≤ on PT(X,Y ) and I(X,Y ) in terms of domains, images and kernels, compare ≤ with the subset order, characterise the meet and join of these two orders, then find elements of PT(X,Y ) and I(X,Y ) which are compatible. Also, the minimal and maximal elements are described.

Let G be a locally compact group and H be a compact subgroup of G. Using a general criterion established by Neufang [‘A unified approach to the topological centre problem for certain Banach algebras arising in abstract harmonic analysis’, Arch. Math.82(2) (2004), 164–171], we show that the Banach algebra L1(G/H) is strongly Arens irregular for a large class of locally compact groups.

In this paper we extend some estimates of the right-hand side of a Hermite–Hadamard type inequality for functions whose derivatives’ absolute values are P-convex. Applications to the trapezoidal formula and special means are introduced.

It is shown that a minimal surface in ℍ2×ℝ is invariant under a one-parameter group of screw motions if and only if it lies in the associate family of helicoids. It is also shown that the conjugate surfaces of the parabolic and hyperbolic helicoids in ℍ2×ℝ are certain types of catenoids.

We construct linear maps from the spaces of quasimodular forms for a discrete subgroup Γ of SL(2,ℝ) to some cohomology spaces of the group Γ and prove that these maps are equivariant with respect to appropriate Hecke operator actions. The results are obtained by using the fact that there is a correspondence between quasimodular forms and certain finite sequences of modular forms.

For n≥5, let T′n denote the unique tree on n vertices with Δ(T′n)=n−2, and let T*n=(V,E) be the tree on n vertices with V ={v0,v1,…,vn−1} and E={v0v1,…,v0vn−3,vn−3vn−2,vn−2vn−1}. In this paper, we evaluate the Ramsey numbers r(Gm,T′n) and r(Gm,T*n) , where Gm is a connected graph of order m. As examples, for n≥8 we have r(T′n,T*n)=r(T*n,T*n)=2n−5 , for n>m≥7 we have r(K1,m−1,T*n)=m+n−3 or m+n−4 according to whether m−1∣n−3 or m−1∤n−3 , and for m≥7 and n≥(m−3)2 +2 we have r(T*m,T*n)=m+n−3 or m+n−4 according to whether m−1∣n−3 or m−1∤n−3 .