Basic properties of group actions #
The stabilizer of an element under an action, i.e. what sends the element to itself. A subgroup.
The canonical map from the quotient of the stabilizer to the set.
G acts pretransitively on
X if for any
x y there is
g such that
g • x = y.
A transitive action should furthermore have