En esta situación (formula_38, o equivalentemente, existe algún formula_25 irreducible con formula_40) se dice que formula_22 es algebraico sobre formula_14.