For a group $G$ and a positive real number $x$, define $d_G\left(x\right)$ to be the number of integers less than $x$ which are dimensions of irreducible complex representations of $G$. We study the asymptotics of $d_G\left(x\right)$ for algebraic groups, arithmetic groups and finitely generated linear groups. In particular we prove an “alternative” for finitely generated linear groups $G$ in characteristic zero, showing that either there exists $\alpha >0$ such that $d_G\left(x\right)>x^{\alpha }$ for all large $x$, or $G$ is virtually abelian (in which case $d_G\left(x\right)$ is bounded). ...

In this note we study sets of normal generators of finitely presented residually $p$-finite groups. We show that if an infinite, finitely presented, residually $p$-finite group $G$ is normally generated by $g_1,\cdots ,g_k$ with order $n_1,\cdots ,n_k\in \{1,2,\cdots \}\cup \left\{\infty \right\}$, then $${\beta }_1^{\left(2\right)}\left(G\right)\le k-1-\sum _{i=1}^k\frac{1}{n_i},$$ where ${\beta }_1^{\left(2\right)}\left(G\right)$ denotes the first ${\ell }^2$-Betti number of $G$. We also show that any $k$-generated group with ${\beta }_1^{\left(2\right)}\left(G\right)\ge k-1-\epsilon$ must have girth greater than or equal $1/\epsilon$.

Ozawa showed in [21] that for any i.c.c. hyperbolic group, the associated group factor $L\Gamma$ is solid. Developing a new approach that combines some methods of Peterson [29], Ozawa and Popa [27, 28], and Ozawa [25], we strengthen this result by showing that $L\Gamma$ is strongly solid. Using our methods in cooperation with a cocycle superrigidity result of Ioana [12], we show that profinite actions of lattices in $\mathrm{Sp}(n,1)$, $n\ge 2$, are virtually $W^{*}$-superrigid.

Let X be a nice variety over a number field k. We characterise in pure “descent-type” terms some inequivalent obstruction sets refining the inclusion $X{{(}_k)}^{ét,Br}\subset X{{(}_k)}^{Br₁}$. In the first part, we apply ideas from the proof of $X{{(}_k)}^{ét,Br}=X{{(}_k)}^{{}_k}$ by Skorobogatov and Demarche to new cases, by proving a comparison theorem for obstruction sets. In the second part, we show that if $\subset {\subset }_k$ are such that $\subset Ext\left({,}_k\right)$, then $X{{(}_k)}^{}=X{{(}_k)}^{}$. This allows us to conclude, among other things, that $X{{(}_k)}^{ét,Br}=X{{(}_k)}^{{}_k}$ and $X{{(}_k)}^{Sol,Br₁}=X{{(}_k)}^{So{l}_k}$.

We first note that a result of Gowers on product-free sets in groups has an unexpected consequence: If $k$ is the minimal degree of a representation of the finite group $G$, then for every subset $B$ of $G$ with $\left|B\right|>\left|G\right|/k^{1/3}$ we have $B^3=G$. We use this to obtain improved versions of recent deep theorems of Helfgott and of Shalev concerning product decompositions of finite simple groups, with much simpler proofs. On the other hand, we prove a version of Jordan’s theorem which implies that if $k\ge 2$, then $G$ has a...

Let $G$ be a group and $m$ be an integer greater than or equal to $2$. $G$ is said to be $m$-permutable if every product of $m$ elements can be reordered at least in one way. We prove that, if $G$ has a centre of finite index $z$, then $G$ is $(1+[z/2])$-permutable. More bounds are given on the least $m$ such that $G$ is $m$-permutable.

If f:G → H is a group homomorphism and p,q are the projections from the free product G*H onto its factors G and H respectively, let the group ${}_f\subseteq G*H$ be the equalizer of fp and q:G*H → H. Then p restricts to an epimorphism $p_f{=p|}_f{:}_f\to G$. A right inverse (section) $G{\to }_f$ of $p_f$ is called a coaction on G. In this paper we study ${}_f$ and the sections of $p_f$. We consider the following topics: the structure of ${}_f$ as a free product, the restrictions on G resulting from the existence of a coaction, maps of coactions and...

Let $G$ be a group. If every nontrivial subgroup of $G$ has a proper supplement, then $G$ is called an $aS$-group. We study some properties of $aS$-groups. For instance, it is shown that a nilpotent group $G$ is an $aS$-group if and only if $G$ is a subdirect product of cyclic groups of prime orders. We prove that if $G$ is an $aS$-group which satisfies the descending chain condition on subgroups, then $G$ is finite. Among other results, we characterize all abelian groups for which every nontrivial quotient group...

Let $G$ be a finite group, and let $N\left(G\right)$ be the set of conjugacy class sizes of $G$. By Thompson’s conjecture, if $L$ is a finite non-abelian simple group, $G$ is a finite group with a trivial center, and $N\left(G\right)=N\left(L\right)$, then $L$ and $G$ are isomorphic. Recently, Chen et al. contributed interestingly to Thompson’s conjecture under a weak condition. They only used the group order and one or two special conjugacy class sizes of simple groups and characterized successfully sporadic simple groups (see Li’s PhD dissertation)....

Let $G$ be a group and $m$ be an integer greater than or equal to $2$. $G$ is said to be $m$-permutable if every product of $m$ elements can be reordered at least in one way. We prove that, if $G$ has a centre of finite index $z$, then $G$ is $(1+[z/2])$-permutable. More bounds are given on the least $m$ such that $G$ is $m$-permutable.

