Есть математические задачи, которые легко сформулировать и почти невозможно решить. Проблема Шпехта как раз из таких. В грубом переводе на человеческий язык вопрос звучит так. Если алгебра подчиняется бесконечному множеству правил, обязательно ли существует конечный набор правил, из которого выводятся все остальные?
Для ассоциативных алгебр над полем характеристики ноль ответ оказался положительным. Вильгельм Шпехт поставил задачу в 1950 году, а советский математик Александр Робертович Кемер решил её спустя несколько десятилетий. Причём Кемер не просто закрыл старую головоломку, а построил целую теорию, которая сильно изменила представление математиков о полиномиальных тождествах.
Что вообще спрашивал Шпехт
Начну с простого примера. В обычной арифметике порядок умножения не играет роли.
xy − yx = 0
Для чисел равенство работает всегда. Но для матриц произведения AB и BA обычно различаются. Поэтому теория ассоциативных алгебр изучает более сложные выражения, которые обращаются в ноль при любой допустимой подстановке элементов конкретной алгебры. Такие выражения называют полиномиальными тождествами, а алгебры, удовлетворяющие нетривиальным полиномиальным тождествам, называют PI-алгебрами.
Все тождества одной алгебры образуют специальный объект, T-идеал. Буква T здесь принципиальна. Обычного идеала недостаточно, поскольку набор тождеств должен сохраняться при произвольной замене переменных другими полиномами.
Шпехт в работе «Gesetze in Ringen I» поставил вопрос о конечной базируемости. Пусть существует бесконечное количество тождеств
f₁ = 0, f₂ = 0, f₃ = 0, ...
Нужно понять, всегда ли можно выбрать конечное число тождеств так, чтобы все остальные следовали из выбранного набора при подстановках, сложении и умножении на полиномы.
Смысл напоминает конечный набор аксиом. Бесконечное количество следствий само по себе не страшно. Намного важнее, можно ли найти конечное ядро, которое порождает всю бесконечную систему.
Почему задача оказалась настолько трудной
Первое впечатление обманчиво. Хочется сказать, что «где-нибудь» среди бесконечной системы наверняка найдётся конечный набор основных правил. В некоммутативной алгебре такая логика не работает автоматически.
Полиномов бесконечно много, число переменных не ограничено, а подстановка одного некоммутативного выражения в другое быстро создаёт чрезвычайно сложную структуру. Кроме того, обычная теорема Гильберта о конечном базисе напрямую проблему Шпехта не решает. Свободная ассоциативная алгебра ведёт себя гораздо менее дисциплинированно, чем кольцо коммутативных многочленов.
Есть и другая эквивалентная формулировка. Рассмотрим возрастающую цепочку T-идеалов
T₁ ⊂ T₂ ⊂ T₃ ⊂ ...
Проблема Шпехта спрашивает, обязана ли такая цепочка когда-нибудь остановиться. Если да, бесконечное добавление принципиально новых тождеств невозможно.
На решение ушло почти четыре десятилетия. За это время PI-теория накопила результаты Амицура, Ширшова, Размыслова, Латышева, Регева, Процези и других математиков. Но общего доказательства конечной базируемости всё равно не было.
Как Александр Кемер решил проблему
Решающую работу провёл Александр Робертович Кемер. В 1987 году вышла его статья «Конечная базируемость тождеств ассоциативных алгебр», а в 1988 году Академия наук опубликовала краткое изложение результата под прямым названием «Solution of the problem as to whether associative algebras have a finite basis of identities».
Главный результат формулируется жёстко. Над полем характеристики ноль каждый T-идеал тождеств ассоциативных алгебр имеет конечный базис. Значит, бесконечная система полиномиальных тождеств всегда определяется конечным числом исходных тождеств.
Сила доказательства Кемера заключалась не в удачном трюке с отдельными полиномами. Кемер перестроил сам способ исследования PI-алгебр.
Одним из центральных инструментов стали Z₂-градуированные алгебры, или супералгебры. Элементы такого объекта разделяются на чётную и нечётную части. Кемер связал произвольные T-идеалы в характеристике ноль с конечномерными градуированными алгебрами и их грассмановыми оболочками.
Грубо говоря, вместо попытки напрямую контролировать чудовищно большую бесконечную систему тождеств Кемер нашёл способ кодировать существенную структуру при помощи гораздо более управляемых конечномерных объектов. Позднее теорию стали описывать через такие понятия, как индекс Кемера, точные полиномы, представимость и редукция T-идеалов.
Следующий крупный результат усилил картину. Кемер доказал, что для каждой конечно порождённой ассоциативной PI-алгебры над бесконечным полем существует конечномерная алгебра с тем же идеалом полиномиальных тождеств. Бесконечномерный объект с точки зрения его тождеств можно заменить конечномерным.
Именно поэтому я бы не называл работу Кемера просто «ответом да». Настоящее достижение состояло в том, что математик нашёл скрытую конечную структуру за бесконечным лесом формул.
Где заканчивается победа Кемера
У результата есть принципиальное ограничение. Теорема Кемера относится к ассоциативным алгебрам над полями характеристики ноль, например над рациональными, вещественными или комплексными числами.
В положительной характеристике общая картина ломается. В конце 1990-х Алексей Белов, Александр Гришин и Виктор Щиголев независимо построили примеры T-идеалов ассоциативных алгебр над бесконечными полями положительной характеристики, для которых конечного базиса нет. Поэтому фразу «Кемер доказал, что любые алгебраические тождества имеют конечный базис» использовать нельзя.
Есть ещё одна тонкость. Теорема существования конечного базиса не превращает поиск такого базиса в лёгкий алгоритм. Конечный набор может оказаться огромным и чрезвычайно сложным, а само доказательство конечности ничего не обещает насчёт удобного способа выписать базис для конкретной алгебры.
Проблема Шпехта хорошо показывает разницу между двумя утверждениями. «Объект конечен в принципе» и «мы умеем эффективно его находить» в математике далеко не одно и то же.
Почему проблема Шпехта важнее одного красивого доказательства
Кемер фактически показал, что теория полиномиальных тождеств в характеристике ноль обладает гораздо большей конечностью, чем можно было ожидать по внешнему виду свободных некоммутативных алгебр. Результат связал бесконечномерные PI-алгебры с конечномерными и градуированными структурами, а методы Кемера затем начали переносить на градуированные алгебры, алгебры с инволюцией и другие классы.
Мне здесь особенно нравится почти философский поворот. Шпехт спросил, может ли бесконечное множество законов действительно содержать бесконечно много независимой информации. Кемер доказал, что в характеристике ноль для ассоциативных алгебр ответ отрицательный. Формул может быть бесконечно много, но независимое ядро всегда конечно.
Поэтому проблема Шпехта стала не просто ещё одной закрытой задачей XX века. Решение показало, что за кажущимся хаосом некоммутативных тождеств скрывается конечная архитектура. Найти такую архитектуру оказалось намного труднее, чем сформулировать сам вопрос.
FAQ
Кто сформулировал проблему Шпехта?
Немецкий математик Вильгельм Шпехт сформулировал задачу о конечном базисе полиномиальных тождеств ассоциативных алгебр в работе 1950 года.
Кто решил проблему Шпехта?
Для ассоциативных алгебр над полями характеристики ноль проблему решил советский математик Александр Робертович Кемер. Основные результаты появились в работах второй половины 1980-х годов.
Что значит конечный базис тождеств?
Конечный базис означает, что существует конечное число полиномиальных тождеств, из которых можно получить все остальные тождества рассматриваемой алгебры допустимыми алгебраическими операциями и подстановками.
Что такое T-идеал?
T-идеал представляет собой идеал свободной алгебры, устойчивый относительно всех эндоморфизмов. Такая устойчивость нужна потому, что полиномиальное тождество должно оставаться тождеством после произвольных подстановок полиномов вместо переменных.
Почему в теории Кемера появились супералгебры?
Z₂-градуировка позволила кодировать структуру полиномиальных тождеств через конечномерные градуированные объекты и их грассмановы оболочки. Такой переход стал одной из центральных идей доказательства.
Работает ли теорема Кемера в положительной характеристике?
В общем случае нет. Для ассоциативных алгебр над бесконечными полями положительной характеристики известны бесконечно базируемые системы полиномиальных тождеств.
Можно ли после теоремы Кемера автоматически найти конечный базис?
Нет. Теорема гарантирует существование конечного базиса в характеристике ноль, но не обещает простого универсального алгоритма, который быстро выпишет такой базис для произвольной заданной алгебры.
