Let $G$ be a finite permutation group of degree $n$ and let ${\rm ifix}(G)$ be the involution fixity of $G$, which is the maximum number of fixed points of an involution. In this paper, we study the involution fixity of almost simple primitive groups whose socle $T$ is an alternating or sporadic group; our main result classifies the groups of this form with ${\rm ifix}(T) \leqslant n^{4/9}$. This builds on earlier work of Burness and Thomas, who studied the case where $T$ is an exceptional group of Lie type, and it strengthens the bound ${\rm ifix}(T) > n^{1/6}$ (with prescribed exceptions), which was proved by Liebeck and Shalev in 2015. A similar result for classical groups will be established in a sequel.

The problem of finding the number of ordered commuting tuples of elements in a finite group is equivalent to finding the size of the solution set of the system of equations determined by the commutator relations that impose commutativity among any pair of elements from an ordered tuple. We consider this type of systems for the case of ordered triples and express the size of the solution set in terms of the irreducible characters of the group. The obtained formulas are natural extensions of Frobenius’ character formula that calculates the number of ways a group element is a commutator of an ordered pair of elements in a finite group. We discuss how our formulas can be used to study the probability distributions afforded by these systems of equations, and we show explicit calculations for dihedral groups.

For a character $\chi $ of a finite group G, the number $\chi ^c(1)={[G:{\textrm {ker}}\chi ]}/{\chi (1)}$ is called the co-degree of $\chi $ . A finite group G is an ${\textrm {NDAC}} $ -group (no divisibility among co-degrees) when $\chi ^c(1) \nmid \phi ^c(1)$ for all irreducible characters $\chi $ and $\phi $ of G with $1< \chi ^c(1) < \phi ^c(1)$ . We study finite groups admitting an irreducible character whose co-degree is a given prime p and finite nonsolvable ${\textrm {NDAC}} $ -groups. Then we show that the finite simple groups $^2B_2(2^{2f+1})$ , where $f\geq 1$ , $\mbox {PSL}_3(4)$ , ${\textrm {Alt}}_7$ and $J_1$ are determined uniquely by the set of their irreducible character co-degrees.

Immanants are functions on square matrices generalizing the determinant and permanent. Kazhdan–Lusztig immanants, which are indexed by permutations, involve $q=1$ specializations of Type A Kazhdan–Lusztig polynomials, and were defined by Rhoades and Skandera (2006, Journal of Algebra 304, 793–811). Using results of Haiman (1993, Journal of the American Mathematical Society 6, 569–595) and Stembridge (1991, Bulletin of the London Mathematical Society 23, 422–428), Rhoades and Skandera showed that Kazhdan–Lusztig immanants are nonnegative on matrices whose minors are nonnegative. We investigate which Kazhdan–Lusztig immanants are positive on k-positive matrices (matrices whose minors of size $k \times k$ and smaller are positive). The Kazhdan–Lusztig immanant indexed by v is positive on k-positive matrices if v avoids 1324 and 2143 and for all noninversions $i< j$ of v, either $j-i \leq k$ or $v_j-v_i \leq k$ . Our main tool is Lewis Carroll’s identity.

We show that if w is a multilinear commutator word and G a finite group in which every metanilpotent subgroup generated by w-values is of rank at most r, then the rank of the verbal subgroup $w(G)$ is bounded in terms of r and w only. In the case where G is soluble, we obtain a better result: if G is a finite soluble group in which every nilpotent subgroup generated by w-values is of rank at most r, then the rank of $w(G)$ is at most $r+1$ .

We present a sufficient condition for the $kG$-Scott module with vertex $P$ to remain indecomposable under the Brauer construction for any subgroup $Q$ of $P$ as $k[Q\,C_G(Q)]$-module, where $k$ is a field of characteristic $2$, and $P$ is a semidihedral $2$-subgroup of a finite group $G$. This generalizes results for the cases where $P$ is abelian or dihedral. The Brauer indecomposability is defined by R. Kessar, N. Kunugi and N. Mitsuhashi. The motivation of this paper is the fact that the Brauer indecomposability of a $p$-permutation bimodule (where $p$ is a prime) is one of the key steps in order to obtain a splendid stable equivalence of Morita type by making use of the gluing method due to Broué, Rickard, Linckelmann and Rouquier, that then can possibly be lifted to a splendid derived (splendid Morita) equivalence.

We prove that the invariably generating graph of a finite group can have an arbitrarily large number of connected components with at least two vertices.

A rigid automorphism of a linking system is an automorphism that restricts to the identity on the Sylow subgroup. A rigid inner automorphism is conjugation by an element in the center of the Sylow subgroup. At odd primes, it is known that each rigid automorphism of a centric linking system is inner. We prove that the group of rigid outer automorphisms of a linking system at the prime $2$ is elementary abelian and that it splits over the subgroup of rigid inner automorphisms. In a second result, we show that if an automorphism of a finite group G restricts to the identity on the centric linking system for G, then it is of $p'$-order modulo the group of inner automorphisms, provided G has no nontrivial normal $p'$-subgroups. We present two applications of this last result, one to tame fusion systems.

