Хисамиев Н. Г.
О конструктивных нильпотентных группах

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

Khisamiev N. G.
On constructive nilpotent groups

We prove the following: (1) a torsion-free class 2 nilpotent group is constructivizable if and only if it is isomorphic to the extension of some constructive abelian group included in the center of the group by some constructive torsion-free abelian group and some recursive system of factors; (2) a constructivizable torsion-free class 2 nilpotent group whose commutant has finite rank is orderably constructivizable.

Полный текст статьи / Full texts:

• PDF file (425 KB)
• PostScript file (835 KB)