חבורת פרובניוס – הבדלי גרסאות

כאשר G חבורת פרובניוס הפועלת על הקבוצה X, הקבוצה Q הכוללת, בנוסף לאיבר היחידה, את כל איברי G שאינם מייצבים אף נקודה, מהווה [[תת-חבורה נורמלית]] של G, הנקראת ה'''גרעין''' (או '''גרעין פרובניוס''') של החבורה. כל אחד מן ה[[מייצב|מייצבים]] <math>\ G_x=\{g\in G: g(x)=x\}</math> של נקודות <math>\ x\in X</math> נקרא '''משלים''' של Q.