6
$\begingroup$

Number theory-question again.

Let $K$ be the biquadratic field $K=\mathbb{Q}[\sqrt{m},\sqrt{n}]$ where $m,n$ are distinct squarefree integers. Let $\mathcal{O}_K$ denote the ring of integers of $K$. If $\alpha \in K$, prove that $\alpha \in \mathcal{O}_K$ if and only if the trace and the norm of $\alpha$ over $\mathbb{Q}(\sqrt{m})$ are algebraic integers.

I've been stuck on this one for quite some time now. The left-right direction is easy, but I'm stuck on the other direction. My "intuition" tells me that I should somehow use that an element of a quadratic extension is integral if and only if its norm and its trace are.

I'd like subtle hints in the right direction. Thanks.

Edit: Some minor corrections for clarity.

  • 0
    Your intuition is right; just apply it to $\mathbb{Q}(\sqrt{m})$ instead of $\mathbb{Q}$.2011-02-13

1 Answers 1

1

Two hints:

  • If $R\subseteq S\subseteq T$ are domains, and $S$ is integral over $R$, and $T$ is integral over $S$, then $T$ is integral over $R$.

  • What is $[\mathbb{Q}(\sqrt{m})(\alpha):\mathbb{Q}(\sqrt{m})]$ ?

  • 0
    @Fredrik: Yes, it's okay. The question mark is precisely my first hint: if $\alpha$ is integral over $\mathcal{O}_{\mathbb{Q}(\sqrt{m})}$, and $\mathcal{O}_{\mathbb{Q}(\sqrt{m})}$ is integral over $\mathbb{Z}$, then $\alpha$ is integral over $\mathbb{Q}$. Alternatively: take the minimal polynomial over $\mathbb{Q}(\sqrt{m})$, and multiply by its conjugate; the result will be a polynomial over $\mathbb{Q}$, monic, satisfied by $\alpha$, and the coefficients are algebraic integers, hence integers. So $\alpha$ satisfies a monic polynomial over $\mathbb{Z}$.2011-02-13