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)

3
votes
0answers
29 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
54 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
66 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
35 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
59 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
69 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
134 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 ...
3
votes
0answers
40 views

Merten's function

I am tasked with applying the Wiener-Ikehara Theorem to achieve a bound of little o(x) on Merten's function $\sum_{n=1}^x \mu (n)$. My problem is the Wiener-Ikehara Theorem applies to Dirichlet series ...
3
votes
0answers
93 views

$(z-k)$ is composite then $(z-1)+(k-1)$ is also composite(A proof for composite number).

Given $z(z-1)$ is divisible by all prime $< n$ where $ n>\sqrt z$ $(z+k)$ is prime. Prove or disprove if $(z-k)$ is composite then $(z-1)+(k-1)$ is also composite. ...
3
votes
0answers
21 views

Estimating special values of the Riemann zeta function on the critical line

If $p,q$ are primes, is it necessarily true that $$\left|\zeta\left(\frac{1}{2} + i\frac{p}{q}\right)\right| > (p+q)^{–(p+q)} ?$$ (Here $\zeta$ is the Riemann zeta function.)
3
votes
0answers
26 views

Can we treat finite and infinite primes in scheme theory?

In Number Theory, I know we have analogy to geometry by considering infinite primes not only Spec $\mathcal{O}_K$ (and I heard the point of view bring the Riemann-Roch theory). My question is can we ...
3
votes
0answers
223 views

Question about the elements of a reduced residue system relative a primorial $p_n\#$

I've been dividing up the elements of reduced residue system relative a prime $p_n$ into congruence classes modulo $p_{n+1}$ and I noticed that each congruence class is represented. If $r$ = the ...
3
votes
0answers
65 views

How many distinct factors of $n$ are less than $x$?

For some (squarefree) integer $n$ and some integer $x$, I would like to find an expression that gives, for all $n$ and $x$, a good upper bound on the function $$f(n, x) = \sum_{d|n, d < x} 1$$ ...
3
votes
0answers
47 views

the different of finite extension of p-adic numbers

Let $F=\mathbb Q_p$ be the field of p-aidc numbers. Let $\xi_n$ be a $n$-th primitive root of unity. Now consider the finite extension of fields $K/F$ where $K=\mathbb Q_p(\xi_n)$. I want to find the ...
3
votes
0answers
70 views

Do there exist any cycles for these number sequences?

We define, for $k\in\mathbb{N}$, the sequence $\left(S_{k,n}\right)_{n\in\mathbb{N}}$: $$S_{k,1}=k,\;\;\; S_{k,n+1}=p_1q_1\cdots p_mq_m \text{ (written out in decimal)}$$ Where $p_1^{q_1}*\cdots ...
3
votes
0answers
67 views

Inertia field of a compositum.

My question is regarding composite field extensions. The problem is motivated but not explicitly stated in the chapter 4 exercises of Marcus' Number Fields, in particular ex. 31 c) We first provide ...
3
votes
0answers
43 views

A bound on the squares of primes

If $p_n$ is the $n$th prime, what is the best known upper bound on $m$ such that $p_n \cdot p_{m+n} < p_{n+1}^2$?
3
votes
0answers
61 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. ...
3
votes
0answers
29 views

<Reference Request> Research done on whether the Euler prime can be the largest factor of an odd perfect number

(Note: This has been cross-posted to MO.) Good day! I would like to request for references to research done as to whether the Euler prime of an odd perfect number can also be its largest factor. ...
3
votes
0answers
99 views

Question regarding the prime factors of $2^{35} - 1$

