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

Сергей Иванович Адян (род. 1 января 1931, село Кызыл-Аджло, Болнисский район, Грузинская ССР) — советский и российский математик, специалист в области математической логики, теории алгоритмов и теории групп. Академик Российской академии наук (2000, член-корреспондент с 1990), доктор физико-математических наук (1967), профессор (1969). Лауреат Государственной премии Российской Федерации (1999) и премии имени П. Л. Чебышёва (1992).

Биография

Сергей Иванович Адян родился 1 января 1931 года в селе Кызыл-Аджло (ныне — территория Грузии). В 1950 году поступил на механико-математический факультет Московского государственного университета имени М. В. Ломоносова (МГУ). После окончания университета в 1955 году был распределён в Институт математики имени В. А. Стеклова АН СССР (МИАН), где работал всю дальнейшую жизнь. В 1962 году защитил кандидатскую диссертацию на тему «Алгоритмические вопросы теории групп», а в 1967 году — докторскую диссертацию «Проблема тождества для групп с одним определяющим соотношением». В 1969 году ему было присвоено звание профессора.

С 1964 года Адян работал в МИАНе, где прошёл путь от младшего научного сотрудника до заведующего отделом математической логики (с 1990 года). В 1990 году был избран членом-корреспондентом АН СССР, а в 2000 году — академиком Российской академии наук. В 1999 году за цикл работ по теории алгоритмов и теории групп удостоен Государственной премии Российской Федерации.

Научная деятельность

Основные научные результаты Сергея Адяна относятся к теории алгоритмов, теории групп и математической логике. Он внёс фундаментальный вклад в решение проблем разрешимости в алгебре.

Проблема Бернсайда

Наиболее известным достижением Адяна является его совместная работа с П. С. Новиковым по решению ослабленной проблемы Бернсайда для групп. В 1968 году Новиков и Адян опубликовали серию статей, в которых доказали существование бесконечных конечно-порождённых групп периода n для всех нечётных n ≥ 4381. Позже (в 1975 году) Адян улучшил этот результат, снизив оценку до n ≥ 665. В 1992 году он совместно с И. Г. Лысёнком довёл оценку до n ≥ 101. Эта работа стала одним из крупнейших достижений в теории групп XX века, полностью решив ослабленную проблему Бернсайда в указанном диапазоне.

Проблема тождества в группах

В 1966 году Адян доказал алгоритмическую неразрешимость проблемы тождества для групп с одним определяющим соотношением в случае, когда соотношение имеет вид a^n = 1 при n ≥ 2. Этот результат существенно расширил понимание границ разрешимости в комбинаторной теории групп и показал, что даже для простых на вид групп проблема тождества может быть неразрешимой.

Теория алгоритмов

В области теории алгоритмов Адян разработал концепцию алгоритмической сводимости и исследовал вопросы сложности вычислений. Он внёс вклад в теорию рекурсивных функций и теорию автоматов. В 1970-х годах совместно с учениками изучал вопросы алгоритмической разрешимости для различных алгебраических структур, включая полугруппы и кольца.

Математическая логика

В математической логике Адян занимался проблемами разрешимости формальных теорий, вопросами неразрешимости и полноты. Он доказал неразрешимость некоторых теорий первого порядка, связанных с группами. В 1980-х годах работал над проблемой аксиоматизируемости классов групп.

Основные труды

Сергей Адян является автором более 100 научных работ, включая несколько монографий. Наиболее значимые публикации:

• «Проблема Бернсайда и тождества в группах» (1975, русское издание; 1979, английское издание) — монография, в которой изложены результаты по решению ослабленной проблемы Бернсайда и связанные с ней вопросы.
• «Алгоритмические вопросы теории групп» (1962) — кандидатская диссертация, заложившая основы его дальнейших исследований.
• «Неразрешимость проблемы тождества для групп с одним определяющим соотношением» (1966) — статья, в которой доказан ключевой результат.
• «О бесконечных периодических группах» (1968, совместно с П. С. Новиковым) — цикл статей, положивший начало решению проблемы Бернсайда.
• «Алгоритмическая неразрешимость некоторых проблем теории групп» (1970) — обзорная работа.

Награды и звания

• Государственная премия Российской Федерации (1999) — за цикл работ по теории алгоритмов и теории групп.
• Премия имени П. Л. Чебышёва (1992) — за выдающиеся результаты в области математики.
• Орден «Знак Почёта» (1975) — за заслуги в развитии советской науки.
• Заслуженный деятель науки Российской Федерации (1996) — за вклад в развитие математической науки.
• Академик Российской академии наук (2000) — высшее научное звание в России.

Педагогическая деятельность

Сергей Адян вёл активную преподавательскую работу. Он читал лекции на механико-математическом факультете МГУ и в других вузах. Под его руководством защищено более 20 кандидатских и докторских диссертаций. Среди его учеников — известные математики, такие как И. Г. Лысёнок, А. Ю. Ольшанский и другие. Адян основал научную школу по теории алгоритмов и теории групп, которая продолжает активно работать в МИАНе.

Влияние и признание

Работы Сергея Адяна оказали значительное влияние на развитие комбинаторной теории групп и теории алгоритмов. Его результаты по проблеме Бернсайда вошли в золотой фонд математики XX века. Адян является одним из наиболее цитируемых российских математиков в области алгебры и логики. Он был приглашённым докладчиком на Международном конгрессе математиков (1970, Ницца; 1978, Хельсинки). В 1990-х годах его работы получили международное признание, и он был избран членом ряда зарубежных академий, включая Американское математическое общество.

Интересные факты

• Сергей Адян — один из немногих математиков, кому удалось решить проблему, стоявшую перед наукой более 60 лет (проблема Бернсайда была сформулирована в 1902 году).
• Его совместная работа с П. С. Новиковым по проблеме Бернсайда заняла более 200 страниц и была опубликована в нескольких номерах журнала «Известия АН СССР. Серия математическая».
• Адян известен своей строгостью и требовательностью к научным публикациям, что отражается в его рецензиях и редакторской работе.
• В 2000 году, после избрания академиком РАН, он стал одним из немногих математиков, удостоенных этого звания за работы в области чистой математики.

Источники

• Адян С. И. Проблема Бернсайда и тождества в группах. — М.: Наука, 1975.
• Новиков П. С., Адян С. И. О бесконечных периодических группах // Известия АН СССР. Серия математическая. — 1968. — Т. 32, № 3.
• Адян С. И. Неразрешимость проблемы тождества для групп с одним определяющим соотношением // Известия АН СССР. Серия математическая. — 1966. — Т. 30, № 6.
• Математический энциклопедический словарь. — М.: Советская энциклопедия, 1988.
• Российская академия наук. Официальный сайт. — Биография С. И. Адяна.
• Государственная премия Российской Федерации в области науки и техники. Указ Президента РФ от 1999 года.