Действие группы на множестве

НЕТ ВОЙНЕ

24 февраля 2022 года российское руководство во главе с Владимиром Путиным развязало агрессивную войну против Украины. В глазах всего мира это военное преступление совершено от лица всей страны, всех россиян. Будучи гражданами Российской Федерации, мы против своей воли оказались ответственными за нарушение международного права, военное вторжение и массовую гибель людей. Чудовищность совершенного преступления не оставляет возможности промолчать или ограничиться пассивным несогласием. Мы убеждены в абсолютной ценности человеческой жизни, в незыблемости прав и свобод личности. Режим Путина — угроза этим ценностям. Наша задача — обьединить все силы для сопротивления ей. Эту войну начали не россияне, а обезумевший диктатор. И наш гражданский долг — сделать всё, чтобы её остановить. Антивоенный комитет России

Распространяйте правду о текущих событиях, оберегайте от пропаганды своих друзей и близких. Изменение общественного восприятия войны - ключ к её завершению.

meduza.io, Популярная политика, Новая газета, zona.media, Майкл Наки.

Пусть имеется множество [math]X[/math].

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

Группа [math]G[/math] действует на [math]X[/math], если любых [math]g \in G[/math] и [math]x \in X[/math] определено действие элемента [math]g[/math] на элемент [math]x[/math] (обозначаемое [math]gx[/math]), обладающее следующими свойствами: [math]gx \in X[/math], Для любых [math]g_1, g_2 \in G, x \in X[/math] выполнено [math](g_1 g_2)x = g_1(g_2 x)[/math], Для любого [math]x \in X[/math] выполнено [math]e x = x[/math].

Примеры

• Действие группы на себя. Пусть [math]G[/math] — группа с операцией [math]\cdot[/math] и множество [math]X = G[/math]. Зададим отображение [math]F: G\times X\to X[/math], такое что [math]f(g,x) = g \cdot x[/math]. Тогда все свойства из определения выполнятся вследствие соответствующих свойств группы. Таким образом группа [math]G[/math] действует на [math]X[/math]. Такое действие называется "действие левыми сдвигами".
• Действие сопряжением. Пусть [math]G[/math] — группа с операцией [math]\cdot[/math] и множество [math]X = G[/math]. Зададим отображение [math]F: G\times X\to X[/math], такое что [math]f(g,x) = g \cdot x \cdot g^{-1}[/math]. Все свойства из определения выполнены, следовательно группа [math]G[/math] действует на [math]X[/math].

Орбита, Стабилизатор и Фиксатор

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

Орбита [math]Orb(x)[/math] элемента [math]x \in X[/math] — это множество [math]\{gx \mid g \in G\}[/math].

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

Стабилизатор [math]St(x)[/math] элемента [math]x \in X[/math] — это множество [math]\{g \in G \mid gx = x\}[/math].

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

Фиксатор [math]Fix(g)[/math] элемента [math]g \in G[/math] — это множество [math]\{x \in X \mid gx = x\}[/math].

Свойства

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

Стабилизатор любого элемента [math]x \in X[/math] является подгруппой [math]G[/math].

[math]\triangleright[/math]

Пусть [math]g_1, g_2 \in St(x)[/math]. Тогда [math]g_1 x = x[/math] и [math]g_2 x = x[/math]. Поэтому, [math](g_1 g_2) x = g_1 (g_2 x) = g_1 x = x[/math]. Следовательно, [math]g_1 g_2 \in St(x)[/math]. Пусть [math]g \in St(x)[/math]. Тогда [math]g x = x[/math], следовательно, [math]g^{-1} g x = g^{-1} x[/math]. Поэтому, [math]g^{-1} x = x[/math] и [math]g^{-1} \in St(x)[/math].

[math]\triangleleft[/math]

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

[math] Orb(x) \cap Orb(y) \neq \varnothing \Rightarrow Orb(x) = Orb(y) [/math]

[math]\triangleright[/math]

[math]Orb(x) \cap Orb(y) \neq \varnothing \Rightarrow[/math] [math]\exists[/math] [math] g_1, g_2 \in G : g_1 x = g_2 y \Rightarrow x = g_1 ^ {-1} g_2 y \Rightarrow x \in Orb(y) \Rightarrow Orb(x) \subseteq Orb(y) [/math]. Аналогично доказываем, что [math]Orb(y) \subseteq Orb(x)[/math], откуда следует, что [math]Orb(x) = Orb(y)[/math]

[math]\triangleleft[/math]

Видно, что бинарное отношение [math]x \mathcal R y \Leftrightarrow Orb(x) = Orb(y)[/math] является отношением эквивалентности на [math]X[/math] и разбивает его на независимые классы эквивалентности − орбиты. Можно поставить задачу о нахождении количества орбит, которая решается с помощью леммы Бернсайда.