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
89 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
93 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
97 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
194 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
268 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

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
115 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
116 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
160 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
381 views

Fermat Last Theorem for 13,17,19

I am asked to prove the Case I of Fermat’s Last Theorem for the exponents 13, 17 and 19. FLT states that the equation $x^n+y^n=z^n$ has no integer solutions for and $x,y,z$ different from zero. ...
4
votes
0answers
561 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
123 views

Hilbert symbol over a ring

Normally the Hilbert symbol over a field $\mathbb{F}$ is defined for $a,b\in\mathbb{F}^*$ as follows: $$ (a,b)=\begin{cases}1,&\text{ if }z^2=ax^2+by^2\text{ has a non-zero solution }(x,y,z)\in ...
4
votes
0answers
50 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
181 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
358 views

Smooth numbers algorithm

I am trying to understand quadratic sieve algorithm and now I am thinking of the way to check if number is smooth over a factor base? For example, say I have number $n = 87463$. First,I find bound $B ...
4
votes
0answers
131 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
537 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
143 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
589 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
877 views

Binary representation of powers of 3

We write a power of 3 in bits in binary representation as follows. For example $3=(11)$, $3^2=(1001)$ which means that we let the $k$-th bit from the right be $1$ if the binary representation of this ...
4
votes
0answers
152 views

Is an integer in the interval $\left[\small {3^n+1 \over 2^n+1}\lt {3^n \over 2^n} \lt{3^n-1 \over 2^n-1}\right] $ for some $\small n>1$?

Consider the expression $$ f_n(j)= {3^n+j \over 2^n+j} $$ where we select some fixed $n \gt 1$ and let j vary over the reals from +1 to -1 . I'm concerned with the problem, whether in the interval ...
4
votes
0answers
333 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
142 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 ...
4
votes
0answers
149 views

Champernowne-like squares, are there any?

I read about the Champernowne constant on Wikipedia a couple of days ago, and I got curious about something similar: is there some "Champernowne-like" number; that is, a concatenation of all numbers ...
4
votes
0answers
149 views

Eigenvalues of the $p$-adic Harmonic oscillator?

Given a prime $q$, what are the values of the $p$-adic Harmonic oscillator that is the solution to the following $p$-adic differential equation? $$ -D^2_q f(x)+ x_q^2 f(x) = E_n f(x) .$$ What are ...
4
votes
0answers
47 views

When does PSL(5,q) have order exactly divisible by a specific odd power of 5?

In a misguided attempt at answering a question on divisibility of simple group orders, I looked at $\newcommand{\PSL}{\operatorname{PSL}}v_p(|\PSL(p,q)|)$ which went smooth enough for $p=2$ and $p=3$, ...
4
votes
0answers
69 views

Green’s formula in p-adic integration

Is there an analogue of Green's formula in p-adic integration (with respect to the Haar measure)?
4
votes
0answers
185 views

Is this a recurrence for the Mertens function plus 2?

If we define a symmetric array: $$T(1,1)=3,\; T(1,2)=2,\; T(2,1)=2$$ $$T(1,k)=\frac{-T(n,k-1)-\sum\limits_{i=2}^{k-1}T(i,k)}{k+1}+T(n,k-1)$$ $$ ...
4
votes
0answers
151 views

Hecke operators as endomorphism of Jacobians of modular curves

Let $p$ be a primes that does not divide $N$, then $T_p$ defined an endomorphism $J_0(N)\to J_0(N)$. what is $T_p^\vee$? In other words, we naturally have $J_0(N)^\vee \xrightarrow{T_p^\vee} ...
4
votes
0answers
870 views

Graduate studies in Number theory

I'm finishing my undergraduate studies in mathematics and I'd like doing research in a future, probably on Number Theory. That's why I'm interested in graduate program where I could focus on NT. It ...
4
votes
0answers
468 views

p-adic numbers and binomial coefficients

Let $\alpha\in \mathbb{Z}_p$ be an $p$-adic integer and define for $n\in \mathbb{Z}_{\geq 0}$ $${\alpha\choose n} := \frac{\alpha(\alpha-1)\cdot\ldots\cdot(\alpha-n+1)}{n!}.$$ This is again a ...
4
votes
0answers
92 views

find valuations

consider $f(x)=x^4+5x^3+1$. Let $\alpha$ be a root of this polynomial and consider $K=\mathbb{Q}(\alpha)$. Which are the absolute values on $K$ extending the usual absolute values on $\mathbb{Q}$? Are ...
3
votes
0answers
69 views

Primes and irreducibles of $\{a+b\sqrt{-2}\ |\ a,b \in \mathbb{Z}\}$

Let $R = \{a+b\sqrt{-2}\ |\ a,b \in \mathbb{Z}\}$ Rational primes $p \geq 3$ of the form $p = a^2 + 2b^2$ factorize in $R$ as a >product of two irreducibles which are not associate. Such ...
3
votes
0answers
34 views

Does there exist $a\in\mathbb N$, $b\in\mathbb Z$ that $2^na+b$ is a square for all $1\le n\le5$?

