RUS  ENG
Полная версия
ЖУРНАЛЫ // Алгебра и логика // Архив

Алгебра и логика, 1982, том 21, номер 4, страницы 442–471 (Mi al1780)

Тождества тензорного квадрата алгебры Грассмана

А. П. Попов


Аннотация: Изучается $T$-идеал тождеств алгебры $A=G\otimes_kG$, где $G$ — бесконечномерная алгебра Грассмана над полем характеристики нуль. Доказывается, что он порождается тождествами
$$ [x,y,[u,v],z]=0,\quad [[x,y]^2,y]=0. $$
Для доказательства этого результата изучается свободная алгебра $F(\mathfrak{M})$ многообразия $\mathfrak{M}$, определенного указанными тождествами. Дается описание (в терминах диаграмм Юнга) неприводимых компонент $S_n$-модуля $\Gamma_n(\mathfrak{M})$, порожденного собственными полилинейными формами, и получается явное разложение $\Gamma_n(\mathfrak{M})$ в прямую сумму неприводимых подмодулей. Как следствие получено, что в случае многообразий алгебр с единицей решетка подмногообразий в $\mathfrak{M}$ дистрибутивна. Отсюда выводится шпехтовость многообразия $\mathfrak{M}=var(A)$.

УДК: 519.48

Поступило: 26.06.1981



Реферативные базы данных:


© МИАН, 2024