Over a field, every ideal in the one-variable [polynomial ring](/page/Polynomial%20Ring) is generated by a single polynomial. The result lets arguments about ideals in F[x] reduce to a generator of least degree and underlies constructions with minimal polynomials and quotient rings.