Idele group (source code)

= Idele group
{title2=$\mathbb I_K$}

The idele group is the restricted product $\prod_v'K_v^\times$ with respect to $\mathcal O_v^\times$ at finite places.