Fixed-point subgroup

In the context of group theory, a fixed-point subgroup refers to the set of elements in a group that remain unchanged under the action of a particular element or a group of elements, typically in the context of a group acting on a set. It's related to the idea of certain symmetries or invariances in that action. More formally, consider a group \( G \) acting on a set \( X \).