Adjoining a root of a polynomial

Summary

Let $f$ be an irreducible polynomial over a field $K$. To adjoin a root of $f$ to $K$, one forms the field $K[x]/(f)$, in which the class of $x$ is a root of $f$. The definition of this construction gives the details.