5
$\begingroup$

Let $K$ be a number field of degree $n$ over the rationals. Under what conditions does there exist a non-rational algebraic integer $\alpha $ in $K$ such that the discriminant of $\alpha $ divides the norm of $\alpha$?

This question was first asked on Math StackExchange, Question 2923849, two weeks ago.

$\endgroup$
0

1 Answer 1

6
$\begingroup$

Consider the cyclotomic field $K=\mathbb{Q}(\zeta_5)$.

Proposition. There is no $\alpha \in \mathcal{O}_K$ of degree 4 such that $D(\alpha)$ divides $N(\alpha)$.

Proof. Assume such an $\alpha$ exists. Since the discriminant of $K$ is $\Delta_K=5^3$, we must have $5^3|D(\alpha)$ and thus $5^3|N(\alpha)$. Let $\pi$ be the unique prime ideal above $5$ in $\mathcal{O}_K$, so that $5\mathcal{O}_K=\pi^4$. Then $\alpha \in \pi^3$. But we have surjective maps \begin{equation*} \frac{\mathcal{O}_K}{\mathbb{Z}[\alpha]} \to \frac{\mathcal{O}_K}{\mathbb{Z}+\alpha\mathcal{O}_K} \to \frac{\mathcal{O}_K}{\mathbb{Z}+\pi^3}. \end{equation*} The last group has cardinality $5^2$ since the image of $\mathbb{Z}$ in $\mathcal{O}_K/\pi^3$ is isomorphic to $\mathbb{Z}/5\mathbb{Z}$. We deduce that the index of $\mathbb{Z}[\alpha]$ in $\mathcal{O}_K$ is divisible by $5^2$. It follows that $5^4 \Delta_K | D(\alpha)$ and thus $5^7 | N(\alpha)$. Repeating the process, we get $N(\alpha)=0$, a contradiction.

I guess that if you take a quartic field $K$ with no intermediate subfield and in which some prime $p$ is sufficiently ramified, then the same reasoning will give you an example of number field for which the answer to your question is negative.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .