Адян, Сергей Иванович

Сергей Адян родился 1 января 1931 года в посёлке Кушчинский Дашкесанского района. Поступил на учёбу в Ереванский русский педагогический институт им. В. Я. Брюсова. После первого курса, в 1949 году, вместе с группой лучших студентов Еревана его направили для продолжения учёбы в Московский государственный педагогический институт им. В. И. Ленина (перевод осуществлялся в вуз того же профиля, поэтому в переводе в МГУ ему отказали^[3][4]). По окончании МГПИ (1952) работал там же.

В 1956 году перешёл в Математический институт им. В. А. Стеклова, где заведовал отделом математической логики (с 1973). С 1965 года преподавал на кафедре логики механико-математического факультета МГУ.

С 7 декабря 1991 года — член-корреспондент РАН (секция математики, механики, информатики). С 25 мая 2000 года — академик РАН.

Был членом редколлегии журналов «Известия АН СССР. Серия математическая» (1973—1990), «Математические заметки» (1967—2020), «Успехи математических наук» (1967—2020). Являлся Почётным редактором журнала «International Journal on Algebra and Computation», а также Председателем Комиссии РАН по вопросам преподавания математики в средней школе (до конца жизни в 2020 году).

Умер 5 мая 2020 года в Москве. Похоронен на Троекуровском кладбище (участок № 27).

В 1955 году установил алгоритмическую нераспознаваемость почти всех нетривиальных свойств группы по её заданию конечным числом определяющих соотношений (в 1958 году результат независимо получен Михаэлем Рабином, и стал известен как теорема Адяна — Рабина). Эта теорема устанавливает алгоритмическую неразрешимость распознавания большинства свойств конечно-определённых групп^[5][6]. В 1968 году совместно с Петром Новиковым дал отрицательное решение задачи Бёрнсайда с ограниченной экспонентой для всех нечётных экспонент больше 4381^[7]. Для решения этой проблемы был создан «метод Новикова — Адяна». Впоследствии С. И. Адян усовершенствовал этот метод и получил уточнённый результат о бесконечности свободной бёрнсайдовой группы для нечётных показателей n ≥ 665^[8][9].

С. И. Адян создал крупную научную школу в области алгоритмических вопросов алгебры и логики^[9]. Под его руководством было подготовлено более 30 кандидатов и докторов наук^[10]. К числу наиболее известных учеников относятся:

• Л. Д. Беклемишев;
• И. Г. Лысёнок;
• Г. С. Маканин;
• А. А. Разборов^[10].

• Неразрешимость некоторых алгебраических проблем теории групп // Труды Московского математического общества. — 1957. — Т. 6;
• Определяющие соотношения и алгоритмические проблемы для групп и полугрупп // Труды Математического института АН СССР. — 1966. — Т. 85;
• Проблема Бернсайда и тождества в группах. — М., 1975;
• О группах, все собственные подгруппы которых конечные циклические // Известия АН СССР. Сер. математическая. — 1991. — Т. 55. — № 5.

• Премия имени П. Л. Чебышёва АН СССР (1963)
• Государственная премия Российской Федерации (1999)
• Орден Почёта (16 декабря 2011) — за большие заслуги в развитии отечественной науки и многолетнюю плодотворную деятельность^[11]
• Премия фонда «Династия» «Жизнь, посвящённая математике» (2014)^[12]
• Медаль «За трудовую доблесть» (1975)^[9]
• Медаль «Ветеран труда» (1987)^[13]
• Медаль «В память 850-летия Москвы» (1997)^[13]