Common quotient obstruction to commutation of fixed points and orbits

ID: common-quotient-obstruction-to-commutation-of-fixed-points-and-orbits

If groups have a common nontrivial quotient , act on by left multiplication through and right inverse multiplication through . The actions commute. There are no fixed points of a group action for , but the orbit set is a singleton. The comparison is therefore the map from the empty set to a singleton, which is not an isomorphism.

New to topics? Read the docs here!