En concreto, sea K un cuerpo, y P (t) un polinomio sobre K. Si P es irreducible, entonces K / (P (t)) = L, es el anillo cociente del anillo de polinomios K por el ideal principal generado por P, es una extensión del cuerpo K. Tenemos L = K (α) donde α es t módulo (P).
In detail, let K be a field, and P(t) a polynomial over K. If P is irreducible, then the quotient ring of the polynomial ring K by the principal ideal generated by P, K/(P(t)) = L, is a field extension of K. We have L = K(α) where α is t modulo (P).WikiMatrix WikiMatrix