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
124 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
527 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
103 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
138 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
429 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
764 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
150 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
320 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
137 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
148 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
142 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
65 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
183 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
139 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
284 views

Prime zeta definition, multiplication by zero

Wikipedia has a page about the prime zeta function which is defined as follows: $$P(s)=\sum_{p\;\text{prime}} \frac1{p^s}$$ I entered this additional definition: Define a sequence: ...
4
votes
0answers
422 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
72 views

Solutions to $\prod_{i=1}^{k}p_i=\sum_{i=1}^{k}p_i^2$ with $p_i$ distincts primes

Does $\prod_{i=1}^{k}p_i=\sum_{i=1}^{k}p_i^2$ with $p_i$ distincts primes and $k\geq2$ have a solution ? Here is what I already know : There is no solutions if $k\equiv0\bmod2$ or if ...
3
votes
0answers
44 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 ...
3
votes
0answers
112 views
+50

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) = \#\{ ...
3
votes
0answers
29 views

Fractional Part Inequality

How can I show that the following inequality holds when $x$ and $y$ are coprime positive integers greater than 2, and $r$ is an arbitrary rational number greater than or equal to $2$? ...
3
votes
0answers
61 views

Find a real number with even digits in a given base

A real number x ∈ (0,1) is called b-good if x converted to any base b >= 2 has all digits ...
3
votes
0answers
47 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} ...
3
votes
0answers
20 views

$O_S$ is the integral closure of $k[T]$ in $F$ for some embedding of $k(T)$ in $F$?

Let $F$ be a function field in one variable over a field $k$. Let $S$ be a nonempty finite subset of the set of all places of $F$. Let$$O_S = \{f \in F: \text{ord}_v(f) \ge 0 \text{ for all }X ...
3
votes
0answers
36 views

Cokernel of map, function field.

Let $F$ be a function field in one variable with total constant field $k$, let $X$ be the set of all places of $F$, and let $S$ be a nonempty finite subset of $X$. We are interested in the dimension ...
3
votes
0answers
57 views

Is the set of integers so that $n!+1$ divides $(2012n)!$ finite or infinite?

I am having trouble with this problem. We have to determine whether the set of integers such that $n!+1$ divides $(2012n)!$ is finite or infinite. Basically we have to determine if the prime factors ...
3
votes
0answers
55 views

Approximate a large number with perfect powers

I'm dealing with number theory now and I have an interesting question. Every number can be approximated with two perfect powers, where perfect power is a number in form $$a^b$$$$a,b \geq 2, a,b \in ...
3
votes
0answers
37 views

Extend a map to a 1-cocycle

Let $\Gamma=PSL(2,\mathbb{Z})$ be the modular group with the usual presentation $\Gamma=\langle S,U,T|\ S^2=U^3=1, T=US\rangle$ where ...
3
votes
0answers
35 views

Discriminant of $\mathbb{Z}[a,b]$

Let $K$ be an algebraic field extension of $\mathbb{Q}$. If $a\in \mathcal{O}_K$ is integral, then $Disc(\mathbb{Z}[a])=\prod_{i<j}( a_i - a_j)^2$ where the $a_i$ are the conjugates of $a$. Is ...
3
votes
0answers
63 views

'Randomness' of inverses of $(\mathbb{Z}/p \mathbb{Z})^\times$

Suppose you are given the group $(\mathbb{Z} / p \mathbb{Z})^{\times}$, where $p$ is prime. Let $A_p$ denote the sequence whose $j$th element is the inverse of $[j]$. For instance, if $p = 7$, the ...
3
votes
0answers
19 views

NP-hardness of solving congruence equations in several variables

You are given the following equation modulo $N$ (where the $\beta_i$'s are given integers modulo $N$, and the $x_i$'s are unknown integers modulo $N$): $$\beta_1x_1 = \beta_2 x_2 = \ldots = \beta_l ...
3
votes
0answers
40 views

Do the second-last-digits of the primes $\ge 11$ form a transcendental number?

Suppose, the number $x$ is constructed from the second-last-digits from the primes $\ge 11$ The first $1996$ digits of $x\ =\ 0.11112...$ after the decimal point are : ...
3
votes
0answers
39 views

Partitions of integers, a series for infinite product $(1+q)(1+q^3)(1+q^5)\cdots$

Show that $$ (1+q)(1+q^3)(1+q^5) \cdots = 1+ \sum_{k=1}^\infty \frac{q^{k^2}}{(1-q^2)(1-q^4)(1-q^6) \cdots (1-q^{2k})}.$$ How would one proceed combinatorially. What I know is that the left-hand ...
3
votes
0answers
49 views

Problem for number theory

Here it is: $c , n \in \mathbb{N}$ and $x_1,x_2,\ldots,x_n \in \mathbb{N}\cup \{0\}$ $c= 1 x_1 + 2 x_2 + \ldots + n x_n$ How many solutions $\{x_1,x_2,\ldots,x_n\}$ are there? I do not know number ...
3
votes
0answers
50 views

Archimedean places of a number field

Let $K$ be a number field with an Archimedean absolute value $|\cdot |$ and let $\bar{K}$ be the completion of $K$ wrt this valuation. Then $\bar{K}\cong \mathbb R $ or $\mathbb C$. My question is: ...
3
votes
0answers
116 views

Very tentative proof of Beal's Conjecture?

I'm a high school student, so please point out my mistakes nicely and in layman's terms :) Thanks! Ok. Beal's Conjecture: If $$a^x+b^y=c^z$$ where $a$, $b$, $c$, $x$, $y$, $z$ are whole numbers; $x, ...
3
votes
0answers
20 views

