О росте некоторых ассоциативных алгебр и алгебр Лейбница Текст научной статьи по специальности «Математика»

УДК 512.572

0 РОСТЕ НЕКОТОРЫХ АССОЦИАТИВНЫХ АЛГЕБР

И АЛГЕБР ЛЕЙБНИЦА1

© 2008 С.М.Рацеев2

В случае произвольного поля получено асимптотическое поведение роста ассоциативной алгебры верхнетреугольных матриц. Показано, что если идеал тождеств ассоциативного многообразия содержит элемент [xi, x2]...[x2s-i, X2s], то экспонента такого многообразия является целой. Также для некоторых алгебр Лейбница с нильпотентным коммутантом получен базис тождеств и оценки роста.

Ключевые слова: ассоциативная алгебра, алгебра Лейбница, многообразие, базис, оценка роста.

Введение

Пусть K(X) — свободная алгебра над полем K, где X = {xi, X2,...} — счетное множество свободных образующих. Обозначим через A некоторую PI-алгебру. Совокупность всех тождеств алгебры A образует T-идеал Id(A) в свободной алгебре K(X). Пусть V — многообразие алгебр, порожденное алгеброй A. Тогда алгебра K(X, V) = K(X)/Id(A) является относительно свободной алгеброй многообразия V.

Пусть Pn — подпространство в пространстве K(X), состоящее из всех полилинейных элементов степени n от переменных xixn. В случае основного поля нулевой характеристики вся информация о многообразии V содержится в его полилинейных компонентах Pn(V) = Pn/(Pn П Id(A)), n = = 1,2,.... Асимптотическое поведение последовательности cn(V) = dim Pn(V), n = 1,2,..., называют ростом многообразия V.

Для произвольного многообразия V можно определить нижнюю и верхнюю экспоненты:

Exp(V) = lim у}сп(У), Вф(Т) = Нт л/сп(У).

--- п—>оо п^°°

1 Представлена доктором физико-математических наук, профессором Ю.Н. Радаевым.

2Рацеев Сергей Михайлович ([email protected]), кафедра информационной безопасности Ульяновского государственного университета, 432700, Россия, г. Ульяновск, ул. Льва Толстого, 42.

В случае их равенства введем обозначив Ехр(У) = Ехр(У) = Ехр(У).

