MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

For any $\alpha \in \mathbb{R}$ and a parameter $Q$, we can write $\alpha = a/q + \theta$, for integers $a, q$ with $q \leq Q$, and real $\theta$ with $|\theta|\leq (qQ)^{-1}$, a simple application of the Dirichlet approximation theorem. I'm looking for a similar statement for number fields.

Setup: $K$ is a fixed number field of degree $ n $ over $ \mathbb{Q} $, with ring of integers $O_K$. $\omega_1, \dots , \omega_n$ is a fixed $\mathbb{Z}$-basis for $O_K$. $\sigma_i, \dots \sigma_{n}$ are the distinct embeddings of $K$.

$V$ is the $n$- dimensional commutative $\mathbb{R}$-algebra $K \otimes_\mathbb{Q} \mathbb{R}$.

We define a distance function $| \cdot |$ on $V$ as follows: $$|x| = |x_1 \omega_1 + \cdots + x_n \omega_n| = \max\limits_{i} | x_i |.$$ I would just like to point out that I am not necessarily attached to this distance function, if you can say anything sensible using another distance function, then I am interested.

Precise Statement: Given $\alpha \in V$ and a parameter $Q$, is it always possible to find $\lambda, \mu \in O_K$, such that $|\mu| \ll Q$ and $$|\alpha - \dfrac{\lambda}{\mu}| \ll \dfrac{1}{Q |\mu|}?$$

Equivalent Statement: can we find $\gamma \in K$ such that $\mathcal{N}=\textrm{N}(\bf{a}_\gamma) \ll Q^n$, and $$|\alpha - \gamma| \ll \dfrac{1}{Q \mathcal{N}^{1/n}}, $$ where $\bf{a}_\gamma$ is the denominator ideal of $\gamma$?

Note that it is easy to find an analogous statement to Dirichlet's original theorem, ie $\exists \lambda, \mu \in O_K$, such that $|\mu| \ll Q$ and $$|\alpha \mu - \lambda| \ll \dfrac{1}{Q},$$ by an application of the pigeonhole principle, but unlike in $\mathbb{R}$, we cannot just divide through by $\mu$ at this point, as the only decent bound (that I know of) for $|\mu^{-1}|$ is $$|\mu^{-1}| \ll \dfrac{|\mu|^{n-1}}{\textrm{N}(\mu)}$$.

Does anyone have a reference for dealing with the fractional form like this? The closest I have managed to find was a generalisation to number fields of the Thue-Siegel-Roth theorem by LeVeque.

share|cite|improve this question
up vote 3 down vote accepted

Schmidt, Wolfgang M. Diophantine approximation. Lecture Notes in Mathematics, 785. Springer, Berlin, 1980.

share|cite|improve this answer
OK maybe I'm being dumb, but I can't see how any of those results apply here. Am I just not looking hard enough? – sobe86 Mar 10 '10 at 14:53
Theorem 2A in Chapter VIII, perhaps? Since that theorem is essentially best possible, if it doesn't give what you want, then what you want may not be true. – Felipe Voloch Mar 10 '10 at 15:50
OK yeah I was being very dumb, my bad! – sobe86 Mar 10 '10 at 16:28
I am very interested in this question -- what were the conclusions regarding the original questions? – Chris Peikert Jul 13 at 15:25

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

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