Es liege eine Gruppenoperation einer Gruppe ${\displaystyle {}G}$ auf einer Menge ${\displaystyle {}M}$ vor. Ein Punkt ${\displaystyle {}x\in M}$ heißt Fixpunkt der Operation, wenn ${\displaystyle {}gx=x}$ ist für alle ${\displaystyle {}g\in G}$.