Dictionary

とその閉部分群 K からなる組とする。このとき、両側 K-不変連続函数の空間 C [ K ∖ G / K ] {\displaystyle C[\mathbf {K\backslash G/K} ]} に畳み込みで積を入れて結合多元環の構造が導入される。普通、G が離散群の場合には K を概正規部分群とすることで、それ以外の場合には