Necessary and sufficient conditions for the existence of an orthogonal $\ast$-basis of symmetry classes of tensors associated to nonabelian groups of order $pq$ are provided by using vanishing sums of roots of unity.

Let $G$ be a finite group and let $N$ be a normal subgroup of $G$. We determine the structure of $N$ when the diameter of the graph associated to the $G$-conjugacy classes contained in $N$ is as large as possible, that is, equal to three.

In this paper we determine the structure of the total component of the Schur multiplier over an algebraically closed field of some relevant families of groups, such as dihedral groups, dicyclic groups, the infinite cyclic group and the direct product of two finite cyclic groups.

Let $p$ be an odd prime. In this note, we show that a finite group $G$ is solvable if all degrees of irreducible complex characters of $G$ not divisible by $p$ are either 1 or a prime.

We show that the proportion of permutations $g$ in $S_{\!n}$ or $A_{n}$ such that $g$ has even order and $g^{|g|/2}$ is an involution with support of cardinality at most $\lceil n^{{\it\varepsilon}}\rceil$ is at least a constant multiple of ${\it\varepsilon}$. Using this result, we obtain the same conclusion for elements in a classical group of natural dimension $n$ in odd characteristic that have even order and power up to an involution with $(-1)$-eigenspace of dimension at most $\lceil n^{{\it\varepsilon}}\rceil$ for a linear or unitary group, or $2\lceil \lfloor n/2\rfloor ^{{\it\varepsilon}}\rceil$ for a symplectic or orthogonal group.

Zhou and Feng [‘On symmetric graphs of valency five’, Discrete Math. 310 (2010), 1725–1732] proved that all connected pentavalent 1-transitive Cayley graphs of finite nonabelian simple groups are normal. We construct an example of a nonnormal 2-arc transitive pentavalent symmetric Cayley graph on the alternating group $\text{A}_{39}$. Furthermore, we show that the full automorphism group of this graph is isomorphic to the alternating group $\text{A}_{40}$.

We classify all (saturated) fusion systems on bicyclic 2-groups. Here, a bicyclic group is a product of two cyclic subgroups. This extends previous work on fusion systems on metacyclic 2-groups. As an application we prove Olsson's conjecture for all blocks with bicyclic defect groups.

We define several graphs related to the p-blocks of a solvable group. We bound the diameter of these graphs when the defect group associated with the block is either abelian or normal and when the group has odd order. We give examples to show that these bounds are met.

Let $G$ be a finite group. We denote by ${\it\nu}(G)$ the probability that two randomly chosen elements of $G$ generate a nilpotent subgroup and by $\text{Nil}_{G}(x)$ the set of elements $y\in G$ such that $\langle x,y\rangle$ is a nilpotent subgroup. A group $G$ is called an ${\mathcal{N}}$-group if $\text{Nil}_{G}(x)$ is a subgroup of $G$ for all $x\in G$. We prove that if $G$ is an ${\mathcal{N}}$-group with ${\it\nu}(G)>\frac{1}{12}$, then $G$ is soluble. Also, we classify semisimple ${\mathcal{N}}$-groups with ${\it\nu}(G)=\frac{1}{12}$.

We prove the assertion in the title by conducting an exhaustive computational search for subgroups isomorphic to $\text{PSL}_{2}(13)$ and containing elements in class $13B$.

Supplementary materials are available with this article.

Let $R$ be a commutative ring, let $F$ be a locally compact non-archimedean field of finite residual field $k$ of characteristic $p$, and let $\mathbf{G}$ be a connected reductive $F$-group. We show that the pro-$p$-Iwahori Hecke $R$-algebra of $G=\mathbf{G}(F)$ admits a presentation similar to the Iwahori–Matsumoto presentation of the Iwahori Hecke algebra of a Chevalley group, and alcove walk bases satisfying Bernstein relations. This was previously known only for a $F$-split group $\mathbf{G}$.

