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
29 views

Characterization of Extended Lucky Numbers

The Lucky Numbers is a sieve where one starts out with the positive integers: 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 ... and then eliminate ...
4
votes
0answers
187 views

Proving $11! + 1$ is prime

Prove that: $$11! + 1$$ is a prime number. Without computing the number (or factorial). Obviously, from Wilson's theorem, a number $n$ is prime if, $$(n-1)! + 1 \equiv 0 \pmod{n}$$ Since $n = ...
4
votes
0answers
58 views

For what values of $x$ will $ax^2+b$ be perfect squares?

I need help on the this. Suppose that $ax^2+b$ is given where $a, b\in \mathbb Z$. Can we determine all the values of $x\in \mathbb Z$ such that $ax^2+b$ will be a perfect square ? Please help me. ...
4
votes
0answers
76 views

Is there a formula for $\sum_{n=0}^{+\infty} q^{n^3}$?

When I studyied the representation of integers as sum of squares, I found that the most powerful tool is the Jacobi Triple Product, in fact this amazing identity allows us to find more useful ...
4
votes
0answers
44 views

Can we find the GCD of two polynomials in $\mathbb Q[x]$ by representing the coefficients as vectors?

Can we find the GCD of two polynomials in $\mathbb Q[x]$ by representing the coefficients as vectors? For example: $f=x^5+3x^4+x^3+4x^2+1$, and $g=x^5+3x^4+4x^3+3x+1$ Can we represent these ...
4
votes
0answers
52 views

Not using Jacobi symbol how to prove For all positive integer $n>1$ $2^n - 1 \not | 3^n-1$?

There is a proof: if $n$ is even,then $3|2^n-1$ but $3\not|\;3^n-1$,It is correct; if $n$ is odd,suppose $2^n-1|3^n-1$,then $3^n \equiv 1(\mod 2^n-1)$,then ...
4
votes
0answers
79 views

More on primes $p=u^2+27v^2$ and roots of unity

Given, $$p=u^2+27v^2=3m+1\tag1$$ and the cubic, $$x^3+x^2-mx+N=0\tag2$$ with its constant expressed in terms of $(1)$ as, $$N = \frac{1}{27}(1-3p\pm2pu)\tag3$$ and the sign $\pm u$ chosen ...
4
votes
0answers
101 views

An infinite series that gives $f(s)=s$. How could it be explained more easily?

