Изменения

|definition=Пусть группа <tex>G</tex> действует на множестве <tex>X</tex>. Введем на <tex>X</tex> [[отношение эквивалентности]] <tex>\sim</tex> для <tex>x, y \in X</tex>: <tex>x \sim y</tex>, если <tex>\exists g \in G : x = g \cdot y</tex>. Тогда, если <tex>x \sim y</tex>, то говорят, что <tex>x</tex> и <tex>y</tex> '''равны с точностью до группы'''.

}}

{{Утверждение

|id=eqcontinue

}}

Иными словами, орбитой элемента множества <tex>X</tex> в группе <tex>G</tex> называется порожденный им класс эквивалентности по отношению <tex>\sim</tex>. Задача подсчета количества классов эквивалентности является нетривиальной и решается в общем случае при помощи [[Лемма Бёрнсайда и Теорема Пойа|Леммы Бёрнсайда]].

{{Определение

|id=point

|definition=Элемент <tex>x \in X</tex> называется '''неподвижной точкой''' (англ. ''fixed point'') элемента <tex>g \in G</tex>, если <tex>g \cdot x = x</tex>

}}

{{Определение

|id=stabilizer

|definition=Пусть группа <tex>G</tex> действует на множество <tex>X</tex>. Тогда '''стабилизатором''' (англ. ''stabilizer'') элемента <tex>g \in G</tex> называется множество его неподвижных точек: <tex>St(g) = \{x \in X \mid g \cdot x = x\}</tex>

}}

{{Утверждение

|id=stab