Questions related to the algebraic structure of algebraic integers

learn more… | top users | synonyms

3
votes
1answer
25 views

is there a negative integer which is a quadratic residue mod every prime $p\equiv 7\mod 8$

Is there a negative integer $n < 0$ such that the congruence $x^2 = n\mod p$ is solvable for every prime $p\equiv 7\mod 8$? If we remove the negativity condition it's well known that $n = 2$ ...
7
votes
0answers
58 views

Proving that the number of integer solutions of $x^2-Ny^2=1$ is infinite

I am trying to prove that the number of integer solutions of $x^2-Ny^2=1$ is infinite whenever N is a squarefree integer. For this I define norm of $a+b\sqrt N=a^2-Nb^2$. Now I prove that $a+b \sqrt ...
0
votes
0answers
14 views

explicitly splitting the hamilton quaternions over local fields

For simplicity, lets first consider the hamilton quaternions $$ H = \left(\frac{-1,-1}{\mathbb{Q}}\right)$$ This is the central division algebra over $\mathbb{Q}$ with $\mathbb{Q}$-basis given by ...
1
vote
0answers
10 views

$x\in\mathcal{O}_K$ can be written as product of irreducible elements

Lemma: Every element $x\neq 0$ of $\mathcal{O}_K$ with ($K$ an arbitrary number field) can be written as a product of irreducible elements. Proof: We prove this lemma by complete induction on ...
0
votes
0answers
7 views

How does class field theory help us deduce the splitting of nonprincipal prime ideals?