For an algebraic number field $K$ with $3$-class group ${\mathrm{Cl}}_3\left(K\right)$ of type $(3,3)$, the structure of the $3$-class groups ${\mathrm{Cl}}_3\left(N_i\right)$ of the four unramified cyclic cubic extension fields $N_i$, $1\le i\le 4$, of $K$ is calculated with the aid of presentations for the metabelian Galois group ${\mathrm{G}}_3^2\left(K\right)=\mathrm{Gal}\left({\mathrm{F}}_3^2\left(K\right)\right|K)$ of the second Hilbert $3$-class field ${\mathrm{F}}_3^2\left(K\right)$ of $K$. In the case of a quadratic base field $K=\mathbb{Q}\left(\sqrt{D}\right)$ it is shown that the structure of the $3$-class groups of the four $S_3$-fields $N_1,...,N_4$ frequently determines the type of principalization of the $3$-class group of $K$ in $N_1,...,N_4$. This...

Let $p$ be a prime number. This paper introduces the Roquette category ${ℛ}_p$ of finite $p$-groups, which is an additive tensor category containing all finite $p$-groups among its objects. In ${ℛ}_p$, every finite $p$-group $P$ admits a canonical direct summand $\partial P$, called the edge of $P$. Moreover $P$ splits uniquely as a direct sum of edges of Roquette $p$-groups, and the tensor structure of ${ℛ}_p$ can be described in terms of such edges. The main motivation for considering this category is that the additive functors...

For the groups $GU\left(3\right)$, $SU\left(3\right)$, $GL\left(3\right)$, $SU\left(3\right)$ over a finite field we solve the class product problem, i.e., we give a complete list of $m$-tuples of conjugacy classes whose product does not contain the identity matrix.

Let $S$ be a fixed symmetric finite subset of $S{L}_d\left({𝒪}_K\right)$ that generates a Zariski dense subgroup of $S{L}_d\left({𝒪}_K\right)$ when we consider it as an algebraic group over $mathbbQ$ by restriction of scalars. We prove that the Cayley graphs of $S{L}_d({𝒪}_K/I)$ with respect to the projections of $S$ is an expander family if $I$ ranges over square-free ideals of ${𝒪}_K$ if $d=2$ and $K$ is an arbitrary numberfield, or if $d=3$ and $K=\mathbb{Q}$.

Let $G$ be a finite group and let $\pi \left(G\right)=\{p_1,p_2,...,p_k\}$ be the set of prime divisors of $\left|G\right|$ for which $p_1<p_2<\cdots <p_k$. The Gruenberg-Kegel graph of $G$, denoted $GK\left(G\right)$, is defined as follows: its vertex set is $\pi \left(G\right)$ and two different vertices $p_i$ and $p_j$ are adjacent by an edge if and only if $G$ contains an element of order $p_i{p}_j$. The degree of a vertex $p_i$ in $\mathrm{GK}\left(G\right)$ is denoted by $d_G\left(p_i\right)$ and the $k$-tuple $D\left(G\right)=(d_G\left(p_1\right),d_G\left(p_2\right),...,d_G\left(p_k\right))$ is said to be the degree pattern of $G$. Moreover, if $\omega \subseteq \pi \left(G\right)$ is the vertex set of a connected component of $GK\left(G\right)$, then the largest $\omega$-number which divides $\left|G\right|$, is...

We consider the systems of hyperbolic equations ⎧$uₜₜ=\Delta \left(a(t,x)u\right)+\Delta \left(b(t,x)v\right)+{h(t,x)\left|v\right|}^p$, t > 0, $x\in {ℝ}^N$, (S1) ⎨ ⎩$vₜₜ=\Delta \left(c(t,x)v\right)+{k(t,x)\left|u\right|}^q$, t > 0, $x\in {ℝ}^N$ ⎧$uₜₜ=\Delta \left(a(t,x)u\right)+{h(t,x)\left|v\right|}^p$, t > 0, $x\in {ℝ}^N$, (S2) ⎨ ⎩$vₜₜ=\Delta \left(c(t,x)v\right)+{l(t,x)\left|v\right|}^m+k(t,x){\left|u\right|}^q$, t > 0, $x\in {ℝ}^N$, (S3) ⎧$uₜₜ=\Delta \left(a(t,x)u\right)+\Delta \left(b(t,x)v\right)+{h(t,x)\left|u\right|}^p$, t > 0, $x\in {ℝ}^N$, ⎨ ⎩$vₜₜ=\Delta \left(c(t,x)v\right)+{k(t,x)\left|v\right|}^q$, t > 0, $x\in {ℝ}^N$, in $(0,\infty )\times {ℝ}^N$ with u(0,x) = u₀(x), v(0,x) = v₀(x), uₜ(0,x) = u₁(x), vₜ(0,x) = v₁(x). We show that, in each case, there exists a bound B on N such that for 1 ≤ N ≤ B solutions to the systems blow up in finite time.

We show that there exists a finitely generated group of growth $\sim f$ for all functions $f:{ℝ}_{+}\to {ℝ}_{+}$ satisfying $f\left(2R\right)\le f{\left(R\right)}^2\le f\left({\eta }_{+}R\right)$ for all $R$ large enough and ${\eta }_{+}\approx 2.4675$ the positive root of $X^3-X^2-2X-4$. Set ${\alpha }_{-}=log2/log{\eta }_{+}\approx 0.7674$; then all functions that grow uniformly faster than $exp\left(R^{{\alpha }_{-}}\right)$ are realizable as the growth of a group. We also give a family of sum-contracting branched groups of growth $\sim exp\left(R^{\alpha }\right)$ for a dense set of $\alpha \in [{\alpha }_{-},1]$.