CC BY
11Математика к Математическое
моделирование
Сетевое научное издание УДК 512.552+512.572
Ссылка на статью:
// Математика и математическое моделирование. МГТУ им. Н.Э. Баумана. Электрон. журн. 2016. №6. С. 15-29.
Б01: 10.24108/шаШш.0616.0855437
Представлена в редакцию: 28.12.2016 © МГТУ им. Н.Э. Баумана
О соотношениях в универсальных лиевски нильпотентных ассоциативных алгебрах класса 3
Дерябина Г. С.1
[email protected] 1МГТУ им. Н.Э. Баумана, Москва, Россия
Универсальные лиевски нильпотентные ассоциативные алгебры и алгебры, близкие к ним, активно изучаются последние 10 лет. Для их исследования важное значение имеет информация о соотношениях между порождающими таких универсальных алгебр. Полное описание этих соотношений известно только для алгебр класса нильпотентности 2, 3 и 4. Цель данной статьи — дать новое более простое доказательство для такого описания соотношений в случае класса 3. Ранее известное доказательство для этого описания проводится довольно сложной совместной индукцией по степени некоммутативных многочленов из пяти определенных семейств. В отличие от него доказательство, приведенное в данной статье, основано на использовании ряда упрощений и непосредственных вычислениях и не требует индукции.
Ключевые слова: свободные алгебры; порожденные коммутаторами идеалы; порождающее множество идеала
Введение
Исследование лиевски нильпотентных ассоциативных алгебр была начато в 1947 году С.А. Дженнингсом [1]. В последующие годы такие алгебры изучались во многих работах с разных точек зрения (см., например, статьи [2, 3,4] и приведенную там библиографию). Интерес к лиевски нильпотентным ассоциативным алгебрам усилился в последнее десятилетие в связи с публикацией в 2007 году пионерской работы Б. Фейгина и Б. Шойхета [8]. Результаты Б. Фейгина и Б. Шойхета были развиты в многочисленных статьях разных авторов, прежде всего П. Этингофа и его учеников (см. обзор [9] и статьи [10, 11, 12]). Исследования лиевски нильпотентных ассоциативных и близких к ним алгебр ведутся в настоящее время и в других направлениях (см., например, [5, 6, 7]).
Пусть Я — ассоциативное и коммутативное кольцо с единицей и А — произвольная ассоциативная Я-алгебра с единицей. Определим рекурсивно левонормированный коммутатор [а\, а2,..., ап], полагая [а\, а2] = а\а2 — а2а\, [а\,..., ап-1, ап] = [[а±,..., ап-1 ], ап], п > 3. Для любого п > 2 будем обозначать символом Т(п) (А) двусторонний идеал в А, порожден-
ный всеми коммутаторами [а^а2,... , ап], аг € А. Напомним, что алгебра А называется лиевски нилъпотентной класса не выше п — 1 для некоторого п > 2, если Т(п)(А) = 0.
Пусть Я(Х) — свободная ассоциативная Я-алгебра с единицей с непустым множеством X свободных порождающих. ПустьТ= Т(п)(Я(Х)). ФакторалгебраЯ(Х)/Тявляется универсальной (в другой терминологии — относительно свободной) лиевски нильпотентной ассоциативной Я-алгеброй с единицей класса п — 1, порожденной множеством X.
Для исследования вопросов, связанных с лиевски нильпотентными ассоциативными алгебрами, важное значение имеет описание минимального, или близкого к минимальному, порождающего множества идеала Т(п) как двустороннего идеала в Я(Х), которое, в частности, было бы конечным, если множество X конечно. Ясно, что Т(2) порождается как двусторонний идеал в Я(Х) коммутаторами [х1,х2] (Хг € X). Хорошо известно, что идеал Т(3) порождается многочленами
[Х1, Х2, Хз], [XI, Ж2][Жз, Х4] + [XI, Ж3][Ж2, Х4], Хг € X,
это было впервые доказано В.Н. Латышевым [13] в 1963 году в случае, когда Я — поле характеристики 0 и потом передоказывалось разными способами для различных колец Я (см., например, [10, 14, 15]). Если элемент 3 обратим в Я (здесь 3=1 + 1 + 1), то порождающее множество для Т(4) состоит из многочленов 3 видов (см. [16, 17, 18]):
[х1,Х2,Хз, Х4], Хг € X;
[Х1, Х2][хз, Х4, £5], £г € X;
([Х1,Х2][Хз,Х4] + [Х1 ,Хз][Х2,Х4^[Х5,Хб], Хг € X.
Этот результат, однако, нельзя распространить на случай произвольного ассоциативного и коммутативного кольца Я с единицей, поскольку, если элемент 3 необратим в Я (например, если Я — это кольцо целых чисел Z или поле характеристики 3), то, как было доказано А.Н. Красильниковым [19], вообще говоря, [х1,х2][хз,х4,х5] € Т(4).
Пусть Z — кольцо целых чисел. Периодическая часть аддитивной группы Z(X)/Т(4) была явно описана в [4]. Это описание опирается на следующий результат [4, Теорема 1.3]: Теорема 1. Пусть Я — произвольное ассоциативное и коммутативное кольцо с единицей, А = Я^) — свободная ассоциатиная Я-алгебра с непустым множеством X свободных порождающих. Пусть Т(4) — двусторонний идеал в А, порожденный всеми коммутаторами
[а1, а2, аз, а4], аг € А. Тогда идеал Т(4) порождается многочленами
[х1,х2,хз,х4], хг € X; (1)
[Х1,Х2,Хз][Х4,Х5,Хб], Хг € X; (2)
[Х1,Х2][Хз,Х4,Х5] + [Х1,Х5][Хз,Х4,Х2], Хг € X; (3)
[Х1,Х2][Хз,Х4,Х5] + [Х1,Х4][Хз,Х2,Х5], Хг € X; (4)
([Х1,Х2][Хз,Х4] + [Х1 ,Хз][Х2,Х4^[Х5,Хб], Хг € X. (5)
Заметим, что порождающее множество двустороннего идеала Т(5) было описано в [20]; это множество состоит из многочленов 8 видов.
Пусть ! — двусторонний идеал в А, порожденный всеми многочленами(1)-(5). Для доказательства теоремы 1 достаточно установить, что справедливы следующие два утверждения:
1) ! С Т(4);
2) Т(4) С !.
Цель настоящей статьи — дать новое доказательство п. 2, более простое, чем доказательство, приведенное в работе [4]. Будет доказан следующий результат. Теорема 2. Т(4) С !.
1. Вспомогательные результаты
Хорошо известно и легко проверяется, что для любых аг, Ь € А имеет место
[а1а2, Ь] = [а1, Ь]а2 + а1 [а2, Ь] и в общем случае для любого к > 2
к
[а1... ак, Ь] = а1... аг-1[аг, Ь]аг+1... ак.
г=1
Лемма 1. Для любых хг € X выполнено
1) ([Х1,Х2][Хз,Х4] + [Х1,Хз][Х2,Х4^ , Х5
е !.
е!;
2) [Х1 ,Х2][Хз,Х4,Х5],Хб
Доказательство. Так как [хг , х8, х4] + ! лежит в центре факторалгебры А/!, то
[Х1,Х2][Хз, Х4] + [Х1,Хз][Х2,Х4^ , Х5 =
= [Х1,Х2,Х5][Хз,Х4] + [Х1,Х2][Хз,Х4,Х5] + [Х1, Хз, Х5][Х2, Х4] + [Х1, Хз][Х2, Х4, Х5] = = [Хз ,Х4][Х1 ,Х2,Х5] + [Х1,Х2][Хз,Х4,Х5 ] + [Х2 ,Х4][Х1 ,Хз ,Х5] + [Х1 ,Хз][Х2 ,Х4 ,Х5] (mod ! ) = = —([Х4,Хз][Х1,Х2,Х5] + [Х4,Х2][Х1,Хз,Х5^ — ([х! , Х2ПХ4, Хз, Х5] + [Х1, Хз][Х4, Х2, Х5]
Так как приведенные выше суммы в скобках имеют вид (4), то
[Х1,Х2][Хз,Х4] + [х!,хз][х2, Х4Л , Х5 € !,
т.е. доказано первое утверждение. Далее,
[х1,х2][хз,х4,х5],хб = [х1,х2,хб][хз,х4,х5] + [х1,х2][хз,х4,х5,хб] € !
поскольку [х1,х2,хб][хз,х4,х5] € ! и [хз, х4, х5, хб] € !. Лемма доказана.
Следствие 1. Для любых x¿ е X элементы
([Х1,Х2][Хз,Х4] + [Ж1,Ж3][Ж2,Ж4^ + I И [xi, Ж2][Жэ, Ж4, Х5] + I
лежат в центре факторалгебры A/I.
Лемма 2. Для любых k, £ > 0 и любых xr, zt E X выполнено
[xi,X2]yi . ..Vk [Х3,Х4 ]zi ...z^[x5,xe] + [xi^Vi . . . Vk [x3,x2]zi . . . Z^, xa] E I.
Доказательство. Заметим, что
[xi,x2]Vi . . . Vk [x3,x4] + [xi ,x4]Vi . . . Vk [x3,x2] = Vi[xi,x2]V2 . . . Vk [x3,x4] +
+ Vi[xi,x4]V2 ...Vk [x3,x2] + [xi,x2,Vi]V2 . . . Vk [x3,x4 ] + [xi,x4,Vi]V2 . . . Vk [x3,x2].
Имеем
[xi,x2,Vi]V2 . . . Vk [x3,x4] + [xi,x4,Vi ]V2 . . . Vk [x3, x2] =
= V2 ...Vk [xi,x2,Vi ][x3,x4] + V2 ...Vk [xi,x4,Vi][x3,x2] (mod I) =
= V2 ... Vk([xi,x2, Vi][x3,x4] + [xi,x4, Vi][x3,x2^ = 0 (mod I),
поскольку
[xi,x2,Vi][x3,x4] + [xi,x4,Vi][x3, x2] E I.
Отсюда следует, что
[xi, x2] Vi ... Vk [x3, x4] + [xi, x4] Vi . . . Vk [x3, x2] =
= Vi [xi, x2] V2 ... Vk [x3, x4] + Vi [xi, x4] V2 ... Vk [x3, x2] (mod I).
Повторяя рассуждения, получаем
[xi, x2] Vi ... Vk [x3, x4] + [xi, x4] Vi . . . Vk [x3, x2] =
= Vi... Vk [xi,x2 ][x3,x4] + Vi... Vk [xi, x4][x3, x2 ] (mod I) =
= Vi . . . Vk([xi,x2][x3,x4] + [xi,x4][x3,x2]) ,
поэтому
[xi,x2]Vi.. .Vk[x3,x4]zi.. .z^[x5,xe] + [xi,x4]Vi.. .Vk[x3,x2]zi.. .z^[x5,xe] =
= Vi.. .Vk [xi,x2][x3,x4]zi.. .z^[x5,xe ] + Vi... Vk [xi ,x4][x3,x2]zi.. .z¿[x5,xa] (mod I) =
= Vi . . . Vk([xi,x2][x3,x4] + [xi,x4][x3,x2^Zi . . . Z¿[x5,xa]. (6)
Из следствия 1 вытекает
(Jxi,x2][x3,x4] + [xi,x4][x3,x2]) Zi . . . Z¿[x5,xa] =
= Zi... [xi,x2][x3,x4] + [xi,x4][x3,x2^[x5,xa] (mod I).
Так как
([Х1,Х2][Х3,Х4] + [X1,X4][X3,X2^[X5,X6] = - ([^1, Ж2][Ж4, £3] + [xi, £4][£2, £3]) [x5, Хб] G I,
TO
([x1, x2][x3, x4] + [xbx4][x3,x2])z1... z*[x5,x6] = 0 (mod I) и поэтому в силу (6)
[x1,x2]y1.. .yfc[x3,x4]z1.. . z*[x5,x6] + [x1,x4]y1... yfc[x3,x2]z1... z*[x5,x6] = 0 (mod I), т.е.
[x1,x2]y1 ...yk [x3,x4 ]Z1 ...z^[x5,x6] + [xbx4]y1 . . . yfc . ..Z*[x5,x6] G I,
Лемма доказана.
Лемма 3. Для любых a, b G A коммутатор [a, b] является линейной комбинацией коммутаторов вида [d, x], где d G A, x G X.
Доказательство. Ясно, что каждый коммутатор [a, b], a, b G A, является линейной комбинацией коммутаторов вида [y1... yk, z1... z*], где k, £ > 1, y», Zj G X. С другой стороны,
[y1... yfc, Z1. . . Z*] = У1 ... yfcZ1 ... z* - Z1 ... z*y1... yfc = = (У1.. .yfcZ1.. .z* - Z*y1 . . .yfc Z1 .. .z*_1) + (z*y1.. .yfc Z1.. .Z*_1 - Z*_1Z*y1 .. .yfc Z1 .. .Z*_2) + + ... + (Z2 ... Z*y1 . . . yfcZ1 - Z1 ... Z*y1 . . . yfc) = = [y1... yfc Z1... z*_1, z*] + [z*y1. . . yfc Z1 ... Z*_2, z*_1] + ... + [Z2 ... Z*y1 . . . yfc, Z1].
Лемма доказана.
Лемма 4. Идеал T(4) порождается (как двусторонний идеал в алгебре A) многочленами вида [a, x1, b, x2], где a, b G A и x» G X.
Доказательство. По лемме 3 каждый коммутатор [a1, a2, a3, a4], a» G A, является линейной комбинацией коммутаторов вида [a,x,b,c], где a, b, c G A, x G X. Ясно, что
можно предполагать без потери общности, что c = y1... y* для некоторых у» G X. Получаем
*
a x b, c] = [a, x, b, y1... y*] = J2 y1... y»_1 К x b, У»]У»+1... у*.
i=1
Лемма доказана.
2. Доказательство теоремы 2
Из леммы 4 следует, что для доказательсва того факта, что Т(4) С I, достаточно проверить, что [а, XI, Ь, х2] € I для любых а, Ь € А и х € X. Очевидно, что можно предполагать без потери общности, что а, Ь являются произведениями элементов из X. Лемма 5. Для любых а € А, х^ € X выполнены условия:
1) [а,Х1,Х2,хз] € I;
2) [х1,х2][а,х3,х4] + [х1,х4][а,х3,х2] € I;
3) [х1,х2,х3][а,х4,х5] € I;
4) [xi,x2][a,x3,x4],x5
G I.
Доказательство. Можно предполагать без потери общности, что а = у1у2 ... у*, где у € X.
Сначала докажем п. 1. Имеем
[а,х1,х2,хз] = [у1 . . .у*,х1,х2,хз] = 51 + 52 + 5з,
где
51 = Y1 У1.. .yi-i[yi,xi,x2,x3]yi+i.. .yfc,
i=i
52 = ^ yi ...Уг-Л ([yi,xi,x2]yi+i ...yi'-i[yi' ,x3] + [yi,x3]yi+i ...y^ —i[yi/ ,xi ^2]) +
+ ([yi,xi,x3]yi+i.. .yi/-i[yi/,x2] + [yi,x2]yi+i.. .yi/-i[yi/,xi,x3^ + + (Jyi,x2,x3]yi+i . . .Уг/ — i [yi/, xi] + [yi,xi]yi+i . . .y^ —i[yi/ ,x2,x3^y^/+i . . . yfc,
53 = ^ yi ... yi— i ( (^ xi]yi+i . . . yi/ —i[yi/, x2]yi/+i . . . yi// — i[yi//, x3] +
0<г<г/<г//<^
+ [yi, x2]yi+i . . . yi/ —i[yi/, xi]yi/+i . . . yi// —i [yi//, x3 ]) + + ([yi, xi]yi+i . . . yi/ —i[yi/, x3]yi/+i . . . yi// —i[yi//, x2] + + [yi, x3]yi+i . . . yi/ —i[yi/, xi]yi/+i . . . yi// —i [yi//, x2]) + + ([yi, x2]yi+i . . . yi/ —i[yi/, x3]yi/+i . . . yi// —i[yi//, xi] +
+ [yi,x3]yi+i . . .yi/ —i[yi/ ,x2]yi/+i.. .yi// —i[yi// yi//+i .. .yfc.
Ясно, что Si G I. Докажем, что S2 G I. Действительно,
[yi,xi,x2]yi+i . . .yi/ —i[yi/ ,x3] + [yi,x3]yi+i . . .yi/ —i [yi/ ,xi,x2] =
= yi+i... yi/—i[yi/,x3][yi,xi,x2] + [yi,x3][yi/,xi,x2]yi+i... yi/—i =
= yi+i.. .yi/—1([yi/,x3][yi,xi,x2] + [yi,x3][yi/,xi,x2^ (mod I),
поскольку для любых Xj, y, y' £ X [y,xbx2] + I и [y,x3][y',xi,х2] + I лежат в центре
факторалгебры A/I. Так как [y¿/, х3][y¿, x1, x2] + [y¿, x3][y¿/, x1, x2] £ I, то
[y¿,Xi,X2]y¿+i . . .y¿/-i[y¿/ ,Хз] + [y¿,X3]y¿+i . . .y¿/ —i [y¿/ ,Xi,X2] £ I.
Аналогично,
[y¿ ,Xi,X3]y¿+i . . .y¿/-i[y¿/ ,X2 ] + [y¿ ,X2]y¿+i . . .y¿/-i[y¿/ ,Xi,X3 ] £ I
и
[y¿,X2,X3]y¿+i . . .y¿/-i[y¿/ ,Xi] + [y¿,Xi]y¿+i . . .y¿/-i [y¿/, X2, X3] £ I.
Следовательно, S2 £ I, что и требовалось доказать. Наконец, из леммы 2 следует, что
[y¿, Xi]y¿+i... y¿/-i [y¿/, X2]y¿/+i... y¿//-i[y¿//, X3] +
+ [y¿, X2]y¿+i . . . y¿/-i[y¿/, Xi]y¿/+i . . . y¿//-i[y¿//, X3] £ I, [y¿, Xi]y¿+i . . . y¿/-i [y¿/, X3]y¿/+i . . . y¿//-i[y¿//, X2] +
+ [y¿, X3]y¿+i . . . y¿/-i[y¿/, Xi]y¿/+i . . . y¿//-i[y¿//, X2] £ I, [y¿, X2]y¿+i . . . y¿/-i [y¿/, X3]y¿/+i . . . y¿//-i[y¿//, Xi] +
+ [y¿, X3]y¿+i . . . y¿/-i[y¿/, X2]y¿/+i . . . y¿//-i[y¿//, Xi] £ I.
Поэтому S3 £ I.
Таким образом, Si, S2, S3 £ I и [a,x1,x2,x3] = S1 + S2 + S3 £ I. Утверждение п. 1 доказано.
Докажем теперь утверждение п. 2. Из п. 1 вытекает, что элемент [a, xr, xs] + I лежит в центре факторалгебры A/I для любых a £ A, x¿ £ X, поэтому
[xi,x2][a,x3,x4] + [x1 ,x4][a,x3,x2] = [a,x3,x4][x1,x2] + [a,x3,x2][x1,x4] (mod I).
Ясно, что
[a, x3, x4 ][x1, x2] + [a, x3, x2][x1, x4 ] = Si + S2,
где
51 = yi.. .y¿-1 [yj,X3,X4]yj+i .. .yfc[Xi,X2] + yi . ..y¿-i[y¿,X3,X2]y¿+i . . .yfc[Х1,Х4^,
52 = ^ yi ...y¿-U [yi,X3]yi+i ...y¿/-i[y¿/ ,X4]yi/+i ...yfc [X1,X2] +
1<í<í/<fc ^
+ [y¿,X4]y¿+i . . .y¿/ — 1 [y¿/ ,X3]y¿/+i . . .yfc [Xi, X2] + + [y¿,X3]y¿+i . . .y¿/ — i[y¿/ ,X2]y¿/+i . . .yfc [Xi, X4] +
+ [y¿,X2]y¿+i . . .y¿/ — i[y¿/ ,X3]y¿/+i . . .yfc [Xi, X4] J .
Так как для любых v, xi E X [v, xr, xs] + I лежит в центре факторалгебры A/I, то
Si = X Vi... Vi-iVi+i... Vk( [xi,x2][vi,x3,x4] + [xi,x4][Vi,x3,x2H (mod I).
i=i ^ '
Для любого i многочлен [xi, x2][y, x3, x4] + [xi, x4][y, x3, x2] имеет вид (3), поэтому он принадлежит идеалу I. Следовательно, Si E I. С другой стороны, по лемме 2
[Vi,x3]Vi+i . . .Vi'-i[Vi' ,x4 ]Vi'+i . . . Vk [xi,x2 ] + [Vi ,x4]Vi+i . . . Vi,-i[Vi' ,x3]Vi'+i . . . Vk [xi,x2] E I и
[Vi,x3]Vi+i . . . Vi'-i[Vi' ,x2]Vi'+i . . . Vk [xi,x4] + [Vi,x2]Vi+i . . . Vi'-i [Vi' ,x3]Vi'+i . . . Vk [xi,x4] E I.
Поэтому S2 E I. Следовательно, [xi,x2][a, x3,x4] + [xi, x4][a,x3,x2] E I, как и утверждалось. Утверждение п. 2 доказано.
Теперь докажем утверждение п. 3. Ясно, что
[xi,x2,x3][a,x4,x5] = [a,x4,x5][xi,x2,x3] (mod I)
и
[a,x4,x5][xi,x2,x3] = [ViV2 ... Vk,x4,x5][xi,x2,x3] = Si' + S2',
где
k
Si' = Y_1 Vi.. . Vi-i[Vi ,x4,x5]Vi+i . . .Vk [xi ,x2,x3]
i=i
и
S2' = X (vi... Vi-1[Vi, x4]Vi+i... Vi'-i [Vi', x5]Vi'+i... Vk +
+ Vi . . . Vi-i[Vi,x5]Vi+i .. .Vi'-i [Vi' ,x4]Vi'+i.. .Vk) [xi,x2,x3].
Так как для любых xi, y E X элемент [y,x4,x5] +I лежит в центре факторалгебры A/I и
[y, x4, x5][xi, x2, x3] E I, как многочлен вида (2), то
k
Si' = Х Vi ...Vi-iVi+i ...Vk [Vi,x4,x5][xi ,x2,x3] (mod I) = 0 (mod I),
i=i
т.е. Si' E I.
Далее, так как [xi, x2, x3] + I и [y, xi][xi, x2, x3] + I для любых xj, y E X лежат в центре факторалгебры A/I, то
S2' = X Vi... Vi-iVi+i... Vi'-iVi'+i... Vk X
i<i<i'<k
X ([Vi,x4][Vi',x5] + [vi,x5][vi',x4U[xi,x2,x3] (mod I).
Имеем
Jy ,x4][y¿' ,£5] + [y¿,x5][y¿' ,x4^[xi,x2,x3] =
= ([yi,x4][xi,x2,x3] + [y¿,x3][xi ,£2, £4])^/ ,£5] -- [Уг,Жз](Ъг' ,X5][X1,X2,X4] + ,£4]^, £2,£5]) +
+ ([yi,X3][Xi ,Х2,Хб] + [yi,X5][Xi,X2,X3 ]J [yj/ ,£4] (mod I).
Многочлены в скобках в правой части приведенного выше равенства имеют вид (3) и потому лежат в I. Следовательно, ([yi,x4][yj/,x5] + [yi,£5][yi/, x4]) [x1, x2, x3] £ I для любых г,г' и потому S2' £ I.
Отсюда следует, что [x1, x2, x3][a, x4, x5] £ I для любых a £ A, £ £ X, как и утверждалось. Утверждение п. 3 доказано.
Наконец, докажем последнее утверждение из п. 4. Ясно, что
[x1, £2][a, £3, £4], £5 = [x1, x2, x5][a, x3, x4] + [x1, x2][a, x3, x4, x5].
Согласно п. 2, имеем [x1, x2, x5][a, x3, x4] £ I, и согласно п. 1 [ a, £3, £4, £5] £ I. Отсюда
следует, что
[x1,x2][a,x3,x4],x5 £ I. Лемма доказана.
Следствие 2. Для любых а £ A, x¿ £ X элементы [a,x^x2] + I и [xi, x2][a, x3, x4] + I лежат в центре факторалгебры A/I.
Теперь приступим к доказательству теоремы 2. Напомним, что достаточно доказать, что [а, x1, b, x2] £ I для любых а, b £ A, x¿ £ X. Можно предполагать без потери общности, что b = z1... z¿, где Zj £ X. Имеем
[a,x1,b,x2] = — b, [a,x1],x2 = — z1... z¿, [a,x1],x2 = —(S1 + S2),
где
S1 = J2 Z1.. .Zj-1 Zj, [а, X1], X2
j=1
Zj+1...
S2 = E (z1... Zj-1 [zj, [a, £1]] Zj+1.. .Zj-/_1[zj/,X2]Zj/+1... +
+ Z1... Zj_1[Zj, £2]Zj+1... Zj/_1 Zj/, [a, £1]
Zj/+1...
1<j<j/<^
E Z1... Zj-Л [Zj, [a,£1^ Zj+1... Zj/_1[Zj/,£2] +
+ [Zj, £2]Zj+1... Zj/_1 Zj/, [a, £1]
Zf + 1 ...
Согласно лемме 5 1) имеем [а, Х1, , х2] £ I, поэтому ^, [а, х^, х2] = - [а, Х1, , х2] £ I для любых ]. Отсюда следует, что 51 £ I.
С другой стороны, согласно следствию 2
Zj, [a, xi] Zj+i... Zj/—i[zj/, x2] + [zj, x2]zj+i... Zj/—i Zj/, [a, xi] =
= [a,xi, Zj]Zj+i... Zj/—i[x2, Zj/] + [x2,Zj]Zj+i... Zj/—i[a,xi,Zj/] = = Zj+i... Zj/—i[x2, Zj/][a, xi, Zj] + [x2, Zj][a, xi, Zj/]Zj+i... Zj/—i (mod I) =
= ([x2,Zj/][a,xi,Zj ] + [x2,Zj][a,xi,Zj/]) Zj+i ...Zj/—i (mod I).
Так как по лемме 5, п. 2 выполнено [x2, Zj/][a, xi, Zj] + [x2, Zj][a, xi, Zj/] G I, то
Zj, [a,xi] Zj+i... Zj/-i [zj/,X2] + [zj,x2]zj+i... Zj/_i Zj/, [a,xi]
G I
для любых j, jОтсюда следует, что S2 G I.
Таким образом, [a,xi,b,x2] = — (Si + S2) G I, что и требовалось доказать. Теорема 2 доказана.
Заключение
Для идеалов T(n)(A) свободных ассоциативных алгебр A = R(X) актуальной задачей является отыскание минимального, или близкого к нему, порождающего множества, которое, в частности, было бы конечным, если множество X конечно. Для доказательства того, что такое близкое к минимальному порождающее множество действительно порождает T(n) существует метод, состоящий в доказательстве совместной индукцией определенных утверждений для ряда семейств многочленов: двух семейств для n = 3 [14], пяти семейств для n = 4 [4] и восьми семейств для n = 5 [20]. В то же время для n = 3 тот факт, что известное близкое к минимальному порождающее множество действительно порождает T(3), может быть доказан непосредственными вычислениями [13] с использованием различных упрощений и это доказательство оказывается проще, чем доказательство с использованием совместной индукции. Настоящая работа показывает, что при n = 4 доказательство с помощью непосредственных вычислений все еще оказывается проще, чем доказательство методом совместной индукции, однако это преимущество гораздо меньше, чем при n = 3. Следует ожидать, что при n > 5 доказательство того, что близкое к минимальному порождающее множество действительно порождает идеал T(n), с помощью упрощений и непосредственных вычислений также будет несколько проще, чем доказательство методом совместной индукции, но не позволит полностью отказаться от индукции.
Список литературы
1. Jennings S.A. On rings whose associated Lie rings are nilpotent // Bulletin of the American
Mathematical Society. 1947. Vol. 53. P. 593-597. DOI: 10.1090/S0002-9904-1947-08844-3
2. Levin F., Sehgal S. On Lie nilpotent group rings // Journal of Pure and Applied Algebra. 1985.
Vol. 37. P. 33-39. DOI: 10.1016/0022-4049(85)90085-4
3. Красильников А.Н. О полугрупповой и лиевской нильпотентности ассоциативных алгебр // Математические заметки. 1997. Т. 62, №4. С. 510-519. DOI: 10.4213/mzm1634
4. Deryabina G., Krasilnikov A. The torsion subgroup of the additive group of a Lie nilpotent associative ring of class 3 // Journal of Algebra. 2015. Vol.428. P. 230-255. DOI: 10.1016/j.jalgebra.2015.01.009
5. Kanel-Belov A., Karasik Ya., Rowen L.H. Computational Aspects of Polynomial Identities. Vol. l. Kemer's Theorems. Boca Raton-London-New York: CRC Press, 2016. 408 p.
6. Гришин A.B., Пчелинцев С.В. О центрах относительно свободных ассоциативных алгебр с тождеством лиевой нильпотентности // Математический сборник. 2015. Т. 206, № 11. С. 113-130. DOI: 10.4213/sm8474
7. Киреева Е.А. О квантовой лиевской нильпотентности ступени 2 // Математика и математическое моделирование. МГТУ им. Н.Э. Баумана. Электрон. журн. 2016. №3. С. 10-17. DOI: 10.7463/mathm.0316.0846913
8. FeiginB., ShoikhetB. On [A, A]/[A, A, A] and on a Wn-action on the consecutive commutators of free associative algebras // Mathematical Research Letters. 2007. Vol. 14, no. 5. P. 781-795. DOI: 10.4310/MRL.2007.v14.n5.a7
9. Abughazalah N., Etingof P. On properties of the lower central series of associative algebras // Journal of Algebra and its Applications. 2016. Vol. 15, iss. 10. Art. no. 1650187 (24 pages). DOI: 10.1142/S0219498816501875
10. Bhupatiraju S., Etingof P., Jordan D., Kuszmaul W., Li J. Lower central series of a free associative algebra over the integers and finite fields // Journal of Algebra. 2012. Vol.372. P. 251-274. DOI: 10.1016/j.jalgebra.2012.07.052
11. Jordan D., Orem H. An algebro-geometric construction of lower central series of associative algebras//International Mathematics Research Notices. 2015. Vol. 2015, no. 15. P. 6330-6352. DOI: 10.1093/imrn/rnu125
12. Deryabina G., Krasilnikov A. Products of commutators in a Lie nilpotent associative algebra // Journal of Algebra. 2017. Vol. 469. P. 84-95. DOI: 10.1016/jjalgebra.2016.08.031
13. Латышев В.Н. О выборе базы в одном T-идеале // Сибирский математический журнал. 1963. Т. 4, №5. С. 1122-1127.
14. Gupta C.K., Krasil'nikov A.N. A solution of a problem of Plotkin and Vovsi and an application to varieties of groups // Journal of the Australian Mathematical Society (Series A). 1999. Vol. 67, iss. 3. P. 329-355. DOI: 10.1017/S1446788700002056
15. Giambruno A., Koshlukov P. On the identities of the Grassmann algebra in characteristic p > 0 //Israel Journal ofMathematics. 2001. Vol. 122, iss. 1. P. 305-316. DOI: 10.1007/BF02809905
16. Воличенко И.Б. Т-идеал, порожденный элементом [x^ x2, x3, x4]. Минск: Ин-т матем. АН БССР, 1978. 13 с. (Препринт № 22).
17. Гордиенко А.С. Коразмерности коммутатора длины 4 // Успехи математических наук. 2007. Т. 62, вып. 1. С. 191-192. DOI: 10.4213/rm5696
18. Etingof P., Kim J., Ma X. On universal Lie nilpotent associative algebras // Journal of Algebra. 2009. Vol. 321. P. 697-703. DOI: 10.1016/j.jalgebra.2008.09.042
19. Krasilnikov A. The additive group of a Lie nilpotent associative ring // Journal of Algebra. 2013. Vol. 392. P. 10-22. DOI: 10.1016/j.jalgebra.2013.06.021
20. da Costa E.A., Krasilnikov A. Relations in universal Lie nilpotent associative algebras of class 4 // arXiv:1306.4294 [math.RA].
Mathematics i Mathematical Modelling
Electronic journal of the Bauman MSTU
Mathematics and Mathematical Modelling of the Bauman MSTU, 2016, no. 6, pp. 15-29.
DOI: 10.24108/mathm.0616.0855437
Received: 28.12.2016
© Bauman Moscow State Technical University
On relations of the universal Lie nilpotent associative algebras of class 3
Deryabina G. S1
[email protected] 1 Bauman Moscow State Technical University, Russia
Keywords: free algebras, ideals generated by commutators, a generating set of an ideal
Let R be a unital associative and commutative ring and let A be a unital associative R-algebra. For arbitrary elements d G A, i = 1,..., n, define a left-normed commutator [di, d2,..., dn] recursively, supposing that [d1, d2] = d1 d2 — d2d1, [d1,..., dn-1, dn] = [[d1,..., dn-1 ], dn], n > 2. For any n > 1, let T(n) (A) denote the two-sided ideal in A generated by all commutators [d1, d2,..., dn] for all d^ G A. Recall that an algebra A is called Lie nilpotent of class at most n — 1 if T(n) (A) = 0.
Now let A = R(X) be the free unital associative R-algebra on a non-empty set X of free generators and let T(n) = T(n)(A). The quotient algebra A/T(n) is the universal (or, in another terminology, the relatively free) unital associative R-algebra of Lie nilpotent of class n—1 generated by a set X. Such universal algebras and their similar algebras have been intensively studying during the last decade. For their study, information about the relationships between generators of these universal algebras is of importance.
Let Z be the ring of integers. The torsion part of the additive group of Z(X)/T(4) has been explicitly described in [4]. This description is based on the following result:
Let R be an arbitrary unital associative and commutative ring. Then T(4) is generated as a two-sided ideal in A by the polynomials
(1) [Y ,Y,Y,Y];
(2) [Y ,Y,Ys][Y4, Y,Y6];
(3) [Y1, Y2]Y, Y4, Y] + [Y1, Y][Y, Y4, Y2];
(4) [Y, Y ][Y3, Y, Y5 ] + [Y, Y ][Y3, Y, Y5 ];
(5) ([Y1, Y2][Y3, Y] + [Y1, Y][Y, Y4])[Y5, Y], where, for all i, Y belongs to X.
Let I be the two-sided ideal in A generated by all polynomials (1)-(5). It has been proved in [4] that I = T(4), that is,
(i) I is contained in T(4);
(ii) T(4) is contained in I.
The proof of the item (ii) in [4] is based on a relatively sophisticated simultaneous induction according to degree of non-commutative polynomials that belong to five certain families. The aim of the present article is to give a new proof of (ii) that is simpler than that of given in [4]. In our proof we make use of various simplifications and straightforward calculations and do not use induction. More precisely, we prove that the ideal T(4) is generated (as a two-sided ideal in A) by the commutators of the form [a, Yi, b, Y2 ] where Yi, Y2 are elements of X and a, b are products of elements of X. Then we check that the commutators of such a form belong to I, therefore T(4) is contained in I.
References
1. Jennings S.A. On rings whose associated Lie rings are nilpotent. Bulletin of the American Mathematical Society, 1947, vol. 53, pp. 593-597. DOI: 10.1090/S0002-9904-1947-08844-3
2. Levin F., Sehgal S. On Lie nilpotent group rings. Journal of Pure and Applied Algebra, 1985, vol. 37, pp. 33-39. DOI: 10.1016/0022-4049(85)90085-4
3. Krasil'nikov A.N. On the semigroup nilpotency and the Lie nilpotency of associative algebras. Matematicheskie zametki, 1997, vol.62, no. 4, pp. 510-519. DOI: 10.4213/mzm1634 (English version of journal: Mathematical Notes, 1997, vol.62, pp.426-433. DOI: 10.1007/BF02358975)
4. Deryabina G., Krasilnikov A. The torsion subgroup of the additive group of a Lie nilpotent associative ring of class 3. Journal of Algebra, 2015, vol.428, pp. 230-255. DOI: 10.1016/j.jalgebra.2015.01.009
5. Kanel-Belov A., Karasik Ya., Rowen L.H. Computational Aspects of Polynomial Identities. Vol. l. Kemer's Theorems. Boca Raton-London-New York, CRC Press, 2016. 408 p.
6. Grishin A.V., Pchelintsev S.V. On centres of relatively free associative algebras with a Lie nilpotency identity. Matematicheskij sbornik, 2015, vol.206, no. 11, pp. 113-130. DOI: 10.4213/sm8474 (English version of journal: Sbornik: Mathematics, 2015, vol.206, no. 11, pp. 1610-1627. DOI: 10.1070/SM2015v206n11ABEH004506)
7. Kireeva E.A. On Quantum Lie Nilpotency of Order 2. Matematika i matematicheskoe mod-elirovanie MGTU im. N.E. Baumana = Mathematics and Mathematical Modelling of the BaumanMSTU, 2016, no. 3, pp. 10-17. DOI: 10.7463/mathm.0316.0846913 [In Russian]
8. FeiginB., ShoikhetB. On [A, A]/[A, A, A] and on a Wn-action on the consecutive commutators of free associative algebras. Mathematical Research Letters, 2007, vol. 14, no. 5, pp. 781-795. DOI: 10.4310/MRL.2007.v14.n5.a7
9. Abughazalah N., Etingof P. On properties of the lower central series of associative algebras. Journal of Algebra and its Applications, 2016, vol. 15, iss. 10, art. no. 1650187 (24 pages). DOI: 10.1142/S0219498816501875
10. Bhupatiraju S., Etingof P., Jordan D., Kuszmaul W., Li J. Lower central series of a free associative algebra over the integers and finite fields. Journal of Algebra, 2012, vol.372, pp. 251-274. DOI: 10.1016/j.jalgebra.2012.07.052
11. Jordan D., Orem H. An algebro-geometric construction of lower central series of associative algebras. International Mathematics Research Notices, 2015, vol. 2015, no. 15, pp. 6330-6352. DOI: 10.1093/imrn/rnu125
12. Deryabina G., Krasilnikov A. Products of commutators in a Lie nilpotent associative algebra. Journal of Algebra, 2017, vol. 469, pp. 84-95. DOI: 10.1016/j.jalgebra.2016.08.031
13. Latyshev V.N. On the choise of basis in a T-ideal. Sibirskij matematicheskij zhurnal = Siberian Mathematical Journal, 1963, vol. 4, pp. 1122-1127. [In Russian]
14. Gupta C.K., Krasil'nikov A.N. A solution of a problem of Plotkin and Vovsi and an application to varieties of groups. Journal of the Australian Mathematical Society (Series A), 1999, vol. 67, iss. 3, pp. 329-355. DOI: 10.1017/S1446788700002056
15. Giambruno A., Koshlukov P. On the identities of the Grassmann algebra in characteristic p > 0. Israel Journal of Mathematics, 2001, vol. 122, iss. 1, pp. 305-316. DOI: 10.1007/BF02809905
16. Volichenko I.B. T-ideal, porozhdennyj elementom [жьж2,ж3, x4] [The T-ideal generated by the element [x1,x2,x3,x4]]. Institute of Mathematics of the Academy of Sciences of the Belorussian SSR, Minsk, 1978, 13 p. (Preprint 22) [In Russian]
17. Gordienko A.S. Codimensions of commutators of length 4. Uspechi matematicheskich nauk, 2007, vol.62, no. 1, pp. 191-192. DOI: 10.4213/rm5696 (English version of journal: Russian Mathematical Surveys, 2007, vol.62, no. 1, pp. 187-188. DOI: 10.1070/ RM2007v062n01ABEH004383
18. Etingof P., Kim J., Ma X. On universal Lie nilpotent associative algebras. Journal of Algebra, 2009, vol. 321, pp. 697-703. DOI: 10.1016/j.jalgebra.2008.09.042
19. Krasilnikov A. The additive group of a Lie nilpotent associative ring. Journal of Algebra, 2013, vol. 392, pp. 10-22. DOI: 10.1016/j.jalgebra.2013.06.021
20. da Costa E.A., Krasilnikov A. Relations in universal Lie nilpotent associative algebras of class 4. arXiv:1306.4294 [math.RA].
