Об универсальных теориях метабелевых обобщенно жестких групп

Доказано, что изучение универсальных теорий метабелевых обобщенно жестких групп сводится к изучению универсальных теорий пар $(A,R)$, где $R$ — коммутативная область целостности, $A$ — нетривиальная подгруппа без кручения из мультипликативной группы $R^{\ast}$, порождающая кольцо $R$.