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
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
50 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
74 views

Questions about decimal expansion being able to represent all real numbers

I read this in several books, and there's a Wikipedia article unquestionably stating that reals must be representable by means of regular language generated from finite alphabet. My questions are: ...
3
votes
0answers
149 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
58 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
56 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
79 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
89 views

Comparing up-arrow's

Is it true that $$3\uparrow^{n+1} 3\ >\ n\uparrow^n n $$ holds for every $n\ge 1$ Since $3\uparrow^{n+1}3=3\uparrow ^n 3\uparrow ^n 3$ and $3\uparrow^n3$ is much bigger than $n$ for $n\ge 3$, ...
3
votes
0answers
79 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
82 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
30 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
111 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
75 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
83 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
119 views

Test: Total number of twin primes in the vicinity of twin primes: how can I calculate the upper and lower bounds of the results?

I have performed the following test, and according to the results, I do not know how to define a function to calculate the limit of the lower and upper bounds of the data results. Besides, looking at ...
3
votes
0answers
31 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
40 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
60 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
56 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
29 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
92 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
56 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
55 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
78 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
76 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
92 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
71 views

how to find the last non-zero digit of $n$

I want to know how to find the last non-zero digit of $n$. For example $n = 100!$ my try: First i have to know how much Zeros $100!$ has so i did this: $$E_{5}100 = \sum _{1\leq k <n} ...
3
votes
0answers
58 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
55 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 ...
3
votes
0answers
41 views

Non-UFD that there exists set $X$ of any cardinality and $a$ that $xy$ is not divisible by $a^2$ for any $x,y \in X$ and $x^2$ is divisible by $a^2$

Let's say we want to construct a non-UFD that is a commutative ring that satisfies: There exists $a$ such that there exists a set $X$ of elements of finite cardinality $k$ such that for any $x,y \in ...
3
votes
0answers
70 views

Generalization of small set/large set

A small set is a subset of the positive integers, such that the infinite sum of the reciprocals of the members of the set converges. Conversely, the sum of the reciprocals of a large set diverges. ...
3
votes
0answers
47 views

How can I compute |R/I| where $R\simeq\mathbb Z^n$ and $I\unlhd R$?

A number field $K$ is a field $\mathbb Q\le K\le\mathbb C$ of finite degree over $\mathbb Q$, say $n$. Call $\mathbb A$ the ring of algebraic integers of $\mathbb C$; an algebraic integer is an ...
3
votes
0answers
27 views

how that if $P(x_1,…,x_n) \in C[x_1,…,x_n]$ takes only prime values at all non-negative integer values $x_i$, then $P$ is constant.

Show that if $P(x_1,...,x_n) \in C[x_1,...,x_n]$ takes only prime values at all non-negative integer values $x_i$, then $P$ is constant. To start, how would you express $P(x_1,...,x_n)$? I really ...
3
votes
0answers
73 views

Cramér's Model - “The Prime Numbers and Their Distribution” - Part 4

Following a previous question (here you'll find an introduction): A paper by Maier which refutes Cramer's Model suggests we should replace the heuristic "$\Bbb P(n\in\mathcal P)=1/\log n$" with ...
3
votes
0answers
59 views

Are there any primes that are never a factor of a Carmichael number?

Is there a prime number $p$ that $p > 2$, and in which $p$ is a never a factor of any Carmichael number $C_n$: (p ∤ $C_n$) Extended this to all numbers $m$, instead of just $p$, will prove the ...
3
votes
0answers
77 views

An Inequality with Prime Numbers

Let $m\geq 8$ be an integer, and let $q$ be the smallest prime that is greater than $m$. Let $p$ be a prime that satisfies $q\leq p<q^2$, and let $p_0$ be the smallest prime such that ...
3
votes
0answers
65 views

Integer Solutions To Linear Equation

$$a*q_1+b*q_2=c$$ $$a*q_3+b*q_4=f$$ $q_1, q_2, q_3, q_4$ rational numbers, $c,f$ integer Given $q_1, q_2$ can you construct all solutions $(a,b)$ where $c,f$ is intenger I made an edit since the ...
3
votes
0answers
73 views

Birthday problem & primes

Let $\pi_k(n)$ be the almost prime counting function, then $\pi_k(2^kn)$ reaches a max value, since $\pi_k(2^kn)=\pi_{k+1}(2^{k+1}n)$ for large enough $k$. (eg, ...
3
votes
0answers
190 views

Find the limit of $\sum \frac{1}{log^n(n)}$

Working on convergence and divergence of infinite series, I recently focused my attention on the summation $$\displaystyle\sum\limits_{n=2}^{\infty} \frac{1}{log^n(n)}$$ While proving the convergence ...
3
votes
0answers
23 views

properties of certain semigroup action on $\mathbb{Z}/p\mathbb{Z}$

Suppose we have a polynomial $f \in \mathbb{Z}/p\mathbb{Z}[x]$, $f(x) = x^2 - x$. We are interested in elements $n \in \mathbb{Z}/p\mathbb{Z}$ such that after repeated application of f they ...
3
votes
0answers
57 views

Solution of a equation in natural number nvolving reciprocal of prime

Let $p$ be a prime and $n$ a natural number . Solve in $\mathbb{N}$ the equation $$\sum_{k=1}^{n}\frac{1}{x^k_k}=\frac{1}{p}$$
3
votes
0answers
82 views

How to prove this??

Does the following inequality hold? $p(n)\leq 2^n,$ where $p(n)$ is the $n$th prime. If this is true then it follows that: If $p(n)=p(m)^x+p(o)^y$, then $\max[x,y] \le n$.
3
votes
0answers
99 views

Sum of product partitions of divisors

Let $M(n)$ be the the set of the multiplicative partitions of $n$, and let $D(n)$ be the set of the sum of the multiplicative partitions of the divisors of $n$. eg $M(30)=\{\{30\},\{2,15\},\{3, ...
3
votes
0answers
65 views

All those unit fractions add to 1?

Consider $$S(n)=\{x \mid x=(a_1 ,a_2,a_3 \cdots a_n) \text{ where } \sum_{r=1}^{n}\frac{1}{a_r} =1 \}$$ Now let $|S(n)|$ denote the cardinaly (order) of set $S(n)$. Thus: $S(1)= \{(1)\} \implies ...
3
votes
0answers
77 views

Sum of Gauss sum

Let $p$ be an odd prime, $v \in \mathbb{N}$ be a positive integer, and $c\in \mathbb{Z}$. Set \begin{align} G(c,p^v):=\sum_{\substack{d \bmod p^v \\ (d,p^v)=1}}{ \left(\frac{d}{p^v}\right) {e}^{ { ...
3
votes
0answers
140 views

The n-th k-gonal number

I was doing some school work and got bored so I started messing with k-gonal numbers. I started with the triangular numbers, square numbers and looked for patterns. I noticed something. Let ...
3
votes
0answers
163 views

Conjecture on OEIS A167055

OEIS A167055 Numbers n such that $12n + 5$ is prime. $0, 1, 2, 3, 4, 7, 8, 9, 11, 12, 14, 16, 19, 21,...$ are items of OEIS A167055. I conjecture that the set of the sum of every two items of this ...