Related papers: A primality test for $Kp^\ell - 1$ numbers

Let $A$ be an abelian variety defined over a number field $K$. We say that a point $P \in A(\overline{\mathbb{Q}})$ is primitive if there is no $Q \in A(\overline{\mathbb{Q}})$ defined on the field of definition of $P$ over $K$ such that…

Let $K$ be a cyclic totally real number field of odd degree over $\mathbb{Q}$ with odd class number, such that every totally positive unit is the square of a unit, and such that $2$ is inert in $K/\mathbb{Q}$. We define a family of number…

This paper presents algorithms for calculating the quadratic character and the norms of prime ideals in the ring of integers of any quadratic field. The norms of prime ideals are obtained by means of a sieve algorithm using the quadratic…

For a primitive Hilbert modular form $f$ over $F$ of weight $k$, under certain assumptions on image of $\bar{\rho}_{f,\lambda}$, we calculate the Dirichlet density of primes $\mathfrak{p}$ for which the $\mathfrak{p}$-th Fourier coefficient…

Given a square, nonsingular matrix of univariate polynomials $\mathbf{F}\in\mathbb{K}[x]^{n\times n}$ over a field $\mathbb{K}$, we give a deterministic algorithm for finding the determinant of $\mathbf{F}$. The complexity of the algorithm…

We prove a local-global principle for primitive representations of binary quadratic forms by quaternary quadratic forms. Our method is a variant of Linnik's ergodic method showing density for certain homogenous toral sets. The central…

Let K/Q be Galois, and let eta in K* whose conjugates are multiplicatively independent. For a prime p, unramified, prime to eta, let np be the residue degree of p and gp the number of P I p, then let o\_P(eta) and o\_p(eta) be the orders of…

Let p be a prime number which is split in an imaginary quadratic field k. Let \mathfrak{p} be a place of k above p. Let k_\infty be the unique Z_p-extension of k which unramified outside of \mathfrak{p}, and let K_\intfy be a finite…

We prove that for any $\ell \geq 0$, there exists an algorithm which takes as input a description of a semi-algebraic subset $S \subset \mathbb{R}^k$ given by a quantifier-free first order formula $\phi$ in the language of the reals, and…

Let $k\geq 3$ and $n\geq 3$ be odd integers, and let $m\geq 0$ be any integer. For a prime number $\ell$, we prove that the class number of the imaginary quadratic field $\mathbb{Q}(\sqrt{\ell^{2m}-2k^n})$ is either divisible by $n$ or by a…

Let p be an odd prime. Let F_p^* be the no-null part of the finite field of p elements. Let K=\Q(zeta) be a p-cyclotomic field and O_K be its ring of integers. Let pi be the prime ideal of K lying over p. Let sigma : zeta --> zeta^v be the…

Modulo a prime number, we define semi-primitive roots as the square of primitive roots. We present a method for calculating primitive roots from quadratic residues, including semi-primitive roots. We then present progressions that generate…

Let $K=\mathbb{Q}(\sqrt[n]{a})$ be an extension of degree $n$ of the field $\Q$ of rational numbers, where the integer $a$ is such that for each prime $p$ dividing $n$ either $p\nmid a$ or the highest power of $p$ dividing $a$ is coprime to…

Let $K$ be an imaginary quadratic field of discriminant $d_K$ with ring of integers $\mathcal{O}_K$. When $K$ is different from $\mathbb{Q}(\sqrt{-1})$ and $\mathbb{Q}(\sqrt{-3})$, we consider a certain specific model for the elliptic curve…

For a quartic primitive CM field $K$, we say that a rational prime $p$ is {\it evil} if at least one of the abelian varieties with CM by $K$ reduces modulo a prime ideal $\gerp| p$ to a product of supersingular elliptic curves with the…

The distribution of $\alpha p$ modulo one, where $p$ runs over the rational primes and $\alpha$ is a fixed irrational real, has received a lot of attention. It is natural to ask for which exponents $\nu>0$ one can establish the infinitude…

In this paper, we calculate the unit groups and the $2$-class numbers of the fields $ \mathbb{K}= \mathbb{Q}(\sqrt{2}, \sqrt{p_1}, \sqrt{p_2})$ and $ \mathbb{L}= \mathbb{Q}( \sqrt{-1},\sqrt{2}, \sqrt{p_1}, \sqrt{p_2})$, where $p_1$ and…

Let $G$ be an elementary abelian $p$-group. In this paper, we calculate the $K_2$-groups of some quotient rings $\mathbb{Z}[G]/I$ for certain ideals $I \subseteq \mathbb{Z}[G]$ of finite $p$-power index. These results are established…

Although a deterministic polytime algorithm for primality testing is now known, the Rabin-Miller randomized test of primality continues being the most efficient and widely used algorithm. We prove the correctness of the Rabin-Miller…

We first show a deterministic algorithm for taking $r$-th roots over $\F_q$ without being given any $r$-th nonresidue, where $\F_q$ is a finite field with $q$ elements and $r$ is a small prime such that $r^2$ divides of $q-1$. As…