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
28 views

What are major algebraic number theory attempts, results and progressions toward Goldbach's Conjecture?

To my understanding, most progress toward Goldbach's Conjecture has been made in analytic number theory. Progress has often based on sieve, asymptotic estimation or other analytic methods. What are ...
3
votes
0answers
78 views

After how many steps can compositions of $x\mapsto x+1$ and $x\mapsto x^2+1$ produce the same result starting from $1$ and $3$?

This problem is from a Turkish contest: Let $P(x)=x+1$ and $Q(x)=x^2+1$. Consider all sequences $(x_k,y_k)$ such that $(x_1,y_1)=(1,3)$ and $(x_{k+1},y_{k+1})$ is either $(P(x_k),Q(y_k))$ ...
3
votes
0answers
35 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
34 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
42 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
24 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
178 views

Identities for Sieve of Eratosthenes collisions.

Edited to define the last two tables Three Questions: 1) Is all notation correct? 2) Is there a symbol for flatten? 3) How would we prove the identities: the sum of the divisors in the symmetric ...
3
votes
0answers
56 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
47 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
55 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
162 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
21 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
52 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
90 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
57 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
40 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
153 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 ...
3
votes
0answers
43 views

Is there an irrational number which satisfies this condition?

In fact, every irrationals $x$ can be uniquely expressed as an infinite simple continued fraction: $$x=a_0(x)+\cfrac{1}{a_1(x)+\cfrac{1}{a_2(x)+\cfrac{1}{a_3(x)+\ddots}}},$$ where ...
3
votes
0answers
69 views

Transfinite Knuth-arrow hierarchy vs. fast-growing hierarchy

Suppose Knuth arrow notation (and hence the hyperoperation sequence) is extended to transfinite ordinal indices as follows: Let μ be a large countable ordinal such that a fundamental sequence is ...
3
votes
0answers
75 views

Major arcs in the proof that every odd number is the sum of at most 5 primes

In his proof that all odd numbers greater than 1 are the sum of at most 5 primes, Terence Tao uses one large major arc around 0 rather than small ones around the rationals, which I am more accustomed ...
3
votes
0answers
62 views

Updated:Sum of entries in continued fraction of $\sqrt d$ and $\sqrt{d}-\lfloor \sqrt{d}\rfloor$ equals (divides) $d$.

(1)I noted as a joke in class, for $\sqrt{13}$ which has continued fraction expansion $[3;\overline{1,1,1,1,6}]$ that $3+1+1+1+1+6=13$. Another eg. $\sqrt{22}=[4;\overline{{1,2,4,2,1,8}}]$, as ...
3
votes
0answers
37 views

Elements of a Dedekind domain can be chosen to have valuation $1$ with respect to one prime, $0$ everywhere else

I noticed this is true for $\mathbb{Z}$, but I was wondering whether it was true in general. Let $R$ be a Dedekind domain and $P_1, ... , P_s$ maximal ideals. The localized ring $R_{P_i}$ is a ...
3
votes
0answers
75 views

Is there a known method for finding extremely huge squarefree numbers?

People often compete to beat the record for largest known prime (it is currently $2^{57,885,161}-1$). There are also big money prizes for finding explicit prime numbers exceeding specific magnitudes. ...
3
votes
0answers
66 views

Formula to round up to the next multiple not divisible by $2$ or $3$?

I want a formula that rounds up any integer to the next multiple of a given prime, which is not divisible by $2$ or $3$, so it is either $p$ or $5p \pmod{6p}$. The simplest formula is preferred. I've ...
3
votes
0answers
57 views

The zeros of $2\,\xi(s)-1$. Is there anything known about the curves they lie on?

Take the well known integral: $$\displaystyle \pi^\frac{-s}{2}\,\Gamma\left(\frac{s}{2}\right)\, \zeta(s) =\int_1^{\infty} \left({x}^{\frac{s}{2}-1} + {x}^{\frac{-s}{2}-\frac12}\right)\,\psi(x)\, ...
3
votes
0answers
50 views

Find extension of $\mathbb{Q}$ containing components of eigenvectors of a matrix

