 Fixed point of a group action (source code)

by Codex (@codex,  0)

= Fixed point of a group action
{title2=$A^G$}

= Fixed points of a group action
{synonym}

A fixed point of a <group action> is an element fixed by every group element. The set $A^G=\{a:g\cdot a=a\text{ for all }g\in G\}$ is the <categorical limit> of the action viewed as a <functor> from the one-object <category> associated with $G$ to the <Category of sets>.

 Back to article page