Questions related to the algebraic structure of algebraic integers

learn more… | top users | synonyms

0
votes
0answers
20 views

Connected component of the Idele group

Let $K$ ba a number field with $r_1$ real embeddings and $r_2$ pairs of complex embeddings. Let $I_K$ be the group of ideles of $K$ and let $H$ be the connected component of identity. How to show that ...
3
votes
1answer
30 views

valuation ring, completeness

Perhaps a trivial question: is there an example of a field $K$ and a valuation $v$ on $K$ such that the following holds: $K$ is not complete (with respect to the valuation topology) The valuation ...
2
votes
1answer
99 views

$x^{16}-16 \equiv 0 \mod p$ has a solution for each prime

I have to prove that $x^{16}-16\equiv 0 \mod p$ has a solution for every prime $p$. I already know (from a previous work) that $x^8-16\equiv 0 \mod p$ has a solution for every prime. In my opinion, I ...
4
votes
1answer
39 views

sequence $\{a^{p^{n}}\}$ converges in the p-adic numbers.

Let $a\in \mathbb{Z}$ be relatively prime to $p$ prime. Then show that the seqeunce $\{a^{p^{n}}\}$ converges in the $p$-adic numbers. This to me seems very counter intuitive. Since $(a,p)=1$ the ...
1
vote
0answers
40 views

Topology on ideles

I am new to adeles and ideles in number fields. I am trying to solve Exercise 2 in this pdf. This is a very standard fact the statement of which can be found in any textbook. I have done exercise 2 ...
2
votes
1answer
58 views

Confusion on Inert Primes in Ireland and Rosen

In Ireland and Rosen, the following law for inert rational primes in a quadratic field is stated as: if $p\nmid \delta_K$, where $\delta_K$ is the discriminant of the quadratic field, and $d$ is a ...
3
votes
1answer
44 views

Kummer-Dedekind's factorisation theorem

For a number field extension $K$ of $\mathbb{Q}$ one can factorise almost all prime ideals $(p)$ in the extension $K$, except finitely many, easily by factorising minimal polynomials in finite ...
1
vote
2answers
65 views

What does $x$ $\in$ $\mathbb{Q}$(y) mean?

What does $x$ $\in$ field $\mathbb{Q}$(y) mean? What is $\mathbb{Q}$(10), for instance?
1
vote
0answers
19 views

Why do we conclude that $(a,b)=1$, having found that $(a',b'=1)$?

Suppose that we have the equation $ax^2+by^2+cz^2=0, a,b,c \in \mathbb{Q}$. Without loss of generality, we suppose that $gcd(a,b,c)=1$. Also, we can consider that $a,b,c$ are square-free. We can ...
1
vote
1answer
31 views

convergence of the sequence $10^{-n}$ in the p-adic numbers

Let $p$ be prime. I am tasked to prove that the sequence $10^{-n}$ does not converge in $\mathbb{Q}_{p}$ for any $p$ where $\mathbb{Q}_{p}$ is the set of p-adic numbers. For $p=2$ or $5$, we see ...
0
votes
2answers
59 views

Example of non fractional ideal

Let $R$ be an integral domain with fraction field $K$, and let $I$ be an $R$-submodule of $K$. We say that $I$ is a fractional ideal of $R$ if $rI\subset R$ for some nonzero $r \in R$. My question ...
3
votes
2answers
93 views

Show that $\mathbb{Z}[\sqrt{223}]$ has three ideal classes.

Well the question is the title. I tried to grab at some straws and computed the Minkowski bound. I found 19,01... It gives me 8 primes to look at. I get $2R = (2, 1 + \sqrt{223})^2 = P_{2}^{2}$ $3R ...
0
votes
0answers
56 views

How to find discriminant of a given polynomial.

How to find discriminant of the polynomial- $x^7 - x^5 + x^3 - x + 1$. Discriminant of a polynomial is given by- $D(f)=\prod_{i<j}(\alpha_i-\alpha_j)^2$. Where $\alpha_i$'s are roots of $f$.
0
votes
0answers
30 views

Proof number fields

