Распознавание тождеств в факторах универсальных обертывающих алгебр Литезисы доклада