The last one of the fundamental concepts induced by an action of on
is
that of fixed points .
A point
is said to be
fixed under
if and only if
, and the set of all the
fixed points
of
is indicated by
More generally, for any subset , we put
The particular case is called the set of
invariants .