Let be a field and let be a monic irreducible polynomial. Let be an extension of containing the roots of . Suppose is a root of ; prove that is the minimal polynomial of over .
Since is a root of , the minimal polynomial of over divides in . Since is irreducible over and is not a unit (since it has a root), is a constant multiple of . Since both and are monic, we have .