Related papers: Beauville structures in $p$-central quotients
We prove that |A^n| > c_n |A|^{[\frac{n+1}{2}]} for any finite subset A of a free group if A contains at least two noncommuting elements, where c_n>0 are constants not depending on A. Simple examples show that the order of these estimates…
Finite $p$-groups of nilpotency class 2 are treated from the perspective of central extensions. Given finite abelian groups $G,A$, we derive an explicit formula for cocycles representing elements of $H^2(G,A)$, compute $H^2(G,A)$, and…
H\'ethelyi and K\"ulshammer showed that the number of conjugacy classes $k(G)$ of any solvable finite group $G$ whose order is divisible by the square of a prime $p$ is at least $(49p+1)/60$. Here an asymptotic generalization of this result…
For a prime number $p$, we show that if two certain canonical finite quotients of a finitely generated Bloch-Kato pro-$p$ group $G$ coincide, then $G$ has a very simple structure, i.e., $G$ is a $p$-adic analytic pro-$p$ group. This result…
We obtain some structural properties of a factorised group $G = AB$, given that the conjugacy class sizes of certain elements in $A\cup B$ are not divisible by $p^2$, for some prime $p$. The case when $G = AB$ is a mutually permutable…
A free-by-cyclic group $F_N\rtimes_\phi\mathbb{Z}$ has non-trivial centre if and only if $[\phi]$ has finite order in ${\rm{Out}}(F_N)$. We establish a profinite ridigity result for such groups: if $\Gamma_1$ is a free-by-cyclic group with…
We use the free entropy defined by D. Voiculescu to prove that the free group factors can not be decomposed as closed linear spans of noncommutative monomials in elements of nonprime subfactors or abelian $*$-subalgebras, if the degrees of…
We show that the conjugacy problem is solvable in [finitely generated free]-by-cyclic groups, by using a result of O. Maslakova that one can algorithmically find generating sets for the fixed subgroups of free group automorphisms, and one…
Two well-studied Diophantine equations are those of Pythagorean triples and elliptic curves; for the first, we have a parametrization through rational points on the unit circle, and for the second we have a structure theorem for the group…
In this paper we study obstructions to presentability by products for finitely generated groups. Along the way we develop both the concept of acentral subgroups, and the relations between presentability by products on the one hand, and…
The `upper rank' of a group is the supremum of the (Pr\"{u}fer) ranks of its finite quotients, and for a prime $p$, the `upper $p$-rank' is the supremum of the sectional $p$-ranks of those quotients. The former is finite if and only if the…
We show that if 2^{aleph_0} Cohen reals are added to the universe, then for every reduced non-free torsion-free abelian group A of cardinality less than the continuum, there is a prime p so that Ext_p(A, Z) not= 0. In particular if it is…
We determine the structure of the quotient of the free group on 26 generators by English language anagrams. This group admits a surprisingly simple presentation as a quotient of the free group by 301 of the possible 325 commutators of pairs…
In this paper, we give elementary proofs of the Restricted Burnside Problem and the Hughes Conjecture for finite $p$-groups with Hall's regular power structure property. Moreover, in this setting we determine an explicit bound on the order…
In this paper we give the asymptotic growth of the number of connected components of the moduli space of surfaces of general type corresponding to certain families of Beauville surfaces with group either $\PSL(2,p)$, or an alternating…
A strongly real Beauville group is a Beauville group that defines a real Beauville surface. Here we discuss efforts to find examples of these groups, emphasising on the one extreme finite simple groups and on the other abelian and nilpotent…
Let $B_{u,v}(n)$ denote the number of $(u,v)$-regular bipartitions of $n$. In this article, we prove that $B_{p,m}(n)$ is always almost divisible by $p,$ where $p\geq 5$ is a prime number and $m=p_1^{\alpha_1} p_2^{\alpha_2}\cdots…
We study saturated fusion systems on $p$-groups having sectional rank $3$ for all odd primes $p$. For $p\geq 5$, we obtain a complete classification of the ones that do not have any non-trivial normal $p$-subgroups.
Given nontrivial finite groups $A$ and $B$, not both of order 2, we prove that every finite simple group of sufficiently large rank is an image of the free product $A \ast B$. To show this, we prove that every finite simple group of…
If $\mathcal S$ is a Beauville surface $({\mathcal C}_1\times{\mathcal C}_2)/G$, then the Hurwitz bound implies that $|G|\le 1764\,\chi({\mathcal S})$, with equality if and only if the Beauville group $G$ acts as a Hurwitz group on both…