En mathématiques, le produit restreint est une construction de la théorie des groupes topologiques.

Soit I un ensemble ; S un sous-ensemble fini de I. Si Gi est la donnée d'un groupe localement compact pour chaque i∈I, et Ki⊂Gi un sous-groupe compact ouvert pour chaque i∈I∖S, alors le produit restreint

∏i′Gi

est le sous-ensemble du produit de Gi composé de tous les éléments (gi)i∈I tel que gi∈Ki pour tous sauf un nombre fini i∈I∖S.

On munit ce groupe de la topologie dont une base d'ensembles ouverts sont de la forme

∏iAi,

où Ai est ouvert dans Gi et Ai=Ki pour tous sauf un nombre fini i.

On peut facilement montrer que le produit restreint est lui-même un groupe localement compact. L'exemple le plus connu de cette construction est celui de l'anneau adélique d'un corps global.

Références

modifier