# Теория групп и Монстр: почему число 8×10⁵³ фундаментально для математики > Спикер: 3Blue1Brown | Длительность: 21:57 ## Ключевые идеи 1. **Группа — это формализация идеи симметрии** — набор всех действий, оставляющих объект неизменным. У снежинки 12 симметрий, у куба — 24 вращения. 2. **Размер группы отражает степень свободы структуры** — чем меньше ограничений, тем больше группа. Сам по себе большой размер не делает группу интересной. 3. **Теория групп доказала невозможность формулы 5-й степени** — структура группы перестановок S₅ показывает, что формулы через радикалы для полиномов степени ≥5 не существует. 4. **Каждый закон сохранения = группа симметрий** — теорема Нётер связывает физические законы с математическими группами. 5. **Абстрактная группа — это структура умножения, а не конкретные действия** — как число 3 не привязано к конкретной тройке, группа не привязана к конкретному объекту. 6. **Изоморфизм — ключевое понятие** — вращения куба и перестановки 4 объектов — одна и та же группа. Обнаружение таких связей раскрывает скрытые закономерности. 7. **Конечные группы раскладываются на простые «атомы»** — аналогично разложению чисел на простые множители. 8. **Классификация простых групп — одно из величайших достижений математики** — десятилетия работы, десятки тысяч страниц, завершено к 2004 году. 9. **26 спорадических групп — необъяснимые исключения** — помимо 18 бесконечных семейств, 26 групп не вписываются ни в один паттерн. 10. **Монстр живёт в 196 883 измерениях** — описание одного элемента занимает ~4 ГБ. Это крупнейшая спорадическая группа с ~8×10⁵³ элементами. 11. **«Чудовищный лунный свет» — связь Монстра с модулярными формами и теорией струн** — доказана Борчердсом (Филдсовская премия 1998). 12. **Фундаментальные объекты не обязаны быть простыми** — Вселенной безразлично, выглядят ли её ответы красиво. ## Транскрипт ### Что такое число Монстра? Число ~8×10⁵³ — примерно столько атомов в Юпитере. На первый взгляд оно кажется случайным, но любая цивилизация, независимо открывшая математику, признала бы его фундаментальным. Это размер группы Монстр — крупнейшей спорадической простой группы. ### Что такое группа? Теория групп кодифицирует идею симметрии. Симметричное лицо можно отразить, и оно останется прежним — это действие. Снежинку можно повернуть на 60° или 120°, отразить по разным осям. Все такие действия вместе образуют группу. Группа симметрий снежинки содержит 12 действий (включая «ничего не делать») и называется D₆. У куба 24 вращения. Если допустить отражения — 48 действий. Если ослабить ограничения ещё сильнее, разрешив переставлять грани, — группа вырастет многократно. Чем слабее сохраняемая структура, тем больше группа. Группы перестановок — наиболее свободные: для 6 объектов — 720 перестановок (6!), для 12 — около 479 миллионов, для 101 — примерно 9×10¹⁵⁹. Но большой размер сам по себе неинтересен. ### Зачем это нужно? Полиномы и не только Структура группы перестановок корней полинома определяет, существует ли формула для его решения. Для квадратных уравнений формула есть. Для кубических и четвёртой степени тоже, хотя они сложнее. Но для полиномов 5-й степени формулы через радикалы не существует — и это следует из свойств группы S₅. По теореме Нётер каждый закон сохранения в физике соответствует определённой группе симметрий. Группы — фундамент не только математики, но и физики. ### Абстрактные группы и изоморфизм Группа — это не конкретные действия, а абстрактная структура, задаваемая таблицей умножения. Как число 3 — абстракция, не привязанная к конкретной тройке. Вращения куба (24 элемента) и группа перестановок 4 объектов S₄ (24 элемента) — изоморфны. Их таблицы умножения идентичны. Обнаружение изоморфизма между группами из разных областей — одна из ключевых тем современной математики. ### Классификация конечных простых групп Конечные группы раскладываются на простые — как числа на простые множители. Задача классификации: (1) найти все простые группы, (2) найти все способы их комбинирования. К 2004 году математики доказали: все конечные простые группы найдены. Это стоило десятилетий работы и десятков тысяч страниц. Результат: 18 бесконечных семейств и 26 спорадических групп, не вписывающихся ни в один паттерн. Среди бесконечных семейств — циклические группы простого порядка (симметрии правильных многоугольников без отражений) и знакопеременные группы (ограниченные перестановки). Но 26 спорадических групп стоят особняком. ### Монстр Крупнейшая спорадическая группа — Монстр (названа Джоном Конвеем). Её размер — ~8×10⁵³. Вторая по величине — Малыш-Монстр (baby monster). 20 из 26 спорадических групп связаны с Монстром («счастливая семья» по Грису), а 6 оставшихся — «изгои» (pariahs). Монстр действует на объект в 196 883 измерениях. Описание одного элемента занимает ~4 ГБ данных. ### Чудовищный лунный свет В 1970-х Джон Макай заметил число 196 884 (= 196 883 + 1) в разложении j-инварианта — фундаментальной функции из теории модулярных форм. Конвей назвал совпадение «лунным светом» (moonshine). В 1992 году Ричард Борчердс доказал связь — «чудовищный лунный свет». За это он получил Филдсовскую премию. Монстр оказался связан и с теорией струн. Фундаментальные объекты не обязаны быть простыми — и Вселенной безразлично, насколько легко нам их понять. ## Практические задания ### Задание 1: Исследуйте симметрии объектов вокруг вас Возьмите 3-5 предметов (монета, кубик, книга, снежинка, логотип). Для каждого перечислите все действия, оставляющие предмет неизменным. Подсчитайте размер каждой группы. Не забудьте включить «ничего не делать». Сравните размеры и объясните разницу. ### Задание 2: Постройте таблицу умножения группы Возьмите равносторонний треугольник с помеченными вершинами. Найдите все 6 симметрий. Постройте таблицу 6×6 — результат последовательного применения каждой пары. Найдите пары, для которых порядок важен (AB ≠ BA). ### Задание 3: Найдите изоморфизм куба и перестановок Нарисуйте куб с 4 диагоналями (A, B, C, D). Для каждого из 24 вращений запишите, как переставляются диагонали. Убедитесь, что получается вся группа S₄. Проверьте сохранение композиции на конкретном примере. ### Задание 4: Разложите группу на «атомы» Постройте цепочку разложения для S₄: {e} → V₄ → A₄ → S₄. Определите размер факторгруппы на каждом шаге. Сравните с разложением 24 = 2 × 3 × 2 × 2. ### Задание 5: Свяжите симметрию с законами сохранения Для трёх законов сохранения (энергия, импульс, момент импульса) определите соответствующую симметрию по теореме Нётер. Запишите результат в виде таблицы «симметрия → закон». ### Задание 6: Визуализируйте масштаб Монстра Вычислите: сколько «Юпитеров по числу атомов» помещается в группе Монстр? Сравните с S₁₀₁ (~9×10¹⁵⁹). Письменно объясните в 3-5 предложениях, почему Монстр интереснее S₁₀₁, несмотря на меньший размер. ## Лучшие цитаты > «Если бы вы говорили с инопланетной цивилизацией или сверхразумным ИИ, который изобрёл математику самостоятельно, оба согласились бы, что это число фундаментально» — 3Blue1Brown > «Что может быть более универсальным, чем симметрия?» — 3Blue1Brown > «Область, коренящаяся в самой симметрии, имеет настолько лоскутную фундаментальную структуру — как будто Вселенную проектировал комитет» — 3Blue1Brown > «Группа — это не набор симметрий конкретного объекта, а абстрактный способ, которым вещи вообще могут быть симметричными» — 3Blue1Brown > «Монстр и его абсурдный размер — хорошее напоминание: фундаментальные объекты не обязаны быть простыми» — 3Blue1Brown > «Вселенной безразлично, выглядят ли её окончательные ответы красиво. Они таковы по логической необходимости» — 3Blue1Brown > «Связь групп с действиями симметрии аналогична связи чисел со счётом» — 3Blue1Brown > «Первый вопрос — как открыть периодическую таблицу, а второй — как сделать после этого всю химию» — 3Blue1Brown