We give a diagrammatic presentation for the category of Soergel bimodules for the dihedral group $W$. The (two-colored) Temperley–Lieb category is embedded inside this category as the degree $0$ morphisms between color-alternating objects. The indecomposable Soergel bimodules are the images of Jones–Wenzl projectors. When $W$ is infinite, the parameter $q$ of the Temperley–Lieb algebra may be generic, yielding a quantum version of the geometric Satake equivalence for $\mathfrak{sl}_{2}$. When $W$ is finite, $q$ must be specialized to an appropriate root of unity, and the negligible Jones–Wenzl projector yields the Soergel bimodule for the longest element of $W$.

A subset $X$ of a finite group $G$ is a set of pairwise noncommuting elements if $xy\neq yx$ for all $x\neq y\in X$. If $|X|\geq |Y|$ for any other subset $Y$ of pairwise noncommuting elements, then $X$ is called a maximal subset of pairwise noncommuting elements and the size of such a set is denoted by ${\it\omega}(G)$. In a recent article by Azad et al. [‘Maximal subsets of pairwise noncommuting elements of some finite $p$-groups’, Bull. Iran. Math. Soc.39(1) (2013), 187–192], the value of ${\it\omega}(G)$ is computed for certain $p$-groups $G$. In the present paper, our aim is to generalise these results and find ${\it\omega}(G)$ for some more $p$-groups of interest.

Let $G$ be a finite group and $p$ a prime. We say that a $p$-regular element $g$ of $G$ is $p$-nonvanishing if no irreducible $p$-Brauer character of $G$ takes the value $0$ on $g$. The main result of this paper shows that if $G$ is solvable and $g\in G$ is a $p$-regular element which is $p$-nonvanishing, then $g$ lies in a normal subgroup of $G$ whose $p$-length and $p^{\prime }$-length are both at most 2 (with possible exceptions for $p\leq 7$), the bound being best possible. This result is obtained through the analysis of one particular orbit condition in linear actions of solvable groups on finite vector spaces, and it generalizes (for $p>7$) some results in Dolfi and Pacifici [‘Zeros of Brauer characters and linear actions of finite groups’, J. Algebra 340 (2011), 104–113].

We construct a subgroup Hd of the iterated wreath product Gd of d copies of the cyclic group of order p with the property that the derived length and the smallest cardinality of a generating set of Hd are equal to d while no proper subgroup of Hd has derived length equal to d. It turns out that the two groups Hd and Gd are the extreme cases of a more general construction that produces a chain Hd=K1<···< Kp−1=Gd of subgroups sharing a common recursive structure. For i ∈ {1,. . .,p−1}, the subgroup Ki has nilpotency class (i+1)d−1.

A subset $X$ of a group $G$ is a set of pairwise noncommuting elements if $ab\neq ba$ for any two distinct elements $a$ and $b$ in $X$. If $|X|\geq |Y|$ for any other set of pairwise noncommuting elements $Y$ in $G$, then $X$ is called a maximal subset of pairwise noncommuting elements and the cardinality of such a subset (if it exists) is denoted by ${\it\omega}(G)$. In this paper, among other things, we prove that, for each positive integer $n$, there are only finitely many groups $G$, up to isoclinism, with ${\it\omega}(G)=n$, and we obtain similar results for groups with exactly $n$ centralisers.

The subgroup commutativity degree of a group $G$ is the probability that two subgroups of $G$ commute, or equivalently that the product of two subgroups is again a subgroup. For the dihedral, quasi-dihedral and generalised quaternion groups (all of 2-power cardinality), the subgroup commutativity degree tends to 0 as the size of the group tends to infinity. This also holds for the family of projective special linear groups over fields of even characteristic and for the family of the simple Suzuki groups. In this short note, we show that the family of finite $P$-groups also has this property.

For all prime powers $q$ we restrict the unipotent characters of the special orthogonal groups $\text{SO}_{5}(q)$ and $\text{SO}_{7}(q)$ to a maximal parabolic subgroup. We determine all irreducible constituents of these restrictions for $\text{SO}_{5}(q)$ and a large part of the irreducible constituents for $\text{SO}_{7}(q)$.

We discuss some of the work of Laci Kovács on representation theory and related topics.