Solution

ID: past-exam-of-the-mathematics-course-of-the-university-of-cambridge/2023/iii/paper-123/4/2/a/solution

The diagonal map
is an injective homomorphism because every completion map is injective. The diagonal copy of is discrete in the adele ring. Choose an adelic neighbourhood of with . By the subspace description of the idele topology, is an idele neighbourhood of meeting diagonal only at . Translation proves that is a discrete subgroup of .

New to topics? Read the docs here!