Related papers: Irrationality and transcendence questions in the "…

Let $E$ be an elliptic curve without complex multiplication defined over $\mathbb Q$. Viewing the sequence of its Frobenius traces $(a_p(E))_p$ indexed by primes $p$ as an element in the "poor man's ad\`ele ring", we prove its transcendence…

This paper presents various transcendence results in the ring of integers modulo infinitely large primes $\mathcal{A}$. In the ring $\mathcal{A}$, one can consider two notions of transcendence. One is based on the notion of finite algebraic…

Let $\varepsilon>0$ be a fixed small constant, ${\mathbb F}_p$ be the finite field of $p$ elements for prime $p$. We consider additive and multiplicative problems in ${\mathbb F}_p$ that involve intervals and arbitrary sets. Representative…

A classical problem in analytic number theory is to study the distribution of $\alpha p$ modulo 1, where $\alpha$ is irrational and $p$ runs over the set of primes. We consider the subsequence generated by the primes $p$ such that $p+2$ is…

We prove model completeness for the theory of addition and the Frobenius map for certain subrings of rational functions in positive characteristic. More precisely: Let $p$ be a prime number, $\mathbb{F}_{p}$ the prime field with $p$…

Let $E$ be an elliptic curve over $\Q$. It is well known that the ring of endomorphisms of $E_p$, the reduction of $E$ modulo a prime $p$ of ordinary reduction, is an order of the quadratic imaginary field $Q(\pi_p)$ generated by the…

What are all rings $R$ for which $R^*$ (the group of invertible elements of $R$ under multiplication) is an elementary abelian $p$-group? We answer this question for finite-dimensional commutative $k$-algebras, finite commutative rings,…

Prime numbers play a key role in number theory and have applications beyond Mathematics. In particular, in the Theory of Codes and also in Cryptography, the properties of prime numbers are relevant, because, from them, it is possible to…

The ring of finite ad\`eles $\Af$ of the rational numbers $\Q$ is obtained in this article as a completion of $\Q$ with respect to a certain non--Archimedean metric. This ultrametric allows to represent any finite ad\`ele as a series…

Let $G$ be a proper subgroup of $\mathbb{Q}$ and $S_G$ be the set of primes $p$ for which $G$ is $p$-divisible. We show that the model-theoretic Grothendieck ring of the ordered abelian group $(G;+,<)$ is a quotient of…

The arithmetic nature of values of some functions of a single variable, particularly, $\sin{z}$, $\cos{z}$, $\sinh{z}$, $\cosh{z}$, $e^z$, and $\ln{z}$, is a relevant topic in number theory. For instance, all those functions return…

Given a power $q$ of a prime number $p$ and "nice" polynomials $f_1,...,f_r\in\bbF_q[T,X]$ with $r=1$ if $p=2$, we establish an asymptotic formula for the number of pairs $(a_1,a_2)\in\bbF_q^2$ such that…

We give a simple formula for the essential dimension of a finite pseudo-reflection group at a prime p and determine the absolute essential dimension for most irreducible pseudo-reflection groups. We also study the "poor man's essential…

Let $p$ be a prime integer and $\mathbb{Z}_p$ be the ring of $p$-adic integers. By a purely computational approach we prove that each nonzero normal element of a completed group algebra over the special linear group ${\rm…

Let $p/q$ ($p, q \in \mathbb{N}^*$) be a positive rational number such that $p > q^2$. We show that for any $\epsilon > 0$, there exists a set $A(\epsilon) \subset [0, 1[$, with finite border and with Lebesgue measure $< \epsilon$, for…

We give a simple geometric proof that $e$ is irrational, using a construction of a nested sequence of closed intervals with intersection $e$. The proof leads to a new measure of irrationality for $e$: if $p$ and $q$ are integers with $q >…

We make many new observations on primitive roots modulo primes. For an odd prime $p$ and an integer $c$, we establish a theorem concerning $\sum_g(\frac{g+c}p)$, where $g$ runs over all the primitive roots modulo $p$ among $1,\ldots,p-1$,…

For a reduced F-finite ring R of characteristic p >0 and q=p^e one can write R^{1/q} = R^{a_q} \oplus M_q, where M_q has no free direct summands over R. We investigate the structure of F-finite, F-pure rings R by studying how the numbers…

Let $0<\lambda\leq1$, $\lambda\notin\left\{\frac24, \frac27, \frac2{10}, \frac2{13}, \ldots\right\}$, be a real and $p$ a prime number, with $[p,p+\lambda p]$ containing at least two primes. Denote by $f_\lambda(p)$ the largest integer…

Let $p$ be a prime number. A chain $\{p,2p+1,4p+3,\cdots,(p+1)2^{l(p)-1}-1\}$ is called the Cunningham chain generated by $p$ if all elements are prime number and $(p+1)2^{l(p)}-1$ is composite. Then $l(p)$ is called the length of the…