Siguin un espai vectorial de dimensió finita sobre , , el conjunt de polinomis sobre , i el conjunt dels polinomis anul·ladors. Llavors, és subespai vectorial de
Siguin un espai vectorial de dimensió finita sobre , , el conjunt de polinomis sobre , i el conjunt dels polinomis anul·ladors. Llavors, és subespai vectorial de