Часть 1. Очень трудная теорема и нимб над головой

Петр Савватеев
    В последний день симпозиума на «Хрустальной»[1] ребята из соседнего номера позвали в гости.
   
    За столом, кроме нас двоих, ивановских, сидело еще человек десять молодых людей, приехавших из разных городов СССР.

    Было похоже, что мой двадцативосьмилетний научный руководитель, сидевший слева от меня, здесь был самый «пожилой».

    А справа от меня расположился самый молодой — студент Илья из Риги, которого, видимо из-за молодости, все ласково называли «Илюша».

    Пока пили чай, Илюша отчего-то несколько раз тяжело вздохнул и прошептал: «Ужасно, ужасно».

    — Что, Илюша, плохо себя чувствуешь? — спросил я участливо.

    — Да, плохо, — сказал студент, ещё раз вздохнув, — как же это так получается? По теореме Левенгейма-Сколема модель действительных чисел должна быть счётной, но она же несчётная. Как же так? Ужасно, ужасно.

    Не стал я Илюшу утешать, да он и сам наверняка знал, что теорему эту просто назвали «парадоксом» и успокоились. Что взять с «парадокса»?

    После чая обсудили всевозможные новости из науки и из жизни.

    Сначала вспомнили прошлогодний алгебраический «колокволиум» в Гомеле[2], на котором, как оказалось, были все присутствующие.

    Потом москвичи рассказали про то самое собрание, на котором  Есенин-Вольпин[3] выступил в защиту опальных писателей и потребовал  «уважать Конституцию».

    Знали московские ребята и подробности гонений на сына Есенина, и интересные детали травли профессоров, подписавших письмо в ЦК КПСС в защиту Есенина-Вольпина.

    — Куроша[4], видимо, сильно напугали, — рассказал один из аспирантов МГУ, — Александра Геннадьевича чуть инфаркт не хватил, когда к нему в коридоре подбежала лаборантка кафедры с просьбой что-то подписать.

    — Доказательство гипотезы Римана оказалось ошибочным, — сообщил юноша из Новосибирска, — а «Алгебра и логика» уже завалена статьями со следствиями из положительного решения задачи Римана.

    А главной алгебраической сенсацией была публикация доказательства частичного решения проблемы Бернсайда [5].

    — Доказательство занимает несколько сотен страниц, — сказал кто-то.

    Мой руководитель пошутил: «А последняя фраза, конечно, «что и требовалось доказать»?»

    Публика дружно засмеялась.

    — Такое длинное доказательство, и вряд ли кто, кроме авторов, прочитал и проверил.
   
    — А я прочитал, — в наступившей вдруг тишине негромко сказал Илюша, — прочитал до конца и проверил. Там всё правильно.

    — Ну, Илюша, да ты как святой, — улыбнулась Вера, молодая доцентша из МГУ, — у тебя, я смотрю, прямо нимб светится над головой.

    И никто из присутствующих не знал тогда, что эти слова имеют пророческий и страшный смысл. 


                Продолжение http://proza.ru/2025/07/07/351
 

        ——————————————————————————————————————————————

               

                Примечания

    [1] На турбазе "Хрустальная" под Свердловском 2-8 февраля 1969 года состоялся третий Всесоюзный симпозиум по теории групп (94 участника из 19 городов СССР).

    [2]Подробности в http://proza.ru/2024/08/15/67

    [3] Александр Сергеевич Есенин-Вольпин (1924—2016) — советский и американский математик, кандидат физ.—мат. наук, сын поэта Сергея Есенина. Пострадал за требование «уважать Конституцию».

    [4] Александр Геннадиевич Курош (1908—1971) — советский математик-алгебраист, доктор физ.-мат. наук, профессор МГУ, в 1949-1971 зав. кафедрой высшей алгебры механико-математического факультета МГУ.

    [5] Проблема была поставлена Уильямом Бернсайдом ещё в 1902 году. В 1968 г. в трёх выпусках «Известия АН СССР. Серия математическая» было опубликовано доказательство частичного решения проблемы Бернсайда, полученное Петром Сергеевичем Новиковым и Сергеем Ивановичем Адяном.

    Ещё в 1959 году П.С.Новиков в «Докладах Академии наук» сообщил об отрицательном решении этой проблемы. В «Докладах» лишь анонсируется результат, без подробных доказательств. Когда коллеги стали интересоваться у Петра Сергеевича, когда же появится в печати подробное доказательство, Новиков признался, что он ошибся.

    Правда ли то, что опубликовал в 1959 году П. С. Новиков, до сих пор неизвестно. А тайна начинается с числа пять. Группы показателя два, три и четыре — конечны, а конечна ли группа

             <a, b; x^5 = 1>

до сих пор не знает никто.
_________________________
На фото.
 
Уильям Бернсайд (Burnside, 1852—1927) — английский математик-алгебраист.
Пётр Сергеевич Новиков (1901—1975) — советский математик-алгебраист.
Сергей Иванович Адян (1931—2020) — советский и российский математик-алгебраист.
Турбаза «Хрустальная» зимой.