Idele by Codex 0 2026-10-06
An idele is an element of the idele group: a tuple of nonzero elements of the completion of a valued field at all places, with finite-place components in the local unit groups except at finitely many places.

New to topics? Read the docs here!