Name: Ahmed Alharbi

Student Number: 1901974

Leiden University

Q.9

Let $R = \mathbb{Z}[\sqrt{-19}]$ and $L = \mathbb{Z}[\frac{\alpha+1}{2}]$ which is Dedekind by theorem 3.19. For an ideal $\mathfrak{i}$ we have $L/\mathfrak{i} \cong \mathfrak{i}^{n}/\mathfrak{i}^{n+1}$ as discussed during the last lecture. Also, we have $\mathfrak{i}^k \subset \mathfrak{i}^{k-1} \subset L \Rightarrow \left(L/\mathfrak{i}^{k}\right) / \left(\mathfrak{i}^{k}/\mathfrak{i}^{k+1}\right) \cong L/ \mathfrak{i}^{k}$ by the Third isomorphism thoerem (As modules).

Let $\mathfrak{p}$ our ideal after lifting it to $L$, $\mathfrak{p} = (2, 1+ \sqrt{-19}) = 2(1, \frac{1+ \sqrt{-19}}{2}) = 2L$. (There might be an abuse of notation)

We know that any element in $L = \mathbb{Z}[\frac{\alpha+1}{2}]$ can be written as $a+ b \frac{1+\alpha}{2}$. By direct computations we can see that the norm is $2\cdot 2 = 4$

Now since: $$L/\mathfrak{p} \cong \mathfrak{p}/\mathfrak{p}^{2}\cong \mathfrak{p}^{2}/\mathfrak{p}^{3}$$ $$4 = \left| L/\mathfrak{p} \right| =\left| \mathfrak{p}/\mathfrak{p}^{2} \right|=\left| \mathfrak{p}^{2}/\mathfrak{p}^{3} \right|$$

Again we have:

Finally, from previous set of excercises we found that $|R/ \mathfrak{p}| = 2$ and from calculations above we find that

Finally, for seek of contradiction assume $2 R_{\mathfrak{p}}$contains a power of the the maximal idea $\mathfrak{p}$, then as we showed in the last set of excercises that $\mathfrak{p}^2 = 2\mathfrak{p} \overset{\text{by repeated application}}{\Rightarrow} \mathfrak{p}^{n+1} = 2^n \mathfrak{p}$ and for some power $2^m\mathfrak{p} = \mathfrak{p}^{m+1} = 2R_{\mathfrak{p}} \overset{\text{integral domain}}{\Rightarrow} 2^{n-1} \mathfrak{p} = R_{\mathfrak{p}}$ contradiction with the fact that $2 R_{\mathfrak{p}} \subset \mathfrak{p}$ which is a proper ideal.

Q.10

• First of all notice that $f(x) = x^3 -x -1$ is irreducible over $\mathbb{Z}$, consequently(Gauss lemma), irreducible over $\mathbb{Q}$.

Well, for any $a \in \mathbb{R}, a\leq 1 \Rightarrow f(a)< 0$. Also, $a \in \mathbb{R}, a\geq 2 \Rightarrow f(a) > 0$. The only real solutions $\theta$, by intermediate value theorem, is strictly between 1 and 2. Hence, it has no solutions in $\mathbb{Z}$

• Now to show the number ring $R = \mathbb{Z}[\alpha]$ is Dedekind, it is sufficient to to show that each ideal is regular. The main tool that will be used here is the third statement in the Kummer-Dedekind theorem 3.1.

Let $\mathfrak{p}$ a prime ideal of $\mathbb{Z}[\alpha]$ lies over a prime number $p$. If $f$ has multiple factors mod $p$ then $f$ and $f'$ has a common factor mod $p$. Consider the linear combination $x^3 -x -1 - \frac{x}{3} (3x^2 -1) = -(\frac{2}{3}x +1)$ which has the root $x = -\frac{3}{2}$. Since it is multiple root then $\overline{0}=\overline{f'(-\frac{3}{2})}= \overline{\frac{23}{4}} \text{ mod } p$ iff $p=23, x=$. However, $f(x) = (x-10)g + r$ where $r$ is constant, hence $r = 989 = f(10) = 0\cdot g + r$ but $43^2 \not | 989=23\cdot 43$, hence all ideals are regular.

• If an ideal has a norm at most 30 then it lies over a prime numbers which is at most 30, i.e. [2,3,5,7,11,13,17,19,23,29].

  • Note: A prime ideal $\mathfrak{p}$ can't lie over more than one prime $p$ of $\mathbb{Z}$ due to $\mathbb{Z}[\alpha]/\mathfrak{p} \cong \mathbb{F}[\overline{\alpha}]$ (Since $\alpha \bigcap \mathbb{Z} = (p) \text{ some prime}$)

Now by trying all possible solutions for the polynomial $x^3 -x -1$ over primes in our list above.

Hence, 2,3,13 and 29 inert. Looking at the quotient by ideals as quotient of modules we find the norm of each is $p^3$. Theorem 3.4

In other words, $\mathbb{Z}[\alpha] \cong \mathbb{Z}\times\mathbb{Z} \times \mathbb{Z}$ as $\mathbb{Z}-\text{module}$ with $1, \alpha, \alpha^2$ as basis. Hence $\left |\mathbb{Z}[\alpha]/(p) \right | = p^3$ and since $(p) \subseteq \mathfrak{p} \Rightarrow \mathbb{Z}[\alpha]/(p) \supseteq \mathbb{Z}[\alpha]/\mathfrak{p}$. Where, $\mathfrak{p}$ is a prime divisor of $(p)$. We are now in a finite ring, by a simple counting argument, using quotients and irreducibility of the polynomial, one can conclude that $\mathcal{N}(\mathfrak{p}) = p^{deg(\mathfrak{p})}$

So, we exclude 13 and 23 since their norm are bigger than 30. By the same method, we enumerate all all norms that are less than 30 with the ideals.

Finally, in $\mathbb{Z}[\alpha]$ we have $1 = \alpha^3 -\alpha = \alpha(\alpha^2-1) = \alpha(\alpha-1)(\alpha+1)$. Hence, $u = \alpha+1$ is unit and of infinte order because $u^n = m+ k \alpha + h \alpha^2$ where all coefficients are positive and they increase as $n$ increases due to the fact $a^3 = a+1$.