Special $\omega(n)$-sequence

Let $k$ be a natural number, $\omega(n)$ the number of distinct prime factors of $n$. The object is to find a number $n$ with $\omega(n+j)=j+1$ for each $j$ with $0\le j\le k-1$. In other words, a ...
3
votes
0answers
44 views

Order of prime ideals over split primes in the class group.

Let $P$ be a prime ideal of $\mathcal O_K$ ($K$ a quadratic field) and let $P$ have norm $p$ where $p$ is a split prime. Is it possible for the ideal class $[P]$ to have order less than three? I feel ...
3
votes
0answers
72 views

Zariski density of points over completion

I have a simple question which I couldn't find a reference to. Let $X$ be a smooth projective irreducible variety over $\mathbb{Q}$. Suppose we base change to $\mathbb{Q}_p$ (the $p$-adics) and ...
3
votes
0answers
28 views

Lists of negative discriminants by class group?

Is there a handy listing of the discriminants of imaginary quadratic fields having a given ideal class group? It would be nice to use such a resource as a source of examples. For example, we're all ...
3
votes
0answers
52 views

Solving exercise 1.10 in Silverman's AEC

Please note that although there is a very similarly titled question Exercise 1.10 from Silverman "The Arithmetic of Elliptic Curves" this question received no answers. Let $p$ be an odd prime and ...
3
votes
0answers
20 views

Town Network - Show there is a Tetrahedron of the Same Transport

Question: There are 18 towns such that between each pair of towns there is either a train or bus service (not both). Prove that there are 4 towns such that all 6 of their pairwise connections use the ...
3
votes
0answers
63 views

Are there any known special properties of a number located between twin primes?

With the exception of $4$, every number located between twin primes is divisible by $6$. This one is obvious, but are there any other properties that can be ascribed to such numbers? A property may ...
3
votes
0answers
56 views

degrees of L-functions and dimensions of Shimura Varieties

I try to grab a (very) little understanding of what a Shimura variety is, and although I still don't understand the formal definition of that notion, a few vague ideas have come to my mind. Hence ...
3
votes
0answers
1k views

$ \lim_{n \to \infty} \sum_{i=1}^n\{ n / i \} (i/n \{ n / i \} - ln(n) -2){\mu{(i)}} +\sum_{i=1}^n 1/2( log(2 \pi [n/i])){\mu{(i)}} = \beta $

I'm just a physics undergraduate. I think (in an non-rigorous way) I have managed to prove: $$ \lim_{n \to \infty} \sum_{i=1}^n\{ n / i \} (i/n \{ n / i \} - ln(n) -2){\mu{(i)}} +\sum_{i=1}^n 1/2( ...
3
votes
0answers
34 views

On the existence of a polynomial in several variables with only one zero

Given an ordered field $\mathbb{K}$, then for all $n>1$ there exists $f\in\mathbb{K}[X_1,\ldots,X_n]\ s.t.\ \mathcal{V}^{\mathbb{K}^n}(f):=\{p\in\mathbb{K}^n:f(p)=0\}=\{(0,\ldots,0)\}$ For ...
3
votes
0answers
56 views

Notation Question in proof of Kronecker-Weber theorem

I am trying to understand this proof of the Kronecker-Weber theorem by Franz Lemmermeyer http://arxiv.org/pdf/1108.5671.pdf. The set-up is this: $K/\mathbb{Q}$ is a cyclic extension of prime degree ...
3
votes
0answers
68 views

How prove $\sigma(4^p-1)<(2^{p+1}-1)^2$

If $p$ is an odd prime numbers, show that $$\sigma(4^p-1)<(2^{p+1}-1)^2$$ where $\sigma(n)$ stands for the sum of divisors. I thought of using the formula for $\sigma(n)$: If ...
3
votes
0answers
132 views

If $\alpha = \prod_{i = 1}^{\infty} a_i \in \bar{\Bbb{Q}}$ can we write $\alpha = a_n \alpha'$ with $\text{den}(\alpha) = \text{den}(\alpha')$?

If $\alpha$ is any algebraic number, there is an integer $d > 0$ such that $d\alpha$ is an algebraic integer, and the minimum such $d$ is called the denominator of $\alpha$, written ...