# Tagged Questions

35 views

### Ideals in a Quadratic Number Field

Show the ideal $I=\langle4,2+2\sqrt{-29}\rangle$ in $\mathbb{Z}[\sqrt{-29}]$ satisfies the equality $\langle8\rangle=I^{2}$ of ideals in $\mathbb{Z}[\sqrt{-29}]$. I tried to factorise $x^{2}+29$ over ...
60 views

### How can I prove an ideal is a product of two irreducible ones

I'm trying to solve this question: I have a guess that $(6+\sqrt{11})=(2,4+\sqrt{11})(2,-3\sqrt{11})$ using some formulas in this book page 48. However I couldn't verify if the multiplication of ...
23 views

### Factorisaing ideals in quadratic number fields

Show there is an ideal $a$ in $\mathbb{Z}[\sqrt-29]$ satisfying the equality $\langle8\rangle=a^{2}$. I tried to factorise the minimal polynomial over $\mathbb{F}_{8}$ but it does'nt seem to work, ...
31 views

### Factorisation in rings of algebraic integers

Determine the prime factorisation of the principal ideal $\langle15\rangle$ in $\mathbb{Z}[\sqrt{-14}]$. Can I use the fact $\langle15\rangle=\langle3\rangle\langle5\rangle$ and the factorisation ...
45 views

### $(2,1+\sqrt{-5})$ has integral basis $2$, $1+\sqrt{-5}$

$2,1+\sqrt{-5}$ is an integral basis for the ideal generated by them in $\mathbb{Z}[\sqrt{-5}]$. Is there a quick way to see this? What if these two are replaced with another pair? My method: Write ...
55 views

### simple question regarding isomorphisms relating to ring of integers

I have a simple question about isomorphisms and ideals. Let $\mathcal O_F$ be the ring of integers in some quadratic number field $F=\mathbb{Q}(\sqrt d)$ and let $f(x)$ be the minimal polynomial of ...
311 views

### Class group and factorizations

There is a common characterization of the class group ${\rm Cl}(R)$ as a kind of measure of how badly factorization fails to be unique. The most obvious justification for this sentiment is that the ...
61 views

### The action of a Galois group on a prime ideal of a Dedekind domain

This is a slight variant of a question I asked earlier. Let $A$ be a commutative Dedekind domain and $K$ its field of fractions. Let $L/K$ be a finite Galois extension with Galois group $G$ and let ...
99 views

### Classification of nonzero prime ideals of $\mathbb{Z}[i]$

I know the classification of Gaussian primes: let $u$ be a unit of $\mathbb{Z}[i]$. Then the following are all Gaussian primes: 1) $u(1+i)$ 2) $u(a+ib)$ where $a^2+b^2=p$ for some prime number p ...
214 views

### Norm of ideals in quadratic number fields

I do not really understand how to factor ideals in a quadratic field $K = \mathbb{Q}(\sqrt{d})$, mainly because I have some trouble computing the norm of ideals. I think I understand what is going on ...
166 views

### Solving $x^2+19=y^5$

I was given several exercises and there is a particular one, I am not able to solve. Let it be given that $Pic(\mathbb{Z}[\sqrt{−19}])$ is a finite group of order $3$. Use this to find all integral ...
164 views

### Prime ideal decomposition in quadratic field extensions

Once you have the character $\chi$ of a quadratic field extension and the corresponding modulus $N$, it is easy to see which prime ideals split, ramify and are inert by looking at their remainder ...
40 views

### Finding reduced quadratic numbers and principal ideals

Hello :) I want to compute alle reduced quadratic numbers with discriminat $65$. We call a number $\gamma$ reduced if $\gamma>0$ and $-1<\gamma'<0$. We are working in quadratic field ...
164 views

### Find all ideals with given norm

I'm working through a final exam from 2 years ago. First task was to find the ideal class group of $\Bbb{Q}(\sqrt{-73})$. That is not the difficult work. I can give the 4 representants of the group by ...
341 views

### Diophantine equation (use class ideal group to solve)

Use ideal class group to find all integer solutions to the equation $$x^3=y^2+200$$ My approach: Observe that $\mathbb{Z}[\sqrt-2]$ is the field of integers in the ring $\mathbb{Q}(\sqrt -2).$ ...
163 views

### Quotient of ring of integers

Let $R=\mathcal{O}(K)$ be the ring of the integers of $K=\mathbb{Q}[\zeta_8]$, where $\zeta_8=e^{2\pi i/8}=\sqrt{2}/2(1+i)$ is a primitive eighth root of unity in $\mathbb{C}$. It can be shown that ...
517 views

### How does a Class group measure the failure of Unique factorization?

I have been stuck with a severe problem from last few days. I have developed some intuition for my-self in understanding the class group, but I lost the track of it in my brain. So I am now facing a ...
414 views

### How to show this ideal is not principal

I have been brushing up on cubic number fields. Specifically, let $s$ be a root of the polynomial $x^3 + x^2 + 3x + 17$, and consider $K = \mathbb{Q}(s)$; we have $\mathcal{O}_K = \mathbb{Z}[s]$, and ...
205 views

### Easiest way to prove that a subset of even integers is closed under multiplication?

What's the easiest way of showing that; $2\mathbb{Z}\setminus (4n-2)\mathbb{Z}$ is closed under multiplication? (I'm trying to show that $(4n-2)$ is a prime element of $2\mathbb{Z}$ by showing ...
419 views

### Doubt on class group

I started reading Class group after some one's advice ,so I got the following doubts,I would be happy if someone clarify the doubts, I understood that the class group measures the failure of the ...
I have a ring $R$ which is known to be a Dedekind domain, but not necessarily a Euclidian domain, and a nonzero ideal generated by one or two elements in this ring. How can I check if this ideal is a ...