Комбинаторное доказательство теоремы о следе Кэли-Гамильтона

Основная информация

• ID статьи: 2511.06689
• Название: A combinatorial proof of the trace Cayley-Hamilton theorem
• Автор: Судип Бера (Университет Дхирубхаи Амбани, Гандинагар, Индия)
• Классификация: math.CO (Комбинаторика)
• Дата публикации: 10 ноября 2025 г. (препринт arXiv)
• Ссылка на статью: https://arxiv.org/abs/2511.06689
• Классификация MSC2020: 05C30; 05C50

Аннотация

В статье используется глубокая связь между линейной алгеброй и теорией графов для объяснения классических матричных инвариантов через комбинаторные структуры. Для матрицы $n \times n$ над коммутативным кольцом $K$ можно построить взвешенный ориентированный граф $D(A)$, в котором алгебраическое поведение матрицы $A$ отражается в комбинаторных свойствах $D(A)$. В частности, определитель и характеристический многочлен матрицы $A$ элегантно выражаются как знакопеременные взвешенные суммы по линейным подграфам графа $D(A)$, обеспечивая графическую интерпретацию фундаментальных алгебраических величин. На основе этого соответствия устанавливается комбинаторное доказательство теоремы о следе Кэли-Гамильтона, которая предоставляет явные тождества, связывающие коэффициенты характеристического многочлена со следами степеней матрицы.

Исследовательский контекст и мотивация

Исследовательская проблема

Статья ставит целью предоставить чисто комбинаторное доказательство теоремы о следе Кэли-Гамильтона (Trace Cayley-Hamilton theorem). Эта теорема устанавливает соотношение между коэффициентами характеристического многочлена матрицы и следами её степеней:

Для характеристического многочлена $p_A(\lambda) = \lambda^n + d_1\lambda^{n-1} + \cdots + d_n$ имеют место:

• При $r > n$: $\text{Tr}(A^r) + \text{Tr}(A^{r-1})d_1 + \cdots + \text{Tr}(A^{r-n})d_n = 0$
• При $1 \leq r \leq n$: $\text{Tr}(A^r) + \text{Tr}(A^{r-1})d_1 + \cdots + rd_r = 0$

Значимость

1. Теоретическое значение: Теорема о следе Кэли-Гамильтона является элегантным следствием классической теоремы Кэли-Гамильтона, однако для произвольного $r$ отсутствует прямой алгебраический вывод
2. Комбинаторная перспектива: Графо-теоретический метод предоставляет новый угол зрения, раскрывая глубокую связь между матричной алгеброй и комбинаторными структурами
3. Вычислительное значение: Эти тождества имеют важные приложения в матричных вычислениях и символических вычислениях

Ограничения существующих методов

• При $r \geq n$ можно получить результат, умножив обе части классической теоремы Кэли-Гамильтона ($p_A(A) = O$) на $A^{r-n}$ и взяв след
• Однако для произвольного $r$ (особенно при $r \leq n$) не существует известного прямого алгебраического вывода
• Отсутствует комбинаторная интерпретация и интуитивное понимание

Исследовательская мотивация

Статья использует фреймворк взвешенных ориентированных графов, применяя комбинаторные свойства линейных подграфов и замкнутых путей для предоставления единого, чисто комбинаторного метода доказательства, заполняя этот теоретический пробел.

Основные вклады

1. Установлено первое чисто комбинаторное доказательство теоремы о следе Кэли-Гамильтона, не зависящее от алгебраического вывода классической теоремы Кэли-Гамильтона
2. Предложена ключевая промежуточная теорема (Theorem 2.2), устанавливающая комбинаторное тождество между суммой весов замкнутых путей и суммой весов линейных подграфов:
   • $c_r + c_{r-1}\ell_1 + c_{r-2}\ell_2 + \cdots + c_{r-n}\ell_n = 0$ (при $r > n$)
   • $c_r + c_{r-1}\ell_1 + c_{r-2}\ell_2 + \cdots + r\ell_r = 0$ (при $1 \leq r \leq n$)
3. Построена остроумная инволюция с изменением знака (sign-reversing involution), осуществляющая спаривание и взаимное сокращение при доказательстве комбинаторного тождества
4. Предоставлен полный анализ случая $2 \times 2$ матриц, детально демонстрирующий вычисление всех линейных подграфов и замкнутых путей
5. Установлено чёткое соответствие между концепциями матричной алгебры и теории графов:
   • Коэффициенты характеристического многочлена ↔ знакопеременные взвешенные суммы по линейным подграфам
   • Следы степеней матрицы ↔ суммы весов замкнутых путей