In the proof Theorem 5.2 page 22 Janusz Number fields, that says Therem 5.2: The finite dimensional field extension $L$ of $K$ is separable if and only if the bilinear form $(x,y)=T_{L/K}(xy)$ from ...
5
votes
1answer
70 views

Proof that $\mathbb{Z}\left[\frac{1 + \sqrt{-19}}{2}\right]$ is a PID

How would one prove that $\mathbb{Z}\left[\frac{1 + \sqrt{-19}}{2}\right]$ is a principal ideal domain (PID)? It isn't a Euclidean domain according to the Wikipedia article on PIDs.
1
vote
1answer
24 views

Prove that if $f\in R[X]$ , then $\displaystyle\prod _{\sigma \in G}f^{\sigma}\in \mathbb{Z}[X].$

Let $K$ be an algebraic number field and $R$ be the ring of algebraic integers of $K.$ Denote by $h^{\sigma}$ the polynomial obtained from $h\in K[X]$ after applying to its coefficients the ...
10
votes
3answers
183 views

likely open number theory problem: finite sum of $\zeta(2)$ equal to a square of rationals

Which $n$ can let $S=1+\frac14+\frac19+\cdots+\frac1{n^2}$ be a square of a rational number? Obviously, $1$ and $3$ work, but how to prove they are the only ones? I think this problem is really hard. ...
1
vote
0answers
68 views

$R_S (=K \cap A_{K,S})$ is a Dedekind domain

Let $K$ be a global field and let $S$ be a finite, nonempty set of places of $K$ containing the infinite one. Show that $R_S (=K \cap A_{K,S})$, the ring of $S$-integers of $K$, is a Dedekind domain. ...
2
votes
1answer
55 views

Periodicity over the prime indices of a multiplicative sequence implies periodicity?

I have a real sequence $(a_p)$ indexed by the prime numbers which takes values -1, 0, or 1, having the property that $a_p=a_q$ whenever $p\equiv q \pmod m$, where $m$ is a fixed integer $>2$. I'm ...
1
vote
0answers
15 views

Show that a Field Extension is Unramified Using Transitivity

