Related papers: Difference sets disjoint from a subgroup II: group…

In this note we provide some counterexamples for the conjectures of finite simple groups, one of the conjectures said "all finite simple groups $G$ can be determined using their orders $|G|$ and the number of elements of order $p$, where…

Suppose that $A$ is a finite, nonempty subset of a cyclic group of either infinite or prime order. We show that if the difference set $A-A$ is ``not too large'', then there is a nonzero group element with at least as many as…

Let $p$ be a prime. A $p$-group $G$ is defined to be semi-extraspecial if for every maximal subgroup $N$ in $Z(G)$ the quotient $G/N$ is a an extraspecial group. In addition, we say that $G$ is ultraspecial if $G$ is semi-extraspecial and…

We prove that on $\mathbb{P}^{3}$ there is no exceptional bundle with rank $r=2d^{2}+1$ and degree $d$ for every $|d|\geq 4$. In particular, we find a new obstruction for the existence of exceptional bundles other than $r|(2d^{2}+1)$. We…

Let $q$ be a prime. We classify the odd primes $p\neq q$ such that the equation $x^2\equiv q\pmod{p}$ has a solution, concretely, we find a subgroup $\mathbb{L}_{4q}$ of the multiplicative group $\mathbb{U}_{4q}$ of integers relatively…

There exists an absolute constant $C$ with the following property. Let $A \subseteq \mathbb{F}_p$ be a set in the prime order finite field with $p$ elements. Suppose that $|A| > C p^{5/8}$. The set \[ (A \pm A)(A \pm A) = \{(a_1 \pm…

Let $O$ be an order of odd discriminant $D$ in an imaginary quadratic field $K$. Let $Cl(O)$ be the group of proper $O$-ideals and $Cl(O)[2]$ the kernel of multiplication by $2$ in $Cl(O)$. We describe explicitly the group $Cl(O)[2]$. In…

The genus spectrum of a finite group $G$ is a set of integers $g \geq 2$ such that $G$ acts on a closed orientable compact surface $\Sigma_g$ of genus $g$ preserving the orientation. In this paper we complete the study of spectrum sets of…

Let $p$ be an odd prime, and let $S$ be a $p$-group with a unique elementary abelian subgroup $A$ of index $p$. We classify the simple fusion systems over all such groups $S$ in which $A$ is essential. The resulting list, which depends on…

For finite p-groups P of class 2 and exponent p the following are invariants of fully refined central decompositions of P: the number of members in the decomposition, the multiset of orders of the members, and the multiset of orders of…

We find an upper bound for the number of groups of order $n$ up to isomorphism in the variety $G = A_pA_qA_r$, where $p$, $q$ and $r$ are distinct primes. We also find a bound on the orders and on the number of conjugacy classes of…

We give an algorithm for enumerating the regular nontrivial partial difference sets (PDS) in the group $G_n = C_{2^n}\times C_{2^n}$. We use our algorithm to obtain all of these PDS in $G_n$ for $2\leq n\leq 9$, and we obtain partial…

We prove, in particular, that if A,G are two arbitrary multiplicative subgroups of the prime field f_p, |G| < p^{3/4} such that the difference A-A is contained in G then |A| \ll |\G|^{1/3+o(1)}. Also, we obtain that for any eps>0 and a…

Let $M$ be the disk or a compact, connected surface without boundary different from the sphere $S^2$ and the real projective plane $\mathbb{R}P^2$, and let $N$ be a compact, connected surface (possibly with boundary). It is known that the…

Let $G$ be a nontrivial permutation group of degree $n$. If $G$ is transitive, then a theorem of Jordan states that $G$ has a derangement. Equivalently, a finite group is never the union of conjugates of a proper subgroup. If $G$ is…

We study the notion of formal-duality over finite cyclic groups of prime power order as introduced by Cohn, Kumar, Reiher and Sch\"urmann. We will prove that for any cyclic group of odd prime power order, as well as for any cyclic group of…

Suppose that A is a subset of {1,...,N} such that the difference between any two elements of A is never one less than a prime. We show that |A| = O(N exp(-c(log N)^{1/4})) for some absolute c>0.

Let $p$ be an odd prime, $D_{2p}$ be the dihedral group of order 2p, and $F_{2}$ be the finite field with two elements. If * denotes the canonical involution of the group algebra $F_2D_{2p}$, then bicyclic units are unitary units. In this…

The prime-coprime graph $\Theta(G)$ of a finite group $G$ is the simple graph with vertex set $G$, where two distinct elements are adjacent whenever the greatest common divisor of their orders is either $1$ or a prime. We characterize all…

Let $t$ be a fixed natural number. A subgroup $H$ of a group $G$ will be called $\mathrm{K}$-$\mathbb{P}_{t}$-subnormal in $G$ if there exists a chain of subgroups $H = H_{0} \leq H_{1} \leq \cdots \leq H_{m-1} \leq H_{m} = G$ such that…