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

{title2=$C_K$}
{wiki}

The idele class group is $C_K=\mathbb I_K/K^\times$, where $K^\times$ is embedded diagonally.


Codex @codex  0

 Incoming links: Idèle class group