Questions related to the algebraic structure of algebraic integers

learn more… | top users | synonyms

2
votes
0answers
17 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
45 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
15 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
13 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 ...
7
votes
0answers
110 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
52 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
39 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
93 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
29 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 ...
13
votes
1answer
176 views
+150

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
28 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
24 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
61 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
37 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 ...
2
votes
1answer
38 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
39 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 quadratic ...
1
vote
1answer
29 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
30 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
29 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
89 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
32 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
67 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
25 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
18 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
27 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
46 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
55 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
46 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 ...
2
votes
0answers
45 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
16 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
28 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 ...
0
votes
0answers
15 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$ ...
0
votes
2answers
63 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
27 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
25 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
39 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' ...
10
votes
2answers
231 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
34 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
38 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: ...
3
votes
2answers
81 views

Prove: if $a$ and $b$ are algebraic, then $a + b$, $a - b$ and ab are also algebraic

I have to prove the following: If $a, b \in \mathbb{C}$ and are both algebraic over $\mathbb{Z}$, then: $a + b$ is algebraic over $\mathbb{Z}$ $a - b$ is algebraic over $\mathbb{Z}$ $ab$ is ...
1
vote
1answer
29 views

On non-constant multiplicative norms on integral domain and when does the absolute value of the norm is unity implies the element is unit?

Consider $\mathbb Z[\sqrt {d}]$, where $d$ is any non - square integer, define $$N(a + \sqrt d b) = a^2 - db^2 = (a + \sqrt d b)(a - \sqrt d b)$$ as $\mathbb Z \subseteq \mathbb Z[\sqrt {d}]$, so from ...
3
votes
0answers
32 views

For what pairs of numbers does the norm function fail as a Euclidean function in $\mathbb{Z}[\sqrt{14}]$?

(By "norm" here I mean "absolute value of the norm)" Are their infinitely many such pairs or is it finite in the sense that its just a few primes that cause the problem (like in that other famous ...
3
votes
0answers
52 views

Notation Question in proof of Kronecker-Weber theorem

I am trying to understand this proof of the Kronecker-Weber theorem by Franz Lemmermeyer http://arxiv.org/pdf/1108.5671.pdf. The set-up is this: $K/\mathbb{Q}$ is a cyclic extension of prime degree ...
2
votes
1answer
19 views

Discriminant of n algebraic numbers equals $0$ iff the algebraic numbers linearly dependent

Let $K \subset L$ be two number fields with $[L:K] = n$. Let $\{\alpha_i:1 \leq i \leq n\} \subset L$. Then $\operatorname{disc}(\alpha_1 \dots \alpha_n) = 0 \iff \alpha_i$ are linearly dependent ...
1
vote
2answers
64 views

Diophantine equation resembling FLT

I was wondering if the equation $x^p+y^p=2z^p$ has been studied. For small cases it is seen that the only solutions are trivial: $x=y=z$. There are probably methods to solve this for regular ...
2
votes
1answer
26 views

Finite field extensions - $K(\alpha)$

So I am currently studying Algebraic Number theory and a theorem in the Book states the following: Let $L/K$ be a field extension. Then $\alpha \in L$ is algebraic over $K$ if and only if there is ...
1
vote
1answer
22 views

Is this condition enough for irreducibility?

Suppose that $f$ is a polynomial in $Z[X]$, such that $f = (X-\alpha_1) ... (X-\alpha_n)$ with $n$ distinct complex, irrational roots. Suppose that $Q[\alpha_i]$ = $Q[\alpha_1, ..., \alpha_n]$ for all ...
4
votes
1answer
35 views

Quadratic number field which is Euclidean but not norm Euclidean

I am looking for an example of a quadratic field $\mathbb Q[\sqrt d]$ , with $d \equiv 2 $ or $3(\mod 4)$ , whose ring of integers is Euclidean but not norm (http://en.wikipedia.org/wiki/Field_norm ) ...
0
votes
1answer
38 views

Finite field extension over the rationals need only one generator?

Some book stated (without proof) that in every finite dimensional field over the rationals of dimension $n$, there is an element of degree $n$ (i.e. any field $Q[\alpha_1, ..., \alpha_n]$ is of the ...