Power-map group action obstruction
ID: power-map-group-action-obstruction
Suppose a binary operation on the underlying set makes it a group, and is a group action on another group . Every acting element must induce a bijection, with inverse function given by its acting inverse element. The integer instead induces the constant function , where is the identity element of , so must be the trivial group. Conversely, on the trivial group, ordinary addition on supplies such a group action.
New to topics? Read the docs here!