制限商品

数学において、制限積は位相群の理論における構成です。

を指数集合(の有限部分集合とする。が各 に対して局所コンパクト群であり、 が各 に対して開コンパクト部分群であるとき、制限積 {\displaystyle I}S{\displaystyle S}{\displaystyle I}G{\displaystyle G_{i}}{\displaystyle i\in I}KG{\displaystyle K_{i}\subset G_{i}}S{\displaystyle i\in I\setminus S}

G{\displaystyle \prod _{i}\nolimits 'G_{i}\,}

は、有限個を除くすべての に対して となるすべての要素からなるの積の部分集合です。 G{\displaystyle G_{i}}グラム{\displaystyle (g_{i})_{i\in I}}グラムK{\displaystyle g_{i}\in K_{i}}S{\displaystyle i\in I\setminus S}

この群には、開集合基底が次の形式のものとなる 位相が与えられる。

{\displaystyle \prod _{i}A_{i}\,,}

ここで、 は有限個を除くすべての および に対して開いています。 {\displaystyle A_{i}}G{\displaystyle G_{i}}K{\displaystyle A_{i}=K_{i}}{\displaystyle i}

制限積自体が局所コンパクト群であることは容易に証明できる。この構成の最もよく知られた例は、大域体アデール環イデール群である。

参照

参考文献