restricted direct product
Let be a collection of locally compact topological groups. For all but finitely many , let be a compact open subgroup of . The restricted direct product of the collection with respect to the collection is the subgroup
of the direct product .
We define a topology on as follows. For every finite subset that contains all the elements for which is undefined, form the topological group
consisting of the direct product of the ’s, for , and the ’s, for . The topological group is a subset of for each such , and we take for a topology on the weakest topology such that the are open subsets of , with the subspace topology on each equal to the topology that already has in its own right.