All groups considered in this paper are finite. A subgroup $H$ of a group $G$ is called a primitive subgroup if it is a proper subgroup in the intersection of all subgroups of $G$ containing $H$ as a proper subgroup. He et al. [‘A note on primitive subgroups of finite groups’, Commun. Korean Math. Soc. 28(1) (2013), 55–62] proved that every primitive subgroup of $G$ has index a power of a prime if and only if $G/ \Phi (G)$ is a solvable PST-group. Let $\mathfrak{X}$ denote the class of groups $G$ all of whose primitive subgroups have prime power index. It is established here that a group $G$ is a solvable PST-group if and only if every subgroup of $G$ is an $\mathfrak{X}$-group.

The primitive finite permutation groups containing a cycle are classified. Of these, only the alternating and symmetric groups contain a cycle fixing at least three points. This removes a primality condition from a classical theorem of Jordan. Some applications to monodromy groups are given, and the contributions of Jordan and Marggraff to this topic are briefly discussed.

Let $G$ be a finite group. We show that the order of the subgroup generated by coprime ${\gamma }_{k} $-commutators (respectively, ${\delta }_{k} $-commutators) is bounded in terms of the size of the set of coprime ${\gamma }_{k} $-commutators (respectively, ${\delta }_{k} $-commutators). This is in parallel with the classical theorem due to Turner-Smith that the words ${\gamma }_{k} $ and ${\delta }_{k} $ are concise.

We deal with aspects of direct and inverse problems in parameterized Picard–Vessiot (PPV) theory. It is known that, for certain fields, a linear differential algebraic group (LDAG) $G$ is a PPV Galois group over these fields if and only if $G$ contains a Kolchin-dense finitely generated group. We show that, for a class of LDAGs $G$, including unipotent groups, $G$ is such a group if and only if it has differential type $0$. We give a procedure to determine if a parameterized linear differential equation has a PPV Galois group in this class and show how one can calculate the PPV Galois group of a parameterized linear differential equation if its Galois group has differential type $0$.

We show that Brin's generalizations 2V and 3V of the Thompson–Higman group V are of type FP∞. Our methods also give a new proof that both groups are finitely presented.

We prove that if a finite group G acts smoothly on a manifold M such that all the isotropy subgroups are abelian groups with rank ≤ k, then G acts freely and smoothly on M × × … × for some positive integers n1, …, nk. We construct these actions using a recursive method, introduced in an earlier paper, that involves abstract fusion systems on finite groups. As another application of this method, we prove that every finite solvable group acts freely and smoothly on some product of spheres, with trivial action on homology.

Let Ω be a finite set and let G be a permutation group acting on it. A subset H of G is called t-intersecting if any two elements in H agree on at least t points. Let SDn and SBn be the classical Coxeter group of type Dn and type Bn, respectively. We show that the maximum-sized (2t)-intersecting families in SDn and SBn are precisely cosets of stabilizers of t points in [n] ≔ {1, 2, …, n}, provided n is sufficiently large depending on t.

For a semigroup $S$, let ${S}^{1} $ be the semigroup obtained from $S$ by adding a new symbol 1 as its identity if $S$ has no identity; otherwise let ${S}^{1} = S$. Mitsch defined the natural partial order $\leqslant $ on a semigroup $S$ as follows: for $a, b\in S$, $a\leqslant b$ if and only if $a= xb= by$ and $a= ay$ for some $x, y\in {S}^{1} $. In this paper, we characterise the natural partial order on some transformation semigroups. In these partially ordered sets, we determine the compatibility of their elements, and find all minimal and maximal elements.

The objective of this paper is to find some sufficient conditions to ensure the conjugacy of supplements of a normal subgroup of a soluble group.

We give an explicit construction for a $K(A, n)$ simplicial group and explain its topological interpretation.