Given a matrix $\mathbf{A} \in \mathbb{Z}^{d \times d}$ I need to find an algebraic number $a$ of minimal degree, such that all eigenvalues and eigenvector's coordinates of $\mathbf{A}$ belong to the ...
3
votes
0answers
282 views

Magnitude of $10 \uparrow \uparrow \uparrow 10$

Is there any way to understand the magnitude of $$10 \uparrow \uparrow \uparrow 10$$ ? I know that the number can be constructed as follows : $$M_1 := 10$$ $$M_2 := 10^{10^{10^{...10}}}$$ ...
3
votes
0answers
54 views

Problem on the digits of $n!$

let $m$ be a natural number, is it always possible to find an $N\in \mathbb{N}$ such that $m$ or more "$0$" digits (excluding the terminal ones) appears amongs the decimal digits of $n!$ if $n\ge N$
3
votes
0answers
67 views

Number of Solutions to a Diophantine Equation

I am asked the following: 1) Solve the diophantine equation $y^3=x^2+2$. 2) Show that the number of integer solutions to $y^p=x^2+2$ for any odd prime $p$ is at most $p-1$. The first part is easily ...
3
votes
0answers
56 views

find all coprime sets with size $m \leq n$

I am trying to find all sets of size $m$ with elements in $\{1, 2, 3, \dots n\}$ such that all of the elements in the set are pairwise coprime. I would like to find the number of sets as well as the ...
3
votes
0answers
51 views

Generating all lesser numbers of two coprime numbers

Let's say I have two coprime positive integers, $a$ and $b$. How would you go about proving that it is possible to make all integers between 1 and $max(a,b)$ by subtracting them from each other? For ...
3
votes
0answers
49 views

Number of points over elliptic curve is p+1 given…

Suppose that -1 is not a square in $\mathbb{Z_p}$. Show that the number of points on the elliptic curve $y^2=x^3+ax$ over $\mathbb{Z_p}$ is $p+1$. Hint: Use the fact that $x^3+ax$ is an odd function. ...
3
votes
0answers
59 views

Which series of numbers effectively translates the factorial to the exponential function?

We have the relation of the Bernoulli numbers $$B_{2n} = (-1)^{n+1}\frac {2(2n)!} {(2\pi)^{2n}} \left(1+\frac{1}{2^{2n}}+\frac{1}{3^{2n}}+\cdots\;\right).$$ For $n>1$, the right hand sum ...
3
votes
0answers
56 views

Prove a property of the divisor function

Let $q$ be an odd composite integer and $\sigma(q)$ the sum of the positive divisors of $q$. For what $q$ is it true that $$(\sigma(q)-q) \mid (q-1) \;?$$ If $q$ is prime, it is clear that it is ...
3
votes
0answers
71 views

Problem following detail of Szemeredi's original proof that sets of positive upper density have arbitrarily long arithmetic progressions

Here is a link to Szemeredi's original proof of Szemeredi's theorem: http://matwbn.icm.edu.pl/ksiazki/aa/aa27/aa27132.pdf I am stuck on Fact 6 (page 212) because I don't follow the "induction" ...
3
votes
0answers
47 views

$P_{K,1}(\mathfrak m)\subset \operatorname {ker} \Phi_{\mathfrak m,L|K} \subset \operatorname {ker} \Phi_{\mathfrak m,M|K}$ imples $M \subset L$

Let $K$ be a number field and $L, M$ finite abelian extensions. Let $\mathfrak m$ be a modulus. Consider the two Artin maps $ \Phi_{\mathfrak m,L|K}$ and $ \Phi_{\mathfrak m,M|K}$. Let ...
3
votes
0answers
116 views

Ratio of maximal to minimal jump in the set of angle multiples (corrected)

(This is the corrected version of the question I asked here: Ratio of maximal to minimal jump in the set of angle multiples.) Let $S^1$ be the unit circle in the complex plain. Let $d:S^1\times ...
3
votes
0answers
50 views

News on SG values of Grundy's Game?

