Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2010/iii/paper-24/2/b/i/solution

False. This is an example of integral trace need not imply integrality. Take with , the splitting field of . Its two conjugates are , and its normalized discrete valuation satisfies , , by the Eisenstein polynomial criterion. For
the field trace is zero, but . Therefore is not in the valuation ring, despite having integral field trace. Cancellation in a sum of conjugates explains why a field trace test fails.

New to topics? Read the docs here!