Шейла Миллер Эдвардс — Сильные логические аксиомы и самодистрибутивные алгебры: последние результ...

Эта лекция была частью семинара «FLINTA* в теории множеств», проходившего в ESI 9-11 сентября 2026 года. В этом докладе мы представим семейство сильных логических аксиом, называемых ранговыми вложениями, и связи между этими большими кардинальными вложениями и левыми дистрибутивными алгебрами. Существует множество примеров левых дистрибутивных операций в классической математике, включая групповое сопряжение и взвешенное среднее. Однако эти операции идемпотентны и, следовательно, не являются свободными. В конце 1980-х годов Ричард Лавер показал, что замыкание единственного рангового элементарного вложения относительно операции приложения порождает свободную левую дистрибутивную алгебру и продемонстрировал линейность определенного порядка на терминах свободной левой дистрибутивной алгебры (при условии существования таких вложений). Впоследствии Патрик Деорной использовал группу кос на бесконечном числе генераторов, чтобы показать линейность этого отношения упорядочения в рамках ZFC. Сила непротиворечивости других связанных теорем до сих пор неизвестна; остается возможным, что теорема о конечных левых дистрибутивных алгебрах обладает большой кардинальной силой — то есть, ее нельзя доказать из обычных аксиом теории множеств. Дэвид Лару позже расширил эту работу, чтобы продемонстрировать представления групп кос свободной левой дистрибутивной алгебры на n генераторах для любого натурального числа n. Все еще оставалась неуловимой алгебра вложений, изоморфная свободной левой дистрибутивной алгебре на более чем одном генераторе. Мы обсуждаем конструкцию обратного предела такой свободной, двупорожденной левой дистрибутивной алгебры вложений, основанную на несколько более сильном предположении о большом кардинале, чем то, которое использовал Лавер (совместная работа с Эндрю Брук-Тейлором и Скоттом Крамером), и расширение этого результата на счетное и непрерывное множество генераторов (совместная работа с Брук-Тейлором), а также приводим два дополнительных связанных результата (совместная работа со Скоттом Крамером, Мэн-Че «Турбо» Хо и Нам Траном). В заключение мы формулируем открытые проблемы, касающиеся левых дистрибутивных алгебр.