Is there any recent research into the Sprague-Grundy values of Grundy's game? It was calculated to $2^{35}$ integers but with no sight of recurrence. Has anyone come up with anything new to compute ...
3
votes
0answers
57 views

Useful restrictions for prime factors of a sum of two powers with coprime exponents

Every prime factor of a number of the form $$a^2+b^2$$ with gcd(a,b)=1 has -1 as a quadratic residue. Does this work only for exponents with a common factor, or are there useful restrictions also ...
3
votes
0answers
54 views

polynomials and functions on $\mathbb{Z}/n\mathbb{Z}$

My general question is How is the set of all polynomial functions on $\mathbb{Z}/n\mathbb{Z}$ structured? What is the number of such functions? How, given a function, one can recognize that it is ...
3
votes
0answers
81 views

An application of Hensel's lemma to some different fields

I would like to prove the following. Let $p>2$ be a prime number, $\mathbb{Q}_{p}$ the field of p-adic numbers Let $u\in \mathbb{Z}_{p}^{\times}$ be a unit. (1)Prove that the following are ...
3
votes
0answers
51 views

Are the Fourier coefficients of a new form real?

Let $f\in S^\text{new}_k(Γ_0(N))$ be a $\text{newform}$ . Are all its Fourier coefficients real? Of course the Hecke operators $T_n$ are selfadjoint for $(n,N)=1$, but is it also true for all $n$?
3
votes
0answers
115 views

$\frac{p^p-1}{p-1}, \frac{p^p+1}{p+1} $ cannot be prime power at the same time

$p\gt3$ is a prime, then the two numbers $$\frac{p^p-1}{p-1}, \; \frac{p^p+1}{p+1} $$ cannot be prime power at the same time I have no clue about it. Could anyone help me? Thanks a lot.
3
votes
0answers
179 views

Prime factor of $14 \uparrow \uparrow 3 + 15\uparrow \uparrow 3$ wanted

Checking the prime factors of the numbers $$z(a,b) \ := a \uparrow \uparrow 3 \ +\ b \uparrow \uparrow 3 \ ,$$ a,b positive integers with a < b the number $$z(14,15) = 14 \uparrow \uparrow ...
3
votes
0answers
86 views

Transcendental numbers involving primes?

Is the prime zeta function value $$ P(2)=\sum_{p \in \mathrm{primes}} \frac{1}{p^2} = 0.452247420041065498506543364832247934173231343\ldots $$ a transcendental number ? What about the following sum ...
3
votes
0answers
44 views

Showing that a number is part of sequence A000275 in OEIS

Consider the sequence of integers defined recursively by $c_0 = 1$ and $$ c_p = \sum_{l = 0}^{p-1} (-1)^{p+l+1} \binom{p}{l}^2 c_l $$ for $p \geq 1$. This is sequence A000275 in the online ...
3
votes
0answers
81 views

Squarefree numbers

From the Wolfram MathWorld page on squarefree numbers, "There is no known polynomial time algorithm for recognizing squarefree integers or for computing the squarefree part of an integer." ...
3
votes
0answers
51 views

$ \mathcal O_K/(p) \cong \mathbb F_p[T]/(T^n)$?

Let $K$ be a totally ramified extension of $\mathbb Q_p$ of degree $n$. Then $$ \mathcal O_K/(p) \cong \mathbb F_p[T]/(T^n) .$$ What is this isomorphism?
3
votes
0answers
167 views

Second longest prime diagonal in the Ulam spiral?

Given the Ulam spiral with center $C = 41$ and the numbers in a clockwise direction, we have, $$\begin{array}{cccccc} \color{red}{61}&62&63&64&\to\\ ...
3
votes
0answers
63 views

How prove this $\frac{a_{1}+a_{2}+a_{3}+\cdots+a_{p^2-q^2}}{p^2-q^2}=p^2-q^2+1$

Nice Question: let $p,q\in N^{+}$,and $p>\sqrt{2}q\ge \sqrt{2}$ show that: there are exsit $a_{1},a_{2},a_{3},\cdots,a_{p^2-q^2}$ such $a_{i},(i=1,2,\cdots,p^2-q^2)$ are all positive square ...