Алгоритмические и теоретико-модельные свойства алгебраических структур
Руководитель проекта: Кыдырбекулы А.Б.
Исполнители проекта: Бадаев С.А., Хисамиев Н.Г., Тусупов Д.А., Нуртазин А.Т.
Организация: Научно-исследовательский институт математики и механики при КазНУ им. аль-Фараби
Инвентарный номер: 0216РК01210
Регистрационный номер: 0115РК00757
Ключевые слова: Полурешетки Роджерса*Теория математических структур
Получены критерии ретрактности абелевой подгруппы унитреугольной группы матриц конечной размерности над кольцом целых чисел. Установлена вычислимость любого ретракта разрешимой группы без кручения. Доказано существование алгоритма, который по любой подгруппе свободной нильпотентной группы определяет, является она ретрактом или нет. Показана независимость проблемы вхождения в члены верхнего и нижнего центральных рядов друг от друга и от данной вычислимой нумерации всей группы для вычислимых нильпотентных групп.