Stack Exchange Network

Stack Exchange network consists of 175 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [integer-rings]

In algebraic number theory, the ring of integers of a number field $K$ is the ring of all elements of $K$ which are roots of a monic polynomial with rational integer coefficients.

3
votes
1answer
53 views

When will a prime element of $\Bbb{Z}[(\sqrt{5}-1)/2]$ have field norm equal to a rational prime?

Consider the integer ring of $\mathbb{Q}[\sqrt{5}]$, i.e. $\mathbb{Z}[(\sqrt{5}-1)/2]$. Then if $N(x)$ denotes the field norm of $x\in\mathbb{Z}[(\sqrt{5}-1)/2]$, then $N(x) = p$ for a rational prime $...
1
vote
1answer
57 views

$n\in \mathbf{N}$ such that a solution of $X^4+nX^2 +1$ is a root of unit

Consider $f_n(X)=X^4+nX^2 +1$ in $\mathbf{Q}[X]$. I found that for all natural $n$ such that $n\neq 2-m^2$ for a natural $m$, $f_n(X)$ is irreducible in $\mathbf{Q}$. Consider $K_n=\mathbf{Q}(x)= \...
2
votes
1answer
67 views

the ring of integers: prove that (2) is a prime ideal and that it is a pid

Consider a real root $\alpha$ of $f(X)=X^3-3X+1$. Consider the ring of integers $A_K$ for $K=\mathbf{Q}[\alpha]$. I showed that the ideal $(1+\alpha)$ is prime in $A_K$ and that $A_K=\mathbf{Z}[\alpha]...
2
votes
1answer
68 views

Clarification about the definition of ring of integers of a local field

Classically, the ring of integers of a number field $K / \mathbb{Q}$ is defined to be the collection (forms a ring) of those elements $\alpha \in K$ such that there is a monic $f \in \mathbb{Z}[x]$ ...
0
votes
0answers
58 views

Basis of the integer ring of $\mathbb{Q}(\sqrt5)$

I am solving an exercise with the field extension $\mathbb{Q}(\sqrt5)/\mathbb{Q}$ I am suck trying to prove that:$$B = \{a+b(\dfrac{1+\sqrt5}{2}) |a,b\in \mathbb{Z} \}$$ Where B is the integer ring ...
2
votes
2answers
35 views

Evaluate an expression as an element of $F$

Let $f(x)=2x^{2}+2x+1\in \mathbb{Z}_{3}[x]$ The first part of the problem i'm trying to solve was to prove that $$\frac{\mathbb{Z}_{3}[x]}{f(x)\mathbb{Z}_{3}[x]}$$ is a field. (stating clearly any ...
0
votes
1answer
27 views

Is the integral closure of a ring of integers in finite separable extension a ring of integers?

Let $K/F$ be a finite separable extension of number fields of finite degree over $\mathbb{Q}$. Let $A = \mathcal{O}_F$ and $B$ the integral closure of $A$ in $K$. Is $B = \mathcal{O}_K$? Let us ...
1
vote
2answers
33 views

Characterizing elements with square norms in quadratic integer rings

Given the ring $\mathbb{Z}\left[\sqrt{D}\right]$ (where $D$ is a positive square-free integer) can we characterize all elements $\alpha$ with positive norms for which $N(\alpha)$ is a perfect square ...
0
votes
1answer
65 views

List all ideals of integer ring of norm less or equal 10 [closed]

