Найдены необходимые и достаточные условия для совпаденияуниверсальных теорий частично коммутативных группметабелевых многообразий, определенных ациклическими графами.