Question regarding the prime factors of $2^{35} - 1$ I just wanted to make a few things clear; 1) It is true to state that this cannot be a Mersenne prime (A number of the form $2^r - 1$ where ...
3
votes
0answers
35 views

Number of digits $d$ in $d^k$

The title says it all really. For example, how many occurences of $6$ are there in $6^k$? It starts 6, 36, 216, ... so 1, 1, 1... The question can now be generalized into any digit or group of digits. ...
3
votes
0answers
56 views

Generalizing in Mathematics

I was reading the book "Fermat's Last Theorem" by Simon Singh when it hit me that this theorem is so contrived, andyet it lead to several important breakthroughs in mathematics and especially the ...
3
votes
0answers
155 views

Some Diophantine problems for equal sums with high powers

Given rationals $R = a,b,c,d,e,f$. Define, $$F_n = a^n+b^n+c^n-(d^n+e^n+f^n)$$ If $F_\color{red}1=0$, is there a rational solution to $7F_3x^4+7F_5x^2+F_7 = 0$? Then for $k=1,2,8$, ...
3
votes
0answers
81 views

Algorithm for Converting Rational Into Surreal Number

I'm writing a library in Haskell that represents the class of surreal numbers, which like many things can be read about here. I've run into a problem in converting between other classes of numbers ...
3
votes
0answers
83 views

the Teichmüller character

Let $d \geq 2$ be an integer, $K$ a number field containing the $d$-th roots of unity $\mu_d(\mathbb{C})$ and $\mathfrak{p}$ a prime ideal of $K$ not dividing $d$. Let $\mathbb{F}_q$ be the residue ...
3
votes
0answers
82 views

Number of $n$-permutations for which ${\tau}^k = id$

I am curious about the formula(any closed form) for the number of $n$-permutations $\tau$ such that ${\tau}^{n-1} = id$. How about for the case ${\tau}^n = id$ ?
3
votes
0answers
60 views

Finding the sum of the coefficient squared of a polynomial

Given a polynomial $$f(x) = \sum_{k = 0}^n a_kx^n = a_0+a_1x+ \ldots + a_{n-1}x^{n-1}+a_nx^n $$ is it possible to find a general expression for $$ \sum_{k = 0}^n a_k^2 ?$$ For example, $\sum_{k = ...
3
votes
0answers
82 views

Group generated by two polynomials

The $Homeo(\mathbb{R})$ be the group of all the homeomorphisms on $\mathbb{R}$, with the group operation of composition. Let $f(x)=x^3+\alpha$ and $g(x)=x^3+\beta$ be two elements of ...
3
votes
0answers
91 views

A Tale of Two Quadratic Identities (Pell-like)

Question is at the end. Let all variables be integers. For some constants $a,b,c,d$, assume we have initial solution {$m,n$} to, $$a m^2 + b m n + c n^2 = d\tag{1}$$ Identity 1: $$a x^2 + b x y + ...
3
votes
0answers
33 views

Lattice of ideals in a number field

Let $n = [K : Q]$ be the degree of a number filed $K$ and let $(r_1, r_2)$ be the signature of $K$. Let $σ_1, . . . , σ_{r_1}$ be the $r_1$ real embeddings of $K$ into $\mathbb R$. We choose one of ...
3
votes
0answers
129 views

Divisor summatory function for squares plus one

As an exercise for my Analytic Number Theory course, I need to prove, using Dirichlet hyperbola method, that: $\sum_{n\leq x}\tau(n² + 1)= {3\over\pi}x\log(x) + O( x)$, where $\tau(n)=\sum_{d|n}1$ ...
3
votes
0answers
76 views

Question about application of Erdős-Kac theorem

My question is whether (*) below can be shown using the Erdős-Kac theorem? I don't think the distinction between $\Omega$ and $\omega$ is important here. For lack of better notation let ...
3
votes
0answers
98 views

Hasse's theorem on elliptic curves over finite fields

Suppose $\mathcal{E}$ is an elliptic curve defined over $\mathbb{Q}$, Then Hasse's theorem states that for any large characteristic $p$ there exists an algebraic number $\lambda_p$ of modulus ...
3
votes
0answers
34 views

Is this “by symmetry” statement valid?

Problem: Let $p,q,r$ be integers such that $\gcd(p,q,r)=1$. Prove that there exists an integer $A$ such that $\gcd(p,q+Ar)=1$. A start: Assume for the sake of contradiction that $\gcd(p,q+Ar)>1$ ...
3
votes
0answers
45 views

Trigonometric sum evaluation

Let $q$ a prime number and $1 \leq a<q$ a positive integer. We know from Ramanujan identity that $$\underset{h=1,\left(h,q\right)=1}{\overset{q}{\sum}}e^{2\pi ...
3
votes
0answers
73 views

Reference request for Fourier analysis on local fields

I am studing Class field theory. I need a good reference books, notes e.t.c which explains the following topics : Ideles and ideals, haar volume measure and integration on local fields, Fourier ...
3
votes
0answers
57 views

What is known about$\sum\limits_{p\text{ prime}} \frac{1}{p^2-1}$?

Are there some known results for $\sum\limits_{p\text{ prime}} \dfrac{1}{p^2-1}$? I wasn't able to find anything about this sum in the internet or in my books!
3
votes
0answers
30 views

How many zeros within a number

Let noughts(n) be the number of noughts needed to write n in base 10.If n is given how can I find out the value of noughts(n) . I myself have tried to compute noughts(n) by examining all the digits ...
3
votes
0answers
124 views

Pell's Equation and the Pigeon Hole Principle

David Speyer gave a beautiful application of the pigeon hole principle here to show that Pell's equation $$x^2-Dy^2=1$$ has infinitely many integral solutions. I was wondering if anybody knows the ...
3
votes
0answers
58 views

Proving that table totals can always be preserved with ceiling and floor

$\begin{array}{|c|c|c|c|} \hline 11.998& 9.083 & 2.919 & &24 \\ \hline 12.983&10.872&3.145&&27\\ \hline 1.019&2.045&0.936&&4\\ \hline & & ...
3
votes
0answers
61 views

Lucas' Theorem for $p$-adic integers?

Does Lucas' Theorem hold for $p$-adic integers? More specifically, does it specifically hold for the case that, given a $p$-adic integer: $$x = x_0 + x_1p + x_2p^2 + \cdots = \sum_{i=0}^\infty ...
3
votes
0answers
88 views

How prime numbers are related to special functions?

We know that the Riemann zeta function is defined as $$\zeta(s)=\sum_{n=1}^\infty\frac{1}{n^s},$$ for all $\Re(s)>1$. Because of Euler product formula we also know that $$\zeta(s) = ...
3
votes
0answers
77 views

Sum of roots (number theory)

Let k,m∈ℕ. Let a1,a2,...,ak>0 and b1,b2,...,bm>0. Let for all natural n, n>1 Prove that k=m. Prove that a1a2...ak=b1b2...bk Prove that if each of the two sets of numbers sort of growth, then ...
3
votes
0answers
45 views

Decide if radical expression equals a given rational number

Given a radical expression an a rational number. Is there an algorithm to decide if the expression equals the number? Example: $(\sqrt{\sqrt[5]{74} - \sqrt[14]{78}})^{356}+\sqrt[6]{63} \overset{?}= ...
3
votes
0answers
98 views

A question on the Prime number theorem

Let $N\geq1$. Could we infer $$\sum_{n\leq N}\mu(n)\ll N\exp(-c\sqrt{\log N})$$from $$\sum_{n\leq N}\Lambda(n)= N+O(N\exp( -c\sqrt{\log N})$$or $$\sum_{p \leq N}1=Li(x)$$ without resorting to the ...
3
votes
0answers
64 views

Does a generalization of the Teichmuller-character for non-prime arguments exist?

Rereading an older article on Fermat-quotients in which I'd applied some p-adic-rationale I find now, that my method for the representation of bases $b$ which allow high fermat-quotients ...
3
votes
0answers
46 views

Is every even integer $\geq 6$ the sum of two totients?

1) Is it true for every even integer $n \geq 6$ that there exist integers $x, y$ such that $$n = \varphi(x) + \varphi(y)?$$ For example: $6 = 2+4 = \varphi(3) + \varphi(5),$ $8 = 4+4 = \varphi(5) + ...
3
votes
0answers
59 views

Bessel function sum?

Is $$f(x)=\dfrac{2\pi}{n^2}\sum_{m=1}^{x}\sum_{k=1}^{n}\dfrac{\Im(e^{\dfrac{\pi i m}{\Im(\rho_k)}})k}{\Im(\rho_k)}$$ related to the Bessel family of functions? Plot for $n=300$ Or is it related ...