For $\alpha=(\alpha_v)\in\mathbb I_K$, the congruence $\alpha\equiv1\pmod{\mathfrak m}$ means
$$
\alpha_\mathfrak p\in1+\mathfrak p^{n_\mathfrak p}\mathcal O_\mathfrak p
\quad(\mathfrak p\mid\mathfrak m_0),
\qquad
\alpha_v>0\quad(v\mid\mathfrak m_\infty).
$$
At finite primes outside the modulus require $\alpha_\mathfrak p\in\mathcal O_\mathfrak p^\times$. These ideles form $\mathbb I_K(\mathfrak m)$. Their image
$$
C_K(\mathfrak m)
=K^\times\mathbb I_K(\mathfrak m)/K^\times
$$
inside the <idèle class group> is the <idelic congruence subgroup>.

Solution

Past exam of the mathematics course of the University of Cambridge / 2024 / iii / Paper 123 / 4 / b / Solution

 Solution

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