Маканин, Геннадий Семёнович
Генна́дий Семёнович Мака́нин (19 мая 1938 — 2017) — российский математик, доктор физико-математических наук, старший научный сотрудник[2].
Общие сведения
| Геннадий Семёнович Маканин | |
|---|---|
| Дата рождения | 19 мая 1938 |
| Дата смерти | 2017 |
| Научная сфера | математика |
| Место работы | Математический институт им. В. А. Стеклова РАН |
| Образование | |
| Научный руководитель | Андрей Андреевич Марков[1] и Сергей Адян[1] |
| Известен как | автор алгоритма Маканина |
| Награды и премии | Лауреат Премии имени И. М. Виноградова (2010) |
Биография
Родился 19 мая 1938 года.
Окончил МГУ и аспирантуру. В 1967 году защитил кандидатскую диссертацию на тему «К проблеме тождества в конечно-определённых группах и полугруппах».
Работал в Математическом институте им. В. А. Стеклова АН СССР[2] (РАН) (с 2013 года — как внештатный сотрудник).
Научная деятельность
Сфера научных интересов — комбинаторная теория групп, алгоритмические вопросы теории полугрупп.
В своей докторской диссертации «Проблема разрешимости уравнений в свободной полугруппе» предложил новый алгоритм для распознавания наличия решений словарных уравнений (алгоритм Маканина)[3].
В 1982 году получил полное решение проблемы распознавания разрешимости уравнений в свободной группе. Он доказал, что если данное уравнение с длиной записи d имеет решение в свободной группе, то длина каждой компоненты минимального (по максимальной длине компоненты) решения не превосходит числа Φ(d), где Φ(x) — некоторая рекурсивная функция. Вскоре после этого ему удалось тем же путём доказать разрешимость экзистенциональной (универсальной) и позитивной теорий любой свободной группы (Чебышевский сборник, том 13, выпуск 1 (2012).
Соавтор диаграмм Маканина — Разборова для гиперболических групп (Makanin-Razborov Diagrams for Hyperbolic Groups).
Публикации
- Уравнения в свободной группе. // Известия АН СССР. Серия математика. 1982. Том 46. 6. С. 1199—1273.
- Универсальная теория и позитивная теория свободной группы. // Известия АН СССР. Серия математика. 1984. Том 48. 4. С. 735—749.
Награды
- Лауреат Премии имени И. М. Виноградова (2010 год) — за цикл работ «Проблема распознавания разрешимости уравнений в свободных группах и полугруппах».