Questions on more advanced topics of number theory, such as quadratic residues, primitive roots, prime numbers, non-linear Diophantine equations, etc. Consider first if (elementary-number-theory) might be a more appropriate tag before adding this tag.

learn more… | top users | synonyms (1)

4
votes
0answers
75 views

Is the error I noticed a harmless typo?

Here http://arxiv.org/PS_cache/arxiv/pdf/1002/1002.0442v1.pdf , at page $2$ at the bottom, it is stated that the number of primes not exceeding $x$, denoted by $\pi(x)$, satisfies the double-...
4
votes
0answers
56 views

Independence of radicals: First-principles proof of special case

I've known this problem for a long time: Problem. Show that the number $\alpha=\sqrt{1} + \sqrt{2} + \ldots + \sqrt{n}$ is irrational for $n\geq 2$. but I haven't been able to find a solution from ...
4
votes
0answers
100 views

Almost-Linear Sequence of Positive Integers Excluding a Near-Quadratic Integer Sequence

I remember that I have seen a similar problem to this one here: The set of natural numbers that don't belong to a set (which is a duplicate of $m$ doesn't come in the sequence $a_n=[n+\sqrt{n}+...
4
votes
0answers
78 views

$\{\{(2^n+3^m)\alpha\}:n,m\in\mathbb{N}\}$ is dense in [0,1]??

Let $\alpha$ be an irrational real number. I wonder whether $\{\{(2^n+3^m)\alpha\}:n,m\in\mathbb{N}\}$ is dense in [0,1] in which $\{x\}$ means the fractional part of x. This is equivalent to the ...
4
votes
0answers
38 views

Prove that there are only finitely many rational numbers $p/q$ satisfying $|\frac{p}{q}-\sqrt[d]{b}|\leq \frac{C}{q^3}$.

This is a problem from Silverman & Tate's Rational Points on Elliptic Curves. The following is the Diophantine Approximation theorem by Thue which is proved in Chapter 5: Theorem. Let $b$ be a ...
4
votes
0answers
66 views

Sorting prime numbers on two sets of equals weights

Lets denote $(p_n)$ the sequence of all prime numbers $(p_1=2, p_2=3,\ldots)$. The conjecture is the following. For infinitely many $n\in \mathbb N_{\geq 1}$ $$\exists I \subset \{1,\ldots n\...
4
votes
0answers
154 views

Are they twin primes?

Let $n$ be a positive integer and let $p_1, p_2,...,p_n$ be first n primes. And let $m$ be the smallest integer $m\ge\,p_n$ such that $m$ and $m+2$ are coprime to $p_1,p_2,..., p_n$. Are $m$ and $m+2$...
4
votes
0answers
72 views

Prime numbers and arithmetic progressions

Whether there exist a polynomial $f$ such that for every $n$ there exist prime numbers $p_1, \ldots, p_n$, and an integer $b$ such that every $p_i$ and $b$ are less than $f(n)$ and $p_1×\ldots×p_n×b + ...
4
votes
0answers
36 views

Number of iterations of an “integer-logarithm”

Let us consider the function $\sigma:\mathbb{N}\to\mathbb{N}$ defined as: If $\prod_{i=1}^{r}p_i^{\alpha_i}$ is the prime-factorization of $n$, then $$ \sigma(n)=\sum_{i=1}^{r}\alpha_ip_i $$ So in ...
4
votes
0answers
182 views

What is the middle digit of $9^{99}$?

Find the total number of digits and the digit in the middle of $9^{99}$, $\it{without}$ actually calculating any other digit of the number. PS: according to defuse.ca/big-number-calculator.htm, the ...
4
votes
0answers
75 views

Structure Sheaves of Rigid Analytic Spaces: What is the right Value Category?

Let $K$ be a complete non-archimedean field and let $X$ be an affinoid $K$-space. Then the structure sheaf $\mathcal O_X$ of $X$ is defined first on the "weak Grothendieck topology", ie on affinoid ...
4
votes
0answers
79 views

Sum of powers of consecutive integers

The equation $k^2 + (k+1)^2 + (k+2)^2 = (k+3)^2 + (k+4)^2$ has unique positive integer solution $k = 10$. For which integers $n > 2$, if any, does $k^n + (k+1)^n + (k+2)^n = (k+3)^n + (k+4)^n$ ...
4
votes
0answers
30 views

Are there infinitely many primes in any sequence determined by a $k$ that is not a Sierpinski number?

Consider the sequence of numbers ranging over $n$ of the form $k\cdot a^n + 1$ for a fixed, odd natural number $k$. The number $k$ is considered a Sierpinski number if the sequence determined by that ...
4
votes
0answers
60 views

if $x^k-x\in\mathbb{Z}$ and $x^l-x\in\mathbb{Z}$, then $x\in\mathbb{Z}$?

is it true that for any $k,l\in\{2,3,4,\dots\}$, $k\neq l$, if $x\in\mathbb{R}$ satisfies $x^k-x\in\mathbb{Z}$ and $x^l-x\in\mathbb{Z}$, then $x\in\mathbb{Z}$? This is a generalisation of if $x^3-x\...
4
votes
0answers
43 views

Interesting properties of a mathematical number theory game

The game, which is purely recreational, goes as follows: Starting out with 1, you can employ any of two different generation rules: You can multiply by 3 You can divide by two, rounding up (e.g. 3 ...
4
votes
0answers
78 views

What is the smallest prime factor of the number $14^{14^{14}}+13\ $?

What is the smallest prime factor of the number $$N\ :=\ 14^{14^{14}}+13\ ?$$ The number of digits of $N$ is $12,735,782,555,419,983$ (The number of digits of $N$ has itself $17$ digits). The first ...
4
votes
0answers
51 views

The group defined by Gauss's definition of composition of forms

In article 242 of Disquisitiones, Gauss investigates the properties of the direct composition of two forms of the same discriminant. In this case, he gives a "natural" choice for such a composition. ...
4
votes
0answers
39 views

Evaluating a double sum involving prime numbers

Evaluate $$ \lim_{n \to \infty} \frac{1}{n} \sum_{p \leq n} \sum_{k=0}^\infty \ln p \left\{\frac{n}{(p-1)p^k} \right\}$$ where $\{ x\}$ denotes the fractional part of $x$, and $p \leq n$ denotes all ...
4
votes
0answers
53 views

Characteristic and minimal polynomials

Given $A\in\Bbb Z^{n\times n}$, is it possible to find characteristic and minimal polynomials of $A$ by chinese remainder theorem if we know characteristic and minimal polynomials respectively of $A\...
4
votes
0answers
80 views

Equidistribution theorem of Weyl

Have you examples of applications of Equidistribution theorem of Weyl in proofs of irrationality of numbers? I don't know if "if and only if" is true for this theorem.
4
votes
0answers
73 views

Tate curve and cusps

I know this is a naive question, but what is the relation between the Tate curve and cusps on a modular curve? Naive googling seems to suggest that level structures on the Tate curve (up to ...
4
votes
0answers
71 views

Finite extensions of $\mathbb{Q}((t))$

Let $K$ be a number field. Is every finite extension of $K((t))$ of the form $L((\pi^{1/e}))$, where $L/K$ is finite and $\pi = a_1t + a_2t^2 + \cdots$ for some $a_i\in L$? Is every finite flat ...
4
votes
0answers
42 views

Counting numbers of the form $u^2-v^2$

Let $C(x) =|\{(u,v)\in\mathbb N_0^2|3\leq u^2-v^2\leq x, u^2-v^2\in\mathbb {2N+1}\}|$. Are there easy ways to get good upper/lower bounds for $C(x)$? Edit: I just noticed $C(x)=\sum\frac{d(n)}{2}+\...
4
votes
0answers
42 views

Proving an eliptic curve is cyclic, and determining it's order

I need a solution with an explanation for the following. Thanks! Let $E/F_q$ be an elliptic curve and let $P ∈ E(F_q)$ be a point a. if $n=ord(P)>1/2(q^{0.5}+1)^2$ prove that $E(F_q)$ is cyclic ...
4
votes
0answers
125 views

Finding zeta function of an elliptic curve

Let p=3 (mod 4) be a prime, and $E/F_{p^r}$ be the elliptic curve given by $y^2 = x^3 − x$ Find the zeta-function of $E/F_p$ and use it to determine $|E(F_{p^r} )|$ for all r>0.
4
votes
0answers
62 views

Original proof of Ljunngren's equation

The equation $$x^2=2y^4-1$$ was studied and solved by Ljunngren, who showed that 1,1 and 293,13 are the only integer solutions.However, his proof was very difficult and L.J.Mordell thought there must ...
4
votes
0answers
103 views

A problem about positive integer sequence in number theory

The problem is how to show that there exist infinite pairs $(p,q)$ such that $a_p\mid a_q$ for a positive integer sequence $a_1,a_2,\ldots$ such that $0<a_{n+1}-a_n\le 2013$. In fact, it only needs ...
4
votes
0answers
103 views

Perfect Prime $4D$-Cube

$\color{gray}{\mbox{ I don't want to overflow/burden you with numerous rigorous definitions...}}$ So, definition by the images:      Perfect Prime Cube:   $(30; 5, 22, ...
4
votes
0answers
146 views

Arithmetic Derivative

In Calculus, whenever we see a constant and want to take the derivative of it, it always is $0$. However in Number Theory, we have something called the arithmetic derivative in which we can ...
4
votes
0answers
71 views

Classifying Diophantine Equations

Take a given Diophantine equation. Chances are, we can't find any solutions. But if it's an equation of a certain form, we may get lucky and may be able not only to find a solution, but be able to ...
4
votes
0answers
54 views

What are the next primes in this sequence?

Define $z_k$ to be the smallest number $z$, such that $$z\equiv \phi(\phi(p))\pmod p$$ for every prime $p\le k$. We can assume, that $k$ itself is prime. The first few numbers are $z_2=z_3=1$ , $...
4
votes
0answers
332 views

LCM of binomial coefficients and related functions

I know about the following identity: $$\displaystyle \text{lcm} \left( {n \choose 0}, {n \choose 1}, ... {n \choose n} \right) = \frac{\text{lcm}(1, 2, ... n+1)}{n+1}$$ 1) Is there any method to find $...
4
votes
0answers
60 views

Composite numbers $n$, such that every $a$ with $1<a<n-1$ is a witness

A Carmichael number $n$ has the property that $$a^{n-1}\equiv 1\ (\ mod\ n\ )$$ for every $a$ with $(a,n)=1$. I wonder, which numbers have the converse property : For which composite numbers $...
4
votes
0answers
46 views

De Rham-Etale comparison isomorphism for elliptic curves

I can't find anywhere a proof of the following comparison isomorphishm: $$H^1_{dR}(E)\otimes \mathbb{C}=H^1_{et}(E)\otimes \mathbb{C}$$ where $E$ is an elliptic curve over $\mathbb{C}$. Any ...
4
votes
0answers
102 views

Find all $x,y\in \mathbb{N}$ such that: $2^x+17=y^2$.

Find all $x,y\in \mathbb{N}$ such that: $2^x+17=y^2$. Its easy to find that $x=6$ is the only even value for $x$, the others have to be odd. One more thing is that we get $y^2 \equiv 19 \pmod p$, ...
4
votes
0answers
72 views

Tate curve and action of inertia group

I read the answers to this question Clarifying a comment of Serre. However I miss a passage of the second answer and since I can't comment there I have should post a new question. I don't understand ...
4
votes
0answers
135 views

Diophantine equation: $13^x+3=y^2$

$x,y$ are positive integers. $$13^x+3=y^2\iff \left(4+\sqrt{3}\right)^x\left(4-\sqrt{3}\right)^x=\left(y+\sqrt3\right)\left(y-\sqrt3\right)$$ $\gcd\left(y+\sqrt3, y-\sqrt3\right)=1$, therefore $y+\...
4
votes
0answers
136 views

Connections between Fibonacci and natural numbers

Here are some known facts about the Fibonacci numbers and then some questions regarding them . 1.Carmichael's theorem : For every $n>12$ $F_n$ has a prime divisor which doesn't divide any of ...
4
votes
0answers
48 views

Motivation behind the Archimedean norm on number fields .

It is easy to justify the use of non-archimedean norms on number fields from an "inside view" as arising from the prime ideals and are therefore clearly useful a priori. However, it seems to me that ...
4
votes
0answers
55 views

Which permutations of $\mathbb{C}$ commute with the Riemann zeta function?

I'm trying to figure out whether the permutations of $\mathbb{C}$ which commute with the Riemann $\zeta$ function are necessarily continuous or not. Obviously both the identity and the complex ...
4
votes
0answers
146 views

A lower bound for an arithmetic function

Let $N \in \mathbb{N}$ such that $\phi(N) \sim N$, where $\phi$ is the Euler's totient function. Let $A \subset [N] := \{1, 2, \ldots, N\}$. For $n \in \mathbb{N}$ define the function $$ C_A(n) = \#\{ ...
4
votes
0answers
83 views

Prove that for each integer $n \ge 2$ there exists a prime number $p$ dividing $a_n$

Let $c \ge 1$ be an integer. Define a sequence of positive integers by $a_1 = c$ and $$a_{n+1}=a_n^3-4c\cdot a_n^2+5c^2\cdot a_n+c$$ for all $n\ge 1$. Prove that for each integer $n \ge 2$ there ...
4
votes
0answers
60 views

Linear independence of primitive Dirichlet characters and convolution

This is not an exercise but merely a question I have. Fix $N \in \mathbb{N}$ and suppose there exist some values $a_k \in \mathbb{C}$, for $k \in \mathbb{Z}_N$, such that $$ \sum_{k \in \mathbb{Z}_N} ...
4
votes
0answers
88 views

Special Case of Composite mersenne number mod p

We want to investigate if a composite mersenne number $p|2^{qb}-1$ where $p\nmid2^q-1$ ,$q,p$ are primes, $p=1+6qb,\ qb\equiv1(mod64) $ and $b$ is an odd number. In general for $$\begin{align*} x^n\...
4
votes
0answers
47 views

Connection between sgn character and the Legendre symbol

Today, while I was lecturing on the Legendre symbol, I realized that the phenomenon: "the product of two non-squares is a square" isn't so foreign. For example, for $\mathbb R^\times$, the squares are ...
4
votes
0answers
73 views

Finding first n so nth fibonacci is c modulo p

This is a question I stumbled upon in an online programming contest archive. The problem statement is simple, given $c \equiv F(n)$ mod $P$ and $P$, where $P$ is a prime of form 5$k$ + 1 or 5$k$ - 1, (...
4
votes
0answers
31 views

The copy-problem : Does any block of digits appear at least twice?

Suppose, $N$ random digits have been generated. Let $X$ be the largest natural number with the following property : There are natural numbers $i$ and $j$ with $i+X-1<j$ , such that the digits $i$ ...
4
votes
0answers
77 views

Zeta zeros standard normal distribution

Below is a partially scaled plot of $\vartheta (\gamma_n) - \pi (n - 3/2) ,$ where $\gamma_n$ is the imaginary part of the $n$th zeta zero, and $\vartheta $ is the Riemann-Siegel theta function, for ...
4
votes
0answers
41 views

Squarefree products of a class of primes

Numbers which are the sum of two squares are the product of a square and a collection of distinct primes which are 1 or 2 mod 4. Landau proved that there are $\sim kx/\sqrt{\log x}$ such numbers up ...
4
votes
0answers
44 views

Multiples of some set has density

Nathanson gives a proof in Elementary Methods in Number Theory (Theorem 7.14) that, if a set $S$ of positive integers has $$ \sum_{s\in S}\frac1s<+\infty $$ then the set of positive multiples of $S$...