Questions related to the algebraic structure of algebraic integers

learn more… | top users | synonyms

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 ...
3
votes
0answers
29 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
68 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
40 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
235 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
39 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
82 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
54 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 ...
0
votes
1answer
22 views

Quadratic Number Fields

I am currently studying elementary Algebraic Number Theory and came across the following statement: Any Number Field $K$ such that $[K:\mathbb{Q}] = 2$ is equal to $\mathbb{Q}(\sqrt{d})$ for a unique ...
4
votes
3answers
74 views

Are all prime ideals in $\mathbb Z[\sqrt{-5}]$ of the form $\langle c, a + b \sqrt{-5} \rangle$?

Where $a, b, c \in \mathbb Z$? I know that if in an UFD, $\langle c, a + b \sqrt{d} \rangle$ would boil down to a principal ideal. But it seems to me that in $\mathbb Z[\sqrt{-5}]$, for any purely ...
0
votes
1answer
17 views

Residue class ring of Dedekind domain

Zariski and Samuel Commutative Algebra Ch V para 7 makes the following statement: If $R$ is a Dedekind domain with an ideal $\mathfrak{a}=\prod_i\mathfrak{p}_i^{n(i)}$ factored into prime ideals, ...
7
votes
3answers
158 views

Algebraic number theory topics for undergrads

