СИБИРСКИЙ МАТЕМАТИЧЕСКИЙ ЖУРНАЛ

АННОТАЦИИ

Найдены базисы  Гребнера~--- Ширшова для алгебры Ли
 Дринфельда~--- Коно  $ {L}_{n}$ из [1] и алгебры Ли
 $A_P$, построенной Кукиным в [2], где $P$ --- полугруппа.
 В~качестве следствия показано, что
  $ {Z}$-модуль $ {L}_{n}$ свободен, и найден $ {Z}$-базис в
 $ {L}_{n}$. Дано другое доказательство теоремы Кукина:
 {\sl если полугруппа $P$  имеет неразрешимую проблему слов, то
  алгебра Ли  $A_P$ обладает тем же свойством}.