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!