What are some interesting topics or problems in algebraic number theory which could be presented to students in a first undergraduate algebra course (which covers some elementary number theory, ...
0
votes
0answers
30 views

The discriminant of (1,x,x^2) in a cubic field.

Let $K$ be a cubic field such that $K=\mathbb Q[x]$ with $x^3=2$. The discriminant of $\{1,x,x^2\}$ is supposed to be $\begin{vmatrix} 3 & 0 & 0 \\ 0 & 0 & 6 \\ 0 & 6 & ...
3
votes
1answer
39 views

Reference Request for Minkowski (?) Theorem proof.

I'm looking for a statement, I believe to be due to Minkowski, that says something along the lines of: "For an algebraic number field, $K$, $\exists$ only finitely many prime integers, $p\in ...
1
vote
2answers
61 views

$i \notin \mathbb{Q}[\sqrt[4]{2}]$ without using topological properties of $\mathbb{R}$

I can think of two related ways to prove that $i \notin K = Q[\sqrt[4]{2}]$: $K$ is a subset of the real numbers and $i$ is not a real number. $K$ is orderable and no ordered field can contain ...
5
votes
1answer
33 views

Show that the ring of integers $A$ of the cubic field $\mathbb Q[x]$ with $x^3=2$ is principal.

Show that the ring of integers $A$ of the cubic field $K=\mathbb Q[x]$ with $x^3=2$ is principal. The hint given in the book is to majorize the discriminant of $A$ by $D(1,x,x^2)$ and then use the ...
5
votes
1answer
83 views

What book or website has nice, colorful diagrams illustrating real quadratic integer rings?

I'm sure you all have seen diagrams, colorful or not, illustrating prime numbers in $\mathbb{Z}[i]$ and $\mathbb{Z}[\omega]$, with some of them helpfully pointing out the inert and splitting primes ...
2
votes
2answers
42 views

If $K:=\mathbb Q\left(\sqrt{-3}\right)$ and $R$ is the ring of integers of $K$, then $R^{\times}=\mathbb Z\big/6\mathbb Z$

How to show that if $K:=\mathbb Q\left(\sqrt{-3}\right)$ and $R$ is the ring of integers of $K$, then the group of units $R^{\times}=\mathbb Z\big/6\mathbb Z$ Now since $-3\equiv1\mod 4$ the ring ...
4
votes
3answers
103 views

Is the algebraic closure of $\mathbb Q$ in the field $\mathbb Q_5$ a number field?

Is the algebraic closure of $\mathbb Q$ in the field $\mathbb Q_5$ of $5$-adic numbers a number field, if yes what is the degree ? To be honest I don't understand the question, what does it mean ...
1
vote
1answer
65 views

Number of real embeddings $K\to\overline{\mathbb Q}$

How many real embeddings, $K\to\overline{\mathbb Q}$ with $K=\mathbb Q\left(\sqrt{1+\sqrt{2}}\right)$ are there ? We set $f(x)=x^4-2x^2-1$ and if $\alpha=\sqrt{1+\sqrt{2}}$ then $f(\alpha)=0$. ...
1
vote
3answers
76 views

Is the following a number field?

Is the field obtained by adjoining all the cube roots of $-3$ to $\mathbb Q$ a number field ? The cube roots of $-3$ are: $-\sqrt[3]{3},\sqrt[3]{3}e^{\frac{i\pi}{3}}, ...
5
votes
3answers
77 views

Prime ideals lying above in $\mathbb{Q}(\sqrt{-5})$

I'm really struggling to understand the concept of prime ideals lying above and below a given prime ideal. For example taking the extension $\mathbb{Q}(\sqrt{-5})\big/\mathbb{Q}$, how do we know $(2, ...
2
votes
1answer
29 views

Number rings as free module over base ring

Let $K \subset L$ be number fields and $\mathcal{O_K}, \mathcal{O_L}$ the corresponding rings of algebraic integers. Further let dimension$(L/K)$ = n as a vector space. If $K$ is a PID, then ...
5
votes
3answers
85 views

Find all Gaussian integers $α, β, γ$ such that $αβγ = α + β + γ = 1$

I tried to solve for this by assuming $α=a+bi$, $β=c+di$, and $γ=e+fi$, and explicitly solving this by equal $a+c+e=1$, $b+d+f=0$, and similarly for $αβγ=1$. Is there any other easier approach for ...
4
votes
0answers
31 views

Stuggling to understand ideal powers

In my current algebraic number theory course we have defined the multiplication of 2 ideals as the smallest ideal containing all products of elements of both, [i.e: let I and J be ideals of a ring ...
0
votes
0answers
18 views

The “good” singularities of a local model?

In the theory of Shimura Varieties you want to construct a model over the ring of integers of the reflex field of the Shimura variety. You want it to be flat and have "good" singularities. This ...
0
votes
1answer
26 views

Algebraic element proof

Definition-Lemma: Let $F$ be a subfield of a field $L$. An element $a\in L$ is called algebraic over $F$ if one of the following equivalent conditions hold: $f(a)=0$, for an non-zero polynomial ...
0
votes
0answers
28 views
2
votes
1answer
63 views

Roots of unity of an odd degree number field

I want to show that a number field of odd degree contains only $2$ roots of unity. The only information I really have regarding this that I think is relevant is that the group of units ...
0
votes
1answer
33 views

Finite group of units

I want to show that the group of units of a number field $K$ is finite $\iff K= \mathbb{Q}$ or $K$ is an imaginary quadratic field. I know that the units of a number field are precisely the integral ...
2
votes
1answer
56 views

Small integral representation as $x^2-2y^2$ in Pell's equation

Let $k$ be a "representable" positive integer, in the sense that $k=|x^2-2y^2|$ for some integers $x,y$. Does it necessarily follow that $k$ can also be represented with small parameters, i.e. ...
3
votes
1answer
53 views

Checking a fundamental unit of a real quadratic field

I just want to check whether I have got the fundamental unit of a certain real quadratic field, but I can't find how. For instance, if I am working in $\mathbb{Q}(\sqrt{2})$ then ...
1
vote
3answers
62 views

Condition on ideal of ring of integers being prime

Let $K=\mathbb{Q}(\sqrt{d})$ for $d$ square free integer and let $p$ be a rational prime such that $p$ does not divide $2d$. Prove that $p\mathcal{O}_K$ is a prime ideal $\iff x^2\equiv_p d$ has no ...
1
vote
0answers
19 views

Extension of a complete discrete valuation ring

My question came when I was reading the famous Tate's paper on $p$-divisible groups. At the beginning of chapter $(2.4)$ he cites this fact as obvious. If you take a complete discrete valuation ring ...
1
vote
1answer
45 views

Relationship between class number and Legendre symbol

Suppose we have a prime $p\equiv 3\mod 4$ and $p>3$ with the property that for all primes $q<p/4$, we have that $\left(\frac{q}{p}\right)=-1$. I believe that in this case it is true that the ...
5
votes
2answers
63 views

Quadratic Integers in $\mathbb Q[\sqrt{-5}]$

Can someone tell me if $\frac{3}{5}$, $2+3\sqrt{-5}$, $\frac{3+8\sqrt{-5}}{2}$, $\frac{3+8\sqrt{-5}}{5}$, $i\sqrt{-5}$ are all quadratic integers in $\mathbb Q[\sqrt{-5}]$. And if so why are they in ...
2
votes
0answers
20 views

Absolute values induced by embeddings (after Lang's “Algebraic number theory”)

I am now reading Lang's "Algebraic number theory" (http://gen.lib.rus.ec/book/index.php?md5=9D32C9B248831979ADE79FACDC40129B) and I am having problems with understanding the statement of the theorem 2 ...
5
votes
1answer
103 views

Artin conductor of a character and factorisation through $(\mathbb{Z} / N\mathbb{Z})^{*}$

This is from Serre's paper on modular representations of degree $2$ of $Gal(\bar{\mathbb{Q}} : \mathbb{Q} ) $. We consider a representation $\rho : Gal(\bar{\mathbb{Q}}:\mathbb{Q}) \rightarrow ...