I had a general question about the significance of global class field theory. One of the goals, as I understand, is to answer the following question: Given $L/K$ abelian, $g$ a divisor of $[L : ...
1
vote
0answers
36 views

Class Group of $\mathbb Q(\sqrt{-15})$

Class Group of $\mathbb Q(\sqrt{-15})$ I used this paper for my attempt. First the discriminant of $\mathbb Q(\sqrt{-15})$ is the discriminant of the monic minimal polynomial of ...
1
vote
2answers
22 views

Image of archimedean place of a number field in $\mathbb C$

Let $L/K$ be a finite Galois extension of number fields and let $\phi$ be an embedding of $K$ into $\mathbb C$. Let $\psi_1$ and $\psi_2$ be two embeddings $L\to \mathbb C$ which extend $\phi$. ...
0
votes
0answers
14 views

Proof of equivalence of definitions of split primes etc.

Consider $\mathcal O_{K}$, where $K=\mathbb Q(\sqrt d)$ and let $\omega=\sqrt d$ if $d \equiv 2,3 \mod 4$ and $\omega=\frac{1+\sqrt d}{2}$ if $d \equiv 1 \mod 4$. Let $f(x)$ be the monic polynomial ...
2
votes
0answers
12 views

norm map and local class field theory

Let $K$ be a local field, say a finite extension of $\mathbb{Q}_p$ (which is the purpose of my interest). Let $L$ be an unramified extension of $K$. Local class field theory asserts that there ...
2
votes
1answer
34 views

Is $\mathbb{Z}(\sqrt[3]{5})$ a PID? Factorisation of the ideal $(2)$

I am given that for the ring of integers of $K = \mathbb{Q}(\sqrt[3]{5})$ is $\mathcal{O}_K = \mathbb{Z}(\sqrt[3]{5})$. I am supposed to factorise the ideals $(2), (3), (5)$ and $(7)$, show that all ...
0
votes
1answer
11 views

Ideal factorization Theorem, more generally

Consider Theorem 4.3.1 in link (it's quite long, so please open the pdf) I'm wondering if we can assume that the prime ideal we want to decompose is not $(p)$ with $p$ a prime in $\mathbb Q$, but a ...
0
votes
0answers
10 views

Function fields isomorphism

Determining if two number fields are isomorphic is a hard problem (Cohen, A course in computational algebraic number theory). Is determining if two functional fields are isomorphic a hard problem? Is ...
5
votes
0answers
79 views

A problem about $e^{2\pi i \alpha_1}+e^{2\pi i \alpha_2}+\cdots+e^{2\pi i \alpha_N}=0$

Let $\alpha_i\in [0,1),\; i\in \{1,\cdots,N\}$ for some positive integer $N$, such that $$e^{2\pi i \alpha_1}+e^{2\pi i \alpha_2}+\cdots+e^{2\pi i \alpha_N}=0$$ and if for any non-empty proper subset ...
11
votes
0answers
30 views

Analogue of Dirichlet $L$-function for $\mathbb{F}_q[T]$.

We consider an analogue of the Dirichlet $L$-function in $\mathbb{F}_q[T]$. Let $g \in \mathbb{F}_q[T]$, $g \neq 0$, let $\chi: (\mathbb{F}_q[T]/(g))^\times \to \mathbb{C}^\times$ be a homomorphism, ...
1
vote
1answer
28 views

Quotient of the ring of integers of a quadratic field by the ideal generated by a split integer prime.

I am wondering about primes $p$ in $\mathbb Z$ that are split in $\mathcal O_{K}$, $K=\mathbb Q(\sqrt d)$. Let $\omega=\sqrt d$ if $d \equiv 2,3 \mod 4$ and $\omega=\frac{1+\sqrt d}{2}$ if $d \equiv 1 ...
8
votes
2answers
85 views

How would you explain a quadratic field to a beginner?

How would you explain a quadratic field to a beginner? Eg. how did the subject first start? All the modern stuff they use to explain it makes it really confusing how one should think about it in more ...
2
votes
1answer
25 views

How do we determine the decomposition of $p\mathcal{O}_K$ in $K = \mathbb{Q}(\sqrt[3]{5})$?

Let $K = \mathbb{Q}(\sqrt[3]{5})$, and $\mathcal{O}_K$ be its ring of integers. In general, how do we decide the decomposition of $p\mathcal{O}_K$, for an odd prime $p$? I know that by Kummer's ...
4
votes
0answers
32 views
+250

Enumerating Bianchi circles

Background: Katherine Stange describes Schmidt arrangements in "Visualising the arithmetic of imaginary quadratic fields", arXiv:1410.0417. Given an imaginary quadratic field $K$, we study the Bianchi ...
1
vote
1answer
24 views

Are the Eisenstein integers the ring of integers of some algebraic number field? Can this be generalised?

The Eisenstein integers are $\mathbb Z[\omega]$ where $\omega$ is the primitive third root of unity. If $K$ is some algebraic number field, can $\mathcal O_K$ be isomorphic to $\mathbb Z[\omega]$? ...
0
votes
2answers
21 views

Extension of Completions of Number Fields

On p. 116 of Milne's notes on Algebraic Number Theory, he gives the following construction. Let $K$ be a field with a valuation $|\cdot|$ (archimedean or discrete nonarchimedean), and let $L$ be a ...
5
votes
2answers
45 views

Uniqueness of prime ideals of $\mathbb F_p[x]/(x^2)$

What are the prime ideals of $\mathbb F_p[x]/(x^2)$? I have been told that the only one is $(x)$, but I would like a proof of this. I want to say that a prime ideal of $\mathbb F_p[x]/(x^2)$ ...
2
votes
0answers
35 views

Is $\mathbb{Z}_{(p)}$ a Dedekind ring?

Is $\mathbb{Z}_{(p)}$ a Dedekind ring? (for a prime number $p$) By $\mathbb{Z}_{(p)}$ i mean the localization of $\mathbb{Z}$ at $p$. I know that one must check a couple of conditions, like it being ...
1
vote
1answer
29 views

prime ideal of $\mathcal O_K$ splits completely in tower of Galois extensions

The following exercise is taken from D.A.Cox's book "Primes of the form $x^2 +ny^2...$" He uses this in order to prove some intermediate steps before the proof of the main theorem in chapter 5, which ...
6
votes
1answer
33 views

How to write $\sqrt{4x^2 - 3}$ in the ring $\mathbb{Q}[x]/(x^3 - x - 1)$?

Consider the irreducible cubic equation $x^3 - x - 1 = 0$ and suppose we one of the roots $x$. The other two are $a,b$ such that $x + a + b = 0$ and $xab = 1$. Then $a$ and $b$ satisfy a quatratic ...
0
votes
0answers
17 views

Number of irreducible factors over $\mathbb{Q}_p[X]$

Let $p_1,\ldots,p_j$ be distinct primes and let $\beta=\sqrt{p_1}+\cdots+\sqrt{p_j}$. It's a fact that $$\mathbb{Q}(\sqrt{p_1},\ldots,\sqrt{p_j})=\mathbb{Q}(\beta)$$ and ...
1
vote
1answer
21 views

Quotient by power of maximal ideal

Suppose $R$ is a commutative ring (but see the edit portion below) and $\mathfrak{m}$ is a maximal ideal of $R$ such that $|R/\mathfrak{m}|<\infty$. Also assume that $k$ a positive integer. Is ...
0
votes
0answers
20 views

compute the grades over $\mathbb{Q}$ [duplicate]

Let $p_{1}$ $\neq$ $p_{2}$ $\neq$ $p_{3}$ prime numbers. Compute the grades over $\mathbb{Q}$ of the extension fields $\mathbb{Q} ( \sqrt{p_{1}}, \sqrt{p_{2}})$ and $\mathbb{Q} ( \sqrt{p_{2}}, ...
3
votes
2answers
25 views

Factorising ideals in the ring of integers of a quadratic field

In an undergraduate algebraic number theory course, I was given the question "If $K = \mathbb Q(\sqrt{-33})$ Factorise the ideal $(1+\sqrt{-33})\subset \mathcal O_K$ into a product of prime ideals." I ...
0
votes
1answer
21 views

definition of Artin map

Let $L/K$ be an unramified Abelian extension. Then the Artin symbol $ \left ( (L/K) / \mathfrak p \right) $ is defined for all prime ideals $\mathfrak p$ of $\mathcal O_K$. (because in an Abelian ...
3
votes
1answer
81 views

When $\cos x$ is transcendental?

About the transcendence of trigonometric functions I know that: 1) if $x$ is an algebraic number $\ne 0$ than $\cos x$ is transcendental. 2) if $p=\dfrac{m}{2^n}$ with $m,n \in \mathbb{Z}$ than ...
3
votes
1answer
27 views

Factor into primes in Dedekind domains that are not UFD's?

Does it make sense to factor numbers into prime numbers in Dedekind domains that are not unique factorization domains? I can't really see how it would make sense.
1
vote
0answers
50 views

A good book to read with Chapter III of Neukirch's “ANT”

The book Algebraic Number Theory from Neukirch is a beautiful book in ANT, but it still have a serious lack in examples and motivation to the concepts. I've already read the first two chapters of the ...
0
votes
0answers
24 views

$k(\mathfrak p)$ basis for $A / pA$

I'm reading this pdf which is showing that a rational prime $p$ ramifies if and only if it divides the discriminant of its number field $K$. I've come across the following line: Let $p \in \mathbb ...
0
votes
1answer
16 views

I need to show that if $K$ is of characteristic $0$,the algebra $A$ has a primitive generator.

Let $K$ be a field and $A$ a reduced K-algebra of finite dimension over $K$. I need to show that if $K$ is of characteristic $0$, $A$ has a primitive generator (i.e. $A=K[x], x \in A$) I've proved ...
2
votes
1answer
26 views

How to classify the rings of fractions of a principal ideal domain?

Let $A$ be a principal ideal domain and let $K$ be its field of fractions. I proved a) Every ring $B$ such that $A \subset B \subset K$ is a ring of fractions of $A$, and c) Show that any ring of ...
2
votes
1answer
40 views

