Related papers: Sequences in Dihedral Groups with Distinct Partial…
Let $FG$ be the group algebra of a finite $p$-group $G$ over a finite field $F$ of positive characteristic $p$. Let $\cd$ be an involution of the algebra $FG$ which is a linear extension of an anti-automorphism of the group $G$ to $FG$. If…
We prove that every odd-order group is symmetric harmonious: there exists a permutation $g_0,g_1,\ldots, g_{\ell-1}$ of elements of $G$ such that the consecutive products $g_0g_1,g_1g_2,\ldots, g_{\ell-1}g_0$ also form a permutation of…
In this paper we study the problem of deciding whether two disjoint semialgebraic sets of an algebraic variety over R are separable by a polynomial. For that we isolate a dense subfamily of Spaces of Orderings, named Geometric, which…
A $(v,k,\lambda, \mu)$-partial difference set (PDS) is a subset $D$ of a group $G$ such that $|G| = v$, $|D| = k$, and every nonidentity element $x$ of $G$ can be written in either $\lambda$ or $\mu$ different ways as a product $gh^{-1}$,…
Julius Whiston and Jan Saxl showed that the size of an irredundant generating set of the group G=PSL(2,p) is at most four and computed the size m(G) of a maximal set for many primes. We will extend this result to a larger class of primes,…
For a non-cyclic finite group $X$ let $\sigma(X)$ be the least number of proper subgroups of $X$ whose union is $X$. Precise formulas or estimates are given for $\sigma(S \wr C_{m})$ for certain nonabelian finite simple groups $S$ where…
Let D = (D_n)_{n\ge1} be an elliptic divisibility sequence. We study the set S(D) of indices n satisfying n | D_n. In particular, given an index n in S(D), we explain how to construct elements nd in S(D), where d is either a prime divisor…
A group is R-harmonious if there exists a permutation $g_1,g_2,\ldots, g_{n-1}$ of the non-identity elements of $G$ such that the consecutive products $g_1g_2$, $g_2g_3$, $\ldots, g_{n-1}g_1$ also form a permutation of the non-identity…
Let $E/\mathbb Q$ be an elliptic curve, let $P\in E(\mathbb Q)$ be non-torsion, and let $(D_n)$ be the associated elliptic divisibility sequence. We study when a product \[ \prod_{i=1}^k D_{n_i} \] can be a $\rho$-th power, where $\rho$ is…
Let $S = \{q_1, \ldots , q_s\}$ be a finite, non-empty set of distinct prime numbers. For a non-zero integer $m$, write $m = q_1^{r_1} \ldots q_s^{r_s} M$, where $r_1, \ldots , r_s$ are non-negative integers and $M$ is an integer relatively…
In a recent paper on a study of the Sylow 2-subgroups of the symmetric group with 2^n elements it has been show that the growth of the first (n-2) consecutive indices of a certain normalizer chain is linked to the sequence of partitions of…
It is shown that there exist infinitely many non-integers $r>2$ such that the Dehn function of some finitely presented group is $\simeq n^r$. For each positive rational number $s$ we construct pairs of finitely presented groups $H\subset G$…
Let $\sigma(n)$ to be the sum of the positive divisors of $n$. A number is non-deficient if $\sigma(n) \geq 2n$. We establish new lower bounds for the number of distinct prime factors of an odd non-deficient number in terms of its second…
Let $(a_1,\dots, a_m)$ be an $m$-tuple of positive, pairwise distinct, integers. If for all $1\leq i< j \leq m$ the prime divisors of $a_ia_j+1$ come from the same fixed set $S$, then we call the $m$-tuple $S$-Diophantine. In this note we…
Let $G$ be a finite group and $S$ a subset of $G$. Then $S$ is {\em product-free} if $S \cap SS = \emptyset$, and $S$ {\em fills} $G$ if $G^{\ast} \subseteq S \cup SS$. A product-free set is locally maximal if it is not contained in a…
We answer a question raised by Lanier about the possibility of generating $A_n$ and $S_n$ with two elements of order $k$, where $n \geqslant k \geqslant 3$. We show that this can always be done apart from some clear exceptions.
A general explicit upper bound is obtained for the proportion $P(n,m)$ of elements of order dividing $m$, where $n-1 \le m \le cn$ for some constant $c$, in the finite symmetric group $S_n$. This is used to find lower bounds for the…
We prove that the displacement group of the dihedral quandle with n elements is isomorphic to the group generated by rotations of the n/2-gon when n is even and the n-gon when n is odd. We additionally show that any quandle with at least…
A famous conjecture of Graham asserts that every set $A \subseteq \mathbb{Z}_p \setminus \{0\}$ can be ordered so that all partial sums are distinct. Bedert and Kravitz proved that this statement holds whenever $|A| \leq e^{c(\log…
In this note, we compute the order and provide the structure of the unit group $\mathcal{U}(FD_{2p^m})$ of the group algebra $FD_{2p^m}$, where $F$ is a finite field of characteristic 2 and $D_{2p^m}$ is the dihedral group of order $2p^m$…