非可換幾何
群 G が位相空間 X に作用しているとする。G の群環と X 上の関数環の接合積によって非可換な作用素環が得られる。これの中心が G の作用で不変な X 上の関数のなす代数に対応し、したがって古典的な意味での X の G 作用による商空間(の上の関数)を表していることになる。