Questions on more advanced topics of number theory. 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
95 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
51 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
71 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
52 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
112 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
55 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
212 views

start studying advanced topics in number theory

I am a first year undergrad and have had elementary course in Number Theory which includes only basic introductory topics like: divisibility,gcd-lcm,primes,congruences, number theoretic functions etc. ...
4
votes
0answers
97 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
99 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
52 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
48 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
106 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
65 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
97 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
102 views

Ramification index and residue class degree under completion

I've got a problem in proving something written at page 111 of the book "Algebraic Number Theory" by A. Fröhlich and M. J. Taylor. This is the setting. Let $\mathfrak{o}$ be a Dedekind domain with ...
4
votes
0answers
122 views

On odd perfect numbers $N$ given in the Eulerian form $N = {q^k}{n^2}$

Note: This question was cross-posted from MO. Preamble: I apologize in advance if this particular MSE post would appear to be a bit of a polymath approach, I just had to put down all the details to ...
4
votes
0answers
61 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
67 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
65 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
372 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
116 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
156 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
84 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
113 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
114 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
188 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
235 views

Which unordered partition of $n$ gives rise to the largest number of ordered partitions?

A quick look at the wikipedia article on partitions of $n \in \mathbb{N}$ shows that the number of ordered partitions is $2^{n-1}$, and the number of unordered partitions is asymptotically $ \sim ...
4
votes
0answers
402 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
80 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
99 views

Relative density of images of diophantine polynomials

My current research project involves sampling a sequence along non-constant polynomials with non-negative integer coefficients defined over the natural numbers, and I'd like to be able to say when two ...
4
votes
0answers
82 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
79 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
186 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
155 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
104 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
260 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$ ...
4
votes
0answers
96 views

how prove $\phi(n)\ge \frac{n}{6\log \log (n)} $ $\forall n\ge5 $

How to prove$\forall n\ge5 $ $$\phi(n)\ge \frac{n}{6\log \log (n)} $$ $\phi$ is Euler function Thanks in advance
4
votes
0answers
65 views

Trying to show that $\ln(x!) - \ln(\lfloor\frac{x}{2}\rfloor!) - \ln(\lfloor\frac{x}{3}\rfloor!) - \ln(\lfloor\frac{x}{6}\rfloor!) \ge \psi(x)$

I've been told that the approach below will not work. I would be interested if someone could help me to understand what will go wrong. Let: $$\psi(x) = \sum\limits_{p^k \le x} \ln p$$ So that (see ...
4
votes
0answers
96 views

Generalizing Jitsuro Nagura's result: my resulting upper bound for the second chebyshev function is too low. What am I doing wrong?

I've been reading through Jitsuro Nagura's classic proof that there is a prime between $x$ and $\frac{6x}{5}$ and it seems to me that it should be possible to improve on his upper bound for the second ...
4
votes
0answers
109 views

Characterization of quadratic polynomials over $\mathbb{Z}/p\mathbb{Z}$

This is a nice question which I'd like to share with everyone. Let $f:\mathbb{Z}/p\mathbb{Z} \to \mathbb{Z}/p\mathbb{Z}$ be a function s.t. for each $a \in (\mathbb{Z}/p\mathbb{Z})^{\times},$ the ...
4
votes
0answers
144 views

Primes dividing sequence

Define a sequence $a_n$ as such. $a_0=1$, $a_n=a_{n-1}+a\lfloor\frac{n}{3}\rfloor, \forall n\ge1$ Find all primes $p$ such that p divides infinitely many values of $a_i$. Edit: This is extension to ...
4
votes
0answers
368 views

Defining the Riemann-Roch space of a divisor

I'm doing a course on elliptic curves. It starts with a bit of a crash course in algebraic geometry, giving statements alone. We were given the following definition The Riemann-Roch space of $D$ ...
4
votes
0answers
105 views

What is the smallest integer $n$ for which $\theta(n) > n$?

What is the smallest integer $n$ for which $\theta(n) > n$? Here $\theta(x) = \sum_{p \leq x} \log p$. I googled around, checked some likely textbooks, and ran a program for $n \leq 10^7$, but ...
4
votes
0answers
47 views

S-Unit equations in cyclotomic fields

By a Siegel's result, one knows that there exist only finitely many solutions of the equation: $$x+y=1$$ where the unknowns $x$ and $y$ are units in the ring of integers of a cyclotomic field. Do you ...
4
votes
0answers
119 views

Solutions to simultaneous excluded congruences

I'm interested in the smallest solution to a family of "excluded congruences." To be precise, let $p_1 < \ldots< p_k$ be a sequence of primes and consider the constraints $$ x \not\equiv a_1 ...
4
votes
0answers
143 views

Extensions of Mixed Hodge Structures

The analogy on the front page of this paper by Bloch and Kriz seems like it's going to be lovely, but I don't get it, because I don't know how to view a torsor for $\mathbb{Q}(1)$ as an extension of ...
4
votes
0answers
408 views

Has Erdős conjecture on arithmetic progressions been proved?

The conjecture states that if $A$ is a set of natural numbers and $$\sum_{n\in A}\frac1n=\infty,$$ then $A$ contains arbitratily long arithmetic progressions. I wonder has it been proved?
4
votes
0answers
315 views

Sum of reciprocal of primes in arithmetic progression

In http://www.math.dartmouth.edu/~carlp/Lehmer0.5.pdf on page 6 (top) the author states that: $$ \sum_{p \le x, \ p \equiv 1 \bmod l} \frac{1}{p} = \frac{\log \log x}{\phi(l)} + O \left ( \frac{\log ...
4
votes
0answers
135 views

Does Hensel prove LTE?

Can the Lifting The Exponent Lemma ( found at http://www.artofproblemsolving.com/Resources/Papers/LTE.pdf) be proven with Hensel's Lemma? How?
4
votes
0answers
107 views

Number Theoretic Game

2 players A and B play a game. At the start of the game, $n$ positive integers (not necessarily distinct) are written on a notebook. First, player A chooses a number from the notebook and declares it ...