1
vote
1answer
191 views

Is $\mathbb{Z}[\sqrt{2} + \sqrt{3}]$ closed under multiplication?

Bonus question: if it's not, is it a subdomain of some ring of algebraic integers? This is just something I was thinking about a few weeks ago. I forgot about the concept of algebraic degrees, which ...
1
vote
1answer
27 views

Valuation associated to a non-zero prime ideal of the ring of integers

I have a question from Frohlich & Taylor's book 'Algebraic Number Theory', p.64. I will keep the notation used there. Let $K$ be a number field, $\mathcal o$ its ring of integers. Let $\mathfrak ...
1
vote
0answers
19 views

Why is the norm of an ideal contained in that ideal?

Suppose $K$ is a number field and that $\mathcal{O}_K$ is the ring of integers of $K$. Now, let $I$ be an ideal in $\mathcal{O}_K$. I know that $N(I) \in I$, but I want to prove it. By definition, ...
5
votes
2answers
95 views

The prime elements of the ring $ \mathbb{Z} \! \left[ \dfrac{i \sqrt{3} - 1}{2} \right] $.

I have to study the prime elements of the ring $ \mathbb{Z} \! \left[ \dfrac{i \sqrt{3} - 1}{2} \right] $. For the moment, I cannot find the general form of such elements. Can you help me? Thanks! :) ...
2
votes
1answer
66 views

extension of Noetherian rings

Let $A \subset B$ rings. If $B$ is noetherian then $A$ is noetherian. Is false or true?
6
votes
2answers
52 views

Is $(x^2 + 1, y^2 + 1)$ a prime ideal in $\mathbb{Q}[x, y]$?

At first I was looking for a ring homomorphism from $\mathbb{Q}[x, y]$ to a domain with $(x^2 + 1, y^2 + 1)$ as it's kernel, but I could not find one. Now I am thinking: maybe $(x + y)(x - y) = x^2 ...
2
votes
1answer
35 views

ideal calculations: $2\mathcal{O}_K=\mathfrak{B}^4$ in the ring of integers of $K=\mathbb{Q}(i,\sqrt{2m})$

Let $K=\mathbb{Q}(i,\sqrt{2m})$ where $m \in \mathbb{Z}$ is odd and squarefree. Let $\alpha = (1+i)\sqrt{2m}/2$. Then $\alpha^2=im$, such that $\alpha$ is part of the ring of integers $\mathcal{O}_K$. ...
5
votes
0answers
59 views

Literature to the ring $\mathbb{Z}[\phi]$ where $\phi=\frac{1+\sqrt{5}}{2}$ is the golden ratio

I know few about algebraic number theory but recently I stumbled upon the ring $\mathbb{Z}[\phi]$ where $\phi = \frac{1+\sqrt{5}}{2}$ is the golden ratio. It seems to be a very interesting object to ...
7
votes
2answers
178 views

Why study integrality?

Here are a few of the basic definitions related to integrality. (1) A polynomial in $R[x]$ is monic if its leading coefficient is $1$. (2) An element is integral over a ring $R$ if it ...
0
votes
1answer
68 views

$(p)$ is a prime ideal in $\mathbb{Z}[\sqrt{n}]$ if and only if $n$ is not a square mod $p$

Let $n$ be a square-free integer such that $n\equiv 2,$ or $3\bmod 4$. If $p\in\mathbb{Z}$ be a prime such that $n$ is not a square modulo $p$, then $(p)$ is a prime ideal in ...
0
votes
1answer
42 views

Questions on a proof of “All prime ideals of a Dedekind domain are invertible”

I tried to prove this theorem : All prime ideals of a Dedekind domain is invertible. i.e, For every prime ideal $\mathfrak{p}$ of Dedekind domain $R$, there exists $\mathfrak{p}^{-1} \subseteq ...
1
vote
0answers
68 views

Proposition 17, p. 68 of Lang's Algebraic Number Theory

