Solution

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

For each place of and each of , the inclusion defines
At all but finitely many finite , the component is a unit, and its image is a unit at every , so the image is an idele. The map is a homomorphism and is injective because every local inclusion is injective.

New to topics? Read the docs here!