Related papers: Sharply transitive sets in $\mathrm{PGL}_2(K)$

A set of vertices in a graph is agile if, however we partition the set into two parts, we can always find two vertex-disjoint connected subgraphs where one covers the first and the other the second part. We present a characterization for…

Let $G$ be a group. We define the coprime graph of subgroups of $G$, denoted by $\mathcal P(G)$, is a graph whose vertex set is the set of all proper subgroups of $G$, and two distinct vertices are adjacent if and only if the order of the…

Categorical skew lattices are a variety of skew lattices on which the natural partial order is especially well behaved. While most skew lattices of interest are categorical, not all are. They are characterized by a countable family of…

Motivated in part by representation theoretic questions, we prove that if G is a finite quasi-simple group, then there exists an elementary abelian subgroup of G that intersects every conjugacy class of involutions of G.

We show that if $K\ge1$ is a parameter and $S$ is a finite symmetric subset of a group containing the identity such $|S^{2n}|\le K|S^n|$ for some integer $n\ge2K^2$, then $|S^{3n}|\le\exp(\exp(O(K^2)))|S^n|$. Such a result was previously…

We establish various results on the structure of approximate subgroups in linear groups such as SL_n(k) that were previously announced by the authors. For example, generalising a result of Helfgott (who handled the cases n = 2 and 3), we…

We study the Ap\'ery set of good subsemigoups of $\mathbb N^2$, a class of semigroups containing the value semigroups of curve singularities with two branches. Even if this set in infinite, we show that, for the Ap\'ery set of such…

We prove Cherlin's conjecture, concerning binary primitive permutation groups, for those groups with socle isomorphic to a sporadic simple group.

We call a conjugacy class of the symplectic group Sp$(2n, K)$ over a field $K$ strictly hyperbolic if its minimal polynomial is of the form $q(x) q^*(x)$, where the polynomial $q(x)$ is prime to its reciprocal $q^*(x) := x^n q(x^{-1})$. It…

Let H, K be subgroups of G. We investigate the intersection properties of left and right cosets of these subgroups.

Let $G$ be an infinite simple group of finite Morley rank and of Pr\"{u}fer $2$-rank $1$ which admits a supertight automorphism $\alpha$ such that the fixed-point subgroup $C_G(\alpha^n)$ is pseudofinite for all integers $n > 0$. We prove…

We give a new characterization of partial groups as a subcategory of symmetric (simplicial) sets. This subcategory has an explicit reflection, which permits one to compute colimits in the category of partial groups. We also introduce the…

We prove that for every number k each countable infinite group $G$ admits a partition $G=A\cup B$ into two sets which are $k$-meager in the sense that for every $k$-element subset $K\subset G$ the sets $KA$ and $KB$ are not thick. The proof…

We show that the isometry group of a finite-volume hyperbolic 3-manifold acts simply transitively on many of its closed geodesics. Combining this observation with the Virtual Special Theorems of the first author and Wise, we show that every…

The purpose of this paper is to classify all pairs $(\mathcal{D}, G)$, where $\mathcal{D}$ is a non-trivial $2$-$(v, k, 2)$ design, and $G\leq Aut(\mathcal{D})$ acts transitively on the set of blocks of $\mathcal{D}$ and primitively on the…

Let $G$ be a countable discrete group. We give a necessary and sufficient condition for a transitive $G$-system to be disjoint with all minimal $G$-systems, which implies that if a transitive $G$-system is disjoint with all minimal…

We use M\"uller and Nagy's method of contradicting subsets to give a new proof for the non-existence of sharply $2$-transitive subsets of the symplectic groups $\mathrm{Sp}(2d,2)$ in their doubly-transitive actions of degrees $2^{2d-1}\pm…

We construct sharply 2-transitive groups of characteristic 0 without non-trivial abelian normal subgroup. These groups act sharply 2-trnaisitvely by conjugation on their involutions. This answers a longstanding open question.

We show that the Simple Loop Conjecture holds for any representation $\rho\colon\pi_1(S)\longrightarrow \text{PSL}(2,\,\mathbb R)$ that is discrete but not faithful. That is, we show the existence of a simple closed curve in the kernel of…

In 2003, H\'{e}thelyi and K\"{u}lshammer proposed that if $G$ is a finite group and $p$ is a prime dividing the group order, then $k(G)\geq 2\sqrt{p-1}$, and they proved this conjecture for solvable $G$ and showed that it is sharp for those…