Show that is irreducible over . Let be a root of . Find the inverse of in .
is Eisenstein at 3, and so is irreducible, and thus is a field.
Note that every element of has the form for some rational numbers . Suppose ; comparing coefficients, we see that , , and . Solving this system, we can see then that .