Изменения
Нет описания правки
<tex> |C| = </tex> <tex dpi = "180">\frac{1} {|G|}</tex><tex>\sum\limits_{k \in G}I(k)</tex>. Где <tex>I(k)</tex> {{---}} количество стабилизаторов для элемента <tex>k</tex>.
|proof=
Так как <tex>I(k)</tex> {{- --}} сумма стабилизаторов элемента <tex>k</tex>, то по определению <tex>\sum\limits_{k \in G}I(k) = |\{(x, g) \in G\times X \mid g\cdot x = x\}|</tex>.
Следовательно для доказательства леммы необходимо и достаточно доказать следующее равенство:
|id=teorPo.
|author=Пойа
|statement= <tex> C =</tex> <tex dpi = "180"> \frac{1} {|G|}</tex><tex>\sum\limits_{k \in G} l^{P(k)}</tex> ,где <tex>C</tex> {{---}} кол-во различных классов эквивалентности, <tex>P(k)</tex> {{- --}} кол-во циклов в перестановке <tex>k</tex>, <tex>l</tex> {{---}} кол-во различных состояний одного элемента.
|proof=Для доказательства этой теорем достаточно установить следующее равенство
<tex>I(k) = l^{P(k)}</tex>
==Задача о числе раскрасок прямоугольника==
{{ОпределениеЗадача
|definition=Выведите формулу для числа раскрасок прямоугольника <tex>[n \times m]</tex> в <tex>k</tex> цветов с точностью до отражения относительно горизонтальной и вертикальной оси.
}}
Тогда воспользуемся Леммой Бёрнсайда и определим количество таких раскрасок.
:<tex dpi = "180160"> |C| = </tex> <tex>\frac{1} {|G|}</tex><tex>\sum\limits_{k \in G}I(k) = \frac{I_1 + I_2 + I_3 + I_4}{4} = </tex>:<tex dpi = "180"> = \frac{k^{nm}+k^{\lceil \frac{m}{2} \rceil n} + k^{{\lceil {\frac{n}{2}} \rceil}m} + k^{{\lceil {\frac{n}{2}} \rceil}{\lceil \frac{m}{2} \rceil}}}{4}</tex>
==См. также==
