Action

設 表示所有可逆對映 的群，並設 為任意群。一個同態 被稱為 在 上的作用。因此， 滿足

1. 對於每個 ， 是一個對映 。

2. .

3. ，其中 是 中的群恆等元。

4. .