设 
表示所有可逆映射 
的群，并设 
为任意群。一个同态 
被称为 
在 
上的作用。因此，
满足
1. 对于每个 
，
是一个映射 
。
2. 
.
3. 
，其中 
是 
中的群恒等元。
4. 
.
Action
参见
级联, 流, 群作用, 半直积, 半流使用 Wolfram|Alpha 探索
引用为
Weisstein, Eric W. "Action." 来自 MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/Action.html