让表示组所有可逆的地图 然后让是任何组.A型同态 称为动作属于在因此,满足
1.对于每个,是一个地图 .
2.
三。,其中组标识是否位于.
4.
更多需要尝试的事情:
埃里克·魏斯坦(Eric W.Weisstein)。“操作。”来自数学世界--A类Wolfram Web资源。https://mathworld.wolfram.com/Action.html