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