This question loosely builds this one. Equate the following two infinite series for $\zeta(s)$: $$\displaystyle \zeta(s) = \frac{1}{4\,(s-1)} \left(1+s+\sum _{n=1}^{\infty } \left( {\frac ...
4
votes
0answers
52 views

Prove this congruence

Let $p$ be a prime of the form $4k+3$ and $m$ an even positive integer less than $p-1$. Prove that $$1^m+2^m+\cdots+\left(\frac{p-1}{2}\right)^m \equiv ...
4
votes
0answers
38 views

$\sum_{a^2<p\leq (a+1)^2}p$ Summation of primes

$$\sum_{a^2<p\leq (a+1)^2}p$$ where p is prime. Are there some known bounds for this sum?
4
votes
0answers
50 views

Numbers Made From Concatenating Prime Factorizations

I came across the following curious problem while playing around with my calculator. Take any positive integer $n$; for this example we'll use $216$. Create a sequence as follows: Factor $n$ into ...
4
votes
0answers
51 views

When does a variety have a point over a finite field for sufficiently large primes p?

Let $X$ be an algebraic variety over the rational numbers. Suppose that $X$ has positive dimension. I would like to say that $X(\mathbb{F}_p)$ is non-empty for sufficiently large primes $p$. One idea ...
4
votes
0answers
137 views

Differences between large numbers with many factors has little factors

I apologise beforehand for the informality and lack of precision in this question but it is that way because it comes from only an intuition, nothing more than a heuristic argument. Say one has two ...
4
votes
0answers
96 views

Is it decidable whether the iterates of a polynomial map are bounded?

Let $f:\mathbb{Q}^n\to \mathbb{Q}^n$ be a polynomial map with rational coefficients. Let $p\in \mathbb{Q}^n$. Is there a known algorithm that given this data determines whether or not the iterates ...
4
votes
0answers
102 views

Diophantine inequality that comes up after Vieta Jumping Hurwitz technique

I am blaming this on Prove the equality EDITTTTT: allowing $x_1 \geq x_2$ and $x_2 \geq x_n,$ I would rather not explain what that was about and the only changes are in $n=3,4,$ already settled. ...
4
votes
0answers
112 views

Adding Numbers Pattern

A few nights ago I couldn't sleep and so started doing this: I would take a number and add up all of its digits to get a new number and then add up all of those digits and so on until there was only ...
4
votes
0answers
31 views

Artin-Schreier Question from Corps Locaux

I have a question from Serre's book "Corps Locaux", namely question 5a in section 2 of chapter IV. It is as follows: "Let $e_K$ be the absolute ramification index of K, and let n be a positive ...
4
votes
0answers
53 views

English translation of two papers by Polya on real zeros of Fourier transform approximation to Riemann $\xi$ function

I am looking for English translation of the following two papers by Polya: [1] G. Polya, Bemerkung über die Integraldarstellung der Riemannschen $\xi$-Funktion, Acta Math. 48(1926), 305-317; ...
4
votes
0answers
118 views

Transfinite Knuth-arrow hierarchy vs. fast-growing hierarchy

Suppose Knuth arrow notation (and hence the hyperoperation sequence) is extended to transfinite ordinal indices as follows: Let μ be a large countable ordinal such that a fundamental sequence is ...
4
votes
0answers
58 views

Ramification index of infinite primes

I am reading Neukirch's Algebraic Number Theory. On page 184, Chapter 3, Neukirch defines the ramification index of infinite primes as follows: For a finite extension $L/K$ of number fields, and an ...
4
votes
0answers
76 views

Chinese Remainder Theorem stuff (but more advanced, certainly derived from)

First, let $m$,$n$ be coprime. Suppose we want to find: $x\equiv y\text{ mod }m$ $x\equiv z\text{ mod }n$ As m,n are coprime $\exists a,b\in\mathbb{Z}:am+bn=1$ (GCD=1 basically) Then, for ...
4
votes
0answers
60 views

Asymptotics for Mertens function

It seems that the cumulative mean of the Mertens function is very similar in behaviour to $x$ raised to the power of the first zeta zero. I tentatively notate it as: ...
4
votes
0answers
116 views

Prime factors of $2^{2^2}+3^{3^3}+5^{5^5}+7^{7^7}$

Are there any useful restrictions to the prime factors of the number $$2^{2^2}+3^{3^3}+5^{5^5}+7^{7^7}$$ The two smallest are 6771419 and 72153167 , which I found by trial division. The number is ...
4
votes
0answers
57 views

Closest Pair between 2 sets of powers

Assume $a$ and $b$ are natural numbers, $A=\{a,a^2,a^3,\cdots\}$ and $B=\{b,b^2,b^3,\cdots\}$, find $\min\left|a_i-b_j\right|$ where $a_i\in A$ and $b_j\in B$. For example, if $a=3$, $b=10$, then ...
4
votes
0answers
98 views

How find this equation all pairs of integers $(m,n)$ such that $m^6 = n^{n+1} + n -1$

Find all pairs of integers $(m,n)$ such that $m^6 = n^{n+1} + n -1$ My try: If $n>1$ is odd, then note $$\left(n^{\frac{n+1}{2}}\right)^2<n^{n+1}+n-1<\left(n^{\frac{n+1}{2}}+1\right)^2$$ so ...
4
votes
0answers
127 views

Algorithm for comparing the size of extremely large numbers

Is there a simple algorithm to decide which of the numbers $$a \uparrow ^b c \text{ and } d \uparrow ^e f$$ is the bigger one ? Using the hyperoperation, the numbers can be denoted with ...
4
votes
0answers
55 views

Automorphism group of an L-function

I define the notion of Galois class of L-functions as follows: $A$ is a Galois class of L-functions if and only if the following conditions simultaneously hold true: 1) $A$ is a subset of the ...
4
votes
0answers
49 views

List of Primes in UFD

Are there websites/databases containing lists ordered by norm of prime/irreducible elements in domains like $\mathbb{Z}[\sqrt{-2}]$ and $\mathbb{Z}\left[\frac{-1+\sqrt{-3}}{2}\right]$ for easy ...
4
votes
0answers
119 views

References request: Ramanujan's tau function.

References request: Ramanujan's tau function. Let $\Delta(z)=q\prod_{n=1}^{\infty} (1-q^n)^{24}=\sum_{n=1}^{\infty} \tau(n)q^n$, $q=e^{2\pi i z}$. How can one show the following using representation ...
4
votes
0answers
69 views

Intersection between OEIS-A050808 and OEIS-A080053

Is there any result on the intersection between A050808 and A080053: OEIS-A080053 = 1, 2, 4, 5, 6, 10,... (Exp(n) is further from an integer than any previous exp(k)) OEIS-A050808 = 1, 2, 18, ...
4
votes
0answers
109 views

Role of the discrete subgroups of Lie groups

This is a question I don't believe is too vague to admit a sensible answer: In what directions can the structure theory of the discrete subgroups of real and p-adic Lie groups applied? What ...
4
votes
0answers
64 views

Is there always a prime number in the form of $4k+1$ between $[n, 2n]$ for every large enough $n$?

Is there always a prime number in the form of $4k+1$ between $[n, 2n]$ for every large enough $n$? I guess it is known as a classical result. Is there any reference for it? Thanks!
4
votes
0answers
69 views

Solve $f(x)\mid g^2(x)+1$ in $\mathbb Z[x]$

We know that if $p\in \mathbb P$ and $p\equiv 1\bmod 4$ then we can find $t\in\mathbb Z$ such that $p\mid t^2+1.$ For what polynomial $f(x)\in \mathbb Z[x]$, we can find $g(x)\in \mathbb Z[x]$ ...
4
votes
0answers
66 views

Can we say anything about the structure of the semigroup of non-coprime pairs after this?

Let $S = \{(a,b) : \ a, b \in \Bbb{Z} \wedge \gcd(a,b) \neq 1 \}$. Then it forms a semigroup under componentwise multiplication and if we add an exception, that even though $\gcd(1,1) = 1$, we ...
4
votes
0answers
373 views

Can $\sigma_4(n)$ be a square number?

Denote $\sigma_k(n)=\sum_{d\mid n}d^k,$ then $$\sigma_1(3)=2^2,\sigma_2(42)=50^2,\sigma_3(2)=3^2,$$ and both $\sigma_1(345)$ and $\sigma_3(345)$ are square numbers: ...
4
votes
0answers
95 views

What should be taught about the reciprocity law for high school gifted student

This autumn I have to teach a mini course for a small group of high school student (mathematical gifted class) on Quadratic Reciprocity Law (3 lectures in ten hours). This is the requirement of the ...
4
votes
0answers
120 views

Prove That $1/\sin(i \pi/n)+1/\sin(j \pi/n) \ne 2$ When $n$ is Odd

The original problem is: Prove that $1/\sin(i \pi/n)+1/\sin(j \pi/n) \ne 2$ when $n$ is odd. I tried, and found that although everything looks similar, I actually know nothing about this kind of ...
4
votes
0answers
166 views

Proof of $\pi$ not being a quadratic irrational number.

Does someone know a proof (books , articles) that $\pi$ is not a quadratic irrational? The proof should not use that $\pi$ is transcendental. Any hints would be appreciated.
4
votes
0answers
89 views

Pairwise sums are equal

The distinct positive integers $a_1,a_2,...,a_n,b_1,b_2,...,b_n$ with $n\ge2$ have the property that the $\binom{n}2$ sums $a_i+a_j$ are the same as the $\binom{n}2$ sums $b_i+b_j$ (in some order). ...
4
votes
0answers
116 views

Adelic lattices

Let $\mathbb{A} = \widehat{\mathbb{Z}} \otimes \mathbb{Q} \times \mathbb{R}$ be the adeles over $\mathbb{Q}$. In Deligne's article "Formes modulaires et representations de GL(2)" he states without ...
4
votes
0answers
124 views

Modular Functions with Rational Fourier Expansions

I have been reading the paper of Cox, McKay and Stevenhagen "Principal Moduli and Class Fields", http://arxiv.org/pdf/math/0311202v1.pdf, and I have a question regarding the nature of the function ...
4
votes
0answers
205 views

A question about odd perfect numbers

Edit [in response to a comment from anon]: Hereinafter, $N$ is a positive integer, $\sigma(N)$ is the sum-of-divisors of $N$, $\omega(N)$ is the number of distinct prime factors of $N$, and ...
4
votes
0answers
406 views

The greatest prime factor of $6n+1$

Let $p(n)$ be the greatest prime factor of $n$. Denote $a_1(n)=p(6n+1),a_{k+1}(n)=p(6a_k(n)+1)).$ Is it true that for $\forall n\in \mathbb N,$ $\exists c,t \in \mathbb N^{+}:k>c\implies ...
4
votes
0answers
84 views

Surjective map in Galois cohomology?

Let $p$ be a prime number, $\mathbb{F}_p$ the field with $p$ element and $\omega$ the mod $p$ cyclotomic character. Let $K$ be a finite extension of $\mathbb{Q}_p$ (the field of $p$-adic numbers) and ...
4
votes
0answers
85 views

Linear independence of $\cos(n\theta)$

I was trying to see if the cosines of the (certain) integer multiples of a certain angle were linearly independent over $\mathbf{Q}$. In particular I was looking at when $\theta = ...
4
votes
0answers
84 views

Bounds for multi-dimensional Kloosterman Sums

I'm looking for a general bound (in terms of $p$) for the Kloosterman sum, working in $\mathbb{F}_{p}$, $$\sum\limits_{x_{1} \dots \ x_{n} = a} \psi(x_{1} + \dots + x_{n})$$ for $\psi$ a nontrivial ...
4
votes
0answers
190 views

possible prime factors of $4^{444}+3$

I have not factored the number $4^{444}+3$ yet. I wonder, though, if there are restrictions for possible prime factors p. The only obvious restriction is, that -3 must be a quadratic residue of p. ...
4
votes
0answers
169 views

Understanding Newman's proof of the prime number theorem

I am trying to understand D.J. Newman's proof of the prime number theorem, as presented by D. Zagier. I am not too familiar with analysis, and so there are some things I don't understand. In (III), ...
4
votes
0answers
110 views

Inverting the Riemann zeta function in $s>1$

Let $s>1$ be a positive real and the Riemann zeta fucntion be defined for $s>1$ as $$ \zeta(s) = \sum_{n=1}^{\infty}\frac{1}{n^s}. $$ I am looking for an inversion formula for the zeta ...
4
votes
0answers
263 views

Period of decimal for $1/n$, odd part of $n+1$, and primes.

Let $n$ be a nature number is coprime to $10$,such that the period of the decimal expansion of $1/n$ is a divisor of $n-1$, and let $c$ be the "cycle length of $n$" (defined below). If $n-1=2^xc$ ...