It's well known that if $\alpha $ is a rational root to an integer coefficient polynomial, then its denominator divides the leading coefficient and its numerator divides the constant term. I'm asking if there is an analog if the coefficients of the polynomial live in a number field and I'm looking for solutions in that number field, which doesn't necessarily have unique factorization. I'm asking if there is a criterion that reduces the problem to a finite amount of checking just like the integral case.



Root criterion for polynomial over number fields
Let $f(x) = a\_nx^n+\cdots+a\_0$ be a polynomial with coefficients in the ring of integers $\mathcal{O}\_K$ of a number field $K$. Then for every nonzero root $\alpha$ of $f$ in $K$ one has $a\_n \alpha, \frac{a\_0}{\alpha} \in \mathcal{O}\_K$. This can be seen by the simple observation that $a\_n \alpha$ and $\frac{a\_0}{\alpha}$ are roots of the monic polynomials


$$x^n+a\_{n-1}x^{n-1}+a\_{n}a\_{n-2}x^{n-2}+\cdots+a\_{n}^{n-1}a\_0,\\ x^n + a\_1 x^{n-1}+ a\_0 a\_2 x^{n-2}+\cdots+a\_0^{n-1}a\_n, $$ 
and $\mathcal{O}\_K$ is integrally closed. These conditions impose bounds on the valuations of $\alpha$ but in the cases that $K$ has infinitely many units, these conditions doesn't restrict to only finite number of candidates. 


