Related papers: Global Primitive Roots of Unity

Let $\widetilde{G}$ be a split connected reductive group with connected center $Z$ over a local non-Archimedean field $F$ of residue characteristic $p$, let $\widetilde{K}$ be a hyperspecial maximal compact open subgroup in $\widetilde{G}$.…

We study the pro-$p$ group $G$ whose finite quotients give the prototypical Sylow $p$-subgroup of the general linear groups over a finite field of prime characteristic $p$. In this article, we extend the known results on the subgroup…

This paper consists of three parts: (I) To develop general theory of a (large) class of central simple finite dimensional algebras and answering some natural questions about them (that in general situation it is not even clear how to…

Let ${\mathbb Z}_p$ denote the ring of all $p$-adic integers and call $${\mathcal U}=\{(x_1,\ldots,x_n):\,a_1x_1+\ldots+a_nx_n+b=0\}$$ a hyperplane over ${\mathbb Z}_p^n$, where at least one of $a_1,\ldots,a_n$ is not divisible by $p$. We…

Fix an elliptic curve E over Q. An extremal prime for E is a prime p of good reduction such that the number of rational points on E modulo p is maximal or minimal in relation to the Hasse bound. Assuming that all the symmetric power…

We prove that any prime $p$ satisfying $\phi(p-1)\leq (p-1)/4$ contains two consecutive quadratic non-residues modulo $p$ neither of which is a primitive root modulo $p$.

Let $p$ be a prime number and $\Bbbk=\bar{\mathbb{F}}_p$, the algebraic closure of the finite field $\mathbb{F}_p$ of $p$ elements. Let ${\bf G}$ be a connected reductive group defined over $\mathbb{F}_p$ and ${\bf B}$ be a Borel subgroup…

In this paper, motivated by the work of Chapman, Vsemirnov and Sun et al., we investigate some arithmetic properties of the generalized Legendre matrices over finite fields. For example, letting $a_1,\cdots,a_{(q-1)/2}$ be all non-zero…

We show how to construct discretely ordered principal ideal subrings of $\mathbb Q[x]$ with various types of prime behaviour. Given any set $\mathcal D$ consisting of finite strictly increasing sequences $(d_1,d_2,\dots, d_l)$ of positive…

A set of positive integers is primitive (or 1-primitive) if no member divides another. Erd\H{o}s proved in 1935 that the weighted sum $\sum1/(n \log n)$ for $n$ ranging over a primitive set $A$ is universally bounded over all choices for…

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…

It is known that prime numbers occupy specific geometrical patterns or moduli when numbers from one to infinity are distributed around polygons having sides that are integer multiple of number 6. In this paper, we will show that not only…

Let $p>0$ be a prime, $G$ be a finite $p$-group and $\Bbbk$ be an algebraically closed field of characteristic $p$. Dave Benson has conjectured that if $p=2$ and $V$ is an odd-dimensional indecomposable representation of $G$ then all…

Under GRH, any element in the multiplicative group of a number field $K$ that is globally primitive (i.e., not a perfect power in $K^*$) is a primitive root modulo a set of primes of $K$ of positive density. For elliptic curves $E/K$ that…

Let $p$ be a prime, let $s \geq 3$ be a natural number and let $A \subseteq \mathbb{F}_p$ be a non-empty set satisfying $|A| \ll p^{1/2}$. Denoting $J_s(A)$ to be the number of solutions to the system of equations \[ \sum_{i=1}^{s} (x_i -…

Let $U$ be an absolute ultrafilter on the set of non-negative integers $\mathbb{N}$. For any sequence $x=(x_n)_{n\geq 0}$ of real numbers, let $U(x)$ denote the topological filter consisting of the open sets $W$ of $\mathbb{R}$ with $\{n…

Let $p=3n+1$ be a prime with $n\in\mathbb{N}=\{0,1,\cdots\}$, and let $g\in\mathbb{Z}$ be a primitive root modulo $p$. Let $0<a_1<\cdots<a_n<p$ be all the cubic residues modulo $p$ in the interval $(0,p)$. Then clearly the sequence $$a_1\…

We introduce the pseudovariety of finite groups $\mathbf{U} = \displaystyle\bigvee_{p \in \mathbb{P}} {\bf Ab}(p) \ast {\bf Ab}(p-1)$, where $\mathbb{P}$ is the set of all primes. We show that $\mathbf{U}$ consists of all finite…

Let $p$ be an odd prime, and define $$G_p(x)=\prod_{k=1}^{(p-1)/2}\left(x-e^{2\pi i k^2/p}\right).$$ In this paper we study values of $G_p(x)$ at roots of unity via Galois theory, and confirm some previous conjectures. For example, for any…

A famous conjecture of Artin asserts that any integer $a$ that is neither $-1$ nor a square should be a primitive root (mod $p$) for a positive proportion of primes $p$. Moreover, using a heuristic argument, Artin guessed an explicit…