Подробное описание метода

Постановка задачи

Входные данные: Матрица $n \times n$ над коммутативным кольцом $K$: $A = (a_{ij})$

Цель: Доказать, что для всех целых чисел $r \geq 1$ справедливо тождество о следе Кэли-Гамильтона

Ключевая идея: Преобразовать алгебраические объекты (матрицы, следы, характеристические многочлены) в комбинаторные объекты (взвешенные ориентированные графы, замкнутые пути, линейные подграфы) и доказать тождество на комбинаторном уровне

Основные концепции и определения

1. Взвешенный ориентированный граф $D(A)$

Для матрицы $A = (a_{ij}) \in K^{n \times n}$ строится взвешенный ориентированный граф $D(A)$:

• Множество вершин: $[n] = \{1, 2, \ldots, n\}$
• Рёбра: Для каждой упорядоченной пары $(i,j)$ существует ориентированное ребро из $i$ в $j$ с весом $a_{ij}$

2. Линейный подграф (Linear subdigraph)

• Определение: Множество $\gamma$ вершинно-непересекающихся ориентированных циклов
• Вес $w(\gamma)$: Произведение весов всех рёбер в $\gamma$
• Число циклов $c(\gamma)$: Количество циклов в $\gamma$
• Длина $L(\gamma)$: Общее число рёбер в $\gamma$

Определим $L_r$ как множество всех линейных подграфов длины $r$ и положим: $\ell_r = \sum_{\gamma \in L_r} (-1)^{c(\gamma)} w(\gamma)$

Ключевая лемма (Lemma 1.1): Коэффициент характеристического многочлена $d_i = \ell_i$

3. Замкнутый путь (Closed walk)

• Определение: Последовательность вершин $u = x_0, x_1, \ldots, x_k = u$, начинающаяся и заканчивающаяся в вершине $u$
• Вес $w(c)$: Произведение весов всех рёбер в пути
• Длина $L(c)$: Число рёбер в пути

Определим $c_r$ как сумму весов всех замкнутых путей длины $r$.

Ключевая лемма (Lemma 1.4): $\text{Tr}(A^k) = c_k$

Стратегия доказательства

Центральная теорема (Theorem 2.2)

Требуется доказать:

1. При $r > n$: $c_r + c_{r-1}\ell_1 + c_{r-2}\ell_2 + \cdots + c_{r-n}\ell_n = 0$
2. При $1 \leq r \leq n$: $c_r + c_{r-1}\ell_1 + c_{r-2}\ell_2 + \cdots + r\ell_r = 0$

Техника доказательства: инволюция с изменением знака

Шаг 1: Комбинаторная интерпретация взвешенной суммы

Рассмотрим все упорядоченные пары $(c, \gamma)$, где:

• $c$ — замкнутый путь
• $\gamma$ — линейный подграф (возможно, пустой)
• $L(c) + L(\gamma) = r$

Определим вес: $W((c, \gamma)) = (-1)^{c(\gamma)} w(c) w(\gamma)$

Тогда левая часть теоремы = $\sum_{(c,\gamma)} W((c, \gamma))$

Шаг 2: Спаривание и сокращение (случай $r > n$)

При $r > n$ либо $c$ и $\gamma$ имеют общие вершины, либо $c$ не является простым циклом. Для каждой такой пары $(c, \gamma)$ строится инволюция с изменением знака:

Сценарий 1: Путь $c$ встречает вершину $y$ в $\gamma$

• Пусть $\gamma_y$ — цикл в $\gamma$, содержащий $y$
• Построим новую пару: $(\tilde{c}, \tilde{\gamma})$, где $\tilde{c}$ включает $\gamma_y$ в замкнутый путь, $\tilde{\gamma} = \gamma \setminus \{\gamma_y\}$
• Ключевое свойство: $W((\tilde{c}, \tilde{\gamma})) = -W((c, \gamma))$

Сценарий 2: Путь $c$ завершает простой цикл $\acute{c}$, не встречая $\gamma$

