Murty proved that for all sufficiently large $X$ there exist at least ${c(\ell,\eps) X^{1/{4\ell}-\eps}}$ real quadratic fields with class number divisible by $\ell$ and discriminant not exceeding $X$ in absolute value. We extend this this to number fields of arbitrary degree.
Divisibility sequences are defined by the property that their elements divide each other whenever their indices do. The divisibility sequences that also satisfy a linear recurrence, like the Fibonacci numbers, are generated by polynomials that divide their compositions with every positive integer power. We completely characterize such polynomials in terms of their factorizations into cyclotomic polynomials using labeled Hasse diagrams, and construct new integer divisibility sequences based on them. We also show that, unlike the Fibonacci numbers, these non-classical sequences do not have the p…
Let $F$ be a number field, and $D$ be a quaternion $F$-algebra. We show that the class number of any residually unramified $O_F$-order (e.g. an Eichler order) in $D$ is divisible by the class number of $F$.
Let n be an odd number and F an imaginary quadratic field with odd discriminant. We show that there exists infinitely many cubic fields K such that the class number of K is divisible by n and the Galois closure of K contains F.
The class number divisibility problem for number fields is one of the classical problems in algebraic number theory, which originated from Gauss' class number conjectures. The relation between the points on an elliptic curve and class number divisibility of a number field has been explored through the works of various mathematicians. Here, we explicitly construct an unramified abelian extension of a bi-quadratic field generated from points of a certain type of elliptic curve. Moreover, showing the $2$-Selmer rank of the said elliptic curve as $1$, we also construct an infinite family of bi-qua…
For a given odd integer $n>1$, we provide some families of imaginary quadratic number fields of the form $\mathbb{Q}(\sqrt{x^2-t^n})$ whose ideal class group has a subgroup isomorphic to $\mathbb{Z}/n\mathbb{Z}$.
In this paper we provide criteria for the insolvability of the Diophantine equation $x^2+D=y^n$. This result is then used to determine the class number of the quadratic field $\mathbb{Q}(\sqrt{-D})$. We also determine some criteria for the divisibility of the class number of the quadratic field $\mathbb{Q}(\sqrt{-D})$ and this result is then used to discuss the solvability of the Diophantine equation $x^2+D=y^n$.
We construct some families of quadratic fields whose class numbers are divisible by $3.$ The main tools used are a trinomial introduced by Kishi and a parametrization of Kishi and Miyake of a family of quadratic fields whose class numbers are divisible by $3.$ At the end we compute class number of these fields for some small values and verify our results.
For any odd prime $p,$ we construct an infinite family of pairs of imaginary quadratic fields $\mathbb{Q}(\sqrt{d}),\mathbb{Q}(\sqrt{d+1})$ whose class numbers are both divisible by $p.$ One of our theorems settles Iizuka's conjecture for the case $n=1$ and $p >2.$
Let $Γ\,=\, \mathbb{Q}(\sqrt[5]{n})$ be a pure quintic field, where $n$ is a natural number $5^{th}$ power-free. Let $k = \mathbb{Q}(\sqrt[5]{n}, ζ_5)$, with $ζ_5$ is a primitive $5^{th}$ root of unit, be the normal closure of $Γ$, and a pure metacyclic field of degree $20$ over $\mathbb{Q}$. When $n$ takes some particular forms, we show that $Γ$ admits a trivial $5$-class group and $5$ divides exactly the class number of $k$.
Let $k \geq 1$ be a cube-free integer with $k \equiv 1 \pmod {9}$ and $\gcd(k, 7\cdot 571)=1$. In this paper, we prove the existence of infinitely many triples of imaginary quadratic fields $\mathbb{Q}(\sqrt{d})$, $\mathbb{Q}(\sqrt{d+1})$ and $\mathbb{Q}(\sqrt{d+k^2})$ with $d \in \mathbb{Z}$ such that the class number of each of them is divisible by $3$. This affirmatively answers a weaker version of a conjecture of Iizuka \cite{iizuka-jnt}.
It is known that the greatest common divisor of two Fibonacci numbers is again a Fibonacci number. It is called the strong divisibility property. However, this property does not hold for every second order sequence. In this paper we study the generalized Fibonacci polynomials and classify them in two types depending on their Binet formula. We give a complete characterization for those polynomials that satisfy the strong divisibility property. We also giveformulas to calculate the $\gcd$ of those polynomials that do not satisfy the strong divisibility property. Note. This paper is now published…
For a pair $(E,P)$ of an elliptic curve $E/\mathbb{Q}$ and a nontorsion point $P\in E(\mathbb{Q})$, the sequence of \emph{elliptic Fermat numbers} is defined by taking quotients of terms in the corresponding elliptic divisibility sequence $(D_{n})_{n\in\mathbb{N}}$ with index powers of two, i.e. $D_{1}$, $D_{2}/D_{1}$, $D_{4}/D_{2}$, etc. Elliptic Fermat numbers share many properties with the classical Fermat numbers, $F_{k}=2^{2^k}+1$. In the present paper, we show that for magnified elliptic Fermat sequences, only finitely many terms are prime. We also define \emph{generalized elliptic Ferma…
We investigate algebraic and arithmetic properties of a class of sequences of sparse polynomials that have binomial coefficients both as exponents and as coefficients. In addition to divisibility and irreducibility results we also consider rational roots. This leads to the study of an infinite class of integer sequences which have interesting properties and satisfy linear recurrence relations.
For any integer $l\geq 1$, let $p_1, p_2, \ldots, p_{l+2}$ be distinct prime numbers $\geq 5.$ For all real numbers $X>1,$ we let $N_{3,l}(X)$ denote the number of real quadratic fields $K$ whose absolute discriminant $d_K\leq X$ and $d_K$ is divisible by $(p_1\ldots p_{l+2})$ together with the class number $h_K$ of $K$ divisible by $2^{l}\cdot 3.$ Then, in this short note, by following the method in \cite{Byeonkoh}, we prove that $N_{3,l}(X) \gg X^\frac{7}{8}$ for all large enough $X$'s.
Let $n$ be a squarefree positive odd integer. We will show that there exist infinitely many imaginary quadratic number fields with discriminant divisible by $n$ and-at the same time-having an element of order $n$ in the class group. We then apply our result to prove that for a given squarefree positive odd integer $n$ there exist infinitely many $N$ such that $n$ divides both $N$ and $r(N)$, where $r(N)$ is the representation number of $N$ as sums of three squares.
In this note we revisit classic work of Soundararajan on class groups of imaginary quadratic fields. Let $A,B,g \ge 3$ be positive integers such that $\gcd(A,B)$ is square-free. We refine Soundararajan's result to show that if $4 \nmid g$ or if $A$ and $B$ satisfy certain conditions, then the number of negative square-free $D \equiv A \pmod{B}$ down to $-X$ such that the ideal class group of $\mathbb{Q} (\sqrt{D})$ contains an element of order $g$ is bounded below by $X^{\frac{1}{2} + ε(g) - ε}$, where the exponent is the same as in Soundararajan's theorem. Combining this with a theorem of Fre…
In this paper we find a new lower bound on the number of imaginary quadratic extensions of the function field $\mathbb{F}_{q}(x)$ whose class groups have elements of a fixed odd order. More precisely, for $q$, a power of an odd prime, and $g$ a fixed odd positive integer $\ge 3$, we show that for every $ε>0$, there are $\gg q^{L(1/2+\frac{3}{2(g+1)}-ε)}$ polynomials $f \in \mathbb{F}_{q}[x]$ with $°f=L$, for which the class group of the quadratic extension $\mathbb{F}_{q}(x, \sqrt{f})$ has an element of order $g$. This sharpens the previous lower bound $q^{L(1/2+\frac{1}{g})}$ of Ram Murty. Ou…
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 specific divisor of $n$. Applying this result, we construct an infinite family of certain tuples of imaginary quadratic fields of the form $$\left(\mathbb{Q}(\sqrt{d}), \mathbb{Q}(\sqrt{d+1}), \mathbb{Q}(\sqrt{4d+1}), \mathbb{Q}(\sqrt{2d+4}), \mathbb{Q}(\sqrt{2d+16}), \cdots, \mathbb{Q}(\sqrt{2d+4^t}) \right)$$ with $d\in \mathbb{Z}$ and $1\leq 4^t\leq 2|d|…
In this paper, we study two topics. One is the divisibility problem of class groups of quadratic number fields and its connections to algebraic geometry. The other is the construction of Selmer group and Tate-Shafarevich group for an abelian variety defined over a number field.
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 defined over number fields contain infinitely many irreducible elements. We also prove that an elliptic divisibility sequence over a function field has only finitely many terms lacking a primitive divisor.
Diophantine problems involving recurrence sequences have a long history and is an actively studied topic within number theory. In this paper, we connect to the field by considering the equation \begin{align*} B_mB_{m+d}\dots B_{m+(k-1)d}=y^\ell \end{align*} in positive integers $m,d,k,y$ with $\gcd(m,d)=1$ and $k\geq 2$, where $\ell\geq 2$ is a fixed integer and $B=(B_n)_{n=1}^\infty$ is an elliptic divisibility sequence, an important class of non-linear recurrences. We prove that the above equation admits only finitely many solutions. In fact, we present an algorithm to find all possible solu…
We extend a holomorphic projection argument of our earlier work to prove a novel divisibility result for non-holomorphic congruences of Hurwitz class numbers. This result allows us to establish Ramanujan-type congruences for Hurwitz class numbers on square classes, where the holomorphic case parallels previous work by Radu on partition congruences. We offer two applications. The first application demonstrates common divisibility features of Ramanujan-type congruences for Hurwitz class numbers. The second application provides a dichotomy between congruences for class numbers of imaginary quadra…
Let $K$ be a number field, and let $G$ be a finitely generated subgroup of $K^\times$. Without relying on the Generalized Riemann Hypothesis we prove an asymptotic formula for the number of primes $\mathfrak p$ of $K$ such that the order of $(G\bmod\mathfrak p)$ is divisible by a fixed integer. We also provide a rational expression for the natural density of this set. Furthermore, we study the primes $\mathfrak p$ for which the order is $k$-free, and those for which the order has a prescribed $\ell$-adic valuation for finitely many primes $\ell$. An additional condition on the Frobenius conjug…
Let K/k be an Abelian extension of number fields, S be a set of places of k, and p be an odd prime number. We continue an earlier investigation of the author into the values at zero of the S-imprimitive partial zeta functions of K/k. An earlier result provides, under the assumption that the p-power roots of unity in K are cohomologically trivial, a criterion for the values to have larger than expected p-valuation. The present paper provides such a criterion for a special class of degree 2p extensions for which the p-power roots of unity are not cohomologically trivial. For such extensions, new…
Let $\mathbb{F}_q$ denote the finite field of $q$ elements with characteristic $p$. Let $\mathbb{Z}_q$ denote the unramified extension of the $p$-adic integers $\mathbb{Z}_p$ with residue field $\mathbb{F}_q$. In this paper, we investigate the $q$-divisibility for the number of solutions of a polynomial system in $n$ variables over the finite Witt ring $\mathbb{Z}_q/p^m\mathbb{Z}_q$, where the $n$ variables of the polynomials are restricted to run through a combinatorial box lifting $\mathbb{F}_q^n$. The introduction of the combinatorial box makes the problem much more complicated. We prove a …
We prove an optimal Zsigmondy bound for elliptic divisibility sequences over function fields in case the $j$-invariant of the elliptic curve is constant. In more detail, given an elliptic curve $E$ with a point $P$ of infinite order, the sequence $D_1$, $D_2, \ldots$ of denominators of multiples $P$, $2P,\ldots$ of $P$ is a strong divisibility sequence in the sense that $\gcd(D_m, D_n) = D_{\gcd(m,n)}$. This is the genus-one analogue of the genus-zero Fibonacci, Lucas and Lehmer sequences. A number $N$ is called a Zsigmondy bound of the sequence if each term $D_{n}$ with $n>N$ presents a new p…
The partial Stirling numbers T_n(k) used here are defined as the sum over odd values of i of (n choose i) i^k. Their 2-exponents nu(T_n(k)) are important in algebraic topology. We provide many specific results, applying to all values of n, stating that, for all k in a certain congruence class mod 2^t, nu(T_n(k)) = nu(k - k0) + c0, where k0 is a 2-adic integer and c0 a positive integer. Our analysis involves several new general results for nu(sum (n choose 2i+1) i^j), the proofs of which involve a new family of polynomials. Following Clarke, we interpret T_n as a function on the 2-adic integers…
In this paper we introduce a class of sequences connected with the $m$--ary partition function and investigate their congruence properties. In particular, we get facts about the sequences of $m$--ary partitions $(b_{m}(n))_{m\in\mathbb{N}}$ and $m$--ary partitions with no gaps $(c_{m}(n))_{m\in\mathbb{N}}$. We prove, for example, that for any natural number $2<h\leq m+1$ in both sequences $(b_{m}(n))_{m\in\mathbb{N}}$ and $(c_{m}(n))_{m\in\mathbb{N}}$ any residue class modulo $h$ appears infinitely many times. Moreover, we give new proofs of characterisations modulo $m$ in terms of base--$m$ r…