Tagged Questions

3
votes
1answer
44 views

Express in terms of familiar arithmetic functions

How can I express the sumation $$h_k(n)=\sum_{d|n, k|d}\mu (d)$$ in terms of familiar arithmetic functions, where $k\in \mathbb{N} $ is fixed?
6
votes
2answers
136 views

Solve: $x^2-py^2=q$

Solve $$x^2-py^2=q$$ for integers $x,y$, here $p,q$ are both given prime numbers. It's obvious that $p,q$ should satisfy $(\frac{p}{q})=(\frac{q}{p})=1,$ here $(\frac{p}{q})$ is the Jacobi symbol. ...
4
votes
1answer
46 views

On Selmer's curve

I am trying to prove that the equation $3x^3+4y^3+5z^3 \equiv 0 \pmod{p}$ has non-trivial solutions for all primes $p$. I divide it into 3 cases: $p \equiv 0,1,2 \pmod{3}$. The cases $p \equiv 0,2 ...
4
votes
3answers
133 views

Show that there exists $f ∈ \mathbb{Z}$ such that $f^2 + f +1 ≡ 0 \pmod p$.

Let $p ≡ 1 \pmod 3$ be a prime. Show that there exists $f \in \mathbb{Z}$ such that $f^2 + f +1 \equiv 0 \pmod p$. I know the first few primes of this form are: $7,13,19$ So for example $p=7$ we ...
2
votes
1answer
100 views

For what primes $p$ does the series $1!+2!+3!+4!+ \cdots $ converge $p$-adically?

this is a question from a book I'm struggling with, please could you provide a clear proof For what primes p does the series $1!+2!+3!+4!+ \cdots $ converge $p$-adically? kind thanks
0
votes
1answer
55 views

For which primes p does the series $\sum_{i=0}^\infty (\frac{10}{11})^i$ converge p-adically

For which primes p does the series $\sum_{i=0}^\infty (\frac{10}{11})^i$ converge p-adically and, when it does, to what limit?
0
votes
0answers
96 views

Show that the field of p-adic numbers is complete

this is a question from a book I'm struggling with, please could you provide a clear proof Show that the field of p-adic numbers is complete i.e. that a sequence of p-adic numbers converges if and ...
4
votes
3answers
95 views

Prove or disprove that $\phi(a^n - 1)$ is divisible by n

I have a proof for the case of $a$ being prime I believe, I think this is also true for $a$ composite since I ran a test for the first $100$ numbers over the first $100$ values of $n$ and it seems to ...
0
votes
0answers
73 views

How to prove a generalized Gauss sum formula

I read the wikipedia article on quadratic Gauss sum. link First let me write a definition of a generalized Gauss sum. Let $G(a, c)= \sum_{n=0}^{c-1}\exp (\frac{an^2}{c})$, where $a$ and $c$ are ...
0
votes
0answers
27 views

How to prove the equality involving a Gauss sum like summation. [duplicate]

Let $\zeta=\exp(2\pi i k/n)$ be a primitive root of unity. Here $k$ and $n$ be relatively prime integers. I don't assume that $n$ is a prime number. Then consider the sum $\sum_{j=1}^{n} (-1)^j ...
5
votes
1answer
147 views

A Gauss sum like summation

I would like to calculate the following sum. Let $\zeta$ be a primitive $n$ th root of unity for some integer $n$. Here $n$ is not necessarily prime. The sum is $$\sum_{j=1}^n (-1)^j ...
2
votes
0answers
38 views

How accurately can a irrational algebraic number represent a different irrational number compared to a rational approximation?

If I am trying to approximate $x = \sqrt D$ such that D is a square free integer I can use Diophantine approximation and the Fundamental Recurrence Formulas to find a rational approximation ...
13
votes
2answers
369 views

Formula for number of solutions to $x^4+y^4=1$, from Ireland and Rosen #8.18.