1. Рост ассоциативных многообразий, в которых выполнено тождество [Х\, Х2]...[Х25-\, х25\ = 0

Хорошо известно (А. Регев [1]), что если в ассоциативной алгебре А выполнено нетривиальное тождество, а значит многообразие V нетривиально, то последовательность еп(У) экспоненциально ограничена, то есть существуют такие константы а и а, что сп(У) ^ аап для любого п. В случае основного поля нулевой характеристики М.В. Зайцев и А.Джамбруно [2-3] доказали, что экспонента произвольного нетривиального ассоциативного многообразия существует и является целым числом.

Под обозначением [Х1, Х2,..., хп\ будем понимать левонормированную расстановку коммутаторов [[[Х1, х2\, хз\,..., хп\. Обозначим через У ассоциативное многообразие, определенное тождеством

[хъ Х2\[Х3, Х4\...[Х2э-и Х2х\ = 0. (1.1)

Пусть иТ5 = иТ5(К) — алгебра верхнетреугольных матриц порядка 5 над полем К. Очевидно, что иТ5 е У5. Более того, для данной алгебры имеют место следующие свойства (см. [4-5. С. 52]).

Теорема 1: (1) В случае произвольного поля К базис полилинейной компоненты Рп(иТ5) состоит из элементов вида

ХН ...Х1к [Х11,..., Х1аг\...[ Хс1,..., Хсас\, (1.2)

где Х,..., Хк, Х(у) = {Х1,..., Хп}, Хк < ... < Хк, к ^ 0, а1,..., ас ^ 2, с ^ 5 - 1 и переменные в каждом коммутаторе [Ху1,..., Хуа] \ упорядочены следующим образом:

Ху1 > Ху2 < Хуз < ... < Хуау.

(п) Если поле К бесконечно, то полилинейное тождество (1.1) порождает идеал тождеств алгебры иТ5.

В работе [6] показано, что в случае поля нулевой характеристики ассоциативное многообразие V имеет полиномиальный рост тогда и только тогда, когда О, иТ2 € V, где О — бесконечномерная алгебра Грассмана.

Пусть Ас = {[Х1, Х2\...[Х2с-1, Х2с\}Т —идеал тождеств многообразия Ус. Оче-5-1

видно, что Рп(Уэ) = 0 Рп(Ас/Ас+1), так как Ао/Ах = К(Х, УД где Ао = К(X) —

с=0

свободная ассоциативная алгебра. Пространство Рп(Ас/Ас+1) есть линейная оболочка следующих элементов:

Рп(Ас/Ас+1) =< ХП ...Х1к[х11, ..., Х1а1\...[Хс1, ..., Хсас\ I

к ^ 0, а1,..., ас ^ 2; {хк,..., хк, х^) = {хи..., Хп) >к .

Заметим, что элементы х ^,..., х^, а также элементы хуз,..., хуа], у = 1,..., с можно менять местами, так как, меняя местами два рядом стоящих элемента, мы дополнительно получаем элемент из Ас+1. Данное свойство назовем (*).

Теорема 2: Пусть V —подмногообразие в V, и основное поле произвольно. Тогда существуют такие константы d, N, а и в, причем d є{0,1,..., s}, что для любого п ^ N будет выполняться следующее двойное неравенство:

пвдп < сп^) < nаdn.

Доказательство данной теоремы проходит аналогичным образом, как и доказательство такого же двойного неравенства для многообразий алгебр Лейбница с нильпотентным коммутантом (см. [7]), с использованием пространств Рп(М(У П Vc)/Id(V П Vc+l)) и свойства (*).

2. Взаимосвязь алгебры UTs и многообразий алгебр Лейбница с нильпотентным коммутантом

Алгебра Лейбница над полем K — неассоциативная алгебра, которая определяется тождеством

(xy)z = (xz)y + x(yz),

т.е. правое умножение на элемент алгебры является дифференцированием. Любая алгебра Ли является, в частности, алгеброй Лейбница.

В элементах будем опускать скобки при их левонормированной расстановке, то есть оі02...оп = (((оі 02)03...)ап).

Пусть — многообразие алгебр Лейбница, определяемое тождеством

Хо(Х1 Х2)(Хз Х4)...^-1 X2s) = 0.

В случае если характеристика основного поля равна нулю, то многообразие Ш2 имеет почти полиномиальный рост (см. [8]). Более того, в работе [9] было показано, что многообразие алгебр Лейбница V имеет полиномиальный рост тогда и только тогда, когда Ш2, N2А £ V с для некоторого s, где N2А — многообразие алгебр Ли, определяемое тождеством

(Х1 Х2)(Хз Х4)(Х5 Х6) = 0.

Обозначим через иТ0 алгебру верхнетреугольных s X s матриц над полем К с нулевым умножением, то есть о0Ь0 = 0 для любых о0, Ь0 Є иТ0. Рассмотрим прямую сумму векторных пространств иТ0 и UTs:

и, = ит0 0 ит,.

В пространстве и, определим умножение элементов следующим образом:

(о0 + о)(Ь0 + Ь) = (сРЬ)° + [о, Ь].

Нетрудно проверить, что и, Є Шц.

Обозначим через X, оператор правого умножения на элемент х,:

уХі = ух,, у(Х,Ху) = (ух, )ху,

где у, х,, Ху — элементы свободной неассоциативной алгебры К(Х). Предложение: Пусть поле К бесконечно.

1) В алгебре иТ5 выполнено полилинейное тождество

/(Х1, Х2,..., Хп) = 0 (2.1)

тогда и только тогда, когда в алгебре и5 выполняется полилинейное тож-

дество

у/(Хи Х2,..., Хп) = 0. (2.2)

2) Полиномы

/1(Х1, Х2,..., Хп), /2(Х1, Х2,..., Хп),..., /ш(Х1, Х2, ..., Хп) (2.3)

линейно независимы в пространстве Рп(иТ5) тогда и только тогда, когда

линейно независимы в пространстве Рп+1(и5) следующие полиномы:

Х1 ЖХи Х2,..., Хп+1),..., Хп+1 МХ1, Х2,..., Х+1), г = 1...т, (2.4)

где символ ^означает, что соответствующий элемент пропущен.

Доказательство: 1) Пусть в иТ5 выполнено тождество (2.1). Тогда полином / (х1,..., хп) есть линейная комбинация элементов следующего вида (теорема 1):

...[хк, Х2\...[х1з, хк\...[Х2,_1, хг2,\... .

Подействовав эндоморфизмом ...[Xг1, Х12\...[Хз, Х14\...[Х12_1, Х^\... на элемент у, получим такой элемент:

у...[Хк, Хг2\...[Хгз, Хг4\...[Хг2_1, Х^\... = у...(хкхк)...(хгзхк)...(Х12:_1 х^),

который принадлежит идеалу тождеств алгебры и5. Поэтому в алгебре и5 выполнено тождество у/(Х1, Х2,..., Хп) = 0.

Обратно, пусть в алгебре и5 выполнено тождество (2.2). Предположим, что тождество (2.1) не выполнено в алгебре иТ5. Тогда найдутся такие элементы а1,..., ап е иТ5, что / (а1,..., ап) = Ь Ф 0. Произведем следующую подстановку в (2.2):

0

у ^ Е , Х1 а1, Х2 ^ а2,..., хп ^ ап,

где Е0 — единичная матрица из алгебры иТ0. Получаем, что

у!(Х1, Х2, ..., Хп) \у^Е0, х1 ^а1,...,хп^ап = Ь + с,

где 0 Ф Ь0 е иТ0, с е иТ5. Поэтому тождество (2.2) не выполнено в алгебре и5. Противоречие. Таким образом, тождество (2.2) в алгебре и5 влечет тождество (2.1) в алгебре иТ5.

2) Пусть элементы (2.3) линейно независимы в Рп(иТ5). Рассмотрим линейную комбинацию

^ ацхф(Х1,..., Ху,..., Хп+1) = 0.

1^ г^т, 1^'^п+1

Предположим, что агу Ф 0 для некоторых г и у. Подставим в данную линейную комбинацию элемент Х2. вместо элемента ху. Применяя тождество

у

y(xx) = 0, которое справедливо в любой алгебре Лейбница, получим такую линейную комбинацию:

2 aijx2jfi(Xl,..., Xj,..., Xn+i) = 0.

i ^.i^m

В силу пункта 1), приходим к выводу, что a,-j = 0. Поэтому элементы (2.4) линейно независимы в пространстве Pn+i(Us).

Если же элементы (2.3) линейно зависимы в Pn(UTs), то по пункту 1) элементы

yfi(Xi, X2,..., Xn), i = 1,..., m,

будут линейно зависимыми в Pn+i(Us), что означало бы линейную зависимость элементов (2.4). Предложение доказано.

Теорема 3: Пусть K — произвольное поле. Тогда верно следующее.

(i) Базис полилинейной компоненты Pn(Us) состоит из элементов вида

XmXii...Xik(xii...xiai)...(xci...xcac), (2.5)

где m = i, 2,...n, {xm, xii,..., xik, xij} = {xi,..., xn}, k ^ 0, ai,..., ac ^ 2, c ^ s — — i, xii < ... < xik и переменные в каждой скобке (xji...xjaj) упорядочены следующим образом:

xji > xj2 < xj3 < ... < xjaj.

(ii) Если char K = 0, то тождество x0(xix2)(x3x^)...(x2s—ix2s) = 0 порождает идеал тождеств алгебры Us.

Доказательство: Покажем справедливость пункта (i). Сначала установим, что пространство Pn(Ws) является линейной оболочкой элементов вида (2.5). Для упрощения записей рассмотрим только случаи s = i и s = 2.

Пусть s = i. В этом случае в многообразии Wi выполнено тождество yxa(i)x0(i)...x0(n) = yxix2...xn, где о e Sn. Поэтому Pn(Wi) есть линейная оболочка таких элементов: xixi..5ci... xn, i = i,..., n.

Пусть s = 2. Применяя правило дифференцирования, будем передвигать переменные в элементе xmxk...xin_i, начиная со второй позиции. При этом будут получаться элементы вида

xmxii xi2 ...xip(xji xj2 ...xjq),

где q ^ 2. Меняя местами переменные xk, xi2,..., xip, будем дополнительно получать элемент из идеала тождеств многообразия W2, поэтому можно считать, что ii < i2 < ... < ip. В скобке (xjixj2...xj ) можно менять местами переменные xj3,..., xjq, поскольку также будем дополнительно получать элемент из Id(W2). Применяя тождество x(yz) = — x(zy), которое выполняется в любой алгебре Лейбница, можно менять местами переменные xji и xj2. Далее, применяя тождество

y(x3 x2 xi) = —y(xi(x3 x2)) = —y(xi x3 x2) + y(xi x2 x3) = y(x3 xi x2) — y(x2 xi x3),

получим, что пространство Pn(W2) есть линейная оболочка элементов требуемого вида.

Покажем линейную независимость элементов (2.5) в пространстве Pn(Us). Предположим, что для некоторого n элементы вида (2.5) линейно зависимы по модулю идеала тождеств алгебры Us. Тогда существует нетривиальная линейная комбинация этих элементов, которая принадлежит Id(Us):

^ ^ am,ii,...,ik,(ii,...,iai),...,(ci,...,cac)xmxii ...xik(x11...xiai)...(xci...xcac) = °.

Пусть для некоторого набора чисел

m, ii,..., ik, (ii,..., iai),..., (ci,..., cac),

удовлетворяющего условию (2.5), am,ii,...,ik,(ii,...,iai),...,(ci,...,cac) * 0. Сделаем следующую подстановку:

xm ^ xii ^ е1Ъ xi2 ^ e11,..., xik ^ e11,

xii ^ e12, x12 ^ e22, x13 ^ ^^.^ x1a1 ^ e22, x21 ^ e23, x22 ^ e33, x23 ^ e33 ^.^ x2a2 ^ e33 ^.^ xci * ec,c+1, xc2 * ec+1,c+1, xc3 * ec+1,c+1, ..., xcac * ec+1,c+1.

Тогда получим, что am,i1,...,ik,(11,...,1a1'),...,(c1,...,cac')e0lc+1 = 0. Противоречие. Поэтому элементы (2.5) линейно независимы в Pn(Us) и Pn П Id(Us) = Pn П Id(Ws). Тем самым мы установили справедливость пунктов (i) и (ii). Теорема доказана.

Обозначим через NsA многообразие алгебр Ли, определяемое тождеством (xi x2)(x3 x4)...(x2s+1 x2s+2) = 0,

а через UT( ^ —алгебру верхнетреугольных матриц порядка s с умножением [, ]: [a, b] = ab — ba, где a, b e UTs. Понятно, что UT^+i e NsA. Аналогично доказательству теоремы 3 проходит доказательство следующей теоремы.

Теорема 4: (i) В случае произвольного поля K базис полилинейной компоненты Pn(UTs+i) состоит из элементов вида

x1 xmxii ...xik(x11...x1aiy...(xci ...xcac),

где m = 2,3, ...n, {xm, xi1,..., xk, xj = {x2,..., xn}, k ^ 0, ai,..., ac ^ 2, xh < ... < xk,

c ^ s — i и переменные в каждой скобке (xji...xjaj) упорядочены следующим образом:

xji > xj2 < xj3 < ... < xjaj.

(ii) Если char K = 0, то тождество (xix2)...(x2s+ix2s+2) = 0 порождает идеал тождеств алгебры UT^+i.

Пусть f(n) и g(n) —две функции натурального аргумента. Будем обозначать f (n) * g(n), если lim f (n)/g(n) = i.

Следствие: В случае произвольного поля выполнены следующие соотношения:

cn(UT+) * nssn—s—1, cn(Ws) = cn(Us) * nssn—s, cn(Vs) = cn(UTs) * ns—1 sn+1—s,

где равенство ”=” имеет место для любого n ^ i.

Доказательство: В работе [10] показано, что cn(NsA) * nssn—s—1. Из теорем 1, 3 и 4 следуют такие равенства для любого n ^ i:

cn(NsA) = cn(UT((+\), cn(Ws) = cn(Us), cn(Vs) = cn(UTs),

(n + i)cn(UTs) = cn+i(Us), cn+i(UT(+\) = cn(Us).

Тем самым следствие доказано.

Литература

[1] Regev, A. Existence of polynomial identities in A <g> B / A. Regev // Bull. Amer. Math. Soc. - 1971. - V. 77. - №6. - P. 1067-1069.

[2] Giambruno, A. On codimension growth of finitely generated associative algebras / A. Giambruno, M. Zaicev // Adv. Math. - 1998. - V. 140. -P. 145-155.

[3] Giambruno, A., Zaicev, M. Exponential codimension growth of P.I. algebras: an exact estimate / A. Giambruno, M. Zaicev // Adv. Math. - 1999. -V. 142. - P. 221-243.

[4] Мальцев, Ю.Н. Базис тождеств алгебры верхнетреугольных матриц / Ю.Н. Мальцев // Алгебра и логика. - 1971. - Т. 10. С. 393-400.

[5] Drensky, V. Free algebras and Pl-algebras. Graduate course in algebra / V. Drensky - Singapore: Springer-Verlag Singapore, 2000.

[6] Кемер, А.Р. Многообразия конечного ранга / А.Р. Кемер //15 Всесоюзная алгебраическая конференция. - Красноярск, 1979. - Т.2. - С. 73.

[7] Рацеев, С.М. Рост некоторых многообразий алгебр Лейбница / С.М. Рацеев // Вестник Самарского гос. университета. Естественнонаучная серия. - 2006. - №8 6(46). - С. 70-77.

[8] Mishchenko, S. A Leibniz variety with almost polynomial growth / S. Mishchenko, A. Valenti // J. Pure Appl. Algebra. - 2005. - V.202. -№1-3. - P. 82-101.

[9] Мищенко, С.П. Необходимые и достаточные условия полиномиальности роста многообразия алгебр Лейбница / С.П. Мищенко, О.И. Череватенко // Фундаментальная и прикладная математика. -2006. - Т. 12. - №8. - С. 207-215.

[10] Петроградский, В.М. Рост полинильпотентных многообразий алгебр Ли и быстро растущие целые функции / В.М. Петроградский // Матем. сб. - 1997. - Т. 188. - №6. - С. 119-138.

Поступила в редакцию 15/ VIII/2008;

в окончательном варианте — 15/VIII/2008.

ON THE GROWTH OF ASSOCIATIVE AND LEIBNIZ ALGEBRAS3

© 2008 S.M.Ratseev4

In the paper asymptotic behavior of the growth of the algebra of upper triangular matrices is studied. We prove that the growth exponent of any associative variety satisfying identity [x\, x2]...[x2s-i, X2s] = 0 is integral. For some Leibniz algebras with nilpotent commutator subalgebra a basis of identities and asymptotic behavior of codimensions is obtained.

Keywords and phrases: associative algebra, Leibniz algebra, manifold, basis, growth estimate.

Paper received 15/ VIII/2008. Paper accepted 15/VIII/2008.

3Communicated by Dr. Sci. (Phys. & Math.) Prof. Yu.N. Radayev.

4Ratseev Sergey Mihaylovich ([email protected]), Dept. of Information Security, Ulyanovsk State University, Ulyanovsk, 432700, Russia.