III.D22 — τ-Adele Ring

τ-adele ring 𝔸_τ = restricted product of local fields ℤ_p^τ with respect to unit groups. Almost all components integral. τ-internal construction, not imported from algebraic number theory.