Let F be an algebraically closed field, G be a finite group and H be a subgroup of G. We answer several questions about the centralizer algebra FGH. Among these, we provide examples to show that

• • the centre Z(FGH) can be larger than the F-algebra generated by Z(FG) and Z(FH),

• • FGH can have primitive central idempotents that are not of the form ef, where e and f are primitive central idempotents of FG and FH respectively,

• • it is not always true that the simple FGH-modules are the same as the non-zero FGH-modules HomFH(S, T ↓ H), where S and T are simple FH and FG-modules, respectively.

We define sparse saturated fusion systems and show that, for odd primes, sparse systems are constrained. This simplifies the proof of the Glauberman–Thompson p-Nilpotency Theorem for fusion systems and a related theorem of Stellmacher. We then define a more restrictive class of saturated fusion systems, called extremely sparse systems, that are constrained for all primes.

We prove for a large family of rings R that their λ-pure global dimension is greater than one for each infinite regular cardinal λ. This answers in the negative a problem posed by Rosický. The derived categories of such rings then do not satisfy, for any λ, the Adams λ-representability for morphisms. Equivalently, they are examples of well-generated triangulated categories whose λ-abelianization in the sense of Neeman is not a full functor for any λ. In particular, we show that given a compactly generated triangulated category, one may not be able to find a Rosický functor among the λ-abelianization functors.

Consider the Mackey functor that assigns to each finite group G the Green ring of finitely generated kG-modules, where k is a field of characteristic p > 0. Thévenaz foresaw in 1988 that the class of primordial groups for this functor is the family of k-Dress groups. In this paper we prove that this is true for the subfunctor defined by the Green ring of finitely generated kG-modules of trivial source.

Many problems about local analysis in a finite group G reduce to a special case in which G has a large normal p-subgroup satisfying several restrictions. In 1983, R. Niles and G. Glauberman showed that every finite p-group S of nilpotence class at least 4 must have two characteristic subgroups S1 and S2 such that, whenever S is a Sylow p-subgroup of a group G as above, S1 or S2 is normal in G. In this paper, we prove a similar theorem with a more explicit choice of S1 and S2.

We study the space of commuting elements in the central product Gm,p of m copies of the special unitary group SU(p), where p is a prime number. In particular, a computation for the number of path-connected components of these spaces is given and the geometry of the moduli space Rep(ℤn, Gm,p) of isomorphism classes of flat connections on principal Gm,p-bundles over the n-torus is completely described for all values of n, m and p.

We give continued fraction algorithms for each conjugacy class of triangle Fuchsian group of signature $(3, n, \infty )$, with $n\geq 4$. In particular, we give an explicit form of the group that is a subgroup of the Hilbert modular group of its trace field and provide an interval map that is piecewise linear fractional, given in terms of group elements. Using natural extensions, we find an ergodic invariant measure for the interval map. We also study Diophantine properties of approximation in terms of the continued fractions and show that these continued fractions are appropriate to obtain transcendence results.

For an arbitrary set $X$ (finite or infinite), denote by $\mathcal {I}(X)$ the symmetric inverse semigroup of partial injective transformations on $X$. For $ \alpha \in \mathcal {I}(X)$, let $C(\alpha )=\{ \beta \in \mathcal {I}(X): \alpha \beta = \beta \alpha \}$ be the centraliser of $ \alpha $ in $\mathcal {I}(X)$. For an arbitrary $ \alpha \in \mathcal {I}(X)$, we characterise the transformations $ \beta \in \mathcal {I}(X)$ that belong to $C( \alpha )$, describe the regular elements of $C(\alpha )$, and establish when $C( \alpha )$ is an inverse semigroup and when it is a completely regular semigroup. In the case where $\operatorname {dom}( \alpha )=X$, we determine the structure of $C(\alpha )$in terms of Green’s relations.

In this paper we prove that every nonabelian finite 2-group with a cyclic commutator subgroup has a noninner automorphism of order two fixing either Φ(G) or Z(G) elementwise. This, together with a result of Peter Schmid on regular p-groups, extends our result to the class of nonabelian finite p-groups with a cyclic commutator subgroup.

Let G be a nonabelian finite p-group of order pm. A long-standing conjecture asserts that G admits a noninner automorphism of order p. In this paper we prove the validity of the conjecture if exp (G)=pm−2. We also show that if G is a finite p-group of maximal class, then G has at least p(p−1) noninner automorphisms of order p which fix Φ(G) elementwise.

