Аннотация:
С единой точки зрения излагаются общие основы алгебраической симплификации. Определяющим является введённое автором понятие схемы симплификации. В случае алгебр, заданных копредставлением, симплификаторы связаны со стандартным базисом (базисом Грёбнера, базисом Грёбнера–Ширшова) идеала соотношений. Предметом изучения являются алгебры, полученные “деформацией” из полугрупповых алгебр упорядоченных полугрупп. К их числу принадлежат свободные ассоциативные алгебры и универсальные обёртывающие алгебр Ли. Последним уделяется особое внимание. Указываются возможные приложения в криптографии.