Методичка, составленная на основе конспекта части лекций по курсу «Дискретные структуры», прочитанному на факультете ФИВТ МФТИ в 2012—2014 гг. Последняя версия файла всегда доступна на www.dainiak.com

1. Алгебраические структуры
и их приложения к задачам
дискретной математики
Александр Дайняк
Актуальная версия файла доступна на www.dainiak.com
Распространяется на условиях лицензии
Creative Commons «Attribution-NonCommercial-ShareAlike»

2. www.dainiak.com
Оглавление
Оглавление.......................................................................................................................................................2
Введение...........................................................................................................................................................4
Пререквизиты ...............................................................................................................................................4
1. Характеристические функции и неравенства бонферрони......................................................................5
1.1. Характеристические функции и формула включения-исключения..................................................5
1.2. Доказательство неравенств Бонферрони ...........................................................................................6
2. Частично упорядоченные множества ........................................................................................................6
2.1. Определения..........................................................................................................................................6
2.2. Теоремы о разложении ч. у. м. на цепи и антицепи...........................................................................7
2.2.1. Вывод теоремы Холла из теоремы Дилуорта ..............................................................................8
2.3. Обращение Мёбиуса на ч. у. м. ............................................................................................................9
2.3.1. Определение функции Мёбиуса...................................................................................................9
2.3.2. Обращение Мёбиуса на булеане и формула включения-исключения....................................10
2.3.3. Арифметическая теорема об обращении и количество циклических слов ............................10
3. Группы .........................................................................................................................................................12
3.1. Определения........................................................................................................................................12
3.2. Эквивалентные определения групп ..................................................................................................13
3.2.1. Определение через существование решений уравнений........................................................13
3.2.2. Альтернативное определение для конечных групп ..................................................................14
3.3. Группы перестановок и теорема Кэли...............................................................................................14
3.4. Теорема Лагранжа...............................................................................................................................15
3.5. Теорема Силова...................................................................................................................................16
3.6. Теорема Редфилда—Пойи..................................................................................................................17
3.6.1. Постановка задачи........................................................................................................................17
3.6.2. Лемма Бёрнсайда .........................................................................................................................18
3.6.3. Теорема Редфилда—Пойи...........................................................................................................19
3.7. Группы вычетов ...................................................................................................................................20
3.7.1. Теоремы Ферма и Эйлера............................................................................................................23
4. Поля и многочлены....................................................................................................................................24
4.1. Основное определение и примеры полей .......................................................................................24
4.2. Два простых свойства полей ..............................................................................................................24
4.3. Альтернативные определения поля..................................................................................................25
4.3.1. Второе определение поля............................................................................................................25
4.3.2. Альтернативное определение для конечного поля..................................................................25
4.4. Многочлены и поля на их основе ......................................................................................................25

3. www.dainiak.com
4.4.1. Определения и обозначения.......................................................................................................25
4.4.2. Конечные поля вычетов по модулю многочлена......................................................................27
4.5. Количество неприводимых нормированных многочленов над ℤ 𝑝 ...............................................28
5. Алгебраические методы в дискретной математике...............................................................................29
5.1. Теорема Алона и её применения ......................................................................................................29
5.1.1. Теорема Алона ..............................................................................................................................29
5.1.2. Теорема Коши—Давенпорта .......................................................................................................30
5.1.3. Покрытие вершин гиперкуба гиперплоскостями ......................................................................31
5.1.4. Регулярные подграфы в регулярных графах ..............................................................................32
5.2. Проблема Заранкевича.......................................................................................................................33
5.2.1. Верхняя оценка 𝑍2( 𝑚)..................................................................................................................33
5.2.2. Нижняя оценка 𝑍2( 𝑚) ..................................................................................................................33

4. www.dainiak.com
Введение
В этом пособии мы вводим понятия частично-упорядоченных множеств, конечных групп и полей и
показываем, какую службу они могут сослужить в решении комбинаторных задач. Эти важнейшие
понятия алгебры излагаются предельно сжато, поскольку цель настоящего пособия — дать основные
определения и как можно скорее перейти к приложениям в комбинаторике. Читателю, не
привыкшему «скакать по верхам» рекомендуется более плотно ознакомиться с алгеброй по одной
из следующих книг.
1. Г. Биркгоф, Т. Барти. Современная прикладная алгебра. М., Мир, 1976.
2. Э.Б. Винберг. Курс алгебры. М.: Факториал, 2001.
3. Ю.И. Журавлев, Ю.А. Флеров, М.Н. Вялый. Дискретный анализ. Основы высшей алгебры. М.:
МЗ Пресс, 2007.
4. А.Г. Курош. Курс высшей алгебры. М.: Наука, 1965.
Книги [1] и [4], хотя и давно изданы, хорошо себя зарекомендовали. Книга [4] предназначена, в
первую очередь, для студентов-теоретиков, в то время, как в [1] обсуждаются приложения алгебры в
теории проектирования вычислительных устройств и теории кодирования. Самой доступной из
перечисленных книг является, на наш взгляд, учебник [3], хотя охват его не так широк, как у
остальных книг. Книга [2] является хорошим примером современного вводного учебника высшей
алгебры.
Также нужно отметить две книги по комбинаторике (которые нельзя назвать вводными), поскольку в
них на более высоком уровне излагаются данные в пособии теория обращения Мёбиуса и теория
Редфилда—Пойи соответственно.
 М. Айгнер. Комбинаторная теория. М.: Мир, 1982.
 Комбинаторная прикладная математика / Под ред. Э.Беккенбаха. М.: Мир, 1968.
Пререквизиты
Предполагается, что читателю известны базовые обозначения теории множеств и понятия
отображения и отношения. В отдельных разделах также предполагается знакомство с начальными
понятиями линейной алгебры, асимптотикой, элементарными понятиями комбинаторики
(факториал, биномиальные коэффициенты, графы).
Мы принимаем следующие обозначения и сокращения.
 «Т. и т.т.» — тогда и только тогда.
 «Б.о.о.» — без ограничения общности.
 ℕ,ℤ, ℚ, ℝ — множества натуральных (без нуля), целых, рациональных и действительных чисел
соответственно.
 ℕ0 — множество целых неотрицательных чисел.
 𝟙условие — индикатор (величина, равная единице/нулю соответственно при
выполнении/невыполнении условия)
 𝑥|𝑦 — число 𝑥 является делителем числа 𝑦.
 { 𝑥 ∈ 𝑆 ∣ свойство} — множество всех объектов, принадлежащих множеству 𝑆 и обладающих
заданным свойством.
 # — сокращение для слова «количество». Например, запись #{ 𝑥 ∈ ℕ ∣ 1 ≤ 𝑥2
≤ 10} означает
«количество натуральных чисел, квадраты которых лежат в отрезке от 1 до 10».
 𝐴 ⊆ 𝐵 — множество 𝐴 вложено в 𝐵 и, возможно, совпадает с 𝐵.
 𝐴 ⊂ 𝐵 — множество 𝐴 вложено в 𝐵 и не совпадает с 𝐵.

