Principal idele
= Principal idele
{title2=$(a)_v,\quad a\in K^\times$}
An <idele> obtained by mapping the same nonzero element of a <number field> into every completion. Only finitely many local valuations are nonzero, so this diagonal tuple belongs to the <idele group>.