We consider such $a\in\mathbb N$, $b\in\mathbb Z$, o numbers of the form $2^na+b$ is square to the largest possible number of values of $n=1,2,3,4,\ldots$. It is easy to see that for $a = 60 $, $ b ...
3
votes
0answers
33 views

Distinct prime factorization function formulation to find mobius function?

Background I recently noticed the following: $$ S(x)=\sum_{r=1}^\infty x^{p_r} $$ where $p_r$ is the $r$'th prime: $$ \sum_{r=1}^\infty S(x^r) = \sum_{r=1}^\infty \frac{x^{p_r}}{(1-x^{p_r})} $$ ...
3
votes
0answers
35 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 ...
3
votes
0answers
18 views

Twisted Kloosterman Sums

A twisted Kloosterman sum is a character sum of the form $$S(\chi, \psi, \eta)=\sum_{t\in (\mathbb{F}_q)^{\times}} \chi(t) \psi(t) \eta(t^{-1}).$$ Here, $\chi$ is a multiplitive character of ...
3
votes
0answers
35 views

The Remainder of $\sum _{ i=1 }^{ p-1 }{ i^{ i } } $ Divided by $p$

What is the remainder of $\sum _{ i=1 }^{ p-1 }{ i^{ i } } $ divided by $p$ when $p$ is a prime number? I first conjectured that it would be equal to $1$ modulo $p$, but numerical evidence showed ...
3
votes
0answers
42 views

A number $n$ has $12$ divisors and $d_{d_4-1} = (d_1+d_2+d_4)d_8$.

Find a number $n$ which has - $1.$ $12$ divisors $(1 = d_1 < d_2 < \cdots <d_{12}=n )$ and $2.$ $d_{d_4-1}=(d_1+d_2+d_4)d_8$. Note: This is a problem from Russian Mathematical Olympiad ...
3
votes
0answers
48 views

Exact determinant of a circulant matrix

The wikipedia gives us a formula for the determinant of a circulant matrix. That is: $$\mathrm{det}(C) = \prod_{j=0}^{n-1} (c_0 + c_{n-1} \omega_j + c_{n-2} \omega_j^2 + \dots + c_1\omega_j^{n-1})= ...
3
votes
0answers
56 views

Is there a better representation than p-adics for exact computer arithmetic?

I stumbled across Quote notation and went hog wild. But when I stumbled on a technical detail I received a very discouraging comment: I think those authors may have been a bit short-sighted, ...
3
votes
0answers
81 views

Symmetry and trivial solutions to Pell equations

Below is a representation of the solutions to the equation $x^2-Dy^2=1$ for $6(6-1)\leq D \leq 6(6+1)$: \begin{array}{c} & 30 & 31 & 32 & 33 & 34 & 35 & 36 & 37 & ...
3
votes
0answers
55 views

How to show that an orbit of $1$ in $\mathbb{Z}/2^n\mathbb{Z}$ by map $x\mapsto x(2x+1)$ has order $2^{n-1}$?

i´m faced with the following problem: Let $n\geq 1$ and f: $(\mathbb{Z}/2^n \mathbb{Z})^\star \rightarrow (\mathbb{Z}/2^n \mathbb{Z})^\star $ be given by $x\mapsto x(2x+1)$. Show that the directed ...
3
votes
0answers
32 views

Quadratic Residues For Odd Modulo

Say I have the formula $$k^2 \equiv b^2 - 4ac \pmod n$$ where are variables are integers and $n$ is odd. So then my question is, if $b^2-4ac$ and $n$ are constant, when is there never a $k$ that will ...
3
votes
0answers
52 views

About prime ramification in cyclotomic fields.

I got a question about lemma 2.2, in the appendix of Cyclotomic Fields I+II written by Karl Rubin. Let me explain its situation: a. $m$ and $M$ are fixed positive integers(especially, $M$ is odd). ...
3
votes
0answers
47 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 ...
3
votes
0answers
44 views

$E[n]$ is etale locally $(\mathbb{Z}/n\mathbb{Z})^2$

I don't think we need the entire setup below (from Katz and Mazur's elliptic curve book, pages 74 and 75), but, as a beginner, I am unable to identify the assumptions I need. Let $S$ be the open ...
3
votes
0answers
58 views

On the sum of digits of $f(n)$

This is probably wel known, so please let me know. Let $s(n)$ be the sum of all digits of the integer $n$ (in base 10). Consider a polynomial $f$ with integer coefficients. I want to show that for any ...
3
votes
0answers
44 views

Compute sum over bounded numbers prime with given number

When I was doing some task of analytic number theory I was stuck on computing this sum $$S:=\frac{1}{L} \sum_{q \in \mathcal{Q}} \phi(q) \overline{a}^{\frac{1}{2}},$$ where $\overline{a}$ is the ...
3
votes
0answers
79 views

If $\frac{1}{8} \left(5^m-2\cdot 3^m+1\right)$ is prime, then $m=2p$ where $p$ is prime?

The following statements are easy to prove with elementary arguments: $X_m=\frac{1}{8} \left(5^m-2\cdot3^m+1\right)$ is an integer for all integers $m\ge 0$ ($m \equiv 0 \mod 4$ or $m \equiv 1 ...