5. www.dainiak.com
1. Характеристические функции и неравенства бонферрони
1.1. Характеристическиефункции и формула включения-исключения
Для произвольного множества 𝐴 его характеристическая (или индикаторная) функция
определяется следующим образом:
𝟙𝐴 ( 𝑥) ≔ {
1, если 𝑥 ∈ 𝐴
0, если 𝑥 ∉ 𝐴
Переход от множеств к их характеристическим функциям иногда позволяет изящно, на
алгебраическом языке доказывать утверждения, для которых комбинаторные доказательство
требуют больше усилий.
Отметим в качестве упражнений простые свойства характеристических функций.
 𝟙𝐴∩𝐵( 𝑥) = 𝟙𝐴 ( 𝑥)⋅ 𝟙 𝐵( 𝑥)
 𝟙 𝐴̅( 𝑥) = 1 − 𝟙𝐴 ( 𝑥)
 | 𝐴| = ∑ 𝟙 𝑥( 𝑥)𝑥
В качестве примера применения характеристических функций выведем формулу включения-
исключения: для любых конечных множеств 𝐴1, … , 𝐴 𝑛 выполнено равенство
| 𝐴1 ∪ 𝐴2 ∪ … ∪ 𝐴 𝑛 |
= | 𝐴1| + ⋯ + | 𝐴 𝑛 | − | 𝐴1 ∩ 𝐴2| − | 𝐴1 ∩ 𝐴3| − ⋯− | 𝐴 𝑛−1 ∩ 𝐴 𝑛| + | 𝐴1 ∩ 𝐴2 ∩ 𝐴3| + ⋯
+ (−1) 𝑘+1
⋅ |𝐴𝑖1
∩ … ∩ 𝐴𝑖 𝑘
| + ⋯+ (−1) 𝑛+1
⋅ | 𝐴1 ∩ …∩ 𝐴 𝑛|
Начнём со следующего тождества для характеристических функций:
𝟙𝐴1 ∪…∪𝐴 𝑛
( 𝑥) = 1 − (1 − 𝟙𝐴1
( 𝑥))(1 − 𝟙 𝐴2
( 𝑥)) ⋅ …⋅ (1 − 𝟙 𝐴 𝑛
( 𝑥)).
Это тождество можно прочитать так: «элемент 𝑥 попадает в объединение множеств тогда и только
тогда, когда не верно, что 𝑥 промазал мимо каждого из множеств». Если теперь раскрыть скобки в
правой части, получим:
𝟙𝐴1 ∪…∪𝐴 𝑛
( 𝑥) = 1 − (1 − 𝟙𝐴1
( 𝑥))(1 − 𝟙 𝐴2
( 𝑥)) ⋅ …⋅ (1 − 𝟙 𝐴 𝑛
( 𝑥))
= 𝟙 𝐴1
( 𝑥) + ⋯ + 𝟙 𝐴 𝑛
( 𝑥) − 𝟙 𝐴1
( 𝑥) ⋅ 𝟙 𝐴2
( 𝑥) − 𝟙 𝐴1
( 𝑥) ⋅ 𝟙𝐴3
( 𝑥) − ⋯− 𝟙 𝐴 𝑛−1
( 𝑥) ⋅ 𝟙 𝐴 𝑛
( 𝑥) + ⋯
+ (−1) 𝑛+1
⋅ 𝟙 𝐴1
( 𝑥) ⋅ 𝟙𝐴2
( 𝑥)⋅ … ⋅ 𝟙 𝐴 𝑛
( 𝑥).
Просуммировав по всем 𝑥, учитывая свойства характеристических функций, получим
| 𝐴1 ∪ … ∪ 𝐴 𝑛| = ∑ (𝟙 𝐴1
( 𝑥) + ⋯ + 𝟙 𝐴 𝑛
( 𝑥) − 𝟙 𝐴1∩𝐴2
( 𝑥) − 𝟙𝐴1 ∩𝐴3
( 𝑥) − ⋯− 𝟙 𝐴 𝑛−1∩𝐴 𝑛
( 𝑥)+ ⋯+ (−1) 𝑛+1
𝑥
⋅ 𝟙𝐴1 ∩…∩𝐴 𝑛
( 𝑥))
= | 𝐴1| + ⋯ + | 𝐴 𝑛 | − | 𝐴1 ∩ 𝐴2| − | 𝐴1 ∩ 𝐴3| − ⋯− | 𝐴 𝑛−1 ∩ 𝐴 𝑛| + | 𝐴1 ∩ 𝐴2 ∩ 𝐴3| + ⋯
+ (−1) 𝑘+1
⋅ |𝐴𝑖1
∩ …∩ 𝐴𝑖 𝑘
| + ⋯+ (−1) 𝑛+1
⋅ | 𝐴1 ∩ …∩ 𝐴 𝑛|
— что и требовалось.
Если в формуле включения-исключения обрывать правую часть на слагаемых «фиксированного
порядка», можно получить целую серию неравенств, которые называются неравенствами
Бонферрони:
 | 𝐴1 ∪ … ∪ 𝐴 𝑛 | ≤ | 𝐴1| + ⋯+ | 𝐴 𝑛|,
 | 𝐴1 ∪ … ∪ 𝐴 𝑛 | ≥ | 𝐴1| + ⋯+ | 𝐴 𝑛| − | 𝐴1 ∩ 𝐴2| − ⋯− | 𝐴 𝑛−1 ∩ 𝐴 𝑛|,
 | 𝐴1 ∪ … ∪ 𝐴 𝑛 | ≤ | 𝐴1| + ⋯+ | 𝐴 𝑛| − | 𝐴1 ∩ 𝐴2| − ⋯− | 𝐴 𝑛−1 ∩ 𝐴 𝑛| + | 𝐴1 ∩ 𝐴2 ∩ 𝐴3| + ⋯ +
| 𝐴 𝑛−2 ∩ 𝐴 𝑛−1 ∩ 𝐴 𝑛 |,
 и так далее…

6. www.dainiak.com
Чтобы доказать неравенства Бонферрони, нам потребуется следующая лемма.
Лемма. Для любого 𝑚 и любого 𝑘 ∈ {0, …, 𝑚} выполнено неравенство
(
𝑚
𝑘
) ≥ (
𝑚
𝑘 − 1
) − (
𝑚
𝑘 − 2
) + (
𝑚
𝑘 − 3
) − ⋯+ (−1) 𝑘−1
(
𝑚
0
).
Доказательство. Индукция по 𝑚. База индукции (𝑚 ≤ 1или 𝑘 ≤ 1) легко проверяется. Пусть
утверждение леммы выполнено при всех 𝑘 ≤ 𝑚 ≤ 𝑚̂. В частности, тогда
(
𝑚̂
𝑘
) ≥ (
𝑚̂
𝑘 − 1
) − (
𝑚̂
𝑘 − 2
) + (
𝑚̂
𝑘 − 3
) − ⋯+ (−1) 𝑘−2
(
𝑚̂
1
) + (−1) 𝑘−1
(
𝑚̂
0
)
(
𝑚̂
𝑘 − 1
) ≥ (
𝑚̂
𝑘 − 2
) − (
𝑚̂
𝑘 − 3
) + (
𝑚̂
𝑘 − 4
) − ⋯ + (−1) 𝑘−2
(
𝑚̂
0
)
Сложив эти неравенства и воспользовавшись стандартным соотношением ( 𝑎
𝑏
) + ( 𝑎
𝑏−1
) = ( 𝑎+1
𝑏
),
получаем
(
𝑚̂ + 1
𝑘
) ≥ (
𝑚̂ + 1
𝑘 − 1
) − (
𝑚̂ + 1
𝑘 − 2
) + (
𝑚̂ + 1
𝑘 − 3
) − ⋯ + (−1) 𝑘−2
(
𝑚̂ + 1
1
) + (−1) 𝑘−1
(
𝑚̂ + 1
0
) ,
что завершает индуктивный переход.
1.2. Доказательство неравенств Бонферрони
Пусть 𝑘 нечётно (случай чётного 𝑘 аналогичен). Докажем неравенство
| 𝐴1 ∪ …∪ 𝐴 𝑛| ≤
?
| 𝐴1| + ⋯ + | 𝐴 𝑛 | − | 𝐴1 ∩ 𝐴2| − ⋯ − | 𝐴 𝑛−1 ∩ 𝐴 𝑛 | + | 𝐴1 ∩ 𝐴2 ∩ 𝐴3| + ⋯
+ | 𝐴 𝑛−2 ∩ 𝐴 𝑛−1 ∩ 𝐴 𝑛 | + ⋯+ | 𝐴1 ∩ … ∩ 𝐴 𝑘| + ⋯ + | 𝐴 𝑛−𝑘−1 ∩ 𝐴 𝑛−𝑘−2 ∩ … ∩ 𝐴 𝑛 |.
Для этого достаточно будет обосновать, что при каждом 𝑥 выполнено следующее неравенство (∗)
для характеристических функций:
𝟙𝐴1 ∪…∪𝐴 𝑛
( 𝑥) ≤
?
𝟙 𝐴1
( 𝑥) + ⋯ + 𝟙 𝐴 𝑛
( 𝑥) − 𝟙 𝐴1
( 𝑥) ⋅ 𝟙 𝐴2
( 𝑥) − ⋯ − 𝟙 𝐴 𝑛−1
( 𝑥)⋅ 𝟙 𝐴 𝑛
( 𝑥) + 𝟙𝐴1
( 𝑥)⋅ 𝟙 𝐴2
( 𝑥) ⋅ 𝟙 𝐴3
( 𝑥)
+ ⋯+ 𝟙 𝐴 𝑛−2
( 𝑥)⋅ 𝟙 𝐴 𝑛−1
( 𝑥)⋅ 𝟙𝐴 𝑛
( 𝑥)− ⋯+ ⋯+ 𝟙𝐴1
( 𝑥) ⋅ 𝟙 𝐴2
( 𝑥) ⋅ … ⋅ 𝟙𝐴 𝑘
( 𝑥) + ⋯
+ 𝟙 𝐴 𝑛−𝑘−1
( 𝑥)⋅ 𝟙 𝐴 𝑛−𝑘−2
( 𝑥) ⋅ …⋅ 𝟙 𝐴 𝑛
( 𝑥).
Из доказанной выше леммы следует, что при нечётных 𝑘 выполнено неравенство
1 ≤ (
𝑚
1
) − (
𝑚
2
) + (
𝑚
3
) − ⋯+ (
𝑚
𝑘
).
Если элемент 𝑥 не принадлежит множеству 𝐴1 ∪ …∪ 𝐴 𝑛 , то в обеих частях (∗) получается нуль. Если
же 𝑥 принадлежит ровно 𝑚 множествам из набора 𝐴1, … , 𝐴 𝑛, то в левой части получаем единицу,
а правая часть равна ( 𝑚
1
) − ( 𝑚
2
) + ( 𝑚
3
) − ⋯+ ( 𝑚
𝑘
), — и тогда справедливость (∗) следует из леммы.
2. Частично упорядоченные множества
2.1. Определения
Частично упорядоченное множество (ч. у. м.) — это пара ( 𝑆, ≼), где 𝑆 — произвольное множество
(носитель), а ≼ — отношение частичного порядка. Отношение ≼ должно обладать следующими
свойствами:
 антисимметричность: ∀𝑎, 𝑏 ∈ 𝑆 ( 𝑎 ≼ 𝑏 ∧ 𝑏 ≼ 𝑎 ⇒ 𝑎 = 𝑏),
 рефлексивность: ∀𝑎 ∈ 𝑆 𝑎 ≼ 𝑎,
 транзитивность: ∀𝑎, 𝑏, 𝑐 ∈ 𝑆 ( 𝑎 ≼ 𝑏 ∧ 𝑏 ≼ 𝑐 ⇒ 𝑎 ≼ 𝑐).
Стандартными примерами ч. у. м. являются множества ℕ, ℤ, ℚ, ℝотносительно обычного сравнения
чисел. На первый взгляд необычным, но очень полезным ч. у. м., является множество ℕ
относительно делимости: в этом ч. у. м. каждое натуральное число предшествует всем, делителями
которых оно является. Частично упорядоченными является множество слов в конечном алфавите

7. www.dainiak.com
относительно лексикографического сравнения. Ниже мы рассмотрим ещё одно очень важное ч. у. м.,
булеан.
Цепь в ч. у. м. — это последовательность элементов 𝑎1, …, где 𝑎𝑖 ≼ 𝑎𝑖+1 для каждого 𝑖. Антицепь в
ч. у. м. — это подмножество попарно несравнимых элементов.
Иными словами, цепь — это последовательность попарно сравнимых элементов, а антицепь —
множество попарно несравнимых элементов. Каждая цепь и антицепь имеют не больше одного
общего элемента.
Элемент 𝑎 непосредственно предшествует элементу 𝑏, если 𝑎 ≼ 𝑏 и не существует 𝑐, такого, что
𝑎 ≺ 𝑐 ≺ 𝑏.
Элемент максимальный, если в ч. у. м. нет элементов, больших него. Элемент наибольший, если он
максимальный и сравнимый с любым элементом ч. у. м.
Булеан конечного множества 𝑋 — это семейство всех подмножеств 𝑋, упорядоченных по
вложенности.
Булев куб — множество двоичных наборов фиксированной длины, упорядоченных по
покоординатному сравнению: ( 𝛼1,… , 𝛼 𝑛) ≼ ( 𝛽1,…, 𝛽 𝑛) ⇔ ∀𝑖 𝛼𝑖 ≤ 𝛽𝑖.
Булеан и булев куб изоморфны, как частично упорядоченные множества. Изоморфными называют
ч. у. м., между элементами которых можно установить взаимно-однозначное соответствие,
сохраняющее порядок (т.е. если взять пару сравнимых элементов в одном ч. у. м., то их образы будут
сравнимы и в другом ч. у. м.).
2.2. Теоремы о разложении ч. у. м. на цепи и антицепи
Разложить ч. у. м. на цепи — это значит представить носитель ч. у. м. объединением попарно
непересекающихся цепей. Аналогично определяется разложение на антицепи.
Очевидно, если в некотором ч. у. м. есть антицепь порядка 𝑙, то меньше чем на 𝑙 цепей ч. у. м.
разложить нельзя, поскольку каждая из этих цепей будет пересекаться с антицепью не более чем по
одной вершине. Аналогично, если в ч. у. м. есть цепь размера 𝑙, то его не получится разложить менее
чем на 𝑙 цепей. Следующие две теоремы показывают, что, на самом деле, указанные нижние оценки
на число цепей и антицепей в разложении всегда являются точными. Отметим, что, хотя
утверждения теорем выглядят очень похоже, доказательство второй из теорем ощутимо труднее.
Теорема. Минимальное число антицепей, на которое можно разложить ч. у. м., равно
максимальному размеру цепи в этом ч. у. м..
Доказательство. Пусть 𝑙 — максимальный размер цепи в ч. у. м.. Назовём высотой элемента 𝑎
максимальный размер цепей вида 𝑥1 ≺ 𝑥2 ≺ ⋯ ≺ 𝑎. Для каждого 𝑖 ∈ {1, …, 𝑙} обозначим через 𝑆𝑖
множество всех элементов высоты 𝑖. Очевидно, 𝑆𝑖 ∩ 𝑆𝑗 = ∅ для каждого 𝑖. Осталось заметить, что 𝑆𝑖
— антицепь для каждого 𝑖, а значит, 𝑆1 ⊔ … ⊔ 𝑆𝑙 — искомое разложение ч. у. м. на антицепи.
Теорема Дилуорта. Минимальное число цепей, на которое можно разложить ч. у. м., равно
максимальному размеру антицепи в этом ч. у. м..
Доказательство. Докажем эту часть теоремы индукцией по мощности частично упорядоченного
множества 𝑆. Утверждение легко проверяется перебором при | 𝑆| ≤ 2. Пусть | 𝑆| > 2, и для меньших
ч. у. м. теорема верна; докажем её для 𝑆. Пусть 𝑎 — произвольный максимальный элемент в 𝑆, и
пусть 𝑙 — максимальный размер антицепи в 𝑆 ∖ { 𝑎}. По предположению, 𝑆 ∖ { 𝑎} можно разбить на 𝑙
цепей:

8. www.dainiak.com
𝑆 ∖ { 𝑎} = 𝐶1 ⊔ … ⊔ 𝐶𝑙.
Назовём элемент хорошим, если существует 𝑙-элементная антицепь в 𝑆 ∖ { 𝑎}, в которую он входит.
Для каждого 𝑖 обозначим через 𝑎𝑖 максимальный из хороших элементов цепи 𝐶𝑖. Заметим, что для
каждого 𝑖 на 𝐶𝑖 есть хотя бы один хороший элемент, поскольку любая 𝑙-элементная антицепь в 𝑆 ∖
{ 𝑎} содержит ровно по одному элементу из каждой цепи 𝐶𝑖.
Покажем, что { 𝑎1, …, 𝑎𝑙} — антицепь в 𝑆 ∖ { 𝑎}. Предположим противное: пусть 𝑎𝑖 ≺ 𝑎𝑗 для некоторых
𝑖, 𝑗. Пусть 𝐴 — произвольная антицепь в 𝑆 ∖ { 𝑎}, содержащая 𝑎𝑗. Тогда 𝐴 не содержит ни 𝑎𝑖, ни любой
другой элемент на 𝐶𝑖, предшествующий 𝑎𝑖. Но поскольку 𝑎𝑖 — максимальный из хороших элементов
цепи 𝐶𝑖, мы получаем, что | 𝐴| < 𝑙. Это противоречит тому, что должны существовать 𝑙-элементные
антицепи, содержащие 𝑎𝑗. Значит, { 𝑎1, … , 𝑎𝑙} — антицепь.
Если { 𝑎} ∪ { 𝑎1, …, 𝑎𝑙} — антицепь, то мы легко можем предъявить разложение 𝑆 на минимально
возможное число цепей: { 𝑎} ⊔ 𝐶1 ⊔ …⊔ 𝐶𝑙.
Остаётся рассмотреть случай, когда { 𝑎} ∪ { 𝑎1, … , 𝑎𝑙} не является антицепью, то есть 𝑎 𝑘 ≺ 𝑎 для
некоторого 𝑘. В этом случае рассмотрим множество 𝐾 ≔ { 𝑥 ∈ 𝐶 𝑘 ∣ 𝑥 ≼ 𝑎 𝑘} ∪ { 𝑎}. Из определения 𝐾
вытекает, что в 𝑆 ∖ 𝐾 нет 𝑙-элементных антицепей (так как в 𝐾 были все хорошие элементы цепи 𝐶 𝑘).
Тогда, по предположению, 𝑆 ∖ 𝐾 разложимо на ( 𝑙 − 1) цепей. Добавив к этим цепям 𝐾, получим
разложение 𝑆 на 𝑙 цепей.
2.2.1. Вывод теоремы Холла из теоремы Дилуорта
Труды, потраченные на доказательство теорем о разложении, окупаются, в частности, почти
«бесплатным» выводом известной теоремы Холла.
Системой различных представителей (с. р. п.) для набора множеств 𝑋1,… , 𝑋 𝑚 ⊆ {1, … , 𝑛}, где 𝑚 ≤
𝑛, называется набор элементов { 𝑦1, … , 𝑦 𝑚} ⊆ {1, … , 𝑛}, такой, что 𝑦𝑖 ∈ 𝑋𝑖 для каждого 𝑖, и 𝑦𝑖 ≠ 𝑦𝑗 при
𝑖 ≠ 𝑗.
Теорема Холла. Для существования с. р. п. для набора множеств 𝑋1,… , 𝑋 𝑚 необходимо и достаточно
выполнение условий
∀𝑘∀𝑖1 …∀𝑖 𝑘 |𝑋𝑖1
∪ …∪ 𝑋𝑖 𝑘
| ≥ 𝑘.
Доказательство. Необходимость условий очевидна. Докажем достаточность. Построим ч. у. м. на
множестве 𝑆 ≔ { 𝑋1,… , 𝑋 𝑚} ∪ {1, … , 𝑛}, определив порядок так:
𝑎 ≻ 𝑏 ⇔ ( 𝑎 ∈ { 𝑋1,… , 𝑋 𝑚}) ∧ ( 𝑏 ∈ {1, … , 𝑛}) ∧ ( 𝑏 ∈ 𝑎).
Покажем, что в этом ч. у. м. нет антицепей мощности больше 𝑚. Пусть антицепь имеет вид 𝑇 = 𝑇′
∪
𝑇′′
, где 𝑇′
⊆ { 𝑋1,… , 𝑋 𝑚} и 𝑇′′
⊆ {1, … , 𝑛}. Тогда (⋃ 𝑋𝑋∈𝑇′ ) ∩ 𝑇′′
= ∅, и поэтому |⋃ 𝑋𝑋∈𝑇′ | + | 𝑇′′| ≤ 𝑛.
Непосредственно из условий теоремы следует, что |⋃ 𝑋𝑋∈𝑇′ | ≥ | 𝑇′|, отсюда
| 𝑇| = | 𝑇′| + | 𝑇′′| ≤ |⋃ 𝑋
𝑋∈𝑇′
| + | 𝑇′′| ≤ 𝑛.
Мы показали, что при выполнении условий теоремы мощность любой антицепи не больше 𝑛. По
теореме Дилуорта, 𝑆 можно разложить на 𝑛 непересекающихся цепей. В каждой из этих цепей либо
один, либо два элемента. Те из цепей, в которых по два элемента, имеют вид { 𝑦𝑖, 𝑋𝑖}, где 𝑦1, …, 𝑦 𝑚 —
искомая с. р. п..

9. www.dainiak.com
2.3. Обращение Мёбиуса на ч. у. м.
2.3.1. Определение функции Мёбиуса
В этом разделе мы будем рассматривать потенциально бесконечные ч. у. м., но будем всегда
предполагать, что для любого элемента ч. у. м. есть лишь конечное число элементов,
предшествующих ему.
Функция Мёбиуса на ч. у. м. определяется на парах сравнимых элементов:
𝜇( 𝑎, 𝑏) = {
1, если 𝑎 = 𝑏
− ∑ 𝜇( 𝑎, 𝑐)
𝑐: 𝑎≼𝑐≺𝑏
, если 𝑎 ≺ 𝑏
Лемма. При любых 𝑧, 𝑥, таких, что 𝑧 ≼ 𝑥, выполнено
∑ 𝜇( 𝑦, 𝑥)
𝑦: 𝑧≼𝑦≼𝑥
= 𝟙 𝑧=𝑥
Доказательство. Если 𝑧 = 𝑥, то ∑ 𝜇( 𝑦, 𝑥)𝑦: 𝑧≼𝑦≼𝑥 = 𝜇( 𝑥, 𝑥) = 𝟙 𝑧=𝑥. Пусть теперь 𝑧 ≺ 𝑥. Поведём
индукцию по максимальному количеству элементов в цепях вида 𝑧 ≼ ⋯ ≼ 𝑥. Обозначим это
количество через 𝜏( 𝑧, 𝑥). Если 𝜏( 𝑧, 𝑥) = 2, т. е. 𝑧 непосредственно предшествует 𝑥, то
∑ 𝜇( 𝑦, 𝑥)
𝑦: 𝑧≼𝑦≼𝑥
= 𝜇( 𝑧, 𝑥) + 𝜇( 𝑥, 𝑥) = (−𝜇( 𝑧, 𝑧)) + 𝜇( 𝑥, 𝑥) = 0 = 𝟙 𝑧=𝑥.
Далее будем считать, что 𝜏( 𝑧, 𝑥) ≥ 3. Тогда
∑ 𝜇( 𝑦, 𝑥)
𝑦: 𝑧≼𝑦≼𝑥
= 𝜇( 𝑥, 𝑥) + ∑ (− ∑ 𝜇( 𝑦, 𝑢)
𝑢: 𝑦≼𝑢≺𝑥
)
𝑦: 𝑧≼𝑦≺𝑥
= 1 − ∑ 𝜇( 𝑦, 𝑢)
𝑦,𝑢: 𝑧≼𝑦≼𝑢≺𝑥
= 1 − ∑ ∑ 𝜇( 𝑦, 𝑢)
𝑦: 𝑧≼𝑦≼𝑢𝑢: 𝑧≼𝑢≺𝑥
= 1 − 𝜇( 𝑧, 𝑧) − ∑ ∑ 𝜇( 𝑦, 𝑢)
𝑦: 𝑧≼𝑦≼𝑢⏟
=𝟙 𝑧=𝑥=0по предп .инд .
𝑢: 𝑧≺𝑢≺𝑥
= 0.
Лемма доказана.
Важность функции Мёбиуса определяется следующей теоремой, позволяющей обращать операцию
суммирования.
Теорема (формула обращения Мёбиуса). Пусть для каждого 𝑥 функция 𝑓 выражается через 𝑔 по
формуле 𝑓( 𝑥) = ∑ 𝑔( 𝑦)𝑦≼𝑥 . Тогда справедлива формула
𝑔( 𝑥) = ∑ 𝑓( 𝑦) ⋅ 𝜇( 𝑦, 𝑥)
𝑦≼𝑥
.
Доказательство. Пользуясь леммой, выводим
∑ 𝑓( 𝑦) ⋅ 𝜇( 𝑦, 𝑥)
𝑦: 𝑦≼𝑥
= ∑ ( ∑ 𝑔( 𝑧)
𝑧: 𝑧≼𝑦
) 𝜇( 𝑦, 𝑥)
𝑦: 𝑦≼𝑥
= ∑ ( ∑ 𝑔( 𝑧) 𝜇( 𝑦, 𝑥)
𝑧: 𝑧≼𝑦
)
𝑦: 𝑦≼𝑥
= ∑ 𝑔( 𝑧) 𝜇( 𝑦, 𝑥)
𝑦,𝑧: 𝑧≼𝑦≼𝑥
= ∑ ∑ 𝑔( 𝑧) 𝜇( 𝑦, 𝑥)
𝑦: 𝑧≼𝑦≼𝑥𝑧: 𝑧≼𝑥
= ∑ 𝑔( 𝑧) ∑ 𝜇( 𝑦, 𝑥)
𝑦: 𝑧≼𝑦≼𝑥𝑧: 𝑧≼𝑥
= ∑ 𝑔( 𝑧) ⋅ 𝟙 𝑧=𝑥
𝑧: 𝑧≼𝑥
= 𝑔( 𝑥).
Теорема доказана.

10. www.dainiak.com
В следующих двух разделах мы применим теорему об обращении в двух частных случаях: когда в
качестве ч. у. м. рассматриваются соответственно булеан и множество натуральных чисел с
делимостью в качестве отношения сравнения.
2.3.2. Обращение Мёбиуса на булеане и формула включения-исключения
Вычислим функцию Мёбиуса для булеана множества {1, …, 𝑛} с отношением включения множеств в
качестве отношения порядка: (2{1,…,𝑛}
, ⊆).
Докажем индукцией по | 𝑌|, что для любой пары 𝑋, 𝑌, такой, что 𝑋 ⊆ 𝑌, выполнено
𝜇( 𝑋, 𝑌) = (−1)| 𝑌|−| 𝑋|
= (−1)| 𝑌∖𝑋|
.
База очевидна. Индуктивный переход:
𝜇( 𝑋, 𝑌) = − ∑ 𝜇( 𝑋, 𝑍)
𝑍: 𝑋⊆𝑍⊂𝑌
= − ∑ (−1)| 𝑍|−| 𝑋|
𝑍: 𝑋⊆𝑍⊂𝑌
= − ∑ (
| 𝑌| − | 𝑋|
𝑘
) (−1) 𝑘
| 𝑌|−| 𝑋|−1
𝑘=0
= (−1)| 𝑌|−| 𝑋|
.
Покажем, что из теоремы обращения Мёбиуса на булеане можно вывести формулу включения-
исключения
| 𝐴1 ∪ 𝐴2 ∪ … ∪ 𝐴 𝑛 |
= | 𝐴1| + ⋯ + | 𝐴 𝑛 | − | 𝐴1 ∩ 𝐴2| − | 𝐴1 ∩ 𝐴3| − ⋯− | 𝐴 𝑛−1 ∩ 𝐴 𝑛| + | 𝐴1 ∩ 𝐴2 ∩ 𝐴3| + ⋯
+ (−1) 𝑘
⋅ |𝐴𝑖1
∩ …∩ 𝐴𝑖 𝑘
| + ⋯ + (−1) 𝑛+1
⋅ | 𝐴1 ∩ … ∩ 𝐴 𝑛|.
Пусть 𝐴 ≔ ⋃ 𝐴𝑖
𝑛
𝑖=1 . Пусть 𝑓({𝑖1, …, 𝑖 𝑠}) обозначает количество объектов из 𝐴, которые могут не
принадлежать каким-либо из множеств 𝐴𝑖1
, …, 𝐴 𝑖 𝑠
, но должны принадлежать каждому из остальных
множеств. По определению, 𝑓({1,… , 𝑛}) = | 𝐴| и 𝑓( 𝐼) ≔ |⋂ 𝐴𝑖𝑖∉𝐼 | при 𝐼 ≠ {1, … , 𝑛}.
Аналогично, пусть 𝑔({𝑖1,… , 𝑖 𝑠}) обозначает количество объектов из 𝐴, которые не принадлежат ни
одному из множеств 𝐴𝑖1
, … , 𝐴 𝑖 𝑠
и принадлежат каждому из остальных множеств. Заметим, что
𝑔({1, …, 𝑛}) = 0.
Функция 𝑓 считает количество объектов с заданным набором возможных непринадлежностей, а 𝑔
считает количество объектов, у которых набор непринадлежностей в точности равен заданному. Из
определений 𝑓 и 𝑔 следует, что для каждого множества индексов 𝐼 выполнено
𝑓( 𝐼) = ∑ 𝑔( 𝐼′)
𝐼′
⊆𝐼
.
Применив обращение Мёбиуса, и учитывая соотношение для 𝑓, мы получаем
0 = 𝑔({1, … , 𝑛}) = ∑ 𝑓( 𝐼)⋅ (−1) 𝑛−| 𝐼|
𝐼⊆{1,…,𝑛}
= ∑ 𝑓( 𝐼) ⋅ (−1) 𝑛−| 𝐼|
𝐼⊆{1,…,𝑛}
= | 𝐴| + ∑ |⋂ 𝐴𝑖
𝑖∉𝐼
| ⋅ (−1) 𝑛−| 𝐼|
𝐼⊂{1,…,𝑛}
.
Отсюда
| 𝐴| = ∑ |⋂ 𝐴𝑖
𝑖∉𝐼
| ⋅ (−1) 𝑛−| 𝐼|+1
𝐼⊂{1,…,𝑛}
= ∑ |⋂ 𝐴𝑖
𝑖∈𝐼
| ⋅ (−1)| 𝐼|+1
∅≠𝐼⊆{1,…,𝑛}
,
что и требовалось.
2.3.3. Арифметическая теорема об обращении и количество циклических слов
«Теоретико-числовая» функция Мёбиуса определяется следующим образом:

11. www.dainiak.com
𝜇̂( 𝑛) = {
1, если 𝑛 = 1
0, если ∃𝑝 т. что 𝑝2
|𝑛
(−1) 𝑠
, если 𝑛 = 𝑝1 ⋅ …⋅ 𝑝𝑠
«Теоретико-числовая» теорема об обращении. Если для каждого 𝑛 ∈ ℕ выполнено равенство
𝑓( 𝑛) = ∑ 𝑔( 𝑘)
𝑘|𝑛
,
то для каждого 𝑚 ∈ ℕ имеем
𝑔( 𝑚) = ∑ 𝑓( 𝑙) ⋅ 𝜇̂( 𝑚 𝑙⁄ )
𝑙|𝑚
.
Доказательство. Рассмотрим ч. у. м. натуральных чисел, с отношением делимости в качестве
частичного порядка. Докажем индукцией по 𝑥 𝑦⁄ соотношение 𝜇( 𝑦, 𝑥) = 𝜇̂( 𝑥 𝑦⁄ ), отсюда, в силу
справедливости «общей» теоремы об обращении, будет следовать и «теоретико-числовая» теорема.
База 𝑥 𝑦⁄ = 1 очевидна: 𝜇( 𝑥, 𝑥) = 1 = 𝜇̂( 𝑥 𝑥⁄ ). Пусть далее 𝑦|𝑥 и 𝑦 < 𝑥. Тогда 𝑥 = 𝑦 ⋅ 𝑝1
𝛼1
… 𝑝𝑘
𝛼 𝑘
для некоторых простых 𝑝𝑖 и положительных 𝛼𝑖. Выполним индуктивный переход. Имеем
𝜇( 𝑦, 𝑥) = − ∑ 𝜇( 𝑦, 𝑧)
𝑧: 𝑦∣𝑧 и 𝑧∣𝑥 и 𝑧<𝑥
= − ∑ 𝜇̂( 𝑧 𝑦⁄ )
𝑧: 𝑦∣𝑧 и 𝑧 ∣𝑥 и 𝑧 <𝑥
= − ∑ 𝜇̂ (𝑝1
𝛽1
… 𝑝𝑘
𝛽 𝑘
)
𝛽1≤𝛼1 ,…,𝛽 𝑘≤𝛼 𝑘
( 𝛽1,…,𝛽 𝑘)≠( 𝛼1,…,𝛼 𝑘)
= − ∑ 𝜇̂ (𝑝1
𝛽1
… 𝑝 𝑘
𝛽 𝑘
)
𝛽1,…,𝛽 𝑘∈{0,1}
( 𝛽1,…,𝛽 𝑘)≠( 𝛼1,…,𝛼 𝑘)
.
Если 𝛼1 = ⋯ = 𝛼 𝑘 = 1, то
𝜇( 𝑦, 𝑥) = −∑ (
𝑘
𝑖
) ⋅ (−1)𝑖
𝑘−1
𝑖=0
= (−1) 𝑘
= 𝜇̂( 𝑥 𝑦⁄ ).
Если же 𝛼𝑗 > 1 для некоторого 𝑗, то
𝜇( 𝑦, 𝑥) = −∑ (
𝑘
𝑖
) ⋅ (−1)𝑖
𝑘
𝑖=0
= 0 = 𝜇̂( 𝑥 𝑦⁄ ).
В обоих случаях индуктивный переход выполнен и теорема доказана.
Применим доказанную теорему для решения задачи о количестве циклических слов. Циклическое
слово — это класс эквивалентности «обычных» слов относительно циклического сдвига.
Неформально говоря, циклическое слово — это обычное слово, «замкнутое в круг». Разные обычные
слова могут порождать одно и то же циклическое: например, слова «абракадабра» и
«акадабраабр». Или, если представить это наоборот, одно циклическое слово порождает несколько
обычных.
Наша задача: найти 𝑇𝑟( 𝑛) — количество циклических слов длины 𝑛 в 𝑟-буквенном алфавите.
Назовём периодом циклического слова 𝑤 такое минимальное число 𝑘, что 𝑤 может быть получено
многократным повторением слова 𝑘. Очевидно, число 𝑘 должно делить длину 𝑤. Каждое
циклическое слово периода 𝑘 порождает ровно 𝑘 обычных слов, и каждое обычное слово может
быть получено из некоторого циклического «разрывом» в нужной позиции. Отсюда, учитывая, что
всего обычных слов ровно 𝑟 𝑛
, и обозначив через 𝑠( 𝑘) число циклических слов периода 𝑘, получаем
𝑟 𝑛
= ∑ 𝑘 ⋅ 𝑠( 𝑘)
𝑘|𝑛
.
Применив теоретико-числовое обращение Мёбиуса, взяв 𝑓( 𝑛) ≔ 𝑟 𝑛
и 𝑔( 𝑘) ≔ 𝑘 ⋅ 𝑠( 𝑘), получим

12. www.dainiak.com
𝑚 ⋅ 𝑠( 𝑚) = ∑ 𝑟𝑙
⋅ 𝜇̂( 𝑚 𝑙⁄ )
𝑙|𝑚
.
Окончательно находим
𝑇𝑟( 𝑛) = ∑ 𝑠( 𝑚)
𝑚|𝑛
= ∑
1
𝑚
∑ 𝑟𝑙
⋅ 𝜇̂( 𝑚 𝑙⁄ )
𝑙|𝑚𝑚|𝑛
.
Утверждение. При любом фиксированном 𝑟 при 𝑛 → ∞ выполнено
𝑇𝑟( 𝑛) ∼
𝑟 𝑛
𝑛
.
Доказательство. Одно и то же циклическое слово длины 𝑛 порождает не более 𝑛 обычных слов,
поэтому
𝑟 𝑛
≤ 𝑛 ⋅ 𝑇𝑟( 𝑛) ⇒ 𝑇𝑟( 𝑛) ≥
𝑟 𝑛
𝑛
.
Осталось оценить 𝑇𝑟( 𝑛) сверху. Имеем
𝑇𝑟( 𝑛) = ∑
1
𝑘
∑ 𝑟𝑙
⋅ 𝜇( 𝑘 𝑙⁄ )
𝑙|𝑘𝑘|𝑛
≤ ∑
1
𝑘
∑ 𝑟𝑙
𝑙|𝑘𝑘|𝑛
≤ ∑
1
𝑘
(𝑟 𝑘
+ ∑ 𝑟𝑙
𝑙≤𝑘 2⁄
)
𝑘|𝑛
≤ ∑
1
𝑘
(𝑟 𝑘
+
𝑘
2
⋅ 𝑟 𝑘 2⁄
)
𝑘|𝑛
≤
1
𝑛
(𝑟 𝑛
+
𝑛
2
⋅ 𝑟 𝑛 2⁄
) + 𝑛 ⋅ (𝑟 𝑛 2⁄
+
𝑛
4
⋅ 𝑟 𝑛 4⁄
)≲ 𝑟 𝑛
𝑛⁄ .
3. Группы
3.1. Определения
Группа — это множество 𝔾 с заданной на нём бинарной операцией ∘, которая удовлетворяет
следующим свойствам (аксиомам группы).
 Ассоциативность. ∀𝑎, 𝑏, 𝑐 ∈ 𝔾 ( 𝑎 ∘ 𝑏) ∘ 𝑐 = 𝑎 ∘ ( 𝑏 ∘ 𝑐).
 Существование нейтрального элемента. ∃𝑒 ∈ 𝔾: ∀𝑎 ∈ 𝔾 𝑎 ∘ 𝑒 = 𝑒 ∘ 𝑎 = 𝑎.
 Существование обратных элементов. ∀𝑎 ∈ 𝔾 ∃𝑏 ∈ 𝔾: 𝑎 ∘ 𝑏 = 𝑏 ∘ 𝑎 = 𝑒.
Группы, в которых операция ∘ коммутативна (то есть 𝑎 ∘ 𝑏 = 𝑏 ∘ 𝑎 для любых 𝑎, 𝑏), называют
абелевыми или коммутативными группами.
Количество элементов в группе называется её порядком.
Операция ∘ часто обозначается также знаком «+» (и тогда говорят об аддитивных обозначениях) или
«⋅» (тогда обозначения называют мультипликативными).
Общая запись В обозначении «+» В обозначении «⋅»
𝑎 ∘ 𝑏 𝑎 + 𝑏 𝑎 ⋅ 𝑏 или просто 𝑎𝑏
Нейтральный элемент 𝑒 0 1
Обратный элемент к элементу 𝑎 −𝑎 𝑎−1
𝑎 ∘ 𝑎 ∘ …∘ 𝑎⏟
𝑛 раз
𝑛𝑎 𝑎 𝑛
Вместо 𝑎 + (−𝑏) сокращённо пишут: 𝑎 − 𝑏. Вместо 𝑎 ⋅ 𝑏−1
сокращённо пишут: 𝑎/𝑏.
Примеры групп.
 ℤ относительно операции +,

13. www.dainiak.com
 множество чётных чисел относительно +,
 ℚ относительно операции +
 ℚ ∖ {0} относительно операции ×,
 ℝ 𝑛
относительно операции покоординатного сложения векторов.
 множество невырожденных матриц из ℝ 𝑛×𝑛
относительно операции умножения матриц.
Примеры множеств, не являющихся группами.
 ℤ относительно операции ×,
 множество нечётных чисел относительно +,
 ℝ 𝑛× 𝑛
относительно операции умножения матриц.
Группой является множество всевозможных поворотов плоскости относительно начала координат. В
ней операция 𝑎 ∘ 𝑏 означает, что сначала выполняется поворот 𝑎, а затем 𝑏 (композиция
поворотов). Нейтральный элемент в этой группе — поворот на 0o
. Обратным элементом к повороту
на угол 𝛼 является поворот на угол (−𝛼).
Утверждение. В любой группе нейтральный элемент единственный.
Доказательство. Пусть 𝑒′
и 𝑒′′
— нейтральные элементы. Т.к. 𝑒′′
нейтральный, то 𝑒′
∘ 𝑒′′
= 𝑒′
, т.к. 𝑒′
нейтральный, то 𝑒′
∘ 𝑒′′
= 𝑒′′
. Отсюда 𝑒′
= 𝑒′′
.
Утверждение. В любой группе для любого элемента 𝑎 обратный к 𝑎 элемент единственный.
Доказательство. Пусть 𝑏′
и 𝑏′′
— обратные к 𝑎 элементы. Тогда
𝑏′
= 𝑏′
∘ 𝑒 = 𝑏′
∘ ( 𝑎 ∘ 𝑏′′) = ( 𝑏′
∘ 𝑎) ∘ 𝑏′′
= 𝑒 ∘ 𝑏′′
= 𝑏′′
.
Группы ( 𝔾′
,∘) и ( 𝔾′′
,▪) называются изоморфными, если существует биекция 𝜙: 𝔾′
↔ 𝔾′′
, такая, что
∀𝑎, 𝑏 ∈ 𝔾′
𝜙( 𝑎)▪𝜙( 𝑏) = 𝜙( 𝑎 ∘ 𝑏).
Нетрудно показать, что изоморфизм 𝜙 всегда отображает нейтральный элемент в нейтральный.
Кроме того, если 𝑎 и 𝑏 — взаимно обратные элементы в 𝔾′
, то 𝜙( 𝑎) и 𝜙(𝑏) будут взаимно
обратными в 𝔾′′
. Читателю предлагается доказать это самостоятельно.
Примеры изоморфных групп.
 Группа (ℤ, +) изоморфна группе чётных чисел с операцией сложения. Изоморфизм: 𝑥 →
2𝑥.
 Группа поворотов плоскости на угол, кратный 𝜋
2
, с операцией композиции изоморфна
группе чисел {0,1,2,3} с операцией сложения по модулю 4.
3.2. Эквивалентныеопределения групп
3.2.1. Определение через существование решений уравнений
Утверждение. Группу можно определить как множество 𝔾 с ассоциативной операцией ∘, такой, что
для любых 𝑎, 𝑏 ∈ 𝔾 существуют решения уравнений 𝑎 ∘ 𝑥 = 𝑏 и 𝑥 ∘ 𝑎 = 𝑏 относительно 𝑥.
Доказательство. Будем работать в мультипликативных обозначениях. Пусть 𝔾 — группа, согласно
основному определению. Тогда любое уравнение вида 𝑎𝑥 = 𝑏 имеет решение:
𝑥 = ( 𝑎−1
𝑎) 𝑥 = 𝑎−1( 𝑎𝑥) = 𝑎−1
𝑏,
то есть 𝑥 существует и определён однозначно. Аналогично рассматривается уравнение 𝑥𝑎 = 𝑏.

14. www.dainiak.com
Обратно, пусть уравнения вида 𝑎𝑥 = 𝑏 и 𝑥𝑎 = 𝑏 разрешимы во множестве 𝔾. Докажем
существование нейтрального элемента. Зафиксируем 𝑎 ∈ 𝔾. Пусть 𝑒left — решение уравнения 𝑥𝑎 =
𝑎. Пусть 𝑏 ∈ 𝔾 — произвольный элемент 𝔾. Пусть 𝑐 — решение уравнения 𝑎𝑥 = 𝑏. Имеем
𝑒left 𝑏 = 𝑒left( 𝑎𝑐) = ( 𝑒left 𝑎) 𝑐 = 𝑎𝑐 = 𝑏.
Итак, 𝑒left 𝑏 = 𝑏 для любого 𝑏 ∈ 𝔾. Пусть 𝑒right — решение уравнения 𝑎𝑥 = 𝑎. Совершенно
аналогично доказывается, что 𝑏𝑒right = 𝑏 для любого 𝑏. Кроме того, 𝑒left = 𝑒left 𝑒right = 𝑒right, то есть
𝑒 ≔ 𝑒left = 𝑒right — «полноценный» нейтральный элемент в 𝔾. Существование нейтрального
элемента 𝑒 ∈ 𝔾 доказано.
Осталось доказать существование обратных элементов. Для любого 𝑎 пусть 𝑎left
−1
и 𝑎right
−1
— решения
уравнений 𝑥𝑎 = 𝑒 и 𝑎𝑥 = 𝑒 соответственно. Достаточно показать, что 𝑎left
−1
= 𝑎right
−1
. Имеем
𝑎left
−1
= 𝑎left
−1
𝑒 = 𝑎left
−1
𝑎 𝑎right
−1
= 𝑒𝑎right
−1
= 𝑎right
−1
,
что и требовалось.
Утверждение доказано.
3.2.2. Альтернативное определение для конечных групп
Читателю в качестве простого упражнения на применение принципа Дирихле предлагается доказать,
что следующее определение эквивалентно второму определению групп в случае конечном случае.
Конечная группа — это множество 𝔾 = { 𝑔1, … , 𝑔 𝑛} с бинарной ассоциативной операцией ∘, такой,
что для каждого 𝑎 ∈ 𝔾 все элементы
𝑎 ∘ 𝑔1 𝑎 ∘ 𝑔2 … 𝑎 ∘ 𝑔 𝑛
различны и все элементы
𝑔1 ∘ 𝑎 𝑔2 ∘ 𝑎 … 𝑔 𝑛 ∘ 𝑎
различны.
3.3. Группыперестановок и теорема Кэли
Подстановка (перестановка) — это биекция множества на себя. Композиция перестановок — это их
последовательное применение. Например, композиция перестановок (1 → 3,2 → 2,3 → 1,4 → 4) и
(1 → 4,2 → 3,3 → 1,4 → 2) — это подстановка (1 → 1,2 → 3,3 → 4,4 → 2). Композицию перестановок
𝜎′
и 𝜎′′
, при которой вначале применяется 𝜎′
, а затем 𝜎′′
, будем обозначать 𝜎′
𝜎′′
.
Перестановку 𝜎 на множестве { 𝑣1 , …, 𝑣 𝑛} можно задать в виде орграфа, в котором дуга ведёт из 𝑣𝑖 в
𝑣𝑗, если 𝜎( 𝑣𝑖) = 𝑣𝑗. В этом орграфе каждая вершина имеет ровно по одной входной и выходной
дуге, то есть орграф распадается на непересекающиеся простые циклы. Они называются циклами
перестановки 𝜎. Например, у перестановки (1 → 1,2 → 3,3 → 4,4 → 2) один цикл длины 1 и один
цикл длины 3. Часто перестановки записывают, перечисляя их циклы, и внутри каждого цикла
перечисляя вершины в порядке их следования по циклу. Например, рассмотренная выше
перестановка будет записана как (1)(234).
Нетрудно проверить, что совокупность всех подстановок на множестве {1,2, … , 𝑛} образует группу
относительно композиции. Эта группа называется симметрической группой и обозначается 𝕊 𝑛 .
Очевидно, | 𝕊 𝑛 | = 𝑛!
Если ( 𝔾,∘) — группа, ℍ ⊆ 𝔾 и ℍ является группой относительно операции ∘, то ℍ называется
подгруппой группы 𝔾. Обозначение: ℍ ≤ 𝔾.
Примеры подгрупп.
 При каждом фиксированном 𝑘 все числа, делящиеся на 𝑘, образуют подгруппу в (ℤ, +).

15. www.dainiak.com
 Подстановки на множестве {1,2, … , 𝑛}, оставляющие элемент 𝑘 неподвижным, образуют
подгруппу в группе 𝕊 𝑛 .
Теорема Кэли. Любая конечная группа порядка 𝑛 изоморфна некоторой подгруппе группы 𝕊 𝑛 .
Доказательство. Предъявим требуемый изоморфизм. Пусть 𝔾 = { 𝑔1, 𝑔2, … , 𝑔 𝑛}. Каждому элементу
𝑎 ∈ 𝔾 сопоставим отображение 𝜎𝑎 на множестве 𝔾:
𝜎𝑎 ( 𝑔1) ≔ 𝑔1 ∘ 𝑎
⋮
𝜎𝑎( 𝑔 𝑛) ≔ 𝑔 𝑛 ∘ 𝑎
Для каждого 𝑎 отображение 𝜎𝑎 является перестановкой, т.к. при 𝑖 ≠ 𝑗 имеем 𝑔𝑖 ∘ 𝑎 ≠ 𝑔𝑗 ∘ 𝑎 (ср.
альтернативное определение конечных групп). Очевидно также, что при 𝑎 ≠ 𝑏 имеем 𝜎𝑎 ≠ 𝜎𝑏, то
есть рассматриваемое сопоставление элементам 𝔾 перестановок является биекцией из 𝔾
в {𝜎𝑔1
, … , 𝜎𝑔 𝑛
}.
Пусть 𝜎𝑎 и 𝜎𝑏 — перестановки, сопоставленные элементам 𝑎, 𝑏 ∈ 𝔾. Посмотрим, как себя ведёт
композиция этих перестановок 𝜎𝑎 𝜎𝑏. Пусть 𝑔 ∈ 𝔾. Имеем
( 𝜎𝑎 𝜎𝑏)( 𝑔) = 𝜎𝑏( 𝑔 ∘ 𝑎) = ( 𝑔 ∘ 𝑎) ∘ 𝑏 = 𝜎𝑎∘𝑏( 𝑔).
Осталось показать, что {𝜎𝑔1
, …, 𝜎𝑔 𝑛
} — группа относительно операции композиции. Нейтральная
перестановка у нас есть — это 𝜎𝑒, где 𝑒 — нейтральный элемент в 𝔾. Обратная перестановка к 𝜎𝑎 —
это 𝜎𝑏, где элемент 𝑏 обратен к 𝑎 в 𝔾. Действительно, тогда 𝜎𝑎 𝜎𝑏( 𝑥) = 𝑥 ∘ 𝑎 ∘ 𝑏 = 𝑥 ∘ 𝑒 = 𝑥.
3.4. Теорема Лагранжа
Пусть (𝔾,∘) — группа. Для элемента 𝑎 ∈ 𝔾 и подмножества 𝑆 ⊆ 𝔾 введём обозначения
𝑎 ∘ 𝑆 ≔ { 𝑎 ∘ 𝑠 ∣ 𝑠 ∈ 𝑆}
и
𝑆 ∘ 𝑎 ≔ { 𝑠 ∘ 𝑎 ∣ 𝑠 ∈ 𝑆}.
Утверждение. Для любого 𝑎 ∈ 𝐺 и любого 𝑆 ⊆ 𝔾 имеем
| 𝑎 ∘ 𝑆| = | 𝑆 ∘ 𝑎| = | 𝑆|.
Доказательство (здесь и далее в мультипликативных обозначениях). Пусть 𝑆 = { 𝑎1, … , 𝑎 𝑚}, где
𝑚 ≔ | 𝑆|. Зафиксируем любой элемент 𝑎 ∈ 𝔾 и любые 𝑖, 𝑗. Если 𝑎𝑎𝑖 = 𝑎𝑎𝑗, то 𝑎−1
𝑎𝑎𝑖 = 𝑎−1
𝑎𝑎𝑗,
откуда 𝑎𝑖 = 𝑎𝑗 . Значит, все элементы 𝑎𝑎1, 𝑎𝑎2 …, 𝑎𝑎 𝑚 различны.
Пусть ℍ ≤ 𝔾 и 𝑎 ∈ 𝔾. Множество 𝑎 ∘ ℍ называется левым смежным классом элемента 𝑎 по
подгруппе ℍ. Аналогично, множество ℍ ∘ 𝑎 называется правым смежным классом. Для абелевых
групп соответствующие левые и правые смежные классы совпадают.
Отметим, что если 𝑎 ∈ ℍ, то и правый, и левый смежные классы 𝑎 по ℍ совпадают с самой
подгруппой ℍ.
Примеры смежных классов.
 Множество чисел вида 7 + 3𝑘 образует смежный класс в абелевой группе (ℤ,+).
 Для фиксированных 𝑖, 𝑗 совокупность перестановок множества {1,2,… , 𝑛}, меняющих друг
с другом местами 𝑖 и 𝑗, образует смежный класс в группе 𝕊 𝑛 .
Утверждение. Различные левые смежные классы по одной и той же подгруппе не пересекаются. Это
же справедливо и для правых смежных классов.

16. www.dainiak.com
Доказательство. Пусть ℍ ≤ 𝐺 и 𝑎′
, 𝑎′′
∈ 𝐺. Допустим, что 𝑎′
ℍ ∩ 𝑎′′
ℍ ≠ ∅ и покажем, что тогда
𝑎′
ℍ = 𝑎′′
ℍ. Если 𝑎′
ℍ ∩ 𝑎′′
ℍ ∋ 𝑏, то существуют 𝑐, 𝑑 ∈ ℍ, такие, что 𝑏 = 𝑎′
𝑐 = 𝑎′′
𝑑.
Рассмотрим произвольный элемент 𝑠 ∈ 𝑎′
ℍ. По определению, ∃ℎ ∈ ℍ такой, что 𝑠 = 𝑎′
ℎ. Имеем 𝑠 =
𝑎′
ℎ = 𝑎′′( 𝑑𝑐−1)ℎ = 𝑎′′( 𝑑𝑐−1
ℎ). То есть 𝑠 ∈ 𝑎′′
ℍ. Получаем, что 𝑎′
ℍ ⊆ 𝑎′′
ℍ.
Аналогично доказывается, что 𝑎′′
ℍ ⊆ 𝑎′
ℍ. Отсюда 𝑎′
ℍ = 𝑎′′
ℍ. Утверждение доказано.
Теорема Лагранжа о порядке подгруппы. Если ℍ ≤ 𝔾 и | 𝔾| < ∞, то | 𝔾| делится на |ℍ|.
Доказательство. Очевидно, любой элемент 𝑎 ∈ 𝔾 принадлежит некоторому смежному классу ℍ, а
именно, 𝑎 ∈ 𝑎ℍ. Различные смежные классы по ℍ не пересекаются, поэтому имеет место разбиение
𝔾 = 𝑎1ℍ ⊔ 𝑎2ℍ ⊔ … ⊔ 𝑎 𝑚ℍ, где 𝑎𝑖ℍ — различные смежные классы. Так как | 𝑎𝑖ℍ| = |ℍ| для каждого
𝑖, то | 𝔾| = 𝑚 ⋅ |ℍ|. Теорема доказана.
3.5. Теорема Силова
Теорема Силова, в определённом смысле обратная к теореме Лагранжа утверждает, что для
широкого класса чисел, делящих порядок группы, существует подгруппа, имеющая в точности такую
мощность.
Теорема Силова о существовании подгруппы. Пусть 𝔾 — конечная группа. Для любого числа вида
𝑝 𝛼
, делящего | 𝔾|, существует ℍ ≤ 𝔾, такая, что |ℍ| = 𝑝 𝛼
. (Здесь 𝑝 простое, а 𝛼 произвольное
натуральное.)
Доказательство. Пусть 𝛽 ≔ max {𝑥 ∣ | 𝔾| делится на 𝑝 𝑥
}. Зафиксируем произвольное 𝛼 ≤ 𝛽.
Имеем | 𝔾| = 𝑝 𝛽
𝑙, где 𝑙 не делится на 𝑝. Положив 𝑀 ≔ { 𝑆 ⊆ 𝔾 ∣ | 𝑆| = 𝑝 𝛼}, получаем
| 𝑀| = (
𝑝 𝛽
𝑙
𝑝 𝛼
) =
𝑝 𝛽
𝑙 ⋅ (𝑝 𝛽
𝑙 − 1) ⋅ …⋅ (𝑝 𝛽
𝑙 − 𝑝 𝛼
+ 1)
1 ⋅ 2 ⋅ … ⋅ 𝑝 𝛼
= 𝑝 𝛽−𝛼
𝑙 ⋅ ∏
𝑝 𝛼
(𝑝 𝛽−𝛼
𝑙 − 1) + 𝑘
𝑘
𝑝 𝛼
−1
𝑘=1
.
При 𝑘 < 𝑝 𝛼
и 𝑚 ∈ ℕ степень, с которой 𝑝 входит в разложение числа 𝑘, равна степени, с которой 𝑝
входит в разложение числа ( 𝑝 𝛼
𝑚 + 𝑘). Поэтому в произведении справа число 𝑝 входит в
одинаковых степенях в числитель и знаменатель дробей. Стало быть, наибольшая степень числа 𝑝,
на которую делится | 𝑀|, равна ( 𝛽 − 𝛼).
Для 𝑆 ⊆ 𝔾 и 𝑔 ∈ 𝔾 обозначим 𝑆𝑔 ≔ { 𝑠𝑔 ∣ 𝑠 ∈ 𝑆}. Очевидно, если 𝑆 ∈ 𝑀, то 𝑆𝑔 ∈ 𝑀.
Орбитой множества 𝑆 назовём множество orb( 𝑆) ≔ { 𝑆𝑔 ∣ 𝑔 ∈ 𝔾}. Для любого 𝑆 ∈ 𝑀 выполнено
включение 𝑆 ∈ orb( 𝑆) ⊆ 𝑀.
Покажем, что если orb( 𝑆′)∩ orb( 𝑆′′) ≠ ∅, то orb( 𝑆′) = orb( 𝑆′′). Допустим, что orb( 𝑆′)∩ orb( 𝑆′′) ∋
𝑆, тогда
∃𝑎, 𝑏 ∈ 𝐺: 𝑆′
𝑎 = 𝑆′′
𝑏.
Отсюда 𝑆′
= 𝑆′′
𝑏𝑎−1
. Пусть 𝑇 ∈ orb( 𝑆′), т.е. 𝑇 = 𝑆′
𝑐 для некоторого 𝑐. Но тогда 𝑇 = 𝑆′′( 𝑏𝑎−1
𝑐) ∈
orb( 𝑆′′). Итак, orb( 𝑆′) ⊆ orb( 𝑆′′). Точно так же доказывается, что orb( 𝑆′′) ⊆ orb( 𝑆′),
и следовательно orb( 𝑆′) = orb( 𝑆′′). Следовательно, всё множество 𝑀 разбивается на
непересекающиеся орбиты: ∃𝑆1, … , 𝑆 𝑟 такие, что
𝑀 = orb( 𝑆1)⊔ … ⊔ orb( 𝑆 𝑟).
Наибольшая степень 𝑝, на которую делится | 𝑀|, равна ( 𝛽 − 𝛼), поэтому
∃𝑖: |orb( 𝑆𝑖)| не делится на 𝑝 𝛽−𝛼+1
.

17. www.dainiak.com
Зафиксируем 𝑆 ∈ 𝑀, такое, что
orb( 𝑆) = { 𝑇1, 𝑇2, … , 𝑇𝑛},
где 𝑛 не делится на 𝑝 𝛽−𝛼+1
.
Положим ℍ ≔ { 𝑔 ∈ 𝔾 ∣ 𝑇1 𝑔 = 𝑇1}. Если 𝑔1, 𝑔2 ∈ ℍ, то 𝑇1( 𝑔1 𝑔2) = ( 𝑇1 𝑔1) 𝑔2 = 𝑇1 𝑔2 = 𝑇1, то есть
𝑔1 𝑔2 ∈ ℍ.
Если 𝑔 ∈ ℍ, то 𝑇1 𝑔−1
= ( 𝑇1 𝑔) 𝑔−1
= 𝑇1( 𝑔𝑔−1) = 𝑇1 𝑒 = 𝑇1, то есть 𝑔−1
∈ ℍ.
Отсюда ℍ — подгруппа в 𝔾. Рассмотрим произвольный правый смежный класс ℍ𝑎 по подгруппе ℍ.
Пусть 𝑇1 𝑎 = 𝑇𝑘. Рассмотрим произвольный элемент 𝑔 ∈ ℍ𝑎. Т.к. 𝑔 = ℎ𝑎 для некоторого ℎ ∈ ℍ, то
𝑇1 𝑔 = 𝑇1(ℎ𝑎) = ( 𝑇1ℎ) 𝑎 = 𝑇1 𝑎 = 𝑇𝑘. Оказалось, что любой правый смежный класс по подгруппе ℍ
может быть представлен как
{ 𝑔 ∈ 𝐺 ∣ 𝑇1 𝑔 = 𝑇𝑘}
для некоторого 𝑘. А значит, общее число различных смежных классов по ℍ равно 𝑛. Отсюда
𝑛 ⋅ |ℍ| = | 𝔾| = 𝑝 𝛽
𝑙 ⇒ |ℍ| =
𝑝 𝛽
𝑙
𝑛
,
и, так как 𝑛 не делится на 𝑝 𝛽−𝛼+1
, то |ℍ| делится на 𝑝 𝛼
.
Достаточно теперь показать, что |ℍ| ≤ 𝑝 𝛼
. Возьмём произвольный 𝑡 ∈ 𝑇1. Для любого ℎ ∈ ℍ имеем
𝑡ℎ ∈ 𝑇1ℎ = 𝑇1. Отсюда 𝑡ℍ ⊆ 𝑇1. Следовательно |ℍ| = | 𝑡ℍ| ≤ | 𝑇1| = 𝑝 𝛼
.
Теорема доказана.
3.6. Теорема Редфилда—Пойи
3.6.1. Постановка задачи
Рассмотрим такую задачу: сколькими способами можно раскрасить клетки доски 2 × 2в красный и
синий цвета? Раскраски считаются различными, если одну из другой нельзя получить поворотами
доски:
Множество всевозможных раскрасок разбивается на классы эквивалентности, и нам нужно найти
число этих классов.
Итак, раскрасить клетчатую доску 2 × 2 в красный и синий цвета можно шестью различными
способами:
~ ≁

18. www.dainiak.com
(На рисунке выше мы взяли по одной раскраске из каждого класса эквивалентности.)
Общая постановка задачи подсчёта числа раскрасок
 Дана конфигурация (клетчатая доска, таблица, многоугольник и т.д.), состоящая из
отдельных частей (клеток, вершин/рёбер графа, …).
 Задано множество цветов, которые мы можем присваивать частям нашейконфигурации.
Раскраска конфигурации — это присвоение каждому её элементу одного из цветов.
 Задана группа перестановок частей конфигурации. Две раскраски для нас эквивалентны,
если они совпадают при какой-либо перестановке, принадлежащей группе.
 Нужно найти число классов эквивалентности.
Обозначения и термины
 𝔾 — группа перестановок частей конфигурации.
 Col — множество всевозможных раскрасок конфигурации (|Col| = #цветов#частей
).
 Раскраска, переходящая сама в себя при перестановке 𝜋, называется неподвижной
относительно 𝜋.
 Класс эквивалентности, в который входит раскраска, называется орбитой этой раскраски.
3.6.2. Лемма Бёрнсайда
Обозначим через 𝑛stable ( 𝜋) число раскрасок, неподвижных относительно 𝜋.
Лемма (Коши—Фробениуса—)Бёрнсайда. Число различных орбит раскрасок равняется
1
| 𝔾|
⋅ ∑ 𝑛stable ( 𝜋)
𝜋∈𝔾
.
Доказательство. Пусть Col1, … ,Col 𝑚 — все различные орбиты раскрасок. Пусть Col𝑖 = { 𝑐1, …, 𝑐 𝑟} —
произвольная из этих орбит. Положим
𝔾 𝑐1
≔ {𝜋 ∈ 𝔾 ∣ 𝜋 переводит раскраску 𝑐1 саму в себя}.
Можно проверить, что 𝔾 𝑐1
— подгруппа в 𝔾. Она называется стабилизатором раскраски 𝑐1.
Зафиксируем какую-нибудь раскраску 𝑐𝑗. Пусть 𝜋′
∈ 𝐺 — произвольная перестановка, переводящая
𝑐1 в 𝑐𝑗. Докажем, что
𝔾 𝑐1
𝜋′
= {𝜎 ∈ 𝔾 ∣ 𝜎 переводит 𝑐1 в 𝑐𝑗}.
Пусть 𝜋 — произвольная перестановка из 𝔾 𝑐1
. Тогда перестановка 𝜋𝜋′
сначала действует как 𝜋 (т.е.
оставляет 𝑐1 неподвижной), а затем как 𝜋′
, то есть переводит 𝑐1 в 𝑐𝑗. Тем самым мы доказали
вложенность
𝔾 𝑐1
𝜋′
⊆ {𝜎 ∈ 𝔾 ∣ 𝜎 переводит 𝑐1 в 𝑐𝑗}.
Теперь докажем включение в обратную сторону. Пусть 𝜎 ∈ 𝔾 и 𝜎 переводит 𝑐1 в 𝑐𝑗. Тогда 𝜎( 𝜋′)−1
переводит 𝑐1 саму в себя, то есть 𝜎( 𝜋′)−1
∈ 𝔾 𝑐1
. Отсюда 𝜎 ∈ 𝔾 𝑐1
𝜋′
.

19. www.dainiak.com
Мы доказали, что для каждого 𝑗 множество {𝜎 ∈ 𝔾 ∣ 𝜎 переводит 𝑐1 в 𝑐𝑗}суть смежный класс
подгруппы 𝔾 𝑐1
. Отсюда вытекает равенство
#{𝜎 ∈ 𝔾 ∣ 𝜎 переводит 𝑐1 в 𝑐𝑗} = |𝔾 𝑐1
|
для каждого 𝑗 ∈ {1, … , 𝑟}. Отсюда следует, что |Col𝑖| ⋅ |𝐺𝑐1
| = | 𝔾|.
Из доказанного выше следует, что для любой орбиты Col𝑖 и любой раскраски 𝑐 ∈ Col𝑖 выполнено
равенство
#{𝜋 ∈ 𝔾 ∣ 𝜋 переводит 𝑐 саму в себя} =
| 𝔾|
|Col𝑖|
.
Для раскраски 𝑐 и перестановки 𝜋 ∈ 𝔾 положим
𝟙 𝜋,𝑐 ≔ {
1, если 𝑐 неподвижна относительно 𝜋
0, иначе
Имеем
∑ 𝑛stable ( 𝜋)
𝜋∈𝔾
= ∑ ∑ 𝟙 𝜋,𝑐
𝑐∈Col𝜋∈ 𝔾
= ∑ ∑ 𝟙 𝜋,𝑐
𝜋∈𝔾𝑐∈Col
= ∑ ∑ ∑ 𝟙 𝜋,𝑐
𝜋∈𝔾𝑐∈Col𝑖
𝑚
𝑖=1
= ∑ ∑ #{𝜋 ∈ 𝔾 ∣ 𝜋 переводит 𝑐 саму в себя}
𝑐∈Col𝑖
𝑚
𝑖=1
= ∑ ∑
| 𝔾|
|Col𝑖|
𝑐∈Col𝑖
𝑚
𝑖=1
= ∑| 𝔾|
𝑚
𝑖=1
= 𝑚 ⋅ | 𝔾|.
Отсюда
𝑚 =
1
| 𝔾|
⋅ ∑ 𝑛stable ( 𝜋)
𝜋∈𝔾
,
что и требовалось. Лемма Бёрнсайда доказана.
3.6.3. Теорема Редфилда—Пойи
Теорема Редфилда—Пойи. Число различных орбит раскрасок конфигурации в цвета из множества
{1, … , 𝑙} равно
1
| 𝔾|
⋅ ∑ 𝑙#циклов в 𝜋
𝜋∈𝔾
.
Доказательство. Заметим, что раскраска неподвижна относительно перестановки т. и т.т., когда
части конфигурации, входящие в один и тот же цикл перестановки, окрашены одинаково. Поэтому
количество раскрасок, неподвижных относительно перестановки 𝜋, равно 𝑙#циклов в 𝜋
. Осталось
применить лемму Бёрнсайда.
Следствие. Если в конфигурации 𝑛 частей, то количество орбит раскрасок в не более чем 𝑙 цветов
при 𝑙 → ∞ асимптотически равно
𝑙 𝑛
| 𝔾|
.
Доказательство. Заметим, что любой группе перестановок принадлежит тождественная
перестановка; в ней 𝑛 циклов, а в любой другой перестановке менее чем 𝑛 циклов. По теореме
Редфилда—Пойи, число различных орбит равно
1
| 𝔾|
⋅ (𝑙 𝑛
+ ∑ 𝑙#циклов в 𝜋
𝜋∈𝔾
𝜋 не тожд.
) ≤
1
| 𝔾|
⋅ ( 𝑙 𝑛
+ (| 𝔾| − 1) ⋅ 𝑙 𝑛−1) ∼
𝑙 𝑛
| 𝔾|
.

20. www.dainiak.com
Пример применения теоремы Редфилда—Пойи. Сколькими способами можно раскрасить доску
2 × 2 в цвета из множества {1, …, 𝑙}, если раскраски, переходящие друг в друга при вращении
квадрата, считаются одинаковыми? Сначала найдём количество циклов в перестановках клеток
доски при вращениях:
Применив теорему Редфилда—Пойи, получаем
#раскрасок =
𝑙4
+ 𝑙2
+ 2𝑙
4
∼
𝑙4
4
.
3.7. Группывычетов
В этом и следующих разделах часто будут возникать простые числа. Полезно помнить, что их
достаточно много. Многие знают следующую широко известную теорему.
Теорема (постулат Бертрана). Для любого 𝑛 ∈ ℕ в интервале [ 𝑛, 2𝑛] лежит хотя бы одно простое
число.
На самом деле, при больших ℕ можно дать куда лучшую оценку. Ниже приведён самый точный из
известных на сегодняшний день асимптотических результатов о существовании простых чисел.
Теорема (Бейкер, Харман, Пинц). Для любого достаточно большого 𝑛 в интервале [𝑛, 𝑛 + 𝑛21 40⁄
]
лежит хотя бы одно простое число.
Введём нужные для дальнейшего обозначения. Для любых 𝑛 ∈ ℤ и 𝑚 ∈ ℤ ∖ {0} существуют
и однозначно определены 𝑘, 𝑟 ∈ ℕ0, такие, что
𝑛 = 𝑘 ⋅ 𝑚 + 𝑟,
𝑟 < 𝑚.
Число 𝑟 — остаток от деления 𝑛 на 𝑚, или вычет числа 𝑛 по модулю 𝑚. Обозначение: 𝑟 =
𝑛 mod 𝑚.
Если 𝑛1 mod 𝑚 = 𝑛2 mod 𝑚, то пишут 𝑛1 ≡ 𝑛2 (mod 𝑚) и говорят, что 𝑛1 и 𝑛2 равны по модулю 𝑚.
Мы ещё будем обозначать это так: 𝑛1 =
𝑚
𝑛2.
Утверждение. Пусть 𝑛1 =
𝑚
𝑛2 и 𝑛3 =
𝑚
𝑛4. Тогда
𝑛1 + 𝑛3 =
𝑚
𝑛2 + 𝑛4,
𝑛1 − 𝑛3 =
𝑚
𝑛2 − 𝑛4,
𝑛1 𝑛3 =
𝑚
𝑛2 𝑛4.
Доказательство. По условию,
1
4
2
3
4
3
1
2
3
2
4
1
2
1
3
4
1
4
2
3
1 2 3 4
1 2 3 4
1 2 3 4
1 2 3 4
1
2
1
4

21. www.dainiak.com
𝑛1 = 𝑘1 ⋅ 𝑚 + 𝑟′
,
𝑛2 = 𝑘2 ⋅ 𝑚 + 𝑟′
,
𝑛3 = 𝑘3 ⋅ 𝑚 + 𝑟′′
,
𝑛4 = 𝑘4 ⋅ 𝑚 + 𝑟′′
.
Отсюда
𝑛1 + 𝑛3 = ( 𝑘1 + 𝑘3) ⋅ 𝑚 + 𝑟′
+ 𝑟′′
=
𝑚
𝑟′
+ 𝑟′′
,
𝑛2 + 𝑛4 = ( 𝑘2 + 𝑘4) ⋅ 𝑚 + 𝑟′
+ 𝑟′′
=
𝑚
𝑟′
+ 𝑟′′
.
Следовательно, 𝑛1 + 𝑛3 =
𝑚
𝑛2 + 𝑛4. Совершенно аналогично доказываются остальные равенства.
Утверждение. Если 𝑛1 =
𝑚
𝑛2, то 𝑛1
𝑘
=
𝑚
𝑛2
𝑘
для любого 𝑘.
Доказательство можно провести индукцией по 𝑘 с использованием предыдущего утверждения.
Вычисления по модулю можно легко производить даже с очень большими числами, если модуль
небольшой.
Пример. Какому числу из [0,10] равно по модулю 11 значение выражения 4100
⋅ 106
+ 1885
?
Решение:
4100
⋅ 106
+ 1885
= (11 + 5)50
⋅ (11 − 1)6
+ (22 − 4)85
=
11
550
⋅ (−1)6
+ (−4)85
= 2525
− 210⋅17
= (22 + 3)25
− (93 ⋅ 11 + 1)17
=
11
325
− 1 = 2435
− 1 = (2 ⋅ 121 + 1)5
− 1 =
11
0.
Утверждение. Множество чисел ℤ 𝑚 ≔ {0,1,… , 𝑚 − 1} образует группу относительно операции ⊕.
Через ⊕ обозначена операция сложения по модулю 𝑚, то есть 𝑥⊕𝑦 — это такое число 𝑧 ∈ ℤ 𝑚, что
𝑧 =
𝑚
𝑥 + 𝑦. Группу ℤ 𝑚 называют аддитивной группой вычетов по модулю 𝑚.
Пример. Если мы работаем в ℤ5, то 3⊕2 = 0 и 4⊕4 = 3. Операцию ⊕ будем обычно обозначать
просто +.
Доказательство утверждения.
• Ассоциативность операции. Пусть 𝑎⊕( 𝑏⊕𝑐) = 𝑧′
и ( 𝑎⊕𝑏)⊕𝑐 = 𝑧′′
. Тогда 𝑧′
=
𝑚
𝑎 + 𝑑, где
𝑑 =
𝑚
𝑏 + 𝑐, и следовательно 𝑧′
=
𝑚
𝑎 + 𝑏 + 𝑐. Аналогично, 𝑧′′
=
𝑚
𝑎 + 𝑏 + 𝑐. Так как 𝑧′
=
𝑚
𝑧′′
и
𝑧′
, 𝑧′′
< 𝑚, то 𝑧′
= 𝑧′′
.
• Нейтральный элемент: 0.
• Существование обратных элементов. Для 0 обратный элемент 0. Для 𝑎 ≠ 0 обратным будет
( 𝑚 − 𝑎), т.к. 𝑎 + ( 𝑚 − 𝑎) = 𝑚 =
𝑚
0.
Утверждение доказано.
Если конечная группа 𝔾 изоморфна группе ℤ| 𝔾|, то 𝔾 называется циклической группой. Также
циклическими называют бесконечные группы, изоморфные группе (ℤ,+).
Примеры циклических групп:

22. www.dainiak.com
 группа поворотов плоскости относительно начала координат на угол, кратный
2𝜋
𝑚
,
 группа чисел вида { 𝑛 𝑎
∣ 𝑎 ∈ ℤ} относительно умножения (при фиксированном 𝑛).
Пусть 𝔾 — группа с операцией ∘. Для каждого 𝑘 ∈ ℕ обозначим
𝑎∘𝑘
≔ 𝑎 ∘ 𝑎 ∘ … ∘ 𝑎⏟
𝑘 раз
.
По определению положим 𝑎∘0
≔ 𝑒, где 𝑒 — нейтральный элемент группы.
Порядком элемента 𝑎 ∈ 𝔾называется такое наименьшее 𝑘 > 0, для которого
𝑎∘𝑘
= 𝑒,
где 𝑒 — нейтральный элемент в 𝔾. Обозначается порядок так: ord𝑎. Если такого 𝑘 не существует,
порядок элемента считается равным ∞.
Утверждение. У каждого элемента в конечной группе есть конечный порядок.
Доказательство. В последовательности 𝑎, 𝑎 ∘ 𝑎, 𝑎 ∘ 𝑎 ∘ 𝑎, … обязательно возникнет повторение: для
𝑘 > 0 выполнится равенство
𝑎∘𝑠
= 𝑎∘( 𝑠+𝑘)
.
Отсюда сразу следует, что 𝑎∘𝑘
= 𝑒. Утверждение доказано.
Утверждение. Пусть 𝑎 ∈ 𝔾 и ord 𝑎 = 𝑟 < ∞. Тогда множество
ℍ ≔ { 𝑎∘𝑘
∣ 𝑘 ∈ [0, 𝑟)}
является подгруппой группы 𝔾 и образует циклическую группу, изоморфную ℤ 𝑟. Множество
{ 𝑎∘𝑘
∣ 𝑘 ∈ [0, ord𝑎)} называется подгруппой, порождённой элементом 𝑎, и обозначается ⟨ 𝑎⟩.
Доказательство. Вначале докажем, что ℍ является группой. Нейтральный элемент 𝑒 ∈ ℍ. При 𝑠 ≥ 1
для элемента 𝑎∘𝑠
∈ ℍ обратным будет элемент 𝑎∘( 𝑟−𝑠)
. При этом |ℍ| = 𝑟, поскольку в силу
определения порядка элемента, если 𝑚 < 𝑛 и 𝑎∘𝑚
= 𝑎∘𝑛
, то | 𝑚 − 𝑛| ≥ 𝑟.
Остаётся показать, что ℍ — циклическая подгруппа. Изоморфизм 𝜙: ℍ → ℤ 𝑟 очевиден:
∀𝑘 ∈ [0, 𝑟) 𝜙( 𝑎∘𝑘) ≔ 𝑘.
Поскольку 𝑎∘𝑚
∘ 𝑎∘𝑛
= 𝑎
∘(( 𝑚+𝑛) mod 𝑟)
, имеем
𝜙( 𝑎∘𝑚
∘ 𝑎∘𝑛) = ( 𝑚 + 𝑛) mod 𝑟 = 𝜙( 𝑎∘𝑚)⊕𝜙( 𝑎∘𝑛),
то есть 𝜙 сохраняет групповую операцию, что и требовалось.
Утверждение доказано.
Утверждение. Множество чисел
ℤ 𝑚
×
= {𝑘 ∈ (0, 𝑚) ∣ 𝑘 взаимно просто с 𝑚}
образует группу относительно операции ⊙. Через ⊙ обозначена операция умножения по модулю
𝑚. По определению 𝑥 ⊙ 𝑦 = 𝑧, если 𝑧 ∈ ℤ 𝑚
×
и 𝑧 =
𝑚
𝑥 ⋅ 𝑦. Например, в ℤ9
×
имеем 2 ⊙ 5 = 1 и 4 ⊙ 4 =
7. Операцию ⊙ будем обычно обозначать просто ⋅. Группу ℤ 𝑚
×
называют мультипликативной
группой вычетов по модулю 𝑚.
Доказательство. Ассоциативность ⊙ доказывается так же, как для ⊕. Нейтральный элемент: 1.
Нетривиально только доказательство существования обратных элементов, которое мы сейчас и
проведём. Пусть 𝑎 ∈ ℤ 𝑚
×
и 𝑎 ≠ 1. Так как ℤ 𝑚
×
конечно, то в последовательности
𝑎, 𝑎 ⊙ 𝑎, 𝑎 ⊙ 𝑎 ⊙ 𝑎, …

23. www.dainiak.com
есть повторяющиеся элементы. То есть 𝑎 𝑘+𝑙
=
𝑚
𝑎 𝑘
для некоторых 𝑘, 𝑙 ∈ ℕ. Имеем
𝑎 𝑘+𝑙
− 𝑎 𝑘
=
𝑚
0 ⇒ 𝑎 𝑘
(𝑎𝑙
− 1) =
𝑚
0.
Так как 𝑎 и 𝑚 взаимно просты, то 𝑎𝑙
− 1 =
𝑚
0. Отсюда следует, что элемент 𝑏 ≔ 𝑎𝑙−1
mod 𝑚 будет
обратным к 𝑎, поскольку 𝑎 ⊙ 𝑏 =
𝑚
𝑎𝑙
=
𝑚
1.
Следствие. Для любого простого 𝑝 множество ℤ 𝑝 ∖ {0} образует группу относительно умножения по
модулю 𝑝.
3.7.1. Теоремы Ферма и Эйлера
Функция Эйлера — это функция натурального аргумента, определяемая так:
𝜑( 𝑚) ≔ #{𝑘 < 𝑚 ∣ 𝑚 и 𝑘 взаимно просты} = |ℤ 𝑚
× |.
Примеры.
 𝜑(2 𝑛) = 2 𝑛−1
для любого 𝑛 ∈ ℕ,
 𝜑( 𝑝) = 𝑝 − 1 для любого простого 𝑝,
 𝜑(30) = #{1,7,11,13,17,19,23,29} = 8.
Теорема Эйлера—Ферма. Если 𝑎, 𝑚 ∈ ℕ — взаимно простые числа, то 𝑎 𝜑( 𝑚)
=
𝑚
1.
Доказательство. Пусть 𝑏 ≔ 𝑎 mod 𝑚. Достаточно доказать, что 𝑏 𝜑( 𝑚)
=
𝑚
1. Заметим, что 𝑏 ∈ ℤ 𝑚
×
, и
рассмотрим группу ⟨ 𝑏⟩. Имеем |⟨ 𝑏⟩| = ord 𝑏, |ℤ 𝑚
× | = 𝜑( 𝑚). Поскольку ⟨ 𝑏⟩— подгруппа ℤ 𝑚
×
, то по
теореме Лагранжа получаем 𝜑( 𝑚) = 𝑡 ⋅ ord 𝑏 для некоторого 𝑡 ∈ ℕ. Отсюда
𝑏 𝜑( 𝑚)
= 𝑏 𝑡⋅ord 𝑏
= (𝑏ord 𝑏
)
𝑡
=
𝑚
1.
Прямым следствием доказанной теоремы является следующее известное утверждение.
Малая теорема Ферма. Для любого простого 𝑝 и для любого 𝑎 имеем 𝑎 𝑝
=
𝑝
𝑎.
С использованием теорем Эйлера и Ферма, вычисления по модулю становятся ещё эффективнее.
Пример. Какому числу из [0,10] равно по модулю 11 значение выражения 4100
⋅ 106
+ 1885
?
Решение:
4100
⋅ 106
+ 1885
=
11
(410)10
⋅ (−1)6
+ (−4)80+5
=
11
1 + ((−4)8)10
⋅ (−4)5
=
11
1 − 45
= 1 − 210
=
11
0.
Для демонстрации взаимосвязеймежду разными областями дискретной математики приведём
комбинаторное доказательство малой теоремы Ферма, использующее циклические слова. Это
доказательство принадлежит Дейкстре.
Будем доказывать малую теорему Ферма в следующем эквивалентном виде: «для простого 𝑝 и
натурального 𝑎 выполнено 𝑎 𝑝
=
𝑝
𝑎». Рассмотрим множество 𝑊 всех слов длины 𝑎 в 𝑝-символьном
алфавите, содержащих хотя бы две различные буквы. Очевидно, | 𝑊| = 𝑎 𝑝
− 𝑎. Пусть 𝑊ц —
всевозможные циклические слова, соответствующие словам из 𝑊. Поскольку длина каждого слова
из 𝑊ц равна простому числу 𝑝, а период этого слова должен делить длину, то период равен единице
или 𝑝. Так как в словах из 𝑊ц встречается не менее двух букв, то период не может быть равен
единице. Значит, каждое циклическое слово из 𝑊ц имеет период 𝑝 и, следовательно, порождает
ровно 𝑝 обычных слов. Отсюда | 𝑊| = 𝑝 ⋅ |𝑊ц|, а стало быть, 𝑎 𝑝
− 𝑎 =
𝑝
0.

24. www.dainiak.com
4. Поля и многочлены
4.1. Основное определениеи примеры полей
В этом разделе мы введём понятие поля и укажем способ построения конечных полей.
Поле — это множество 𝔽 с двумя бинарными ассоциативными и коммутативными операциями
+ и ⋅, такими, что
 𝔽 является группой относительно +. Нейтральный элемент этой группы обозначается 0.
 𝔽 ∖ {0} является группой относительно ⋅. Нейтральный элемент этой группы
обозначается 1.
 Операция ⋅ дистрибутивна относительно +:
∀𝑎, 𝑏, 𝑐 ∈ 𝔽 𝑎 ⋅ ( 𝑏 + 𝑐) = ( 𝑎 ⋅ 𝑏) + ( 𝑎 ⋅ 𝑐)
Полями являются, например, множества ℚ, ℝ, ℂ относительно обычных сложения и умножения.
Полями не являются множества ℕ,ℤ, а также множество ℝ 𝑛×𝑛
относительно сложения и умножения
матриц (объясните, почему). Кроме ℚ, ℝ,ℂ есть и другие, более экзотические бесконечные поля,
например, поле дробно-рациональных функций, т.е. множество
{𝑓 ∣ 𝑓 =
𝐴( 𝑥)
𝐵( 𝑥)
},
где 𝐴( 𝑥) и 𝐵( 𝑥) — многочлены с целыми коэффициентами, и 𝐵( 𝑥) ≢ 0.
Конечные поля также существуют, как показывает следующее утверждение.
Утверждение. Для любого простого 𝑝 множество ℤ 𝑝 образует поле относительно операций
сложения и умножения по модулю 𝑝.
Доказательство. То, что (ℤ 𝑝,⊕) и (ℤ 𝑝 ∖ {0},⊙) — группы, доказано ранее. Дистрибутивность
умножения по модулю относительно сложения по модулю очевидна.
4.2. Два простых свойства полей
Используя лишь базовые аксиомы полей, можно выводить свойства нейтральных по сложению и
умножению, которые очевидны в случае привычных нам числовых полей. На первый взгляд, в
следующих двух утверждениях «доказывать нечего», но это ощущение пропадает, если вспомнить,
например, что через 0 мы обозначаем не действительное число нуль, а нейтральный по сложению
элемент произвольного поля. Точно так же, (−1) — это не целое число минус единица, а элемент,
обратный по сложению к нейтральному по умножению элементу поля.
Утверждение. Если 𝔽 поле, то для любого 𝑎 ∈ 𝔽 выполнено соотношение 𝑎 ⋅ 0 = 0.
Доказательство. Обозначим 𝑧 ≔ 𝑎 ⋅ 0. Имеем
𝑧 + 𝑧 = 𝑎 ⋅ 0 + 𝑎 ⋅ 0 = 𝑎 ⋅ (0 + 0) = 𝑎 ⋅ 0 = z.
Отсюда
𝑧 = 0 + 𝑧 = (−𝑧) + 𝑧 + 𝑧 = (−𝑧) + 𝑧 = 0.
Утверждение. Если 𝔽 поле, то для любого 𝑎 ∈ 𝔽 выполнено соотношение (−1) ⋅ 𝑎 = −𝑎.
Доказательство. Обозначим 𝑏 ≔ (−1) ⋅ 𝑎. Получаем
𝑏 + 𝑎 = 𝑏 + 1 ⋅ 𝑎 = (−1) ⋅ 𝑎 + 1 ⋅ 𝑎 = ((−1) + 1) ⋅ 𝑎 = 0 ⋅ 𝑎 = 0.

25. www.dainiak.com
4.3. Альтернативныеопределения поля
4.3.1. Второе определение поля
Вспомнив, что группу можно определить как множество с ассоциативной операцией, в котором
имеют решения простые уравнения, мы можем определить поле следующим образом. Поле — это
множество 𝔽 с двумя бинарными ассоциативнымиоперациями + и ⋅, и с двумя специальными
элементами 0 и 1, такими, что
 ∀𝑎, 𝑏 𝑎 + 𝑏 = 𝑏 + 𝑎, 𝑎 ⋅ 𝑏 = 𝑏 ⋅ 𝑎
 ∀𝑎, 𝑏, 𝑐 ∈ 𝔽 𝑎 ⋅ ( 𝑏 + 𝑐) = ( 𝑎 ⋅ 𝑏) + ( 𝑎 ⋅ 𝑐)
 ∀𝑎 ∈ 𝔽 0 + 𝑎 = 𝑎 + 0 = 𝑎
 ∀𝑎 ∈ 𝔽 ∖ {0} 1 ⋅ 𝑎 = 𝑎 ⋅ 1 = 𝑎
 ∀𝑎, 𝑏 ∈ 𝔽 ∃𝑥: 𝑎 + 𝑥 = 𝑏
 ∀𝑎, 𝑏 ∈ 𝔽 ∖ {0} ∃𝑥: 𝑎 ⋅ 𝑥 = 𝑏
4.3.2. Альтернативное определение для конечного поля
Основываясь на альтернативном определении конечных групп, мы можем получить следующее
определение полей. Конечное поле — это множество 𝔽 = { 𝑎1, … , 𝑎 𝑛 } с бинарными ассоциативными
коммутативными операциями + и ⋅, такими, что
 ∀𝑎, 𝑏, 𝑐 ∈ 𝔽 𝑎 ⋅ ( 𝑏 + 𝑐) = ( 𝑎 ⋅ 𝑏) + ( 𝑎 ⋅ 𝑐),
 ∀𝑎 все элементы 𝑎 + 𝑎1, … , 𝑎 + 𝑎 𝑛 различны (а стало быть, 𝔽 образует группу
относительно +, нейтральный элемент которой мы обозначим 0),
 ∀𝑎 ∈ 𝔽 ∖ {0} все элементы 𝑎 ⋅ 𝑎1, …, 𝑎 ⋅ 𝑎 𝑛 различны.
4.4. Многочленыи поля на их основе
4.4.1. Определения и обозначения
Многочлен (полином) от переменных 𝑥1,… , 𝑥 𝑚 с коэффициентами из множества 𝐾 — это конечная
сумма одночленов (мономов) т.е. произведений вида
𝑐 ⋅ 𝑥 𝑖1
𝑡1
⋅ … ⋅ 𝑥 𝑖 𝑟
𝑡 𝑚
,
где
𝑐 ∈ 𝐾,
𝑡1, …, 𝑡 𝑚 ∈ ℕ0,
𝑖1, …, 𝑖 𝑟 ∈ {1, … , 𝑚}.
Если 𝑟 = 0, то моном называется свободным членом.
Степень монома 𝑇 = 𝑐 ⋅ 𝑥 𝑖1
𝑡1
⋅ … ⋅ 𝑥 𝑖 𝑟
𝑡 𝑚
— это величина
deg 𝑇 ≔ 𝑡1 + ⋯+ 𝑡 𝑚.
Степень полинома 𝑃 определяется так:
deg 𝑃 ≔ max{deg 𝑇 ∣ 𝑇 —моном 𝑃}.
Степень нулевого (тождественно равного нулю) многочлена считается равной −∞.
Степень монома 𝑇 = 𝑐 ⋅ 𝑥 𝑖1
𝑡1
⋅ … ⋅ 𝑥 𝑖 𝑟
𝑡 𝑚
по переменной 𝑥 𝑘 — это показатель, с которым 𝑥 𝑘 входит в
произведение 𝑇. Обозначение: deg 𝑥 𝑘
𝑇.
Степень полинома 𝑃 по переменной 𝑥 𝑘 равна
deg 𝑥 𝑘
𝑃 ≔ max{deg 𝑥 𝑘
𝑇 ∣ 𝑇 —моном 𝑃}.
Если 𝑃 ≡ 0, то полагаем deg 𝑥 𝑘
𝑃 ≔ −∞.