Изменения
→Теорема Пойа
|id=teorPo.
|author=Пойа
|statement= <tex>C = \frac{1} {|G|}\sum\limits_{k \in G} l^{P(k)}</tex> ,где <tex>C</tex> - кол-во различных комбинаторных объектов, P(k) - кол-во циклов в перестановке <tex>k</tex>, <tex>l</tex>- кол-во различных состояний одного элемента.
|proof=Для доказательства этой теорем достаточно установить следующее равенство
<tex>I(k) = l^{P(k)}</tex>
