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