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

Solutions to simultaneous excluded congruences

I'm interested in the smallest solution to a family of "excluded congruences." To be precise, let $p_1 < \ldots< p_k$ be a sequence of primes and consider the constraints $$ x \not\equiv a_1 ...
4
votes
0answers
170 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
315 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
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
528 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
139 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
436 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
771 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
322 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
184 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
140 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
285 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
429 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
31 views

Can the determinant of an integer matrix with $k$ given rows be the gcd of the determinants of the $k\times k$ minors of those rows?

I'm interested if the following is true: Let $n\geq k\geq1$ be integers, let $A\in\mathbb Z^{k\times n}$ and denote the $\binom nk$ $k\times k$ minors of $A$ by $A_1,\ldots,A_N$. Then the ...
3
votes
0answers
31 views

Unit group of an imaginary quadratic ring

Let $R$ be an imaginary quadratic ring. Then, the unit group $R^{\times}$ is finite. To prove this, I worked with normal forms, algebraic integers and the fact that $R \not \subset \mathbb{R}$. But I ...
3
votes
0answers
24 views

Kronecker symbol vs. Koblitz symbol

In Koblitz, Introduction to Elliptic Curves and Modular Forms on page 188 it is defined $$\left( \frac{-1}{j}\right)=0$$ in case $j$ is even. Apart from that definition $\left( \frac{c}{d}\right)$ is ...
3
votes
0answers
59 views

Connections between Fibonacci and natural numbers

Here are some known facts about Fibonacci numbers and then some questions regarding them . 1.Carmichael's theorem . For every $n>12$ $F_n$ has a prime divisor which doesn't divide any of the ...
3
votes
0answers
84 views

What is the least prime $p$, such that $[p-1000,p+1000]$ does not contain a prime $\ne p$?

I am looking for the least prime number $p$, such that the interval $[p-1000,p+1000]$ contains no prime except $p$. In other words, the prime nearest to $p$ has a distance $>1000$ to $p$. I found ...
3
votes
0answers
52 views

The form of the zeta function of an elliptic curve over a finite field

I seek a (very) elementary proof that the zeta function of an elliptic curve $E$ over $\mathbb{F}_q$ has the form $$Z(T)=\frac{1-aT+qT^2}{(1-T)(1-qT)}.$$ Something tedious and computational making use ...
3
votes
0answers
30 views

Is there a name for the least exponent $e$ such that a power of an integer is divisible by another?

Say the primes dividing $m$ also divide $n$. Is there a name for the least exponent $e$ such that $m | n^e$? I can write that explicitly using the prime factorizations of $m$ and $n$, but am ...
3
votes
0answers
74 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
45 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
30 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
63 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
49 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
22 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
58 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
61 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
38 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
64 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
22 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
42 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
51 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
59 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
128 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
21 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
37 views

Determination of quartic Gauss sums

Typically, the Gauss sum over $\mathbb{F}_p$ of order $k$ means the quantity $$\sum_{n=0}^{p-1} e^{2\pi i n^k/p}.$$ In the book Gauss and Jacobi Sums of Berndt, Evans and Williams, a more general sum ...
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 ...