Генерические типы и генерические элементы в делимых жёстких группах

Группа $G$ называется $m$-жёсткой, если в ней существует нормальный ряд
$$G=\rho_1(G)>\rho_2(G)>\ldots>\rho_m(G)>\rho_{m+1}(G)=1,$$
факторы которого $\rho_i(G)/ \rho_{i+1}(G)$ абелевы и, рассматриваемые как (правые) $\mathbb{Z} [G/ \rho_i(G)]$-модули, не имеют модульного кручения. Жёсткая группа $G$ называется делимой, если элементы фактора $\rho_i(G)/ \rho_{i+1}(G)$ делятся на ненулевые элементы кольца $\mathbb{Z} [G/ \rho_i(G)]$. Ранее было доказано, что теория делимых $m$-жёстких групп полна и $\omega$-стабильна. Даётся алгебраическое описание генерических над делимой $m$-жёсткой группой $G$ элементов и типов.