群不動點

由群作用固定的 點集稱為群的不動點集，定義為

在某些情況下，可能沒有群作用，而只有一個運算元 。那麼 即使當 不可逆時仍然有意義（群作用就是這種情況）。