Аннотация:
Найдены критерии вычислимости (конструктивизируемости) нильпотентных групп без кручения конечных размерностей. Доказано существование главной вычислимой нумерации класса всех вычислимых нильпотентных групп без кручения конечных размерностей. Построен пример подгруппы группы всех унитреугольных матриц размерности 3 над полем рациональных чисел, которая не вычислима, но секции любого ее центрального ряда вычислимы.
Ключевые слова:размерность группы, нильпотентная группа без кручения конечной размерности, унитреугольная группа матриц над полем рациональных чисел, центральный ряд, секции центрального ряда, вычислимая группа, главная вычислимая нумерация.
Полный текст:
PDF файл (338 kB)
