Related papers: The popularity gap
Using the description of dominions in the variety of nilpotent groups of class at most two, we give a characterization of which groups are absolutely closed in this variety. We use the general result to derive an easier characterization for…
In 1878, Jordan proved that if a finite group $G$ has a faithful representation of dimension $n$ over $\mathbb{C}$, then $G$ has a normal abelian subgroup with index bounded above by a function of $n$. The same result fails if one replaces…
In a finite real reflection group, the reflection length of each element is equal to the codimension of its fixed space, and the two coincident functions determine a partial order structure called the absolute order. In complex reflection…
We compare the size of the difference set $A-A$ to that of the set $kA$ of $k$-fold sums. We show the existence of sets such that $|kA| < |A-A|^{a_k}$ with $a_k<1$.
We prove by using simple number-theoretic arguments formulae concerning the number of elements of a fixed order and the number of cyclic subgroups of a direct product of several finite cyclic groups. We point out that certain multiplicative…
A number is perfect if it is the sum of its proper divisors; here we call a finite group `perfect' if its order is the sum of the orders of its proper normal subgroups. (This conflicts with standard terminology but confusion should not…
Let ${\cal N}_c$ be the variety of nilpotent groups of class at most $c\ \ (c\geq 2)$ and $G=Z_r\oplus Z_s $ be the direct sum of two finite cyclic groups. It is shown that if the greatest common divisor of $r$ and $s$ is not one, then $G$…
Let A and B be subsets of an elementary abelian 2-group G, none of which are contained in a coset of a proper subgroup. Extending onto potentially distinct summands a result of Hennecart and Plagne, we show that if |A+B|<|A|+|B|, then…
We show that there exists some $\delta > 0$ such that, for any set of integers $B$ with $B\cap[1,Y]\gg Y^{1-\delta}$ for all $Y \gg 1$, there are infinitely many primes of the form $a^2+b^2$ with $b\in B$. We prove a quasi-explicit formula…
Let $F$ be a group whose abelianization is $\Z^k$, $k\geq 2.$ An element of $F$ is called visible if its image in the abelianization is visible, that is, the greatest common divisor of its coordinates is 1. In this paper we compute three…
Denoting by Sigma(S) the set of subset sums of a subset S of a finite abelian group G, we prove that |Sigma(S)| >= |S|(|S|+2)/4-1 whenever S is symmetric, |G| is odd and Sigma(S) is aperiodic. Up to an additive constant of 2 this result is…
We prove that there is a small but fixed positive integer e such that for every prime larger than a fixed integer, every subset S of the integers modulo p which satisfies |2S|<(2+e)|S| and 2(|2S|)-2|S|+2 < p is contained in an arithmetic…
Let $A$ and $B$ be sets of $k\ge5$ elements in $F=\mathbb{Z}/p\mathbb{Z}$ the field with $p>2k-2$ elements. We denote by $A\dot{+}B$ the set of different elements of $F$ that can be written in the form $a+b$, where $a\in A$, $b\in B$,…
Let $p$ be a prime and let $A$ be a subset of $\mathbb{F}_p$ with $A=-A$ and $|A\setminus\{0\}| \leq 2\log_3(p)$. Then there is an element of $\mathbb{F}_p$ which has a unique representation as a difference of two elements of $A$.
Let $F$ be a $p$-adic field. Let $\mathcal{R}$ be the Grothendieck ring of complex smooth finite-length representations of the groups $\{GL_n(F)\}_{n=0}^\infty$ taken together, with multiplication defined in the sense of parabolic…
We prove that every set $A\subset\mathbb{Z}/p\mathbb{Z}$ with $\mathbb{E}_x\min(1_A*1_A(x),t)\le(2+\delta)t\mathbb{E}_x 1_A(a)$ is very close to an arithmetic progression. Here $p$ stands for a large prime and $\delta,t$ are small real…
We show that if $A\subset \mathbb{Z}$ is a finite set of integers in which every integer is divisible by $O(1)$ many primes then \[\max(\lvert A+A\rvert,\lvert AA\rvert) \geq \lvert A\rvert^{12/7-o(1)}\] and, for any $m\geq 2$,…
In this note we prove the non-existence of two types of partial difference sets in Abelian groups of order 216. This finalizes the classification of parameters for which a partial difference set of size at most 100 exists in an Abelian…
Every finite non-abelian group of order $n$ has a non-central element whose centralizer has order exceeding $n^{1/3}$. The proof does not rely on the classification of finite simple groups, yet it uses the Feit-Thompson theorem.
Let m be a positive integer and A an elementary abelian group of order q^r with r greater than or equal to 2 acting on a finite q'-group G. We show that if for some integer d such that 2^{d} is less than or equal to (r-1) the dth derived…