Related papers: Primitive Divisors of Certain Elliptic Divisibilit…

Let $A$ be an elliptic curve over $\Q$ of square free conductor $N$. We prove that if $A$ has a rational torsion point of prime order $r$ such that $r$ does not divide $6N$, then $r$ divides the order of the cuspidal subgroup of $J_0(N)$.

A prime number $p$ is said to be irregular if it divides the class number of the $p$-th cyclotomic field $\mathbb{Q}(\zeta_{p}) = \mathbb{Q}(\mathbb{G}_m[p])$. In this paper, we study its elliptic analogue for the division fields of an…

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…

In this note we compute a constant $N$ that bounds the number of non--primitive divisors in elliptic divisibility sequences over function fields of any characteristic. We improve a result of Ingram--Mah{\'e}--Silverman--Stange--Streng,…

Let $E$ be an elliptic curve over the rationals given by an integral Weierstrass model and let $P$ be a rational point of infinite order. The multiple $nP$ has the form $(A_n/B_n^2,C_n/B_n^3)$ where $A_n$, $B_n$, $C_n$ are integers with…

Let E/k(T) be an elliptic curve defined over a rational function field of characteristic zero. Fix a Weierstrass equation for E. For points R in E(k(T)), write x_R=A_R/D_R^2 with relatively prime polynomials A_R(T) and D_R(T) in k[T]. The…

In this paper we prove that if $n > 30,030$ then the $n$-th element of any Lucas or Lehmer sequence has a primitive divisor.

Let n be a positive integer and t a non-zero integer. We consider the elliptic curve over Q given by E : y 2 = x 3 + tx 2 -- n 2 (t + 3n 2)x + n 6. It is a special case of an elliptic surface studied recently by Bettin, David and Delaunay…

For a given point P in the group of K-rational points E(K) of an elliptic curve, we consider the sequence of values (F_1(P),F_2(P),F_3(P),...) of the division polynomials of E at P. If K is a finite field, we prove that the sequence is…

Let $\al$ and $\be$ be conjugate complex algebraic integers which generate Lucas or Lehmer sequences. We present an algorithm to search for elements of such sequences which have no primitive divisors. We use this algorithm to prove that for…

We introduce the notion of primitive elements in arbitrary truncated $p$-divisible groups. By design, the scheme of primitive elements is finite and locally free over the base. Primitive elements generalize the "points of exact order $N$,"…

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 $p$ be a prime number and let $k$ be a number field. Let $E$ be an elliptic curve defined over $k$. We prove that if $p$ is odd, then the local-global divisibility by any power of $p$ holds for the torsion points of $E$. We also show…

Let $m$ be a positive integer and let $E$ be an elliptic curve over $\mathbb{Q}$ with the property that $m\mid#E(\mathbb{F}_p)$ for a density $1$ set of primes $p$. Building upon work of Katz and Harron-Snowden, we study the probability…

Let $P_k$ be the subgroup generated by $k$th powers of primitive elements in $F_r$, the free group of rank $r$. We show that $F_2/P_k$ is finite if and only if $k$ is $1$, $2$, or $3$. We also fully characterize $F_2/P_k$ for $k = 2,3,4$.…

We give a simple proof of the well-known divisibility by 2 condition for rational points on elliptic curves with rational 2-torsion. As an application of the explicit division by $2^n$ formulas obtained in Sec.2, we construct versal…

We find all elliptic curves defined over $\mathbb{Q}$ that have a rational point of order $N$, $N\ge 4$, and whose conductor is of the form $p^aq^b$, where p, q are two distinct primes, a, b are two positive integers. In particular, we…

Given an elliptic curve E over a finite field F_q of q elements, we say that an odd prime ell not dividing q is an Elkies prime for E if t_E^2 - 4q is a square modulo ell, where t_E = q+1 - #E(F_q) and #E(F_q) is the number of F_q-rational…

We study the existence of primes and of primitive divisors in classical divisibility sequences defined over function fields. Under various hypotheses, we prove that Lucas sequences and elliptic divisibility sequences over function fields…

We explicitly describe the splitting of odd integral primes in the radical extension $\mathbb{Q}(\sqrt[n]{a})$, where $x^n-a$ is an irreducible polynomial in $\mathbb{Z}[x]$. Our motivation is to classify common index divisors, the primes…