A long-standing conjecture asserts that every finite nonabelian $p$-group has a noninner automorphism of order $p$. In this paper the verification of the conjecture is reduced to the case of $p$-groups $G$ satisfying ${ Z}_{2}^{\star } (G)\leq {C}_{G} ({ Z}_{2}^{\star } (G))= \Phi (G)$, where ${ Z}_{2}^{\star } (G)$ is the preimage of ${\Omega }_{1} ({Z}_{2} (G)/ Z(G))$ in $G$. This improves Deaconescu and Silberberg’s reduction of the conjecture: if ${C}_{G} (Z(\Phi (G)))\not = \Phi (G)$, then $G$ has a noninner automorphism of order $p$ leaving the Frattini subgroup of $G$ elementwise fixed [‘Noninner automorphisms of order $p$ of finite $p$-groups’, J. Algebra 250 (2002), 283–287].

We consider several familiar varieties of completely regular semigroups such as groups and completely simple semigroups. For each of them, we characterize their members in terms of absence of certain kinds of subsemigroups, as well as absence of certain divisors, and in terms of a homomorphism of a concrete semigroup into the semigroup itself. For each of these varieties $ \mathcal{V} $ we determine minimal non-$ \mathcal{V} $ varieties, provide a basis for their identities, determine their join and give a basis for its identities. Most of this is complete; one of the items missing is a basis for identities for minimal nonlocal orthogroups. Three tables and a figure illustrate the results obtained.

We show that complete uniform visibility manifolds of finite volume with sectional curvature $- 1\leq K\leq 0$ have positive simplicial volume. This implies that their minimal volume is nonzero.

The main result of this paper states that if $k$ is a field of characteristic $p\gt 0$ and $A/ k$ is a central simple algebra of index $d= {p}^{n} $ and exponent ${p}^{e} $, then $A$ is split by a purely inseparable extension of $k$ of the form $k( \sqrt[{p}^{e} ]{{a}_{i} }, i= 1, \ldots , d- 1)$. Combining this result with a theorem of Albert (for which we include a new proof), we get that any such algebra is Brauer equivalent to the tensor product of at most $d- 1$ cyclic algebras of degree ${p}^{e} $. This gives a drastic improvement upon previously known upper bounds.

We show that a finite loop, whose inner mapping group is the direct product of a dihedral $2$-group and a nonabelian group of order $pq$ ($p$ and $q$ are distinct odd prime numbers), is solvable.

Let $G$ denote a finite group and $\mathrm{cd} (G)$ the set of irreducible character degrees of $G$. Huppert conjectured that if $H$ is a finite nonabelian simple group such that $\mathrm{cd} (G)= \mathrm{cd} (H)$, then $G\cong H\times A$, where $A$ is an abelian group. He verified the conjecture for many of the sporadic simple groups and we complete its verification for the remainder.

We study branching multiplicity spaces of complex classical groups in terms of ${\mathrm{GL} }_{2} $ representations. In particular, we show how combinatorics of ${\mathrm{GL} }_{2} $ representations are intertwined to make branching rules under the restriction of ${\mathrm{GL} }_{n} $ to ${\mathrm{GL} }_{n- 2} $. We also discuss analogous results for the symplectic and orthogonal groups.

Paterson showed how to construct an étale groupoid from an inverse semigroup using ideas from functional analysis. This construction was later simplified by Lenz. We show that Lenz’s construction can itself be further simplified by using filters: the topological groupoid associated with an inverse semigroup is precisely a groupoid of filters. In addition, idempotent filters are closed inverse subsemigroups and so determine transitive representations by means of partial bijections. This connection between filters and representations by partial bijections is exploited to show how linear representations of inverse semigroups can be constructed from the groups occurring in the associated topological groupoid.

We present, given an odd integer d, a decomposition of the multiset of bar lengths of a bar partition λ as the union of two multisets, one consisting of the bar lengths in its d-core partition cd(λ) and the other consisting of modified bar lengths in its d-quotient partition. In particular, we obtain that the multiset of bar lengths in cd(λ) is a sub-multiset of the multiset of bar lengths in λ. Also, we obtain a relative bar formula for the degrees of spin characters of the Schur extensions of . The proof involves a recent similar result for partitions, proved by Bessenrodt and the authors.

This is a report on recent work of Chałupnik and Touzé. We explain the Koszul duality for the category of strict polynomial functors and make explicit the underlying monoidal structure which seems to be of independent interest. Then we connect this to Ringel duality for Schur algebras and describe Serre duality for strict polynomial functors.