Обобщенная вычислимость и определимость модели
Руководитель проекта: Н.Г.Хисамиев
Исполнители проекта: Н.Г.Хисамиев
Организация: Вост.-Каз. техн. ун-т им. Д.М. Серикбаева
Инвентарный номер: 0206РК00727
Регистрационный номер: 0106РК00310
Ключевые слова: Группы [мат.], Конструктивные нильпотентные группы, Нильпотентные группы, Абелевы группы,
Объект исследования: позитивно определенные и конструктивные нильпотентные группы. Получено достаточное условие вычислимости подгруппы позитивно определенной группы. Определено необходимое и достаточное условие позитивной определенности двухступенно нильпотентной группы без кручения. Доказаны: существование конструктивизируемой двухступенно нильпотентной группы без кручения, фактор-группа по центру которой не конструктивизируема; конструктивизируемость двухступенно нильпотентного произведения конструктивизируемых абелевых групп.