О конструктивных нильпотентных группах

Доказаны следующие утверждения: 1) двухступенно нильпотентная группа без кручения конструктивизируема тогда и только тогда, когда она изоморфна расширению конструктивной абелевой группы, содержащейся в центре группы, посредством конструктивной абелевой группы без кручения и некоторой рекурсивной системы факторов; 2) конструктивизируемая двухступенно нильпотентная группа без кручения, коммутант которой имеет конечный ранг, упорядоченно конструктивизируема.