The torsion subgroup of the group of units $R^{\times}$ is always equal to $\{\pm1\}$

In the ring of integers of the number field of degree $3$, the torsion subgroup of the group of units is always equal to $\{\pm1\}$ I found it here (Proposition $5.12$) only that the subgroup of ...
1
vote
1answer
53 views

Ideals in the ring of gaussian integers of a given norm

What are the ideals in the ring of gaussian integers of a given norm, (say $20$) ? The ring of integers is $\mathbb Z[i]$ and it is a PID, so any ideal must be principal. If the ideal $I$ is ...
2
votes
1answer
43 views

Which one is the ring of integers of $K$; $\mathbb Z[\alpha,\frac{\alpha^2}{2}]$ or $\mathbb Z[\alpha,\frac{\alpha+\alpha^2}{2}]$?

If $f := T^3 - T^2 + 2T + 8$ and $\alpha$ is the unique real root of $f$, If $K := \mathbb Q(\alpha)$, which one of the following rings are the ring of integers of $K$: $$\mathbb ...
1
vote
0answers
41 views

The Nagell-Ljunngren Equation

I have been trying to find the papers of Nagell and Ljunngren, which deal with the equation $$\frac{x^n - 1}{x - 1} = y^2$$ and solve it completely. Many papers cite these papers, but I haven't found ...
1
vote
0answers
15 views

