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
50 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
99 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
93 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
92 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
118 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
60 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
64 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
371 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
115 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
155 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
83 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
111 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
107 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
184 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
227 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
400 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
79 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
98 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
81 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
76 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
185 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
151 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
101 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
259 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
95 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
64 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
114 views

A formula by R.L.Graham,AMM(1995)

I see this formula in a book, it comes from R.L.Graham,AMM(1995) : ...
4
votes
0answers
66 views

$\{a^{k_1}\}=\{a^{k_2}\}=\{a^{k_3}\}$

Let $a\in\mathbb{R}\setminus\mathbb{Z}$. Prove that there not exist three distinct $k_1, k_2, k_3\in\mathbb{N}$ such that $\{a^{k_1}\}=\{a^{k_2}\}=\{a^{k_3}\}\neq 0$, where $\{x\}=x-\lfloor x ...
4
votes
0answers
95 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
108 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
139 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
335 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
104 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
43 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
112 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
401 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
300 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
133 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
101 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 ...
4
votes
0answers
508 views

Obtain a contradiction

Motivation : The motivation is to show that the equation $x^{2b}.x^{2a} +(3-x^{2b}) x^{a} + (1-s^2)=0 $ has no solutions in integers for any values of $x,b,a,s$ ( choosen as per the constraints ...
4
votes
0answers
96 views

Approach to elliptic curve $y^2=x^3+1/4+p/a^2$

While taking a brute-force look at this question I discovered that it seems that almost every prime (I'll conjecture every prime larger than 20627) can be written as $p=w^2+wc+d$ for $w,c,d\in ...
4
votes
0answers
132 views

Liftings in unramified extensions of $\Bbb Z_p$

[Edit : I have changed the formulation of the question. Sorry for the trouble] Here is a stupid question, maybe trivial. Let $p$ be a prime number, $q = p^n$ where $n$ is an integer, $R = ...
4
votes
0answers
262 views

sum of $n^{th}$ powers of prime factors of $x$

Starting with a positive integer $x$, find the sum of the $n^{th}$ powers of the prime factors of $x$, including multiplicities. Then find the sum of the $n^{th}$ prime factors of the result etc. ...
4
votes
0answers
74 views

Composite $n$ such that $\sigma(n) \equiv n+1 \pmod{\phi(n)}$

I'm looking for composite $n$ such that $$\sigma(n)\equiv n+1\pmod{\varphi(n)}$$ Are there only finitely many? Can this be proved? This is Sloane's A070037 but there's not much information in the ...
4
votes
0answers
292 views

Sum of the primitive roots

It is well known that the sum of the primitive roots modulo $p$ is congruent to $\mu(p − 1) \bmod{p}$. But I can't see why this result is interesting or useful. Can someone please enlighten me?
4
votes
0answers
128 views

How to prove that polynomials with integer coefficients generically have full Galois group

Based on the graphic in the MathWorld article on the quintic equation it seems very likely that following statement is either true or trivially false in a way that can be easily remedied by adding an ...