• Построим новую пару: $(\tilde{\tilde{c}}, \tilde{\tilde{\gamma}})$, где $\tilde{\tilde{c}}$ удаляет $\acute{c}$ из $c$, $\tilde{\tilde{\gamma}} = \gamma \cup \{\acute{c}\}$
• Ключевое свойство: $W((\tilde{\tilde{c}}, \tilde{\tilde{\gamma}})) = -W((c, \gamma))$

Эта инволюция изменяет знак, поэтому вклады всех "плохих" пар взаимно сокращаются.

Шаг 3: ХОРОШИЕ пары и дополнительные члены (случай $r \leq n$)

Определим множества:

• ПЛОХИЕ пары $B$: $c \cap \gamma \neq \emptyset$ или $c$ не является простым циклом
• ХОРОШИЕ пары $A \setminus B$: $c \cap \gamma = \emptyset$ и $c$ является простым циклом

ПЛОХИЕ пары сокращаются той же инволюцией. Для ХОРОШИХ пар:

Ключевое наблюдение: Каждая ХОРОШАЯ пара $(c, \gamma)$ соответствует разложению линейного подграфа $\dot{\gamma} = c \cup \gamma$ на $r$ вершинах.

Для каждого линейного подграфа $\dot{\gamma}$ на $r$ вершинах существует ровно $r$ ХОРОШИХ пар:

• Для каждой вершины $v_i \in \{v_1, \ldots, v_r\}$
• Пусть $c_{v_i}$ — цикл в $\dot{\gamma}$, содержащий $v_i$
• Построим пару $(c_{v_i}, \gamma_i)$, где $\gamma_i = \dot{\gamma} \setminus \{c_{v_i}\}$

Общий вклад этих $r$ ХОРОШИХ пар: $\sum_{i=1}^r W((c_{v_i}, \gamma_i)) = r \cdot (-1)^{c(\dot{\gamma})-1} w(\dot{\gamma})$

Вклад члена $r\ell_r$: $r \cdot (-1)^{c(\dot{\gamma})} w(\dot{\gamma})$

Их сумма: $r(-1)^{c(\dot{\gamma})}[(-1)^{-1} + 1]w(\dot{\gamma}) = 0$

Следовательно, общая сумма равна нулю, что завершает доказательство.

Технические инновации

1. Изящество конструкции инволюции: Две различные схемы спаривания (включение цикла vs извлечение цикла) реализуют полное изменение знака
2. Остроумность подсчёта ХОРОШИХ пар: Использование симметрии ($r$ вершин соответствуют $r$ способам разложения) для точного сокращения дополнительного члена $r\ell_r$
3. Единый фреймворк: Применение одной комбинаторной схемы для обработки обоих случаев ($r \leq n$ и $r > n$)
4. Геометрическая наглядность: Графическое представление (Figures 8-9) делает абстрактный процесс инволюции интуитивно понятным

Экспериментальная установка

Тематическое исследование: полный анализ матриц $2 \times 2$

Статья демонстрирует эффективность метода на полном примере с $n=2$.

Матрица и граф

$A = \begin{pmatrix} a & b \\ c & d \end{pmatrix}$

Соответствующий взвешенный ориентированный граф $D(A)$ имеет 2 вершины $v_1, v_2$ с весами рёбер:

• Петля в $v_1$: вес $a$
• Петля в $v_2$: вес $d$
• $v_1 \to v_2$: вес $b$
• $v_2 \to v_1$: вес $c$

Вычисление линейных подграфов

Линейные подграфы длины 1 (одиночные петли):

• Петля в $v_1$: вес $a$, знак $(-1)^1 = -1$
• Петля в $v_2$: вес $d$, знак $(-1)^1 = -1$
• Следовательно: $\ell_1 = -(a+d)$

Линейные подграфы длины 2:

• Две петли: вес $ad$, знак $(-1)^2 = +1$
• Один 2-цикл $(v_1 \to v_2 \to v_1)$: вес $bc$, знак $(-1)^1 = -1$
• Следовательно: $\ell_2 = ad - bc$

Вычисление замкнутых путей

Замкнутые пути длины 1:

• Петля в $v_1$: вес $a$
• Петля в $v_2$: вес $d$
• Следовательно: $c_1 = a + d = \text{tr}(A)$

Замкнутые пути длины 2:

