Dado un número algebraico\(y\), es la raíz de un polinomio con coeficientes enteros\(f(x) = \sum^{d}_{i=0} a_{i} x^{i}\), donde siempre asumimos que el coeficiente\(a_{d}\) de la mayor potencia es dis...Dado un número algebraico\(y\), es la raíz de un polinomio con coeficientes enteros\(f(x) = \sum^{d}_{i=0} a_{i} x^{i}\), donde siempre asumimos que el coeficiente\(a_{d}\) de la mayor potencia es distinto de cero. Decimos que\(f(x) = \sum^{d}_{i=0} a_{i} x^{i}\) in\(\mathbb{Z}[x]\) es un polinomio mínimo para\(\rho\) si f es un polinomio distinto de cero de grado mínimo tal que\(f(\rho) = 0\).