Definition Let be a Lie group that acts on a smooth manifold . For a subgroup , the fixed point set of is the set so each element of acts trivially on . Note that unlike the set of points of orbit type , may not be the maximal stabilizer, i.e. .