• Петля в $v_1$ дважды: вес $a^2$
• Петля в $v_2$ дважды: вес $d^2$
• $v_1 \to v_2 \to v_1$: вес $bc$
• $v_2 \to v_1 \to v_2$: вес $cb$
• Следовательно: $c_2 = a^2 + d^2 + 2bc = \text{tr}(A^2)$

Замкнутые пути длины 3 (8 путей):

• Петли трижды: $a^3, d^3$
• Комбинации петель и 2-циклов: $3abc + 3dbc$
• Следовательно: $c_3 = a^3 + d^3 + 3bc(a+d)$

Проверка тождеств

Случай $r=1$: $c_1 + \ell_1 = (a+d) + (-(a+d)) = 0 \checkmark$

Случай $r=2$: $c_2 + c_1\ell_1 + 2\ell_2 = (a^2 + d^2 + 2bc) + (a+d)(-(a+d)) + 2(ad-bc) = 0 \checkmark$

Случай $r=3 > n=2$: $c_3 + c_2\ell_1 + c_1\ell_2 = [a^3 + d^3 + 3bc(a+d)] + [a^2+d^2+2bc][-(a+d)] + [a+d][ad-bc] = 0 \checkmark$

Подробное разложение и проверка приведены в Example 2.1.

Экспериментальные результаты

Основные результаты

Главный результат статьи — чисто комбинаторное доказательство Theorem 2.1 (теоремы о следе Кэли-Гамильтона), завершённое через следующую логическую цепь:

1. Lemma 1.1: Устанавливает $d_i = \ell_i$ (коэффициенты характеристического многочлена = знакопеременные суммы по линейным подграфам)
2. Lemma 1.4: Устанавливает $\text{Tr}(A^k) = c_k$ (следы степеней матрицы = суммы весов замкнутых путей)
3. Theorem 2.2: Доказывает комбинаторное тождество (связь между замкнутыми путями и линейными подграфами)
4. Theorem 2.1: Прямо следует из трёх предыдущих результатов

Успешная проверка на примерах

Через полный анализ матриц $2 \times 2$:

• Все 8 замкнутых путей длины 3 полностью перечислены и вычислены
• Все линейные подграфы (длины 1 и 2) полностью проанализированы
• Все три тождества ($r=1, 2, 3$) успешно проверены
• Демонстрируется операциональность и корректность метода

Эффективность графического представления

Статья использует 9 графиков (Figures 1-9) для наглядного представления:

• Конструкции взвешенного ориентированного графа (Figure 1)
• Перечисления линейных подграфов (Figures 2-3)
• Классификации замкнутых путей (Figures 4-7)
• Визуализации процесса инволюции (Figure 8)
• Подсчёта ХОРОШИХ пар (Figure 9)

Эти графики делают абстрактные комбинаторные рассуждения интуитивно понятными.

Значимость теоретического вклада

1. Заполнение теоретического пробела: Предоставляет первое прямое доказательство теоремы о следе Кэли-Гамильтона в случае $r \leq n$
2. Методологическая инновация: Новое применение техники инволюции с изменением знака в матричной теории
3. Единство подхода: Применение единого фреймворка для всех случаев ($r \leq n$ и $r > n$)

Связанные работы

Комбинаторная матричная теория

Статья опирается на монографию Brualdi и Cvetkovic 1, которая систематически излагает комбинаторные методы в матричной теории, включая:

• Соответствие между взвешенными ориентированными графами и матрицами
• Комбинаторную интерпретацию определителя (Equation 3)
• Связь между степенями матриц и путями (Lemma 1.3)

Комбинаторные доказательства классических теорем

Связанные работы по комбинаторным доказательствам включают:

1. Straubing (1983) 4: Комбинаторное доказательство теоремы Кэли-Гамильтона
2. Zeilberger (1984, 1985) 5, 6:
   • Комбинаторное доказательство тождеств Ньютона
   • Комбинаторные методы в матричной алгебре
3. Mukherjee & Bera (2019) 3: Комбинаторные доказательства тождеств Ньютона-Жирара и Чепмена-Костаса-Сантоса

Теорема о следе Кэли-Гамильтона

Статья прямо отвечает на вопрос, поставленный Grinberg (2019) 2, который указал, что:

• Теорема о следе Кэли-Гамильтона при $r \geq n$ может быть выведена из классической теоремы
• Но для произвольного $r$ (особенно при $r \leq n$) отсутствует прямое алгебраическое или комбинаторное доказательство