In this note, we compute the centers of the categories of tilting modules for G = SL2 in prime characteristic, of tilting modules for the corresponding quantum group at a complex root of unity, and of projective GgT-modules when g = 1, 2.

We study the fields of values of the irreducible characters of a finite group of degree not divisible by a prime p. In the case where $p=2$, we fully characterise these fields. In order to accomplish this, we generalise the main result of [ILNT] to higher irrationalities. We do the same for odd primes, except that in this case the analogous results hold modulo a simple-to-state conjecture on the character values of quasi-simple groups.

Let G be a finite group, let ${\mathrm{Irr}}(G)$ be the set of all irreducible complex characters of G and let $\chi \in {\mathrm{Irr}}(G)$ . Define the codegrees, ${\mathrm{cod}}(\chi ) = |G: {\mathrm{ker}}\chi |/\chi (1)$ and ${\mathrm{cod}}(G) = \{{\mathrm{cod}}(\chi ) \mid \chi \in {\mathrm{Irr}}(G)\} $ . We show that the simple group ${\mathrm{PSL}}(2,q)$ , for a prime power $q>3$ , is uniquely determined by the set of its codegrees.

We determine the smallest irreducible Brauer characters for finite quasi-simple orthogonal type groups in non-defining characteristic. Under some restrictions on the characteristic we also prove a gap result showing that the next larger irreducible Brauer characters have a degree roughly the square of those of the smallest non-trivial characters.

Let G be a finite group and $\psi (G) = \sum _{g \in G} o(g)$ , where $o(g)$ denotes the order of $g \in G$ . There are many results on the influence of this function on the structure of a finite group G.

In this paper, as the main result, we answer a conjecture of Tărnăuceanu. In fact, we prove that if G is a group of order n and $\psi (G)>31\psi (C_n)/77$ , where $C_n$ is the cyclic group of order n, then G is supersolvable. Also, we prove that if G is not a supersolvable group of order n and $\psi (G) = 31\psi (C_n)/77$ , then $G\cong A_4 \times C_m$ , where $(m, 6)=1$ .

Finally, Herzog et al. in (2018, J. Algebra, 511, 215–226) posed the following conjecture: If $H\leq G$ , then $\psi (G) \unicode[stix]{x02A7D} \psi (H) |G:H|^2$ . By an example, we show that this conjecture is not satisfied in general.

A key ingredient in the Taylor–Wiles proof of Fermat’s last theorem is the classical Ihara lemma, which is used to raise the modularity property between some congruent Galois representations. In their work on Sato and Tate, Clozel, Harris and Taylor proposed a generalisation of the Ihara lemma in higher dimension for some similitude groups. The main aim of this paper is to prove some new instances of this generalised Ihara lemma by considering some particular non-pseudo-Eisenstein maximal ideals of unramified Hecke algebras. As a consequence, we prove a level-raising statement.

In this note we show that every element of a simple Suzuki group $^2B_2(q)$ is a commutator of elements of coprime orders.

Let G be a finite group and $\chi $ be a character of G. The codegree of $\chi $ is ${{\operatorname{codeg}}} (\chi ) ={|G: \ker \chi |}/{\chi (1)}$ . We write $\pi (G)$ for the set of prime divisors of $|G|$ , $\pi ({{\operatorname{codeg}}} (\chi ))$ for the set of prime divisors of ${{\operatorname{codeg}}} (\chi )$ and $\sigma ({{\operatorname{codeg}}} (G))= \max \{|\pi ({{\operatorname{codeg}}} (\chi ))| : \chi \in {\textrm {Irr}}(G)\}$ . We show that $|\pi (G)| \leq ({23}/{3}) \sigma ({{\operatorname{codeg}}} (G))$ . This improves the main result of Yang and Qian [‘The analog of Huppert’s conjecture on character codegrees’, J. Algebra478 (2017), 215–219].

A long standing problem, which has its roots in low-dimensional homotopy theory, is to classify all finite groups G for which the integral group ring ℤG has stably free cancellation (SFC). We extend results of R. G. Swan by giving a condition for SFC and use this to show that ℤG has SFC provided at most one copy of the quaternions ℍ occurs in the Wedderburn decomposition of the real group ring ℝG. This generalises the Eichler condition in the case of integral group rings.

For a finite group G, let $\Delta (G)$ denote the character graph built on the set of degrees of the irreducible complex characters of G. A perfect graph is a graph $\Gamma $ in which the chromatic number of every induced subgraph $\Delta $ of $\Gamma $ equals the clique number of $\Delta $ . We show that the character graph $\Delta (G)$ of a finite group G is always a perfect graph. We also prove that the chromatic number of the complement of $\Delta (G)$ is at most three.

We establish the inductive blockwise Alperin weight condition for simple groups of Lie type $\mathsf C$ and the bad prime $2$ . As a main step, we derive a labelling set for the irreducible $2$ -Brauer characters of the finite symplectic groups $\operatorname {Sp}_{2n}(q)$ (with odd q), together with the action of automorphisms. As a further important ingredient, we prove a Jordan decomposition for weights.