Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2012/iii/paper-28/3/b/ii/solution

For each finite place , choose such that is the unramified quadratic extension. Such a choice exists even at residue characteristic two. At odd residue characteristic use a unit with nonsquare residue. At residue characteristic two, choose for which is irreducible over the finite residue field, lift to , and set . The lifted polynomial has unit derivative at every residue point and gives the unramified degree-two extension; its root is .
The square classes are open in . Indeed the strong form of Hensel lemma applied to at shows that is a square whenever . Thus any sufficiently close approximation to has square. By weak approximation for number fields, choose satisfying this at every finite . Then the local extensions are all unramified of degree two. At least one such condition ensures is not a square in . If contains no finite place, impose the same condition at one auxiliary finite place.
Set . At every specified finite prime there is one prime of above it, with ramification index one and residue degree two. Hence . The dyadic case is covered by the unramified construction, rather than by a nonexistent nonsquare residue unit in characteristic two.

New to topics? Read the docs here!