Уникальный вклад данной статьи

По сравнению со связанными работами, данная статья:

1. Впервые предоставляет чисто комбинаторное доказательство: Не зависит от классической теоремы Кэли-Гамильтона
2. Охватывает полный спектр случаев: Единое доказательство для $r \leq n$ и $r > n$
3. Вводит техническую инновацию: Новую конструкцию инволюции с изменением знака
4. Повышает наглядность: Через детальное графическое представление улучшает понимание

Заключение и обсуждение

Основные выводы

1. Установлено первое чисто комбинаторное доказательство теоремы о следе Кэли-Гамильтона, доказывающее, что для всех $r \geq 1$ справедливо тождество о следе
2. Раскрыто глубокое алгебро-комбинаторное соответствие:
   • Алгебраические свойства матриц ↔ Комбинаторные свойства ориентированных графов
   • Коэффициенты характеристического многочлена ↔ Линейные подграфы
   • Следы степеней матриц ↔ Замкнутые пути
3. Предложена новая техника доказательства: Систематическое применение инволюции с изменением знака в доказательстве матричных тождеств

Ограничения

1. Теоретический характер: Статья представляет чисто математическое доказательство без обсуждения вычислительной эффективности или численной устойчивости
2. Область применения:
   • Метод применим к матрицам над коммутативными кольцами
   • Некоммутативные случаи и другие алгебраические структуры не рассмотрены
3. Сложность:
   • Для больших матриц количество линейных подграфов и замкнутых путей растёт экспоненциально
   • Стратегии оптимизации вычислений не предложены
4. Обобщаемость:
   • Не исследовано, может ли метод быть обобщён на другие матричные тождества
   • Связь с другими техниками комбинаторного доказательства не углубленно обсуждена
5. Ограниченность примеров: Предоставлен только полный анализ для $n=2$; примеры большего размера могли бы быть более убедительными

Возможные направления будущих исследований

Хотя статья не предлагает явно, возможные направления исследований включают:

1. Обобщение на другие тождества: Применение метода к комбинаторному доказательству других матричных тождеств
2. Вычислительные алгоритмы: Разработка эффективных алгоритмов, основанных на теории графов, для вычисления характеристических многочленов и матричных функций
3. Некоммутативные случаи: Исследование возможности расширения метода на некоммутативные кольца или квантовые группы
4. Тождества высшего порядка: Изучение тождеств, включающих следы более высокого порядка
5. Теория случайных матриц: Применение комбинаторных методов к вычислению ожидаемых следов в теории случайных матриц

Глубокая оценка

Преимущества

1. Математическая строгость

• Полнота доказательства: От базовых определений до финальной теоремы логическая цепь ясна и полна
• Достаточность деталей: Ключевые шаги (например, конструкция инволюции) подробно описаны
• Отсутствие циклических рассуждений: Не зависит от доказываемой теоремы

2. Методологическая инновативность

• Остроумное применение инволюции с изменением знака: Две схемы спаривания (включение/извлечение циклов) тонко спроектированы
• Подсчёт ХОРОШИХ пар: Использование симметрии ($r$ вершин соответствуют $r$ разложениям) для точного сокращения дополнительного члена
• Единый фреймворк: Одна техника для разных случаев ($r \leq n$ vs $r > n$)

3. Понятность

• Графическое представление: 9 тщательно разработанных графиков делают абстрактные концепции конкретными
• Полный пример: Подробный анализ матриц $2 \times 2$ демонстрирует применимость метода
• Ясная структура: От простого к сложному, от частного к общему, хорошо организовано

4. Теоретический вклад

• Заполнение пробела: Решает открытую проблему, поставленную Grinberg (2019)
• Углубление понимания: Раскрывает новые связи между матричной алгеброй и теорией графов
• Методологическая ценность: Служит образцом для комбинаторных доказательств других матричных тождеств

5. Качество изложения

• Ясность выражения: Определения точны, обозначения последовательны
• Логическая организация: Введение, примеры, доказательство, заключение — полная структура
• Адекватные ссылки: Надлежащее цитирование связанных работ

Недостатки

1. Охват примеров

• Только $n=2$ полностью: Примеры для $n=3$ или больше были бы более убедительны
• Отсутствие конкретных примеров инволюции: Хотя Figure 8 показывает схему, конкретные числовые примеры отсутствуют

2. Интуитивное объяснение