I'm stuck on a detail of the following propositon: Let $K, E$ be linearly disjoint number fields with degrees $n$ and $m$ over $\mathbb{Q}$ whose discriminants (over $\mathbb{Q}$) are relatively ...
1
vote
1answer
60 views

When is $\mathbb{Z}[\sqrt{d}]$ not an UFD (for $d>1$)?

I was wondering if there is a classification for this: For which $d$ is $D=\mathbb{Z}[\sqrt{d}]$ are UFD, with $d > 1$? For $d \equiv 1 $ (mod $ 4$), $D$ is not an UFD (proof here).
1
vote
0answers
54 views

Are these cubic rings the same?

Consider the pure cubic field $K=\mathbb{Q}(\sqrt[3]{10})$ then as $10\equiv 1 \pmod 9$ then the integral basis for $K$ is of the form $\{1,\sqrt[3]{10},\frac{1+\sqrt[3]{10}+\sqrt[3]{10^2}}{3}\}$. And ...
0
votes
0answers
25 views

Theory of irrationalities- Faddeev's book

Does anyone know where (if available) I can get a free access to Delone, B. N., Faddeev, D. K., ''The theory of irrationalities of the third degree'' Transl. Math. Monographs 10, Amer. Math. Soc., ...
1
vote
0answers
29 views

integral basis for an arbitrary cubic Galois field

I wonder where I can find some information (possible a book) about finding an integral basis for cubic Galois fields? I know that for pure cubic fields there exists a simple criterion according to ...
3
votes
2answers
130 views

Ring of integers for $\mathbb{Q}(\sqrt{23},\sqrt{3})$

What is the ring of integers for $\mathbb{Q}(\sqrt{23},\sqrt{3})$? So, these are numbers of the form $a+b\sqrt{3}+c\sqrt{23}+d\sqrt{69}$ where $a,b,c,d\in\mathbb{Q}$, and we want to find ones whose ...
3
votes
1answer
76 views

Cubic field and the corresponding cubic binary form

I am currently reading about binary cubic forms and cubic number fields (mainly about using binary cubic forms with integer coefficients to parametrize orders in the cubic field) and I thought it ...
3
votes
2answers
125 views

The ring of integers of $\mathbf{Q}[i]$

Is there a relatively "simple" (in the sense that it does not require knowledge of algebraic number theory) proof that the ring of integers of the algebraic number field $\mathbf{Q}[i]$ is ...
5
votes
2answers
242 views

Determining ring of integers for $\mathbb{Q}[\sqrt{17}]$

I'm trying to find the ring of integers of $\mathbb{Q}[\sqrt{17}]$, and it comes down to determining the set $\{(a,b)\in\mathbb{Q}^2\mid 2a\in \mathbb{Z}, a^2-17b^2\in\mathbb{Z}\}$. How can I ...
2
votes
0answers
65 views

quadratic rings of integers vs cubic rings of integers in number fields

I would appreciate if someone could give me some clues about cubic $\mathbb{Z}$-rings of number fields. So far I have only learned about quadratic rings and I would like to see if there are any ...
3
votes
1answer
94 views

Non-unique factorization of an ideal in UFD

In Z[x], the ideal <2, x> is not principal. I am that the factorization of a nontrivial ideal into prime ideals is unique in a Dedekind domain. Not all UFD are Dedekind domain, so there must be a ...
3
votes
1answer
66 views

Examples of Dedekind rings with infinite class number

