Idele group (source code)

= Idele group
{title2=$\mathbb I_K$}
{wiki=Idèle_class_group}

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