群不动点

由群作用固定的 点集称为群的不动点集，定义为

在某些情况下，可能没有群作用，而只有一个算子 。那么 即使当 不可逆时仍然有意义（群作用就是这种情况）。