[Перевод] Семья математиков за 20 лет решила важнейшую задачу теории групп

В 2003 году немецкая аспирантка по имени Бритта Шпет наткнулась на гипотезу Маккея — одну из крупнейших нерешённых задач в области математики, известной как теория групп. Сначала её цели были относительно скромными: она надеялась доказать одну‑две теоремы, которые позволили бы сделать небольшой шаг вперёд в решении этой задачи, как делали многие другие математики до неё. Но с годами она снова и снова возвращалась к ней. По её словам, всякий раз, когда она пыталась сосредоточиться на чём‑то другом, «это не срабатывало».

Существовал риск, что столь упорное стремление к решению столь сложной задачи может навредить её академической карьере, но Шпет всё равно посвятила ей всё своё время. Это привело её в кабинет Марка Кабанеса — математика, ныне работающего в Институте математики Жюссьё в Париже, который, вдохновлённый её усилиями, тоже полностью погрузился в работу над этой гипотезой. Работая вместе, они влюбились друг в друга и в конце концов создали семью.

Проблема, которая поглотила их внимание, берёт за основу одну из ключевых тем математики и превращает её в конкретный инструмент для исследователей теории групп. Математика полна чрезвычайно сложных абстрактных объектов, которые невозможно изучить в полном объёме. Однако, как обнаружили математики, зачастую достаточно рассмотреть лишь небольшой фрагмент такого объекта, чтобы понять его более общие свойства. Например, в III веке до н. э. древнегреческий математик Эратосфен оценил окружность Земли — примерно 40 000 км — путём измерения теней, отбрасываемых солнцем, всего в двух городах, расположенных на расстоянии около 800 км друг от друга. Аналогичным образом, когда математики хотят понять невероятно запутанную функцию, они могут посмотреть, как она ведёт себя на небольшом подмножестве возможных входных значений. Этого может быть достаточно, чтобы понять, как функция ведёт себя при всех возможных входных данных.

>>

Источник: habr.com