• Комбинаторный смысл инволюции: Почему именно эта инволюция работает, глубокая интуиция не объяснена
• Геометрическая или топологическая перспектива: Возможны ли более глубокие геометрические или топологические объяснения — не исследовано

3. Вычислительная сложность

• Анализ сложности отсутствует: Перечисление всех линейных подграфов и замкнутых путей имеет экспоненциальную сложность
• Отсутствие алгоритмической реализации: Нет описания алгоритма или псевдокода для практических вычислений

4. Обсуждение обобщаемости

• Ограничения метода: Какие типы матричных тождеств могут быть доказаны аналогичным методом?
• Необходимые условия: При каких условиях инволюция с изменением знака может быть успешно построена?
• Сравнение с другими техниками: Связь с производящими функциями и другими методами не обсуждена

5. Практическая ценность

• Вычислительные приложения: Преимущества или недостатки комбинаторного метода в практических матричных вычислениях не обсуждены
• Численная устойчивость: Имеет ли этот метод практическую ценность с точки зрения численных вычислений?

Оценка влияния

Вклад в область

1. Комбинаторная матричная теория: Добавляет важный новый результат и новую технику в область
2. Символические вычисления: Может вдохновить новые алгоритмы символических матричных вычислений
3. Образовательная ценность: Предоставляет новую перспективу для преподавания матричной теории

Потенциальное влияние

• Краткосрочное: Привлечёт внимание комбинатористов и специалистов по матричной теории
• Среднесрочное: Может стимулировать исследования комбинаторных доказательств других матричных тождеств
• Долгосрочное: Может стать стандартным содержанием учебников по комбинаторной матричной теории

Практическая ценность

• Преимущественно теоретическая: Основной вклад теоретический, практические вычислительные приложения ограничены
• Высокая образовательная ценность: Отлично подходит как учебный пример, демонстрирующий связь алгебры и комбинаторики
• Сильная мотивирующая сила: Служит методологическим образцом для связанных проблем

Воспроизводимость

• Полная воспроизводимость: Логика доказательства ясна, шаги явны
• Высокая проверяемость: Пример $2 \times 2$ может быть проверен вручную
• Хорошая расширяемость: Метод может быть применён к матрицам произвольного размера (хотя вычислительная сложность велика)

Общая оценка

Это высококачественная статья по чистой математике с основными преимуществами:

• ✅ Решает явно поставленную открытую проблему
• ✅ Инновационный и строгий метод
• ✅ Полное и понятное доказательство
• ✅ Ясное изложение с хорошей визуализацией

Основные недостатки:

• ⚠️ Ограниченное покрытие примеров (только $n=2$)
• ⚠️ Отсутствие более глубокого интуитивного объяснения
• ⚠️ Недостаточное обсуждение практической ценности
• ⚠️ Неполное исследование обобщаемости

Рекомендация: ⭐⭐⭐⭐ (4 из 5)

Рекомендуется для исследователей и студентов, интересующихся комбинаторной матричной теорией и алгебраической комбинаторикой. Для чистых математиков это элегантный теоретический вклад; для прикладных исследователей ценность в основном методологическая и образовательная.

Библиография

Ключевые цитируемые работы:

1. Brualdi & Cvetkovic (2009): A combinatorial approach to matrix theory and its application — авторитетная монография по комбинаторной матричной теории
2. Grinberg (2019): The trace Cayley-Hamilton theorem — поставил проблему, решённую в данной статье
3. Mukherjee & Bera (2019): Combinatorial proofs of the Newton–Girard and Chapman–Costas-Santos identities — предыдущая работа авторов по связанным темам
4. Straubing (1983): A combinatorial proof of the Cayley-Hamilton theorem — классическое комбинаторное доказательство теоремы Кэли-Гамильтона
5. Zeilberger (1984, 1985): Серия работ по комбинаторным методам в матричной алгебре — пионерские техники комбинаторного доказательства

Рекомендации по чтению:

• Требуемый уровень: аспирант и выше по математике
• Необходимые предварительные знания: линейная алгебра и теория графов
• Рекомендуется: сначала внимательно изучить пример $n=2$ (Example 2.1)
• Ключевой момент: понимание конструкции инволюции с изменением знака (доказательство Theorem 2.2)
• Полезное упражнение: самостоятельно проверить случай $n=3$ для углубления понимания