Алгебра и логика,
1994, том 33, номер 3, страницы 255–263
(Mi al2267)
|
О произведении конечнобазируемых многообразий решеточно упорядоченных групп
М. В. Литвинова
Аннотация:
В работе рассматривается вопрос о конечной базируемости произведения двух конечнобазируемых многообразий решеточно упорядоченных групп. Доказывается, что многообразия
$(\mathfrak{L}\cap\mathfrak{A}^2)\cdot V$ и
$\mathfrak{N}_s\cdot V$
конечно-базируемы, где
$\mathfrak{L}_n\cap\mathfrak{A}^2$ – многообразие решеточно упорядоченных групп, определяемое тождествами
$[x^n,y^n]=e,[|[x,y]|\wedge|z|$,
$|[x_1,y_1]\wedge|z_1|]=e$,
$\mathfrak{N}_c$ – многообразие нильпотентных решеточно упорядоченных групп ступени нильпотентности
$\le s$, определяемое тождеством
$[x_1,x_2,\dots,x_{s+1}]=e$,
$V$ – произвольное конечнобазируемое многообразие решеточно упорядоченных групп.
УДК:
512.545 Поступило: 21.09.1993
© , 2024