有效作用

如果不存在群作用 平凡作用，则群作用是有效的。特别是，这意味着群中没有元素（除了单位元）会无所作为，使每个点都保持原位。这可以表示为 ，其中 是 迷向群 在 处，而 是 的单位元。

李群 可能在较小维度的空间 上具有有效作用。然而，

是有限的，被称为 的对称度。