48
правок
Изменения
→Орбита и стабилизатор
|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
|statement=<tex>Orb(x) \cap Orb(y) \neq \varnothing \Rightarrow Orb(x) = Orb(y)</tex>
|proof=<tex>Orb(x) \cap Orb(y) \neq \varnothing \Rightarrow \exists g_1, g_2 \in G : g_1 \cdot x = g_2 \cdot y \Rightarrow x = g_1^{-1} \cdot (g_2 \cdot y) = (g_1^{-1} \cdot g_2) \cdot y \Rightarrow x \in Orb(y)</tex>
Заметим, что <tex>\forall g \in G: g \cdot x \in Orb(y) \Rightarrow Orb(x) \subseteq Orb(y)</tex>
Аналогично доказывается, что <tex>Orb(y) \subseteq Orb(x)</tex>
Таким образом, <tex>Orb(x) = Orb(y)</tex>
}}
{{Утверждение
== Источники информации ==
* [https://ru.wikipedia.org/wiki/Действие_группы Wikipedia | Действие группы]
* [https://en.wikipedia.org/wiki/Group_action Wikipedia | Group action]
* [https://mipt.ru/diht/students/courses/group_theory.pdf Теория групп]
* [http://e-maxx.ru/algo/burnside_polya MAXimal::algo::Лемма Бернсайда. Теорема Пойа]
[[Категория: Дискретная математика и алгоритмы]]
[[Категория: Комбинаторика]]
[[Категория: Теория групп]]
