Paper 4, Section II, 20G
Part II, 2020
Let be a number field of degree , and let be the set of complex embeddings of . Show that if satisfies for every , then is a root of unity. Prove also that there exists such that if and for all , then is a root of unity.
State Dirichlet's Unit theorem.
Let be a real quadratic field. Assuming Dirichlet's Unit theorem, show that the set of units of which are greater than 1 has a smallest element , and that the group of units of is then . Determine for , justifying your result. [If you use the continued fraction algorithm, you must prove it in full.]