The idea is to consider the unique ring homomoprphism
which satisfies φ(a)=a
, and φ(x)=2–√
Show this is surjective, and find that the kernel is the principal ideal generated by the minimal polynomial of 2–√ over Q.
This assumes a bit of knowledge. It can be reformulated in more elementary terms, though. Please advise in case.