Let $K=\mathbb{Q(\sqrt{5})}, L=\mathbb{Q(\sqrt{7})}, M=\mathbb{Q(\sqrt{35})}$, and $KL=\mathbb{Q(\sqrt{5},\sqrt{7})}$. Show that $KL/M$ is unramified (i.e. every prime ideal of $M$ is unramified in ...
0
votes
0answers
12 views

Root of unity in a global field

Let $K$ be a global field. How to show that $|x|_v= 1$ at every place $v$ of $K$ if and only if $x$ is a root of unity in $K$.
9
votes
1answer
175 views

$\Bbb{R}/n\Bbb{Z}$ is isomorphic to $A_\Bbb{Q}/(\Bbb{Q}+C_n)$.

Let $A_\Bbb{Q}$ be the adele group of $\Bbb{Q}$. Let $C_n=\{x \in A_\Bbb{Q}: x_\infty=0 \text{ and }x_p \in p^{\operatorname{ord}_p(n)}\Bbb{Z}_p \text{ for prime }p\}$. I want to show that ...
0
votes
0answers
18 views

Norm in cyclotomic field

Suppose $p$ is a rational prime and $\zeta=e^{2\pi i/ p}$. Prove that the groupp of non-zero elements of $\mathbb Z_p$ is cyclic, show that there exists a monomorphism $\sigma:\mathbb Q(\zeta)\to ...
2
votes
2answers
47 views

Splitting of Primes in a Given Field

Find how $p=2,3,5,7$ splits in $\mathbb{Q}(\sqrt{-5})$ (i.e. find those $e_i,f_i$ for $1 \leq i \leq r$). Can somebody please explain how this is done? My attempt is the following: Let K = ...
0
votes
0answers
105 views

Rational points of $ax^2+by^2=z^r$, $r $ odd integer.

I am trying to find the rational points of:$$ax^2+by^2=z^r$$ I am aware that:$$(u^r-2^{r-2}v^r)^2+(2uv)^r=(u^r+2^{r-2}v^r)^2$$ How can I deduct the results?
0
votes
0answers
21 views

Questions on Heath-Brown's paper “Kummer’s Conjecture for Cubic Gauss Sums”

On page 21 in Heath-Brown's paper "Kummer’s Conjecture for Cubic Gauss Sums" (http://eprints.maths.ox.ac.uk/158/1/kummer.pdf), a formula says $$\sum_{j\in \mathbb{Z}[\omega]}f(j)=\sum_{k\in ...
5
votes
4answers
940 views

How to factorise a number in $\mathbb {Z}[\sqrt {-5}]$?

I am studying quadratic number fields. I have a question about factorization in $\mathbb {Z}[\sqrt {-5}]$ which seems less trivial than factorization in the Gaussian integers. Let $ w=\sqrt {-5} $. ...
1
vote
1answer
46 views

Solution of Pell equation over field of p-adic numbers

Right now I am studying Pell equation. Using continued fractions, we can find the solution of Pell equation. Now my question, is it possible for me to find a solution in the field of p-adic numbers ...
5
votes
1answer
74 views

Showing two elements are coprime in a ring of integers

Let $\alpha$ and $\beta$ be the two roots of the polynomial $x^2 - x + 2$. I was wondering if someone could explain to me why $(y - \alpha)$ and $(y - \beta)$ are coprime (for any integer $y$) in the ...
3
votes
3answers
79 views

Solve in integers: $x^2 = y^2 + y + 1$

Solve this equation in integers: $$x^2 = y^2 + y + 1$$ I know $2$ ways to solve this. But they are not easy. Maybe there is some quick method.
1
vote
2answers
101 views

Torsion free module over a PID is flat

Suppose a ring of integers $S$ is an extension of a ring of integers $R$ with $\mathfrak{q}$ a prime ideal in $S$ and $\mathfrak{p}=\mathfrak{q}^c$ in $R$. Is there a straightforward way of showing ...
0
votes
1answer
37 views

Is an extension of a discrete absolute value discrete too?

Suppose $L/K$ is a finite extension of fields, suppose $v$ is a non-archimedean absolute value on $L$ such that the restriction of $v$ on $K$ is non-trivial and discrete. Can we say that $v$ is ...
0
votes
1answer
15 views

Gaussian sums values

I have the following problem: Denoting $S(q,a,\chi ) = \sum_{x=1}^q \chi (x) e(ax/q)$, where $\chi $ is an arbitrary character modulo $q$, I have to prove $$\sum_{a=1}^q \vert S(q,a,\chi ) \vert ^2 = ...
2
votes
1answer
29 views

Basis for sum of all extensions of a completion: $\bigoplus_{w \mid v} \mathcal{O}_{w}$ over $\mathcal{O}_{v}$

I was going over notes from a class and it was stated (without proof) that if $\xi_{1}, \ldots, \xi_{n}$ is a basis of $K/k$, then for almost all places $v$, $\xi_{1}, \ldots, \xi_{n}$ is a basis for ...
2
votes
0answers
60 views

Mellin transform on $\mathbb{Z}[\omega]$

Let $\omega=\frac{-1+i\sqrt{3}}{2}$ be a complex cube root of unity. The Eisenstein integers $\mathbb{Z}[\omega]$ (a unique factorization domain) are of the forms $a+b\omega$ where $a$ and $b$ are ...
3
votes
1answer
47 views

Calculating zeta functions over a field

I am learning about zeta functions and have been trying the following example: Calculate the zata function of $x_0x_1-x_2x_3$ over $\mathbb{F}_p$. Does there exist an easy formula for calculating ...
4
votes
1answer
34 views

Inertia Degree in Cyclotomic Extensions

Let $\zeta$ be a primitive $l$th root of unity, where $l$ is prime. If $p$ is another prime number, let $f$ be the order of $p$ in $U(\mathbb{Z}/l \mathbb{Z})$. Then in $\mathbb{Z}[\zeta]$, $p$ ...
2
votes
0answers
32 views

Find the ring of algebraic integers. [duplicate]

Find the ring of algebraic integers in $K=\mathbb Q(\sqrt[3]{2})$. So, I know that $K=\{a+b\sqrt[3]{2}+c\sqrt[3]{2}^2 \mid a,b,c \in \mathbb Q\}$. My professor has done very little on this topic. ...
3
votes
2answers
76 views

$\overline{\mathbb{Z}}$ is not a Dedekind domain.

I have to prove the following statement : Let $\overline{\mathbb{Z}}$ be the ring of all algebraic integers in (a fixed choice of) $\overline{\mathbb{Q}}$. Then $\overline{\mathbb{Z}}$ is not a ...
6
votes
2answers
41 views

Question about Thm 1.4.4 in ANT Alaca/Williams

I am studying Introductory ANT by Alaca/Williams, p12, theorem 1.4.4: "Let $m$ be a nonsquare integer such that $\mathbb {Z}+\mathbb{Z}\sqrt {m}$ is a PID. Let $p $ be an odd prime for which the ...
2
votes
1answer
128 views

Some Galois theory

I have a question on field extensions, and I can't seem to find precise answers when browsing through online notes etc. Here it is: suppose $K$ and $k$ are fields with $k \leq K$ and $[K : k] = m$ ...
2
votes
1answer
46 views

Non-Galois number fields and complex embeddings

Let $K$ be a number field. $K$ is a normal extension of $\mathbb{Q}$ iff $\exists f(x)\in\mathbb{Q}[x]: K$ is the splitting field for $f(x)$. A field extension is Galois iff it is normal and ...
2
votes
1answer
62 views

Finding the Discriminant of $f(x)=x^n+ax+b$ Using Differentiation

Greetings fellow Mathematics enthusiasts. I was hoping someone could offer me some advice on proving the following statement about the discriminant of a polynomial with degree $n$. Let ...
6
votes
0answers
119 views

Generalized class group of $\mathbb Q(\sqrt{-5})$

I follow the notation of Georges Gras: Class Field Theory, some of which I recall for convenience; feel free to skip the following lines if you are familiar with the notation. Let $K$ be a number ...
1
vote
1answer
53 views

Find all positive integer pairs $(x,y)$ and $(u,v)$ with certain relations.

Is there exists any positive integer pairs $(x,y)$ and $(u,v)$ for which, the relations, $x^2+y^2=u^2+v^2$ and $x^3+y^3=u^3+v^3$ are satisfied simultaneously?
1
vote
0answers
41 views

$(X+4)=X^4+X^3+X^2+X+1 \pmod{5}$ by ramification of prime ideals

In Milne's algebraic number theory notes, on page 65, there is the following example: $X^4+X^3+X^2+X+1\equiv(X+4)^4\pmod{5}$. And Milne asks: Why is that obvious? This comes after discussion of ...
7
votes
1answer
160 views

How does (21) factor into prime ideals in the ring $\mathbb{Z}[\sqrt{-5}]$?

The text of the exercise is the following: Show that $\mathbb{Z}[\sqrt{-5}]$ is a Dedekind domain, and that the identities $21 = (4+\sqrt{−5}) \cdot (4 − \sqrt{−5})$ and $21 = 3 · 7$ represent two ...
0
votes
2answers
50 views

Prove all elements of $A$ is algebraic over $C$, if all elements of $A$ are algebraic over $B$ and $B$ are algebraic over $C$

Let there be 3 fields $A$, $B$ and $C$. If all elements of $A$ are algebraic over $B$ and all elements of $B$ are algebraic over $C$, prove that this implies that all elements of $A$ is algebraic ...
1
vote
1answer
33 views

Prime containing ideal in number ring divides the index of ideal

I'm working through Peter Stevenhagen's notes on Algebraic Number Theory, and the third section starts: In order to factor an ideal $I$ in a number ring $R$ [into its primary composition $I = ...
6
votes
0answers
82 views

Name of a certain set

I want to know if there is any already-standard way to refer to the sets described as follows. For a set $X$, let $-X = \{-x: x \in X \}$; call it the negative of $X$. Take the set of all primes in ...