I am looking for explicit examples of Dedekind rings with infinite class number. In most books on algebraic number theory there is a standard example (before or after proving that the class number is ...
4
votes
3answers
175 views

Irreducibility of a particular polynomial

I've got this problem for my homework: find out whether the polynomial $$f(x)=x(x-1)(x-2)(x-3)(x-4) - a$$ is irreducible over the rationals, where $a$ is integer which is congruent to $3$ modulo $5$. ...
2
votes
2answers
778 views

Ideal generated by 3 and $1+\sqrt{-5}$ is not a principal ideal in the ring $\Bbb Z[\sqrt{-5}]$

Show that the ideal generated by 3 and $1+\sqrt{-5}$ is not a principal ideal in the ring $\Bbb Z[\sqrt{-5}]$. I fail to understand how can 3 and $1+\sqrt{-5}$ generate an ideal. ...
5
votes
3answers
223 views

Overrings of Dedekind domains as localizations

I am taking an independent study where I organize and present weekly material on algebraic number theory to my professor and receive feedback. Next week I am going to cover some miscellaneous topics, ...
1
vote
1answer
34 views

A certain ideal of a valuation ring

This is a question from Frohlich and Taylor's book 'Algebraic Number Theory', page 60. Let $\mathfrak o$ be a Dedekind domain with quotient field $K$ and let $v$ be a discrete valuation on $K$. Let ...
1
vote
1answer
115 views

Showing Quotient Ring is a Field

Consider the ring $S=\mathbb{Z}[\alpha]$, where $\alpha = \sqrt[3]{2}$, and ideal $I=(5,\alpha^{2}+3\alpha -1)$. I wish to show that $S/I$ is a field of order 25. Any solutions/suggestions? I would ...
5
votes
1answer
125 views

The uniqueness of a special maximal ideal factorization

The following problem is from Michael Artin's Algebra, chapter 12, M.6, unstarred: Let $R$ be a domain, and let $I$ be an ideal that is a product of distinct maximal ideals in two ways, say ...
6
votes
1answer
137 views

Are there Infinite Quotients of Algebraic Extensions of $\mathbb{Z}$?

It is well known that $\mathbb{Z}[a_1, \dots, a_n]/(a)$ is a finite ring if each $a_i$ is an algebraic integer and $a \neq 0.$ I suppose this statement becomes wrong if we just require those ...
2
votes
0answers
69 views

Kronecker's approach to unique factorisation in algebraic number theory: books and references

I have done a short course (one semester) on algebraic number theory at beginning graduate level, in which the Dedekind theory of ideals features prominently. However I have since discovered that ...
4
votes
1answer
99 views

Ring of integers of a degree $5$ extension

Consider the polynomial $P(X) = X^5 - X + 1 \in \mathbb{Q}[X]$, and let $x \in \mathbb{C}$ be a root of $P(X)$. Let $K = \mathbb{Q}(x)$. How can you prove that the ring of integers $\mathcal{O}_K$ is ...
1
vote
3answers
94 views

How to show $\mathbb{Z}[w]/(2,w) \simeq \mathbb{Z}_2$?

Let $\mathbb{Z}[w]=\mathbb{Z}[\frac{1+\sqrt{-15}}{2}]$ be the quadratic integers. I want to show that $\mathbb{Z}[w]/(2,w) \simeq \mathbb{Z}_2$. It seems very clear, but how can I show the ...
1
vote
1answer
52 views

fraction field of the integral closure

Let $R$ be a domain, $K$ the field of fractions of $R$ and $L$ a finite field extension of $K$. Denote with $R'$ the integral closure of $R$ in $L$. Is it always true that $L$ is the field of ...
5
votes
2answers
123 views

Algorithmic approach to enumerating ideals in $\Bbb Z[x]/(m, f(x))$

I'm studying for my algebra quals this fall and keep encountering problems like the following: List all the ideals of $\mathbb{Z}[x]/(16, x^3)$. or List all the primes of ...
3
votes
2answers
288 views

Is the inverse of a fractional ideal still fractional?

Let $R$ be a Dedekind domain, $K$ the field of fractions of $R$, $\mathfrak{m}$ be a fractional ideal of $R$, i.e. a non-zero finitely generated $R$-submodule of $K$. We define ...
2
votes
1answer
79 views

Whether a domain is Dedekind or not

We know from algebraic number theory that if $d$ is a square-free integer, $d\neq 0,1$ and $d$ is congruent to $2,3$ modulo $4$ then $\mathbb{Z}[\sqrt{d}]$ is the ring of integers of the quadratic ...
6
votes
1answer
154 views

Ring of integers of $\mathbb{Q}(\zeta_3,\sqrt[3]{2})$.

I've seen that the ring of integers of $\mathbb{Q}(\sqrt{n})$ depends on $n\mod 4$. I am just wondering if we can (easily) write down the ring of integers of $\mathbb{Q}(\zeta_3,\sqrt[3]{2})$ (the ...
5
votes
2answers
284 views

Integral domains such that all proper factor rings are finite

Let $\mathbb Z$ be the ring of rational integers. If $a\in\mathbb Z$ is a non-zero element, then the factor ring $\mathbb Z/(a)$ is finite and has order $|a|$. If $\mathbb Z[i]$ is the ring of ...
-2
votes
2answers
371 views

How many prime ideals does $\mathbb Q[x]/(x^m -1)$ have? (multiple choice)

Let $m$ be a positive integer, and $a_m$ denote number of distinct prime ideals of $\mathbb Q[x]/(x^m -1)$. Then which of the following are true? $a_4=2$ $a_4=3$ $a_5=2$ $a_5=3$
2
votes
1answer
592 views

For which $d$ is $\mathbb Z[\sqrt d]$ a principal ideal domain?

Is there any general idea about for which $d$, $\mathbb Z[\sqrt d]$ a principal ideal domain (PID)? As for example $\mathbb Z[\sqrt{-1}]$ and $\mathbb Z[\sqrt 2] $ are PIDs, but $\mathbb Z[\sqrt{-5}] ...
3
votes
1answer
129 views

Factorize $(9+11\sqrt{-5})$ as a product of prime ideals in $\mathcal{O}_K$ where $K=\mathbb{Q}(\sqrt{-5})$

The ring of integers in this case, is $\mathbb{Z}[\sqrt{-5}]$. I have calculated that the norm of $(9+11\sqrt{-5})$ is $686=2\times 7^3$ and therefore its prime factorization must contain a prime ...
1
vote
3answers
92 views

$\phi$ in $O_K$ but not in $\mathbb{Z}[t]$

I have this problem: Let $t$ be a root of the polynomial $f(x) = x³ + x² - 2x + 8$. Let $\phi = \displaystyle \frac{4}{t}$ and let $K = \mathbb{Q}(t)$. I was able to show that $f(x)$ is irreducible, ...
7
votes
1answer
222 views

Computing the ring of integers of a number field

This question arose from the need to see the splitting behaviour of primes over an extension of number fields. One criterion is the Kummer's theorem, which gives the decomposition of the base prime in ...
4
votes
3answers
440 views

Does any integral domain contain an irreducible element?

Let $R$ be an integral domain which is not a field. Does $R$ necessarily have an irreducible element? I suspect the answer is no, but I couldn't find an example showing that...
3
votes
2answers
116 views

In general how to prove or disprove certain types of ideal?

i've come across a lot of questions recently that ask you whether or not there exist certain kinds of ideal, say; does there exist an ideal$ J $of $\mathbb{Z}[i]$ for which $\mathbb{Z}[i] /J$ is a ...
0
votes
0answers
204 views

Struggle proving maximal ideals principal in $\mathbb Z[\varphi]$

I was worried that my proof isn't right so I want to know if there are any mistakes in this and if this way can work? Thank you very much. We want to show every maximal ideal $\mathfrak m$ of ...
1
vote
1answer
111 views

Infinitude of irreducibles in subring of an integer ring.

Let $\alpha \in \mathbb{C}$ be an algebraic integer of degree $n$, not a unit, and let $R = \mathbb{Z}[\alpha]$. Then every element $\beta \in R$ can be written uniquely in the form $$c_0+ c_1 ...
3
votes
1answer
94 views

Equivalence of Valuations - Trouble Understanding Proof

I want to complete the proof of the following theorem. Here is what I have got so far: Theorem Every non-euclidean valuation $v$ on a number field $K$ is equivalent to $v_{\mathfrak p}$ for some ...
1
vote
1answer
252 views

Normalization of a Ring

What is the exact definition of a normalization of a Ring? I have to show this: normalization of multiplicative subset of domain And the answer already helped, but I don't know what $S^{-1}R'$ is ...