I have the following exercise: The cubic field with the smallest discriminant, in absolute value, is $\mathbb{Q}(\alpha)$ with $\alpha$ a root of $T^3-T+1$ and with ring of integers $\mathbb{Z}[\...
1
vote
1answer
47 views

Is the indicated subring an order?

I have an exercise in my class that I don't seem to find an answer to: We are asked to tell whether the indicated subring of a number field is an order and whether it is a maximal order a) $\mathbb{...
8
votes
5answers
119 views

Is $1+\sqrt{5}$ a prime under the $\mathbb{Z}[{\sqrt{5}}]$ domain?

The title is self-explanatory. I know it's irreducible but is it a prime? How to prove these primality and/or irreducibility of $1+\sqrt{5}$. Can you just briefly state how a prime is defined under $\...
2
votes
1answer
72 views

Describing number ring corresponding to $\mathbb{Q}(\sqrt{p_1},…,\sqrt{p_k})$

Let $p_i$'s be distinct primes such that $p_i \equiv 1\;(\mathrm{mod}\; 4)$ for every $i=1,...,k$. It is well-known that $\dfrac{1+\sqrt{p_i}}{2}$'s are algebraic integers and the number ring $\mathbb{...
2
votes
0answers
57 views

$\operatorname{disc}(\mathbb{Z}[\alpha]) = [\mathcal{O}_K:\mathbb{Z}[\alpha]]^2\operatorname{disc}(\mathcal{O}_K)$.

Let $\alpha\in\mathcal{O}_K$ such that $K=\mathbb{Q}[\alpha]$. Define $\operatorname{disc}(\mathbb{Z}[\alpha]) := \operatorname{disc}(1,\alpha,\dots,\alpha^{n-1})$. Show $\operatorname{disc}(\mathbb{Z}...
6
votes
3answers
97 views

Why is $\mathcal{O}_K$ the ring to be considered for factorizing integers?

For $K = \mathbb{Q}[\alpha]$ (with $\alpha$ algebraic over $\mathbb{Q}$), I understand that $\mathbb{Z}[\alpha]$ may be too coarse, and that $\mathcal{O}_K$ (the algebraic integers of $K$) allows more ...
9
votes
4answers
818 views

Is a ring of integers necessarily Noetherian?

Let $K$ be an algebraic extension field (not necessarily finite) of $\mathbb{Q}$. Let $\mathscr{O}_K$ be the integral closure of $\mathbb{Z}$ in $K$. Then, is $\mathscr{O}_K$ Noetherian? If $K$ is a ...
12
votes
1answer
493 views

When is the tensor product of rings of integers again a ring of integers?

Given number fields $K$ and $L$, under what conditions does there exist a number field $M$ such that $$\mathcal{O}_K\otimes_{\Bbb{Z}}\mathcal{O}_L\cong\mathcal{O}_M.$$ It is necessary that $K$ and $L$ ...
0
votes
1answer
30 views

Product of all embbedings of a fractional ideal is principal

Let $F$ be a number field of degree $n$ and $\mathfrak a \subset F$ a fractional ideal. How do you show that $$\prod_{k=1}^n \sigma_k(\mathfrak a)$$ is in the trivial ideal class with a rational ...
1
vote
1answer
41 views

Why $\mathbb{Z}[\theta]\,/\,\mathcal{P}$ is an algebraic extension over $\mathbb{Z}/p\mathbb{Z}$?

If $f(x)$ is a monic, irreducible polynomial in $\mathbb{Z}[x]$ with $\theta\in\mathbb{C}$ as root, why $\mathbb{Z}[\theta]\,/\,\mathcal{P}$ is an algebraic extension over $\mathbb{Z}/p\mathbb{Z}$? I'...
2
votes
2answers
52 views

Why $\mathbb{Z}[\theta]\,/\,\mathcal{P} \simeq \mathbb{F}_{p^e}$ for any non-zero prime ideal $\mathcal{P}$ of $\mathbb{Z}[\theta]$?

If $f(x)$ is a monic,irreducible polynomial in $\mathbb{Z}[x]$ with $\theta\in\mathbb{C}$ as root, why $\mathbb{Z}[\theta]\,/\,\mathcal{P} \simeq \mathbb{F}_{p^e}$ for any non-zero prime ideal $\...
1
vote
1answer
218 views

Existence of a fundamental solution to the Pell's equation

Let $\mathbb{Z}[\sqrt{3}]$ be the ring $\{a + b\sqrt{3} | a, b \in \mathbb{Z}\}$ with a natural structure. We consider it's norm: $$a + b\sqrt{3} \mapsto a^2 - 3b^2$$ Then, finding the solution to ...
3
votes
1answer
149 views

Show that algebraic integers in $\mathbb{Q}[\zeta_3]$ are exactly $\mathbb{Z}[\zeta_3]$.

If $\zeta_3$ is a primitive cube root of unity, then I'm trying to show that $\mathbb{Z}[\zeta_3]$ is the ring of algebraic integers in $\mathbb{Q}[\zeta_3]$. I have shown that $\mathbb{Z}[\zeta_3]$ ...
2
votes
1answer
41 views

Question regarding fractions of algebraic integers

Suppose that $K$ is an extension field of $\mathbb{Q}$ and that $\alpha \in K$ is a non-zero algebraic integer (i.e. it is integral over $\mathbb{Z}$). I am trying to show that there are only finitely ...
5
votes
0answers
72 views

Calculating discriminant of elements of $\mathbb{Q}(a)$

Could someone please guide me through this one? Let $a$ be a root of the irreducible polynomial $x^3+rx+s \in \mathbb{Z}[x]$. Calculate: $disc(1,a,a^2)$. Thanks in advance
1
vote
0answers
106 views

Structure of Ring of Integers

Every finite extension $K$ of $\mathbb Q$ can be written as $\mathbb Q[\alpha]$. A very naive but important question is to ask if the ring of integers of $K$ is equal to $\mathbb Z[\alpha]$. When is ...
3
votes
1answer
135 views

Primes, integers and fundamental units in cubic fields.

Self taught here so please bear with me. How does one define the ring of integers of the field $\mathbb{Q}(r)$, where $r$ is a root of the cubic $$x^3+px+q$$ as well as determining the fundamental ...
10
votes
2answers
327 views

Finding the ring of integers of $\Bbb Q(\sqrt[4]{2})$

I know$^{(1)}$ that the ring of integers of $K=\Bbb Q(\sqrt[4]{2})$ is $\Bbb Z[\sqrt[4]{2}]$ and I would like to prove it. A related question is this one, but it doesn't answer mine. I computed ...
4
votes
1answer
150 views

Determining when ring of integers is $\mathbb{Z}[\theta]$

Something which is not difficult to prove is that if $K$ is a number field generated by an integer $\theta$, then the ring of integers $\mathfrak{O}_K$ is generated over $\mathbb{Z}$ by $\theta$ and ...
1
vote
4answers
75 views

$p$ is a positive integer and $(p)$ is a maximal ideal in the ring $(\mathbb Z, +,\cdot)$, then $p$ is a prime number

I need to prove: $p$ is a positive integer and $(p)$ is a maximal ideal in the ring $(\mathbb Z, +,\cdot)$, then $p$ is a prime number. My attempt: 1) $(p)$ is a maximal ideal, so it is a prime ...
3
votes
0answers
533 views

How to compute the integral closure of $\Bbb{Z}$ in $\mathbb Q(\sqrt[n]{p})$?

We have the definition of integral closure that all the integral elements of A in B. Could we just compute the integral closure of certain A in B. I am considering such a problem that given a prime p, ...
1
vote
1answer
195 views

Use of GCD when solving linear equations in a ring of integers

I know that when I'm solving a linear equation of the form ax = b (mod n), the gcd(a,n) tells me how many solutions there are. I don't really understand why this is. More than a proof, I'm interested ...
5
votes
1answer
442 views

Idea behind the definition of different ideal

Let $L/K$ be an extension of number fields. Let $I$ be a fractional ideal in $L$ and $$I^*:=\{x\in L \mid \text{Tr}_{L/K}(xI)\subset \mathcal{O}_K\}.$$ The different of $I$ is the following fractional ...
2
votes
1answer
60 views

Conway's proof of the Euclid lemma

Sorry for a potentially very stupid question, but I've stuck in the very beginning of the book "On Quaternions and Octonions" by Conway and Smith with a proof of the well-known lemma: If $p$ is a ...
5
votes
1answer
276 views

Prove that a specific ring of integers is not monogenic

I'm trying to prove that the ring of integers of $K=\mathbb{Q}(\sqrt7, \sqrt13)$ is not of the form $ \mathbb {Z}[a]$ for some $a$. Unfortunately I can not figure out where to start. I tried to ...
2
votes
0answers
88 views

Who first used the notation $\mathcal{O}_K$ for ring of integers?

I think this is a standard notation since almost every author uses it, but who came up with the notation? After all, what does $\mathcal{O}$ in $\mathcal{O}_K$ stand for? Thanks in advance.
7
votes
1answer
267 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 ...
2
votes
2answers
83 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 of ...
3
votes
1answer
74 views

Least rational prime which is composite in $\mathbb{Z}[\alpha]$?

Sébastien Palcoux asked if there was some irrational algebraic $\alpha$ such that all rational primes are primes in $\mathbb{Z}[\alpha].$ MooS answered that there are no such $\alpha.$ This leads to a ...
8
votes
2answers
7k views

$\mathbb Z[\sqrt{-5}]$ is not a UFD [duplicate]

Prove that the ring of integers of $\mathbb Q (\sqrt{-5})$ does not have unique factorisation. Since $-5\equiv 3\pmod 4$, I know that the ring of integers of $\mathbb Q (\sqrt{-5})$ is $\mathbb Z [\...
6
votes
2answers
170 views

Is $\mathcal{O}_K$ always isomorphic to $\mathbb{Z}[X]/(f(x))$, for some irreducible polynomial $f(x)$?

Given an algebraic number field $K$ and its ring of integers $\mathcal{O}_K$, is $\mathcal{O}_K$ always isomorphic to $\mathbb{Z}[X]/(f(x))$, for some irreducible polynomial $f(x)$? Since $\mathcal{O}...
0
votes
1answer
50 views

Powers of complexes modulo a prime $p$

We have, for a residue number system, $a^{n+(p-1)} \equiv a^n \bmod p$. In other words, the powers of $a$ repeat after $p-1$ iterations. We can work with complex numbers by representing a number $$n ...
1
vote
1answer
238 views

Set of algebraic integers is closed under addition and multiplication

If $\alpha$ and $\beta$ are algebraic integers, then show $\alpha + \beta$ and $\alpha \times \beta$ are both algebraic integers. I know that an algebraic integer is a root of some monic polynomial ...
3
votes
1answer
296 views

Algorithms for finding the ring of integers

In the book's Algebraic Number theory, Ian StewarT, Third edition (page 51-52), has the following propositions: Theorem 2.20: Let $G$ be an additive subgroup of $\mathfrak{O}_K$ of rank equal to the ...
1
vote
1answer
85 views

Detail in Theorem 12 pag 33, from Marcus book “Number Field”

Let $K, L$ be number fields (i.e. subfields of $\mathbb C$ of finite degree over $\mathbb Q$) of degree $m, n$ over $\mathbb Q$ respectively and assume $[KL:\mathbb Q]=nm$. Consider $KL$ to be the ...
0
votes
1answer
207 views

Dedekind rings which are UFDs but not PIDs?

I just have a really quick question of an example that I was trying to come up with. Are there any number rings which are UFDs but not PIDs?
4
votes
1answer
183 views

Non unique factorization domains with prime factorizations with differing number of primes

As is well-known, $Z[\sqrt{-5}]$ is not a ufd because $6$ has more than one prime factorization in this ring: $6=2\cdot 3$ and $6=(1+\sqrt{-5})(1-\sqrt{-5})$. But both of these prime factorizations ...
4
votes
3answers
184 views

Is $\mathcal{O}_{\mathbb{Q}(\sqrt{5})} = \mathbb{Z}[\phi]$?

Is $\mathcal{O}_{\mathbb{Q}(\sqrt{5})} = \mathbb{Z}[\phi]$, where $\phi={1+\sqrt{5}\over 2}$ is the golden ratio? I know that $5 \equiv 1 \mod 4$, so that then $\mathbb{Z}[\sqrt{5}]$ is not closed as ...
3
votes
3answers
369 views

Ring of integers in a cubic extension

Let $L=\mathbb{Q}[\alpha]$, with $\alpha^3=10$. How can be proved that $$\frac{\alpha^2+\alpha+1}{3}$$ is in $O_L$, the ring of integers of $L$?
1
vote
1answer
470 views

The ring of integers of the composite of two fields

Let $K,L$ be two number fields and let $KL$ denote the composite field (the smallest subfield of $\mathbb{C}$ containing both $K$ and $L$). Denote respectively by $R,S$ and $T$ the ring of algebraic ...
3
votes
1answer
228 views

Ring of integers of $K=\Bbb Q[u]$ where $u=\sqrt[3]{p^2q}$

Let $p,q$ be distinct prime numbers $\ge 5$ such that $pq^2 \not\equiv 1\mod9$. Let $K=\Bbb Q[u]$ where $u=\sqrt[3]{p^2q}$, and $A$ be the ring of integers of $K$. I have shown that $u,v=pqu^{-1}\in A$...
4
votes
1answer
867 views

Finding the ring of integers of $\mathbb Q[\alpha]$ with $\alpha^5=2\alpha+2$.

I am stuck with problem 22, chapter 3 in Marcus' book Number Fields which says: Suppose $\alpha^5=2\alpha+2$. Prove that the ring of integers of $\mathbb Q[\alpha]$ is $\mathbb Z[\alpha]$. Prove ...