The unsolved problem of whether there exists a positive constant $c$ such that the number $k(G)$ of conjugacy classes in any finite group $G$ satisfies $k(G) \geq c \log _{2}|G|$ has attracted attention for many years. Deriving bounds on $k(G)$ from (that is, reducing the problem to) lower bounds on $k(N)$ and $k(G/N)$, $N\trianglelefteq G$, plays a critical role. Recently Keller proved the best lower bound known for solvable groups:

\[ k(G)\gt c_{0} \frac {\log _{2}|G|} {\log _{2} \log _{2} |G|}\quad (|G|\geq 4) \]

$k(G/N) \geq \beta [G : N]^{\alpha }$

$k(G/N) \geq \beta (\log [G : N])^{t}$

$G$

$N$

$k(N)$

$k(G)$

Let G be a finite p-solvable group. We describe the structure of the p-complements of G when the set of p-regular conjugacy classes has exactly three class sizes. For instance, when the set of p-regular class sizes of G is {1, pa, pam} or {1, m, pam} with (m, p) = 1, then we show that m = qb for some prime q and the structure of the p-complements of G is determined.

We consider classifying spaces of a family of p-groups and prove that mod p cohomology enriched with Bockstein spectral sequences determines their homotopy type among p-completed CW-complexes.

The homomorphic image of a congruence is always a tolerance (relation) but, within a given variety, a tolerance is not necessarily obtained this way. By a Maltsev-like condition, we characterise varieties whose tolerances are homomorphic images of their congruences (TImC). As corollaries, we prove that the variety of semilattices, all varieties of lattices, and all varieties of unary algebras have TImC. We show that a congruence n-permutable variety has TImC if and only if it is congruence permutable, and construct an idempotent variety with a majority term that fails TImC.

Let 𝕂 be a field, char(𝕂)≠2, and G a subgroup of GL(n,𝕂). Suppose g↦g♯ is a 𝕂-linear antiautomorphism of G, and then define G1={g∈G∣g♯g=I}. For C being the centraliser 𝒞G (G1) , or any subgroup of the centre 𝒵(G) , define G(C) ={g∈G∣g♯g∈C}. We show that G(C) is a subgroup of G, and study its structure. When C=𝒞G (G1) , we have that G(C) =𝒩G (G1) , the normaliser of G1 in G. Suppose 𝕂 is algebraically closed, 𝒞G (G1)consists of scalar matrices and G1 is a connected subgroup of an affine group G. Under the latter assumptions, 𝒩G (G1)is a self-normalising subgroup of G. This holds for a number of interesting pairs (G,G1); in particular, for those that we call parabolic pairs. As well, for a certain specific setting we generalise a standard result about centres of Borel subgroups.

In a recent article [K. H. Hofmann and F. G. Russo, ‘The probability that $x$ and $y$ commute in a compact group’, Math. Proc. Cambridge Phil Soc., to appear] we calculated for a compact group $G$ the probability $d(G)$ that two randomly selected elements $x, y\in G$ satisfy $xy=yx$, and we discussed the remarkable consequences on the structure of $G$ which follow from the assumption that $d(G)$ is positive. In this note we consider two natural numbers $m$ and $n$ and the probability $d_{m,n}(G)$ that for two randomly selected elements $x, y\in G$ the relation $x^my^n=y^nx^m$ holds. The situation is more complicated whenever $n,m\gt 1$. If $G$ is a compact Lie group and if its identity component $G_0$ is abelian, then it follows readily that $d_{m,n}(G)$ is positive. We show here that the following condition suffices for the converse to hold in an arbitrary compact group $G$: for any nonopen closed subgroup $H$ of $G$, the sets $\{g\in G: g^k\in H\}$ for both $k=m$ and $k=n$ have Haar measure $0$. Indeed, we show that if a compact group $G$ satisfies this condition and if $d_{m,n}(G)\gt 0$, then the identity component of $G$is abelian.

Let $\Gamma $ be a $G$-vertex-transitive graph and let $(u,v)$ be an arc of $\Gamma $. It is known that if the local action $G_v^{\Gamma (v)}$ (the permutation group induced by $G_v$ on $\Gamma (v)$) is permutation isomorphic to the dihedral group of degree four, then either $|G_{uv}|$ is ‘small’ with respect to the order of $\Gamma $ or $\Gamma $is one of a family of well-understood graphs. In this paper, we generalise this result to a wider class of local actions.

We describe an effective algorithm to compute a set of representatives for the conjugacy classes of Hall subgroups of a finite permutation or matrix group. Our algorithm uses the general approach of the so-called ‘trivial Fitting model’.

We determine the 2-modular and 3-modular character tables of the sporadic simple Harada–Norton group and its automorphism group.

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/2and 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.