3
$\begingroup$

In a number field, the trace of an element over $\mathbb{Q}$ gives necessary conditions on the algebraic integers--the trace of an algebraic integer over $\mathbb{Q}$ is an integer.

But when the degree of the number field is large, computing the traces is laborious. My question is, does the trace over intermediate extensions give any information. For example if there an extension $\mathbb{Q}\subset K$ of degree 4, does the trace of an element in $K$ over $k$ give any useful information, where $k$ is any quadratic intermediate extension?

$\endgroup$
3
$\begingroup$

The corresponding thing is true: if $\alpha$ in $K$ is an algebraic integer, then its trace down to any subfield $k$ is an integer of $k$.

$\endgroup$
  • 2
    $\begingroup$ It's probably important to mention that this is true because we're in characteristic zero. Generally $\text{Tr}_{L/K}(\overline{\mathcal{O}_K})\subseteq\mathcal{O}_K$ is true when $L/K$ is separable. $\endgroup$ – Alex Youcis Feb 7 '13 at 22:27

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.