Another real quadratic integer ring, Euclidean but not norm-Euclidean, with norm function needing only two adjustments?

I have come to know about $\mathcal O_K$ with $K = \mathbb Q(\sqrt{69})$. The norm function needs to be adjusted to absolute value, as is the case with other real rings, but it also needs to be ...
2
votes
0answers
24 views

On the existence of a polynomial in several variables with only one zero

Given an ordered field $\mathbb{K}$, then for all $n>1$ there exists $f\in\mathbb{K}[X_1,\ldots,X_n]\ s.t.\ \mathcal{V}^{\mathbb{K}^n}(f):=\{p\in\mathbb{K}^n:f(p)=0\}=\{(0,\ldots,0)\}$ For ...
1
vote
0answers
12 views

Show that the positive units of $K$ form a group isomorphic to $\mathbb Z$

Let $K$ be a cubic field such that $r_1=r_2=1$. Suppose $K$ is imbedded in $ \mathbb R$ ($r_1$ and $r_2$ are the usual notations, $r_1$ denotes the number of isomorphisms $\sigma : K \to \mathbb R$ ...
-4
votes
3answers
42 views

If α is algebraic over K then all the elements of K(α) are algebraic over K [closed]

Let $L$ : $K$ be a field extension, $\alpha \in L$ algebraic over $K$. Show that every element of $K(\alpha)$ is algebraic over $K$, where $K(\alpha)$ is the smallest subfield that contains $\alpha$ ...
1
vote
2answers
53 views

How to find the degree of an extension field?

How to find the degree of an extension field ? Let $f:=T^3-T^2+2T+8\in\mathbb Z[T]$ and $\alpha$ be the real root of $f$. Why is then $\mathbb Q(\alpha)$ is a number field of degree $3$ ? I've ...
1
vote
1answer
23 views

Norms and traces example

Example: Let $L=\mathbb{Q}(\sqrt{d})$ be a quadratic extention of $F=\mathbb{Q}$ with square-free integer $d$.Then, $g_{a+b\sqrt{d}}(X)=(X-a-b\sqrt{d})(X-a+b\sqrt{d})=X^2 -2aX+(a^2 -db^2),$ so, ...
2
votes
1answer
19 views

Looking for different proofs for $-1$ is a quadratic residue of primes of the form $4k+1$ and related facts

Suppose $p$ is a prime of the form $4k+1$ , then $4|p-1=|\mathbb Z_p^*|$ , as $\mathbb Z^*_p$ is a cyclic group , so there is $\bar x \in \mathbb Z_p^*$ such that $o(\bar x)=4$ , then $o(\bar x^2)=2$ ...
2
votes
1answer
31 views

Can prime (Ideals) be ramified/split completely in 'their own field'?

Recently I have come across a few sources where the definitions of primes being ramified or splitting completely do not quite adhere to the way I learned them. I completely understand the 'standard' ...
9
votes
0answers
190 views

Diophantine equation $x^2 + 6(y+1)^2 = (y+2)^3$

I'm revising for exams and I've got stuck on an algebraic number theory question. The equation I'm trying to solve is $$ x^2 -2 = y^3, $$ and I was told to rewrite it as $$ x^2 + 6(y+1)^2 = (y+2)^3. ...
1
vote
1answer
28 views

Calculate the ring of integers of quadratic number field $\mathbb{Q}(\sqrt{d})$ [duplicate]

Calculate the ring of integers of quadratic number field $\mathbb{Q}(\sqrt{d})$ Solution: Let $F$ be an algebraic number field. Then an element $b\in F$ is integral iff it monic irreducible ...
1
vote
0answers
35 views

If $a, b$ are transcendental then $a+b$ is transcendental or $ab$ is transcendental [duplicate]

I have to prove the following: If $a, b$ are transcendental then $a+b$ is transcendental or $ab$ is transcendental, or both. I don't have any idea on how to solve this. I already proved this: ...