There is a sequence of three exercise in Ireland and Rosen's Introduction to Modern Number Theory, Chapter 8, page 106. I can do the first two, but can't finish the third. I can include the proofs to ...
5
votes
1answer
119 views

Typo in Marcus' $\textit{Number Fields}$?

I am doing Problem 5.10 of Marcus where it is given that $m$ is a square-free negative integer and that $\mathcal{O}_K$ is a PID where $K = \Bbb{Q}(\sqrt{m})$. Now in part (b) of this problem he ...
5
votes
1answer
75 views

Quadratic Diophantic equation

Hello :) i want to give a answer op the following question: For which prime number $p$ can we give a solution of the diophantic equation given by $x^2-65y^2=p$. I want to solve the question without ...
4
votes
2answers
137 views

Does this equation have integer solutions

Let $g\geq 2$ be an integer. (It will be the genus of some curve.) Are there positive integers $d$ and $e$ such that the equality $$ (e-2)(e-1) = 2d(g-1)+2$$ holds?
2
votes
1answer
244 views

Class number/ quadratic field/divisibility

If we take $n$ an even integer and greater than $5$, then $\mathbb Q(\sqrt{1 - 4k^n})$ are divisible by $n$, other than for $k = 13$ and $n = 8$. Why this is happened? If we take $n$ less than 5 (I ...
5
votes
1answer
308 views

Prove that the equation $y^2=x^3-73$ has no integer solutions

Prove that there are no integers $x,y$ such that $y^2=x^3-73$. Thank you.
0
votes
1answer
93 views

Ideals as a product of prime ideals

Suppose we are working in $\Bbb{Q}(\sqrt{-41})$. Given a ideal, for example $(2-\sqrt{-41})$ (we especially work in $\Bbb{Z}[\omega_{-41}]$). We know that this is a Dedekind ring, thus we have unique ...
3
votes
2answers
125 views

Set of sum of cosines is finite

Let $x,y \in \mathbb{R}$ such that the set $\{\cos{(n\pi x)} + \cos{(n\pi y)} | n \in \mathbb{N} \}$ is finite. Show that $x$ and $y$ are rational. I have been trying to consider a graph of this set ...
0
votes
0answers
112 views

geometry of numbers argument to show that an odd prime number $p$ can be written as

Using a geometry of numbers argument, show that an odd prime number $p$ can be written as $p = x^2 +2y^2$, $x, y \in \mathbb{Z}$, if and only if $\left(\frac{-2}{p}\right)=1$.
4
votes
2answers
99 views

Find the number of integral solutions of $(x,y)$

Given this equation: $4x^3+5=y^2$ Find the ordered pairs of $(x,y)$ where $x,y\in Z$
3
votes
1answer
201 views

Diophantine equation (use class ideal group to solve)

Use ideal class group to find all integer solutions to the equation $$x^3=y^2+200$$ My approach: Observe that $\mathbb{Z}[\sqrt-2]$ is the field of integers in the ring $\mathbb{Q}(\sqrt -2).$ ...
0
votes
1answer
53 views

The discriminant of an integral binary quadratic form and the discriminant of a quadratic number field

Let $ax^2 + bxy + cy^2$ be a binary quadratic form over $\mathbb{Z}$. Let $D = b^2 - 4ac$ be its discriminant. It is easy to see that $D \equiv 0$ (mod $4$) or $D \equiv 1$ (mod $4$). Conversely ...
2
votes
0answers
103 views

A characterization of an ambiguous class of binary quadratic forms of discriminant $D$

We use the definitions of this question. Let $D$ be a non-square integer such that $D \equiv 0$ (mod $4$) or $D \equiv 1$ (mod $4$). There exists a bijection $\psi\colon Cl^+(R) \rightarrow C(D)$ by ...
2
votes
0answers
70 views

The number of genera of binary quadratic forms of given discriminant

Is the following proposition true? If yes, how do we prove it? Proposition Let $D$ be a non-square integer such that $D \equiv 0$ (mod $4$) or $D \equiv 1$ (mod $4$). Let $\Phi_1,\dots,\Phi_{\mu}$ be ...
2
votes
0answers
114 views

The narrow class group of an order of a quadratic field and the genera of binary quadratic forms

Let $\mathfrak{F}$ be the set of binary quadratic forms over $\mathbb{Z}$. Let $F = ax^2 + bxy + cy^2 \in \mathfrak{F}$. Let $\alpha = \left( \begin{array}{ccc} p & q \\ r & s \end{array} ...
4
votes
0answers
224 views

Bijection between an ideal class group and a set of classes of binary quadratic forms.

Let $F = ax^2 + bxy + cy^2$ be a binary quadratic form over $\mathbb{Z}$. We say $D = b^2 - 4ac$ is the discriminant of $F$. If $D$ is not a square integer and gcd($a, b, c) = 1$, we say $ax^2 + bxy + ...
1
vote
0answers
249 views

Relations between fractional ideals of an order of a quadratic number field and binary quadratic forms

Let $\mathfrak{F}$ be the set of binary quadratic forms over $\mathbb{Z}$. Let $F = ax^2 + bxy + cy^2 \in \mathfrak{F}$. We say $D = b^2 - 4ac$ is the discriminant of $F$. It is easy to see that $D ...
6
votes
0answers
323 views

A binary quadratic form and an ideal of an order of a quadratic number field

Let $F = ax^2 + bxy + cy^2$ be a binary quadratic form over $\mathbb{Z}$. We say $D = b^2 - 4ac$ is the discriminant of $F$. If $D$ is not a square integer and gcd($a, b, c) = 1$, we say $ax^2 + bxy + ...
1
vote
0answers
126 views

Discriminant of a binary quadratic form and an order of a quadratic number field

Let $ax^2 + bxy + cy^2$ be a binary quadratic form over $\mathbb{Z}$. Let $D = b^2 - 4ac$ be its discriminant. It is easy to see that $D \equiv 0$ (mod $4$) or $D \equiv 1$ (mod $4$). Conversely ...
5
votes
0answers
110 views

Question about a proof on p70 in Cassels' Local Fields

I'm trying to read the proof of COROLLARY. The only solutions of $x^2+7=2^m$ ($x,m \in \mathbb{Z}$) (6.15) have $m=3,4,5,7,15$. I don't see why there could be a + in $y\pm \alpha$ ...
4
votes
1answer
163 views

Can this be salvaged to give a proof that $\mathbb{Z}[\sqrt[3]{2}]$ is the ring of integers of $\mathbb{Q}(\sqrt[3]{2})$?

Recently, I was intrigued by the question asking for an easy way to show $\mathbb{Z}[\sqrt[3]{2}]$ is the ring of integers of $\mathbb{Q}(\sqrt[3]{2})$. I was playing with the approach, trying to ...
2
votes
1answer
89 views

Simple Answer to Showing $N_{k/\mathbb{Q}}(\alpha)=N((\alpha))$

So I'm trying to show that if we have some number field $k/\mathbb{Q}$ and ring of integers $R_k\subset k$, and an element of $R_k$, say $\alpha$, that the field norm of $\alpha$ is equal to the ...
8
votes
2answers
350 views

Value of cyclotomic polynomial evaluated at 1

Let $\Phi_n$ be the usual cyclotomic polynomial (minimal polynomial over the rationals for a primitive nth root of unity). There are many well-known properties, such as $x^n-1 = \Pi_{d|n}\Phi_d$. ...
3
votes
1answer
145 views

The form $xy+5=a(x+y)$ and its solutions with $x,y$ prime

In another question I was asking if there are any different $x,y>2$ primes such that $xy+5=a(x+y)$. Where $a=2^r-1$, and $r>2$. I was thinking if it is able to find a Pell equation or a ...