Related papers: The (7,4)-conjecture in finite groups

A quasigroup $Q$ is called maximally nonassociative if for $x,y,z\in Q$ we have that $x\cdot (y\cdot z) = (x\cdot y)\cdot z$ only if $x=y=z$. We show that, with finitely many exceptions, there exists a maximally nonassociative quasigroup of…

The $abc$ conjecture states that there are only finitely many triples of coprime positive integers $(a,b,c)$ such that $a+b=c$ and $\operatorname{rad}(abc) < c^{1-\epsilon}$ for any $\epsilon > 0$. Using the optimized methods in a recent…

Let $\mathcal{F}$ be a family of $k$-sized subsets of $[n]$ that does not contain $s$ pairwise disjoint subsets. The Erd\H{o}s Matching Conjecture, a celebrated and long-standing open problem in extremal combinatorics, asserts the maximum…

We show that if a finite point set $P\subseteq \mathbb{R}^2$ has the fewest congruence classes of triangles possible, up to a constant $M$, then at least one of the following holds. (1) There is a $\sigma>0$ and a line $l$ which contains…

We give a reduction to quasisimple groups for Donovan's conjecture for blocks with abelian defect groups defined with respect to a suitable discrete valuation ring $\mathcal{O}$. Consequences are that Donovan's conjecture holds for…

The union-closed sets conjecture (Frankl's conjecture) says that for any finite union-closed family of finite sets, other than the family consisting only of the empty set, there exists an element that belongs to at least half of the sets in…

We prove that every $n$-vertex graph with at least $\binom{n}{2} - (n - 4)$ edges has a fractional triangle decomposition, for $n \ge 7$. This is a key ingredient in our proof, given in a companion paper, that every $n$-vertex $2$-coloured…

Consider a hyperbolic group G and a quasiconvex subgroup H of infinite index. We construct a set-theoretic section s of the quotient map (of sets) from G to G/H such that s(G/H) is a net in G; that is, any element of G is a bounded distance…

In this note, we exhibit a method to prove the Baum-Connes conjecture (with coefficients) for extensions with finite quotients of certain groups which already satisfy the Baum-Connes conjecture. Interesting examples to which this method…

We give an affirmative answer to Wilf's conjecture for numerical semigroups satisfying 2 \nu \geq m, where \nu and m are respectively the embedding dimension and the multiplicity of a semigroup. The conjecture is also proved when m \leq 8…

A first-order theory has the Schroder-Bernstein property if any two of its models that are elementarily bi-embeddable are isomorphic. We prove that if G is an abelian group, then the follwing are equivalent: 1. Th(G, +) has the…

The finite groups having an indecomposable polynomial invariant whose degree is at least half of the order of the group are classified. Apart from four sporadic exceptions these are exactly the groups having a cyclic subgroup of index at…

For each integer $\ell \geq 1$, we prove an unconditional upper bound on the size of the $\ell$-torsion subgroup of the class group, which holds for all but a zero-density set of field extensions of $\mathbb{Q}$ of degree $d$, for any fixed…

In this paper, building among others on earlier works by U. Krause and C. Zahlten (dealing with the case of cyclic groups), we obtain a new upper bound for the little cross number valid in the general case of arbitrary finite Abelian…

Let $G$ be a finite group. A proper subgroup $H$ of $G$ is said to be large if the order of $H$ satisfies the bound $|H|^3 \ge |G|$. In this note we determine all the large maximal subgroups of finite simple groups, and we establish an…

The spectrum $\omega(G)$ of a finite group $G$ is the set of orders of its elements. The following sufficient criterion of nonsolvability is proved: if among the prime divisors of the order of a group $G$, there are four different primes…

We say that a finite almost simple $G$ with socle $S$ is admissible (with respect to the spectrum) if $G$ and $S$ have the same sets of orders of elements. Let $L$ be a finite simple linear or unitary group of dimension at least three over…

This paper introduced the concept of soft quasigroup, its parastrophes, soft nuclei, left (right) coset, distributive soft quasigroups and normal soft quasigroups. Necessary and sufficient conditions for a soft set over a quasigroup (loop)…

The celebrated theorem of Chung, Graham, and Wilson on quasirandom graphs implies that if the 4-cycle and edge counts in a graph $G$ are both close to their typical number in $\mathbb{G}(n,1/2),$ then this also holds for the counts of…

In this note, we prove that $D_8\times C_2^{n-3}$ is the non-elementary abelian $2$-group of order $2^n$, $n\geq 3$, whose number of subgroups of possible orders is maximal. This solves a conjecture by Haipeng Qu [7]. A formula for counting…