CC BY
46
ЧЕБЫШЕВСКИЙ СБОРНИК
Том 16 Выпуск 2 (2015)
УДК 512.572
О НОВЫХ СВОЙСТВАХ НЕКОТОРЫХ МНОГООБРАЗИЙ ПОЧТИ ПОЛИНОМИАЛЬНОГО РОСТА
Ю. Р. Пестова (г. Ульяновск)
Аннотация
При изучении разных математических структур хорошо известным и давно используемым в математике алгебраическим приемом является выделение классов объектов исследования с помощью тождеств. Класс всех линейных алгебр над некоторым полем, в которых выполнен фиксированный набор тождественных соотношений, А.И. Мальцев назвал многообразием линейных алгебр над заданным полем. Существует такое понятие как рост многообразия. В математическом анализе принято различать полиномиальный или степенной, экспоненциальный или показательный рост. В данной работе речь пойдет о свойствах некоторых многообразий в разных классах линейных алгебр над полем нулевой характеристики, имеющих почти полиномиальный рост, то есть таких многообразий, рост которых не является полиномиальным, но рост любого собственного подмногообразия полиномиален. Статья носит обзорный характер и не содержит новых результатов.
Один из разделов статьи посвящен описанию основных свойств ассоциативных, лиевых многообразий и многообразий алгебр Лейбница почти полиномиального роста над полем нулевой характеристики. В случае ассоциативных алгебр таких многообразий всего два. В классе алгебр Ли четыре многообразия исчерпывают весь набор разрешимых лиевых многообразий почти полиномиального роста, а одно многообразие является неразрешимым и вопрос о его единственности до сих пор остается открытым. В случае алгебр Лейбница существует девять многообразий почти полиномиального роста. Пять из них это упомянутые многообразия алгебр Ли, которые также являются многообразиями алгебр Лейбница. Оставшиеся четыре это многообразия по свойствам схожие с разрешимыми лиевыми многообразиями почти полиномиального роста.
Следующие два раздела мы посвятим описанию давно известных, а также полученных недавно характеристик двух лиевых многообразий почти полиномиального роста. В одном из разделов речь пойдет о найденной нами кодлине многообразия, порожденного трехмерной простой алгеброй Ли в12, которую образует множество всех матриц второго порядка со следом равным нулю над основным полем относительно операции коммутирования. Далее будет описан базис полилинейной части многообразия,
состоящего из алгебр Ли с нильпотентным ступени не выше двух коммутантом. Здесь же мы представим явные формулы для вычисления его кодлин и коразмерностей.
Последний раздел будет посвящен описанию базиса полилинейной части многообразия алгебр Лейбница почти полиномиального роста, определенного тождеством x^x2x3)(x4x5) = 0.
Ключевые слова: многообразие, почти полиномиальный рост, кодлина, коразмерность, базис полилинейной части.
ON NEW PROPERTIES OF SOME VARIETIES WITH ALMOST POLYNOMIAL GROWTH
Yu. R. Pestova
Abstract
In the study of different mathematical structures well known and long used in mathematics algebraic method is the selection of classes of objects by means of identities. Class of all linear algebras over some field in which a fixed set of identities takes place is called the variety of linear algebras over a given field by A.I. Malcev. We have such concept as the growth of the variety. There is polynomial or exponential growth in mathematical analysis. In this work we will speak about properties of some varieties in different classes of linear algebras over zero characteristic field with almost polynomial growth. That means that the growth of the variety is not polynomial, but the growth of any its own subvariety is polynomial. The article has a synoptic and abstract character.
One unit of the article is devoted to the description of basic properties all associative, Lie's and Leibniz's varieties over zero characteristic field with almost polynomial growth. In the case of associative algebras there are only two such varieties. In the class of Lie algebras there are exactly four solvable varieties with almost polynomial growth and is found one unsolvable variety wiht almost polynomial growth and the question about its uniqueness is opened in our days. In the case of Leibniz algebras there are nine varieties with almost polynomial growth. Five of them are named before Lie varieties, which are Leibniz varieties too. The last four ones are varieties which have the same properties as solvable Lie varieties of almost polynomial growth.
Next units we'll devote to famous and new characteristics of two Lie's varieties with almost polynomial growth. In the first of them we speak about found by us colength of the variety generated by three-dimensional simple Lie algebra sl2, which is formed by a set of all 2 x 2 matrices with zero trace over a basic field with operation of commutation.
Then it will be described a basis of multilinear part of the variety which consists of Lie algebras with nilpotent commutant degree not higher than two. Also we'll give formulas for its colength and codimension.
The last unit is devoted to description the basis of multilinear part of Leibniz variety with almost polynomial growth defined by the identity
xi(x2x3)(x4x5) = 0.
Keywords: variety, almost polynomial growth, colength, codimension, basis of multilinear part.
1. Введение
На протяжении всей статьи характеристика основного поля Ф равна нулю. Все неопределяемые понятия можно найти в монографиях [1] и [2].
Напомним, что линейная алгебра является векторным пространством и ее операции являются линейными по каждому аргументу. Пусть u и v разные элементы абсолютно свободной алгебры, то есть u = v. Мы будем использовать знак равенства с тремя черточками вместо обычного равенства и называть тождеством выражение u = v. Одно и тоже тождество может выполняться в одной алгебре и не выполняться в другой. Обычное равенство мы будем понимать в привычном для нас смысле. Например, тождество коммутативности xy = yx выполняется в алгебре многочленов, так как для любых двух многочленов f, g выполняется равенство fg = gf. В то же время тождество коммутативности не выполняется в ассоциативной алгебре всех квадратных матриц.
Напомним, что линейная алгебра называется ассоциативной, если в ней выполняется тождество ассоциативности (xy)z = x(yz). Если же это тождество не выполняется в алгебре, то необходимо следить за скобочной структурой. Для удобства договоримся опускать в элементах скобки в случае левонормированного произведения, то есть (ab)c = abc. Алгеброй Ли называется линейная алгебра, в которой выполняются тождество антикоммутативности x2 = 0 и тождество Якоби xyz + yzx + zxy = 0. Хорошо известно [1], что любое произведение элементов в алгебре Ли равно линейной комбинации произведений с левонормированной расстановкой скобок. Линейная алгебра называется алгеброй Лейбница, если в ней выполняется тождество Лейбница xyz = xzy + x(yz). Заметим, что понятие алгебры Лейбница является обобщением понятия алгебр Ли, так как из тождеств алгебры Ли следует, в частности, тождество Лейбница. Последние две алгебры являются примерами неассоциативных алгебр.
Пусть V — некоторое многообразие алгебр (ассоциативных, Ли или Лейбница), а Ф(Х, V) — относительно свободная алгебра этого многообразия со счетным множеством свободных образующих X = {xi, x2,... }. Множество всех полилинейных элементов от xi,... ,xn в алгебре Ф(Х, V) обозначим через Pn(V) и определим естественным способом на нем структуру модуля симметрической группы Sn. Результат действия перестановки p € Sn на полилинейном левонормированном мономе
xii xi2 . . . xin € Pn(V)
равен xp(il)xp(i2) ...xp(in). Еще в середине прошлого века в работе [3] было показано, что в случае нулевой характеристики основного поля любое тождество эквивалентно системе полилинейных тождеств. Таким образом, вся информация о многообразии V содержится в пространствах Pn(V), n = 1, 2,... , так называемых, полилинейных частях многообразия. Поэтому исследование структуры Sn-модуля Pn(V) играет важную роль при изучении многообразия V. Модуль Pn(V) является вполне приводимым, рассмотрим разложение его характера в целочисленную комбинацию неприводимых характеров с кратностями ш\, где Л h n — разбиение числа n,
Xn(V) = x(Pn(V)) = ^Тшлхл. (1)
Ahn
К важным числовым характеристикам многообразия V относится его последовательность коразмерностей cn(V), являющаяся размерностью пространства Pn(V), кратности тл и последовательность кодлин
1n(V) = ^тл, n = 1,2,...,
Ahn
то есть последовательность длин модулей Pn(V).
Обозначим через йл размерность соответствующего разбиению Л неприводимого модуля, то есть йл = degхл- Понятно, что имеет место такое равенство
Cn (V) = dim Pn(V) = ^тлйл-
Xhn
Асимптотическое поведение размерности пространства Pn(V) определяет рост многообразия. Напомним, что рост многообразия называется полиномиальным, если существуют такие числа C, k, что для любого n выполняется неравенство cn (V) < Cnk. Говорят, что многообразие V имеет почти полиномиальный рост, если рост самого многообразия не является полиномиальным, но рост любого собственного подмногообразия полиномиален. Напомним также, что экспонентой многообразия V называется предел
exp(V) = lim ПCn(V)
в случае его существования.
Целью данной работы является описание многообразий почти полиномиального роста в различных классах линейных алгебр.
В случае ассоциативных алгебр существуют только два многообразия почти полиномиального роста. В классе алгебр Ли существует ровно четыре разрешимых многообразий почти полиномиального роста и найдено одно неразрешимое многообразие почти полиномиального роста. В случае алгебр Лейбница найдены еще четыре многообразия с аналогичным экстремальным свойством. Все эти многообразия будут представлены в первом разделе данной работы. В случае поля нулевой характеристики в работе [4] найдена формула кодлины многообразия, порожденного трехмерной простой алгеброй Ли sl2. Этому результату будет посвящен второй раздел нашей статьи. В третьем разделе будут представлены формулы кодлины и коразмерности многообразия, состоящего из алгебр Ли с нильпотентным ступени не выше двух коммутантом, а также описан базис его полилинейной части. Этот результат был опубликован в работе [5]. В последнем разделе мы опишем результат, который был представлен в работе [6], а именно базис полилинейной части многообразия алгебр Лейбница, определенного тождеством Xi(X2X3)(X4X5) = 0.
2. Описание многообразий почти полиномиального роста в классе ассоциативных алгебр, алгебр Ли и алгебр Лейбница
В теории ассоциативных алгебр особую роль играют бесконечномерная алгебра Грассмана О и алгебра верхнетреугольных матриц порядка два иТ2. Существует только два многообразия ассоциативных алгебр почти полиномиального роста. Они порождены алгебрами О и соответственно. Перечислим основные свойства многообразий, порожденных этими алгебрами.
Начнем с многообразия, порожденного алгеброй верхнетреугольных матриц порядка два ит2. В работе [3] найден базис тождеств рассматриваемого многообразия, состоящий из тождества [ж1, ж2][жэ, Ж4] = 0. Опишем структуру полилинейной части Рп(иТ2), о которой подробно изложено, например, в работах [7], [8]. В разложении (1) характера полилинейной части Рп(иТ2) ш(п) = 1 и Ш(льл2,л3) = А1 — Л2 + 1, если А2 ^ 1 и А3 = 0 или А3 = 1. Также шл = 0, если Л4 = 0 или А3 ^ 2.
Если полилинейную часть рассматривать как £п-модуль, то она имеет вид:
1
„_q_
шл = 9 + 1,
где А = (р + 9 + 1,р + 1,1);
|
ч— Ч —^
шл = 9 + 1,
где А = (р + 9,р), р > 0;
Р
шл = 1, где А = (п).
Базис полилинейной части Рп(иТ2) состоит из следующих множеств полилинейных элементов
Х1 • • • хп и Хг1 • • • хгг xj\xjl • • •
для любых г,г ^ 0 и § ^ 0 таких, что п = 8 + г + 2 и г1 < ... < гг, л < ... < Для многообразия, порожденного алгеброй иТ2, укажем такие числовые характеристики как коразмерность, кодлина и экспонента:
1 5
Сп(иТ2) = 2п-1(п — 2) + 2, 1п(иТ2) = 2п2 + ^п + 4, ехр(иТ2) = 2.
Бесконечномерной алгеброй Грассмана над полем Ф называется ассоциативная алгебра с бесконечным числом образующих в1, в2, ез,... и определяющими соотношениями е^вк + вке% = 0. Многообразие, порожденное этой алгеброй, подробно исследовано, например, в работе [9]. Характер (1) полилинейной части Рп(С) имеет разложение
п- 1
Хп(б) = ^Х(п-гДГ)
г=0
и кратности находятся по формулам
_ Г 1, если Л2 ^ 1;
Шх _ { 0, если Л2 ^ 2.
Структура полилинейной части Рп(О) многообразия, порожденного бесконечномерной алгеброй Грассмана, как 5П_модуля имеет вид:
шх _ 1,
где Л _ (р + 1,1п-р-1), р _ 0,... ,п — 1.
Тождество [[ж1,ж2],жэ] = 0 является базисом тождеств этого многообразия. Базис полилинейной части Рп(О) состоит из элементов вида
хгг ■ ■ ■ хгг [хл , х]2] • • • [х3а-1, х]в],
для любых г ^ 0 и в ^ 0 таких, что п _ в + г и ¿1 < ... < гг, ]1 < ... < ]3. Что касается основных числовых характеристик, то коразмерность сп(О) _ 2п-1, кодлина 1п(О) _ п и экспонента ехр(О) _ 2.
Еще раз повторим, что многообразия, порожденные алгебрами О и иТ2, единственные многообразия почти полиномиального роста в случае ассоциативных алгебр и не существует ассоциативных многообразий промежуточного роста (между полиномиальным и экспоненциальным).
В классе алгебр Ли известны пять многообразий почти полиномиального роста. Сохраним принятые для них в работе [10] обозначения Уо, V!, \2, Уз, Все эти многообразия подробно описаны в работах [10], [11]. Изложим основные сведения о них.
Рассмотрим матрицы второго порядка со следом нуль над основным полем нулевой характеристики относительно операции коммутирования. Множество этих матриц образует трехмерную простую алгебру Ли, которую обозначим в12. Многообразие У0 порождено этой алгеброй. Оно достаточно хорошо изучено, и мы к нему еще вернемся во втором разделе, в частности, перечислим основные свойства этого многообразия, а также определим формулы для вычисления его кодлины.
Обозначим многообразие всех нильпотентных алгебр ступени нильпотентности не выше в через N3, а многообразие всех абелевых алгебр — А. Тогда их произведение N5А состоит из всех таких алгебр Я, которые содержат идеал I € N5 такой, что Я/1 € А. N5 А — многообразие алгебр Ли, определяемое тождеством (х1х2)... (х2з+1х2з+2) = 0. Таким образом, многообразие ^А состоит из алгебр, имеющих нильпотентный ступени не выше двух идеал, фактор-алгебра по которому является абелевой и определяется тождеством (х1х2)(х3х4)(х5хб) = 0. Многообразие алгебр Ли У1 _ N2 А достаточно подробно исследовано в работе [12]. Основные свойства данного многообразия мы перечислим в третьем разделе, а также предоставим новые результаты для него: построим базис полилинейной части Рп(^А), найдем формулы для вычисления его кодлин и коразмерностей.
1
-— р —-
Следующим примером лиева многообразия почти полиномиального роста является многообразие У2, которое было построено в работе [13]. Оно порождается следующей алгеброй. Пусть О является бесконечномерной алгеброй Грассмана. Обозначим через О0 ту же самую алгебру только относительно другого умножения, когда результат произведения любых двух ее элементов равен нулю, то есть для любых € О0 произведение д°д° = 0. Рассмотрим прямую сумму векторных пространств О° и О и определим на нем произведение следующим образом
(5° +01)(0° + 52) = (0?02)° — (0°01)° + [01,02],
где [01,02] - это коммутатор в ассоциативной алгебре Грассмана. Изоморфной этой алгебре является алгебра квадратных матриц порядка два, у которой первая строка состоит из элементов алгебры Грассмана, а вторая строка нулевая, рассматриваемая относительно операции коммутирования матриц (подробности см. [1], стр. 265).
Диаграммы Юнга, для которых кратности многообразия У2 отличны от нуля, имеют следующий вид:
шл = 1,
где А = (р + 1,1п-Р-1), р = 1,..., п — 2;
1
ч— Р —-
шл = 1,
где А = (р + 2, 2,1п-р-4), р = 0, . . . , п — 4.
Р
Заметим, что базис тождеств этого многообразия состоит из следующих двух тождественных соотношений
(ж1ж2ж3)(ж4ж5жб) = 0,
(Ж1Ж2)(Жз Ж4)(Ж1Жз) = 0.
Обратим внимание, что последнее тождество отлично от тождества, определяющего многообразие V! = ^А, так как оно не является полилинейным, хотя и имеет ту же скобочную структуру. Формулы для вычисления кодлины и коразмерности данного многообразия следующие: 1п^2) = 2п — 5 для всех п ^ 3, = (п — 2)2п-2.
Экспонента многообразия ежр^2) = 2.
И наконец, последние два многообразия почти полиномиального роста определяются схожим образом. Многообразия V3 и V4 построены в статье [11]. Пусть К -ассоциативно-коммутативное кольцо многочленов от переменной ¿, рассматриваемое как алгебра с нулевым умножением, то есть К2 = 0. N3 - это трехмерная нильпо-тентная алгебра Гейзенберга с базисом (а, Ь, с} и таблицей умножения Ьа = с, аЬ = —с, а2 = Ь2 = с2 = 0, ас = са = Ьс = сЬ = 0, а М2 - двумерная метабелева (разрешимая ступени 2) алгебра Ли с базисом (Н, е} и таблицей умножения Не = Н, еН = —Н и Л2 = е2 = 0.
Превратим R в правый ^-модуль, полагая
f(t)a = f'(t), f(t)b = tf (t),f(t)c = f(t),
а также в М2-модуль, считая, что
f (t)h = tf (t),f (t)e = tf '(t),
где штрих над многочленом обозначает, как обычно, взятие производной. Пусть N является полупрямым произведением алгебр Ли R и N3, а M - полупрямым произведением алгебр Ли R и M2. Тогда в алгебре N умножение определяется так
(fi + ni)(f2 + П2) = f\U2 - f2ni + П1П2,
где f1, f2 € R, n1,n2 € N3 и в алгебре M аналогично. Алгебра N порождает многообразие V3, а алгебра M - многообразие V4.
В случае многообразий алгебр Лейбница, кроме лиевых многообразий почти полиномиального роста, построены еще четыре многообразия почти полиномиального роста Vi, V2, Vз, V4, которые по своим свойствам схожи с разрешимыми лиевыми.
Многообразие V1 исследовано в работе [8]. Это многообразие определяется тождеством ж1(ж2ж3)(ж4ж5) = 0 и оно является аналогом многообразия алгебр Ли N2A = V1. Более подробно об этом многообразии мы поговорим в четвертом разделе данной работы.
Следующее многообразие V2 представлено в работе [14] и его свойства близки к свойствам многообразия алгебр Ли V2. Это многообразие порождается алгеброй следующего вида. Пусть G0 бесконечномерная алгебра Грассмана с нулевым умножением. Рассмотрим прямую сумму векторных пространств G0 and G и определим произведение
(g0 +g1)(g0+g2) = (g0g2)0 + [g1,g2],
где [g1, g2] — это коммутатор в ассоциативной алгебре Грассмана. При разложении n-го кохарактера (1) многообразия V2 в целочисленную комбинацию неприводимых характеров хх с кратностями mх для всех n >4 имеем
{2, если Л = (r, 1n-r), где n > 2 и r = 2,... ,n — 1; 1, если Л = (n), (1n) или (r, 2, ln-r-2), где r = 2,... ,n — 4; 0, в остальных случаях.
Также для вычисления кодлины многообразия V2 верна формула 1n(V2) = 3n — 5 при n ^ 3. Экспонента этого многообразия равна двум exp(V2) = 2. В работе [15] доказано, что базис тождеств здесь состоит из следующих двух тождественных соотношений:
x(y(zt)) = 0,
z(xy)(xy) = 0.
Многообразия V3 и V4 определены следующим образом в работе [16]. Рассмотрим кольцо многочленов R от переменной t как алгебру Лейбница с нулевым умножением.
Алгебру К будем считать правым ^-модулем алгебры Гейзенберга N3 со следующим действием:
/(¿)а = /'(*), /(¿)Ь = /(*), /(¿)с = /(*),
где штрих над многочленом обозначает взятие производной. Прямую сумму алгебр N3 и К обозначим ТУ и зададим умножение следующим образом:
(ж + / (¿))(у +0(*)) =жу + / (¿)у,
где ж, у € /(¿),д(£) € К. Алгебра ТУ порождает многообразие алгебр Лейбница V3. Зададим действие элементов двумерной метабелевой алгебры Ли М2 на элементы К: /(¿)е = ¿/'(¿), /(¿)Н = ¿/(¿). Пусть М является прямой суммой алгебр N3 и К с заданной на ней умножением
(Ш1 + / (¿))(Ш2 + 0(£)) = Ш1Ш2 + / (¿)Ш2,
где ш1,ш2 € М2, /(¿), € К. Тогда эта алгебра порождает многообразие V4.
Заметим, что экспонента многообразия V3 равна трем, а экспонента V4 равна двум. Скажем еще, что для многообразия V3 ненулевые кратности существуют только для диаграмм вида
1
|
■<—а—-
|
-—а—-
■р-
а для многообразия V4 они выглядят следующим образом:
|
4— Ч —^
4 Р—
|
ч-Ч-
Многообразия V1, V2, V3 и имеют почти полиномиальный рост и в случае алгебр Лейбница существование других примеров многообразий почти полиномиального роста остается открытой проблемой.
Р
3. Кодлина многообразия, порожденного трехмерной простой алгеброй Ли в12
Рассмотрим матрицы второго порядка со следом 0 над основным полем относительно операции коммутирования. Как мы уже говорили, множество этих матриц образует трехмерную простую алгебру Ли, которую обозначим в12. Следуя [10], для многообразия, порожденного этой алгеброй, сохраним обозначение Уо. Это многообразие достаточно хорошо изучено. Так, например, в работах [17], [18] доказано, что оно является шпехтовым, это значит, что оно само и любое его подмногообразие определяется конечным набором тождеств; а также получен базис тождеств данного многообразия:
^ ( —1)Рхохр(1)хр(2)хр(з)хр(4) = 0, (х2х1)(хзх1)х1 = 0.
рея4
В статье [19] получена информация о строении полилинейных частей этого многообразия как модулей симметрических групп, построены ненулевые элементы относительно свободной алгебры многообразия Уо, линеаризациями которых порождаются неприводимые модули в полилинейной части Рп (Уо). Сформулируем необходимый нам в дальнейшем результат о кратностях в виде отдельной теоремы [19].
Теорема 1. В разложении (1) характера полилинейной части Рп(Уо), п > 1, для кратностей выполняются следующие равенства:
( 1, если Л _ (р + q + г, р + д,р), где р + д _ 0 ид или г нечетное; т\ _ \ П
[0, в остальных случаях.
Поясним, что в связи с тем, что тождества, которые выполняются в алгебре в12 имеют степень не менее пяти, то модуль Рп(Уо) при п <4 совпадает с соответствующим модулем многообразия всех алгебр Ли и его строение хорошо известно (см., например, [1]), а именно:
Х1(уо) _ Х(1), Х2(уо) _ Х(1,1), Хз(уо) _ Х(2,1), Х4(уо) _ Х(з,1)+Х(2,1,1).
Для доказательства основной теоремы этого раздела нам понадобятся вспомогательные результаты, которые мы сформулируем в виде лемм. Все ниже изложенные результаты принадлежат автору и их доказательство опубликовано в работе [4].
Лемма 1. Для кодлин многообразия Уо при п >4 верно следующее соотношение:
1п(Уо) _ 1п-з(Уо) + ап + £п, (2)
если п = 4к; ,
п+2 а, , « 1, если п _ 2т;
пр, если п _ 4к + 2; и е.п _ < „ П . ,
п 1т 0, если п _ 2т + 1.
если п _ 2т + 1 ^
Доказательство. С дополнительными условиями на числа р, д, г согласно теореме 1 ненулевые кратности многообразия У о могут быть получены только для диаграмм следующих видов:
1
г -»-
—q—
1
— г-»-
Обозначим через ага вклад в кодлину кратностей, соответствующих разбиениям на две части, то есть когда p = 0. В зависимости от четности степени n при рассмотрении двухстрочковых диаграмм Юнга и и вычисления соответствующих им кратностей, исходя из теоремы 1, получим сумму ага. Для диаграмм Юнга, состоящих из трех строчек, рассмотрим два случая. Сперва разберем случай, когда p > 2, q > 0, r >0 или случай, когда p = 1, q От диаграмм такого вида будем "отрезать"
крайний столбец слева. При этом параметры q иг будут оставаться неизменными. Тогда сумма кратностей шд, соответствующих указанному разбиению, равна кодлине многообразия Vo степени n — 3, то есть ln-3(V0). Остался лишь один не подходящий нам случай, когда диаграмма Юнга состоит из трех строчек, но p = 1, q = 0 и r = n — 3. Тогда после удаления левого столбца получим диаграмму в виде одной строчки и соответсвующее тождество выполняется в любой алгебре Ли. В этом случае кратность Ш(п-2,1,1) зависит от четности параметра r. То есть, получится, что если n = 2t, то кратность Ш(га-211) равна 1, если же n = 2t + 1, то кратность Ш(га-211) равна 0. Вклад кратностей Ш(га-211) в кодлину многообразия V0 обозначим ега.
Напомним, что по определению кодлина многообразия равна сумме кратностей по всем разбиениям числа n. Таким образом, кодлина многообразия Vo вычисляется по формуле (2). Лемма 1 доказана.
Лемма 2. Для кодлин многообразия V0 при n >4 верно следующее соотношение:
Wi(Vo) = l„(Vo) + e„, (3)
где e„, =
k, если n = 4k;
1, если, n = 4k + 1;
k, если n = 4k + 2;
1, если n = 4k + 3.
Доказательство. Будем писать просто для обозначения кодлины вместо (Vo). Доказательство проведем методом математической индукции по степени n. Выполнимость формулы (3) для n = 5, 6, 7, 8 можно проверить непосредственно с помощью рассмотрений соответствующих диаграмм Юнга и вычислений. Это и будет составлять базу индукции. По предположению индукции будем считать, что в многообразии Vo выполняются следующие равенства:
¿4fc-3 = 14(k-1) + k — 1 ¿4fc-2 = ¿4fc-3 + 1 = ¿4(fc-1) + k — 1 + 1 = ¿4(fc-1) + k
¿4fc-1 = ¿4fc-2 + k — 1 = ¿4(fc-1) + 2k — 1 ¿4fc = ¿4fc-1 + 1 = ¿4(fc-1) + 2k-
Распишем значения кодлин для следующих четырех степеней n по формуле (2) и убедимся, что наше предположение верно:
4k + 1- 1 4k + 2 + 2
4fc+1 = 4fc-2 +--2- = ^4fc + k, 14k+2 = i4fc-1 +--4--+ 1 = 4fc+1 + 1,
. . 4к + 3 -1 4к + 4
Мк+з _ Чк +--2- _ ^к+2 + k, 14к+4 _ Мк+1 +--4--+ 1 _ Мк+з + 1.
Таким образом, формула (3) выполняется для всех степеней п. Лемма 2 доказана. Сформулируем основной результат этого параграфа.
Теорема 2. Для всех п >2 кодлина многообразия Уо вычисляется по формулам:
1п(Уо) _
{ ^¡^, если п = 4к]
га2+66га~7, если п = 4к + 1;
п2+146п+4, еслип _4к + 2;
п2+1п-11, еслип _4к + 3.
Доказательство. Рассмотрим сначала случай п ^4. При обозначении кодлины мы, по-прежнему, как при доказательстве леммы 2, опускаем символ многообразия, то есть пишем 1п вместо 1п(Уо). Используя последние четыре равенства доказательства леммы 2, подставим в выражение 14к+4 через 14к+1 выражение 14к+1 через 14к и получим
¿4(к+1) _ ¿4к + 2к + 2. (4)
Сначала методом математической индукции по к, где к > 0, покажем, что для п _ 4к, верно
14к _ к(к + 1). (5)
Формула верна при к _ 1, так как 14 _ 2. Предположим, что 14к _ к(к + 1) и сделаем индуктивный переход. Для степени п _ 4(к + 1), используя соотношение (4), запишем
14(к+1) _ 14к + 2к + 2 _ к(к + 1) + 2к + 2 _ к2 + 3к + 2 _ (к + 1)(к + 2).
Таким образом, равенство (5) выполняется в многообразии Уо. Пользуясь формулами (3) и (5), получим
п (п \ п2 + 4п , , (п — 1\2 п — 1 п2 + 6п — 7
14к _ 7 7 + 1 _ —77—, 14к+1 _ 14к + к _ —— + 2
4 4 16 4 4 16
п — 2\2 п — 2 _ п2 + 4п + 4
^4к+2 _ 14к+1
_ ¿4к+1 + 1 _ —;— + 2 —— + 1 _
16
, (п — 3\2 п — 3 п2 + 6п — 11 14к+з _ Мк+2 + к _ I —— 1+3 —--+ 1 _ -16-.
Формулы, которые мы получили для вычисления кодлины многообразия Уо, совпадают с формулами, которые указаны в формулировке теоремы. Таким образом, для п ^ 4 теорема доказана. По формулам для п _ 2,3 получаем равенства 12 _ 1з _ 1, что правильно, так как полилинейные части многообразия Уо совпадают с полилинейными частями многообразия всех алгебр Ли. Теорема полностью доказана.
4. Новые свойства многообразия алгебр Ли ^А
В алгебрах Ли фраза "правило дифференцирования" означает использование следующего тождественного соотношения
жуг = жгу + ж(уг), (6)
то есть использование того факта, что умножение справа является, так называемым, внутренним дифференцированием алгебры Ли.
Многообразие алгебр Ли ^А определяется тождеством
(Ж1Ж2)(ЖзЖ4)(Ж5Жб) = 0 (7)
и состоит из алгебр Ли с нильпотентным ступени не выше двух коммутантом. Многообразие N2 А было достаточно подробно исследовано в работе [12], где установлена почти полиномиальность роста этого многообразия, найдены формулы для кратно-стей вхождения неприводимых модулей в разложение полилинейной части, рассматриваемой как модуль симметрической группы, описаны на "языке тождеств" подмногообразия с дистрибутивной решеткой подмногообразий.
Договоримся использовать для обозначения оператора умножения справа на элемент, например у, соответствующую заглавную букву У, то есть жУ = Жу. Это обозначение в некоторых случаях оказывается удобным. Например, левонормированное произведение жу ... у степени т + 1 нельзя записать так жут, но можно записать в таком виде жУт, где Ут — степень линейного оператора. Кроме того, будем использовать специальный символ над образующими (звезду, черту или волну) для обозначения кососимметризации. Если же образующие в наборах совпадают, то будем говорить об альтернированных наборах образующих, так как в этом случае обычное свойство кососимметризации нарушается.
Используя тождество антикоммутативности и тождество Якоби, которые определяют алгебру Ли, можно показать, что в ней выполняются следующие тождества
ж^/ = 2Ж1Ж2/; ж?ж2ж3/ = 0; (8)
ж1 ж2ж3/ = 2ж1ж3ж?/; 2-шж2ж2/ = -ш(ж2ж2)/, где и> - любой элемент алгебры, а / - произвольный ассоциативный полином от внутренних дифференцирований. Отметим, что применение нечетной перестановки к переменным, помеченным специальным символом, влечет изменение знака. Например,
/у» . /у»2 /у»2 /у»2 - -/у» . /у» 2 /у» 2 /у» 2 - /у» . /У>2/"У»2/"У>2
Ж4Ж1Ж2Ж3 — Ж4Ж2Ж1Ж3 — Ж4Ж3Ж1Ж2.
Фраза "проальтернируем тождество по паре образующих", например, по ж и у означает получение из тождества /(ж, у,...) = 0 такого следствия /(ж, у,...) — /(у, ж, ...) = 0. При этом степень тождества по этим образующим должна быть равна единице.
Перейдем к изложению результатов о свойствах многообразия ^А. Выпишем некоторые тождественные соотношения, которые выполняются в многообразии ^А. Используя тождества (8) и правило дифференцирования (6), элемент, содержащий пару альтернированных образующих, можно переписать так:
1т
■шж . . . Ут Ж2 = -^ш{х\х*2)У1 ...Ут - ^УОхХУх . . . Уг-1{х*2Уг)Уг+1 . . . Ут.
г=2
тх _
Это соображение позволяет получить такие тождественные соотношения многообразия ^А:
(хухр(1) . . . Хр(к))(ггуд(1) . . . Уд(т)) = (ХУХ1 . . . Хк ...Ут) (9)
где р € Б к, д € Бт. Таким образом, в скобках можно менять местами любые два соседних элемента, начиная с третьей позиции.
Сформулируем полученный в работе [12] результат о кратностях многообразия ^А в виде отдельной теоремы. Для этого определим две числовые величины, которые зависят от целых неотрицательных аргументов:
, , _ ( [§] + 1, если р или д нечетное число; II' если оба параметра четные;
п(Р,я)_{[^ прир _0;
[ д + 1, в противном случае.
Квадратные скобки означают целую часть числа.
Теорема 3. В разложении (1) характера полилинейной части Рп(^А), п ^6, для кратностей выполняются следующие равенства:
т(р,д), если X _ (р + д + 1,р + 1,1,1), п _ 2р + д + 4;
т(р, д), если X _ (р + д + 2,р + 2, 2), п _ 2р + д + 6;
т(р, д), если, X _ (р + д,р),р >2, п _ 2р + д;
п(р, д), если X _ (р + д + 1,р + 1,1), п _ 2р + д + 3;
1, если X _ (п — 1,1);
0 в остальных случаях.
Следует пояснить, что тождество (7) имеет шестую степень, поэтому модуль Рп (N2 А) при п совпадает с соответствующим модулем многообразия всех алгебр Ли и его строение хорошо известно (см., например, п. 4.8.4 монографии [1]). Сформулируем новые результаты, касающиеся этого многообразия [5].
Теорема 4. Кодлина многообразия N2А вычисляется по следующим формулам: ( биЯ—24п+з2, еслип _ 4т; ¿п№А)_<| 5п2—284п+з6, еслип _4т + 2;
[ 5п2—284п+з5, если п _ 4т + 1 или п _ 4т + 3.
Формула получена непосредственным вычислением, используя формулы для крат-ностей из теоремы 3.
Теорема 5. Базис полилинейной части Рп(^А) состоит из элементов вида:
Х%1 хпхг2 . . . Хгп-1, (10)
где г1 < п > г2 > ■ ■ ■ > гп—1;
(ХП ХпХг 2 . . .Хгп-ь-1 )(х31Х 32 . . ^Х3к ), (11)
где к _2,..., (п — 2) и,%1<п> %2> ■■■> %.п—к—1,З1 <З2> Ззз> ■■ > Зк. При п ^2 коразмерность многообразия задается формулой
Сп№А) _ (п — 1) ((п — 4)2п—з + 2) .
Доказательство. Хорошо известно, что любой полилинейный элемент равен линейной комбинации левонормированных мономов с одной и той же образующей, например жп, на первом слева месте, а следовательно, в силу тождества антикоммутативности с одной и той же образующей на втором слева месте. Рассмотрим произвольный такой моном жг1xnxi2 ... xin-1. Если выполняются неравенства ii < n > i2 > ■ ■ ■ > in-i, то это моном вида (10). Пусть в мономе жг1 жп ... жгж3- ж31 ... ж3к существует пара соседних образующих с возрастающими индексами, то есть i < j. В этом случае воспользуемся тождеством x(yz) — xyz — xzy, которое выполняется в любой алгебре Ли, и получим
гр . гр rp.rp.rp. гр . - Гр Гр . ( гр . гр .1 гр . гр . I гр rp.rp.rp. Гр .
гn • • • ^г^у^л • • • '-^jk — n^ii • • • V г 3/ 31 * * * 3k ' n • • • лу^г^л • • • '-^jk '
Несложная индукция по числу соседних пар образующих, индексы которых возрастают, позволяет установить, что любой моном выражается через элементы вида (10) и элементы вида жг1 жп ... (жг xj )xj-1...xj-k. Заметим, что дифференцируя последний элемент образующими ж31 ,...,ж3к, получаем мономы вида (11), в которых дополнительно можно считать, что вторая слева образующая второго произведения является максимальной, то есть индекс j2 является максимальным среди индексов ji,j2,..., jk. Для завершения доказательства, что элементы вида (10) и (11) порождают векторное пространство Pn(N2A), осталось заметить, что в силу тождества (9) образующие жг2,..., жгп—k—1, так же как и образующие ж3-3,..., ж3к, в мономах вида (11) можно менять местами. Таким образом, получаем необходимые неравенства ii<n>i2> •••> in-k-i, ji < j2 > j3 > ■ ■ ■ > jk.
Итак, пространство Pn(N2A) является линейной оболочкой мономов вида (10) и (11). Докажем теперь, что это множество мономов является линейно независимым. Рассмотрим линейную комбинацию этих элементов и предположим, что она равна 0. Так как в относительно свободной алгебре любое равенство от свободных образующих является тождеством многообразия, то мы получаем, что в многообразии N2A выполнено тождество
n- i
^^ ai1 жг1 жП^2 . . . жгп—1 + ei,J,i1,j1 (жг1 жnжi2 . . . k—1 )(жл ж32 . . . ж3к) — 0, (12)
i1 = i
где коэффициенты во второй сумме зависят от индексов ii, ji и множеств I = {ii,i2, . . ., in-k-i}, J = {ji, j2, . . . , jk}.
Если существует ii такой, что аг1 = 0, то подставив в (12) вместо образующей жг1 образующую ж, а вместо остальных образующих - y, получим в качестве следствия тождество энгелевости жКп-1 — 0. Получили противоречие, так как в силу теоремы 3 кратность m(n-i,i) отлична от нуля. Таким образом, тождество (12) приобретает вид
^^Д/ДпЛ (жг1 жП^2 . . . жгп—k—1 )(ж31 ж32 . . . ж3к) — 0, (13)
в котором хотя бы один коэффициент отличен от нуля.
Переобозначим образующие (в частности, жп = ж, ж32 = у) так, чтобы слагаемое с отличным от нуля коэффициентом имело вид:
(m yk+i.. .yn-2)(yyi.. .yk-i).
Мы еще воспользовались антикоммутативностью и переставили первые пары в каждой скобке. В полученное тождество вместо образующей х подставим z1z2x1...Хк_1, а вместо образующей у подставим z3z4Xk+1... хп-2. Проальтернируем по парам образующих х3,у3, где в = 1,2,...,п — 2. В силу тождеств (9) после произведенной подстановки и альтернирований все остальные слагаемые станут равны нулю, останется только выделенное слагаемое и полученное следствие примет вид
^^2X1 ■ ■ ■ ХкУи+1 ■ ■ ■ Уn_2)(ZзZ4Уl ■ ■ ■ УкХк+1 ■ ■ ■ Хп_2) = 0.
Получили противоречие, так как это тождество не выполняется в многообразии N2 А, иначе бы, например, кратность т(р,р) при нечетном р > п + 2 была бы равна 0, а не 1, как было установлено в теореме 3.
Итак, все элементы вида (10) и (11) линейно независимы и образуют базис пространства Рп(^А). Понятно, что количество элементов вида (10) равно п—1. Элементы вида (11) зависят от выбора индексов ]1, ...,]к, а также от выбора ¿1, ]1. Простые комбинаторные соображения позволяют выписать такую формулу для коразмерностей
п_2 / п- 1 \ Сп№А) = (п — 1) + £> — 1)(п — к — 1)( ).
к=2 ^ '
Для завершения доказательства достаточно использовать следующие равенства, касающиеся биномиальных коэффициентов:
т т т
(т\ _ 0т ^ ь. (т\ _ _ г>т— 1 т.,2 (т\ _ , 2 , _\ г>т— 2
£(Т) =*", -£кСк) = т .2т-1, £к2 = (т2 + т) ■ 2
к=0 к=0 к=0
доказательства которых мы опускаем. Теорема 5 доказана.
5. Базис полилинейной части многообразия алгебр Лейбница V1
Напомним, что алгебра Лейбница определяется тождеством Лейбница
xyz = xzy + x(yz), (14)
которое позволяет выразить любое произведение элементов алгебры в виде линейной комбинации левонормированных произведений. В частности,
x(yz) = xyz — xzy■
Кроме того, если подставить z = у в тождество Лейбница, то получим тождество
х(у2) = х(уу) = 0,
линеаризация которого имеет вид
x(yz) = —х^у).
(15)
Пусть вц — матричные единички, а иТ2 = иТ2(Ф) = Фвц + Фв12 + Фе22 — ассоциативная алгебра верхнетреугольных матриц размера 2x2 над основным полем Ф. Обозначим через иТ° алгебру тех же матриц только относительно другого умножения, когда результат произведения двух матриц равен нулю, то есть для любых а<1,а<2 € иТ° произведение а°а° = 0 равно нулю. Пусть теперь и = ПТ2° ф иТ2 — прямая сумма двух векторных пространств иТ° и иТ2. Зададим на и структуру алгебры, определяя произведение в ней следующим образом (а°+а1)(а^+а2) = (а1а2)° + [а1, а2], где [а1 ,а2] = а1а2 — а2а1 коммутатор матриц, а
° = / еи , если 1 = Н вы \ 0 , если 3 = Н.
В работе [8] сделан вывод, что алгебра и является алгеброй Лейбница, которая порождает многообразие V1. Это многообразие определяется тождеством
Х1(Х2Хз)(Х4Хб) = 0. (16)
Из выше упомянутой работы (следствие 2.3 и лемма 3.3) получаем, что для коразмерностей исследуемого многообразия верна формула еп^1) = 2п-2п(п — 3) + 2п. Таким образом, экспонента равна двум, то есть вхр(V1) = 2. Приведем также полученные в той же самой работе результаты, касающиеся кратностей и кодлины. Для кодлины при п > 2 выполнены формулы: 1п(VI) = п2 — + 6, если п четное, и 1п(У 1) = п2 — + Ц-, если п нечетное. В разложении (1) характера полилинейной части Рп(М 1), кратности вычисляются по следующим формулам:
д + 1, если А = (р + д + 1,р + 1,1,1), (р + д + 2,р + 2, 2), (д + 1,1);
2д + 1, если А = (д + 1,1,1);
2д + 2, если А = (р + д,р), р ^2;
3д + 3, если А = (р + д + 1,р + 1,1), р > 0;
1, если А = (п);
0, в остальных случаях.
Для получения основного результата этого параграфа нам потребуется такая несложная лемма.
Лемма 3. В многообразии алгебр Лейбница V1 выполняются следующие тождественные соотношения, где р € Б к, д € Бт.
(ххр(1) . . . Хр(к))(^уд(1) ...удт') = (хх1...хк )(ztyl . . ■Уm), (17)
Отметим, что достаточно показать, что можно в первой скобке менять местами любые два соседних элемента, начиная со второго места, а во второй скобке — начиная с третьего.
Замечание 2. Из леммы следует, что наличие пары альтернированных образующих начиная со второй позиции внутри первой скобки или во второй скобке, начиная с третьей позиции, влечет равенство элемента нулю.
т х =
Замечание 2. Тождество
(¿1Ж1 ... Жк... уп^Х^зу! • • • Ук... Жп-2) = 0
не выполняется в алгебре и, а следовательно и в многообразии V1. Действительно, достаточно подставить 21 = е11, ¿2 = е11, ¿3 = е12, ж5 = е11, = е22, в = 1, 2,..., п— 2, чтобы получить отличный от нуля результат.
Сформулируем основной результат этого раздела [6].
Теорема 6. Базис полилинейной части Рп(У1) состоит из элементов вида:
ЖгхЖг2 . . . Жгп , (18)
где ¿2 > ■ ■ ■ > ¿п;
(жгх Ж»2 . . . Жгп-к )(жЛ Ж.?2 . . . ), (19)
где к = 2,..., (п — 1), ¿2 > ••• > ¿п-к, ¿1 < ¿2 и ¿2 > ¿з > ■ > ¿к.
Доказательство. Так как любой элемент полилинейной части является линейной комбинацией левонормированных, достаточно рассмотреть левонормированный элемент Ж3Ж^-2...Ж^П. Используя тождество Лейбница (14), получим Ж3Ж^2...Ж^П = ЖЛ ж^2 ... ¿п + *ш, где ¿2 > ■ ■ ■ > ¿п, а является линейной комбинацией элементов вида
ЖЛ . . . Ж3т (жгЖ3)ж&1 . . . Жк(, (20)
в которых т > 1, £ >0, т + £ = п — 2, а множество {¿^,..., ¿т, ¿, ¿, к1,..., к^} совпадает с начальным отрезком натурального ряда {1,..., п}. Отметим, что первое слагаемое является элементом из множества (18).
Рассмотрим элемент (20). Дифференцируя в нем образующими Жка, в = 1, ...,£, получим линейную комбинацию элементов вида:
( гу ■ гу . /у>. \ ( 'У ■ 'У ■ 'У ■ I
(Ж»1 Ж»2 . . . Жгп-к )(ЖЛ Ж32 . . . Ж3к ),
где к > 2 и п — к >1. Применяя к этим элементам тождества (14) и (15), которые позволяют внутри второй скобки действовать аналогично случаю алгебр Ли, можно добиться, чтобы индекс ¿2 был максимальным среди индексов ¿1,..., ¿к. Используя тождества из леммы 3, делаем так, чтобы в этих элементах индексы, начиная со второго в первой скобке, и начиная с третьего во второй скобке, были упорядочены по убыванию. Таким образом, мы доказали, что элементы вида (18) и (19) порождают полилинейную часть Рп как векторное пространство. Для завершения доказательства осталось установить их линейную независимость.
Рассмотрим линейную комбинацию этих элементов и предположим, что она равна 0. Так как в относительно свободной алгебре любое равенство от свободных образующих является тождеством многообразия, то мы получаем, что в многообразии V/1 выполнено тождество
п
^ ^ аг (ж8жп . . . Жз . . . Ж1) +
«=1
+ У ] Д/Дгьл (ж»1 Ж»2 . . . Жгп-к )(жЛ Ж,?2 . . .Ж3к ) = 0, (21)
где коэффициенты во второй сумме зависят от индексов ¿1, ]1 и множеств
I = {¿2, . . . ,%п_к_1}, 3 = []2, . . .,3к },
а домиком, как общепринято, обозначено отсутствие в последовательности букв соответствующей образующей.
Если существует индекс в такой, что а3 = 0, то подставив в (21) вместо образующей х3 квадрат х2, а вместо остальных образующих — у, получим, используя тождество ху2 = 0, в качестве следствия тождество ххУп_1 = 0, из которого следует такое хХп = 0. Получили противоречие, так как в разложении кохарактера многообразия V1 кратность т(п+1) не равна нулю, точнее т(п+1) = 1. Таким образом, все коэффициенты первой суммы равны нулю и тождество (21) приобретает вид
^^/Дги'х (хгх xi2 . . . Х1п—к—1 )(хЛ Х32 . . .Х3к ) = 0,
в котором хотя бы один коэффициент отличен от нуля.
Переобозначим образующие (в частности, х^ = х, хц1 = у) так, чтобы слагаемое с отличным от нуля коэффициентом имело вид
(хУкУк+1. ..Уп_2)(УУ1 ■■■Уk_l)■
В полученное тождество вместо образующей х подставим ZlXl... Хк_1, а вместо образующей у подставим z2z3Xk ...хп_2. Проальтернируем по парам образующих х3,у3, где в = 1, 2, . . . , п — 2. В силу замечания 1 в результате произведенной подстановки и альтернирований все остальные слагаемые станут равны нулю, останется только выделенное слагаемое, которое примет вид
(ZlХ1 . . . ХкУк+1 . . . Уn_2)(Z2ZзУl . . . УкХк+1 ... Хп_2) = 0.
Получили противоречие, так как в силу замечания 2 это тождество не выполняется в алгебре и, а следовательно и в многообразии V1. Теорема полностью доказана.
Отметим взаимосвязь формул для коразмерностей трех многообразий: многообразия ассоциативных алгебр иТ2, порожденного алгеброй верхнетреугольных матриц порядка два иТ2; многообразия N2А всех алгебр Ли, коммутанты которых нильпо-тентны ступени не выше двух и многообразия алгебр Лейбница V1. Для всех п ^ 1 выполнены равенства
Сп(V1) = п ■ Сп_1(иТ2) = вп+1^2А).
В заключении выражаю искреннюю признательность и благодарность своему научному руководителю, доктору физико-математических наук, профессору Сергею Петровичу Мищенко за предложенное направление исследований, полезные советы, постоянное внимание к работе и поддержку.
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. Бахтурин Ю. А. Тождества в алгебрах Ли. М.: Наука. 1985. 448 с.
2. Giambruno A., Zaicev M. Polynomial Identities and Asymptotic Methods. Mathematical Surveys and Monographs, AMS, Providence, RI. Vol. 122. 2005. 352 p.
3. Мальцев А. И. Об алгебрах с тождественными определяющими соотношениями // Математический сборник. 1950. Т. 26(68), № 1. С. 19-33.
4. Пестова Ю. Р. Кодлина многообразия, порожденного трехмерной простой алгеброй Ли sl2 // Вестник Моск. Унив-та. Сер. 1. Математика. Механика. 2015. № 3. С. 58-61.
5. Мищенко С. П., Фятхутдинова Ю. Р. Новые свойства многообразия алгебр Ли N2A // Фундаментальная и прикладная математика. 2012. Т. 17, № 7. С. 165173.
6. Мищенко С.П., Пестова Ю. Р. Базис полилинейной части многообразия алгебр Лейбница V1 // Вестник СамГУ. Естественнонаучная серия. 2014. № 3 (114). С. 72-78.
7. Berele A. Codimensions of products and of intersections of verbally prime T—ideals // Izrael J.Math. 1998. № 103. P. 17-28.
8. Mishchenko S. A Leibniz variety with almost polynomial growth //J. Pure Appl. Algebra. 2005. V. 202. P. 82-101.
9. Krakowsky A. The polynomial identities of the Grassmann algebra // Trans. Amer. Math. Soc. 1973. V. 181. P. 429-438.
10. Мищенко С. П. Рост многообразий алгебр Ли // Успехи мат. наук. 1990. Т. 45, № 6. C. 25-45.
11. Мищенко С. П. О многообразиях разрешимых алгебр Ли // ДАН СССР. 1990. Т. 313, № 6. C. 1345-1348.
12. Мищенко С. П. Многообразия алгебр Ли с двуступенно нильпотентным коммутантом // Весщ АН БССР: Сер. фiз. матем. наук. 1987. № 6. С. 39-43.
13. Воличенко И. Б. Об одном многообразии алгебр Ли, связанном со стандартными тождествами // Весщ АН БССР: Сер. фiз. матем. наук. 1980. № 1. C. 23-30.
14. Абанина Л. Е. Структура и тождества некоторых многообразий алгебр Лейбница [Текст] : дис. ... канд. физ-мат наук : 01.01.06. Ульяновск: УлГУ, 2003. 65 с.
15. Рацеев С. М. Структура и тождества некоторых алгебр лиевского типа : дис. ... канд. физ-мат наук : 01.01.06. Ульяновск: УлГУ, 2006. 101 с.
16. Абанина Л. Е. Некоторые многообразия алгебр Лейбница // Математические методы и приложения. Труды десятых математических чтений МГСУ. М.: Союз, 2002. С. 95-99.
17. Размыслов Ю. П. О конечной базируемости тождеств матричной алгебры второго порядка над полем характеристики нуль // Алгебра и логика. 1973. Т. 12, № 1. С. 83-113.
18. Размыслов Ю. П. Конечная базируемость некоторых многообразий алгебр // Алгебра и логика. 1974. Т. 13, № 6. С. 685-693.
19. Дренски В. С. Представления симметрической группы и многообразия линейных алгебр // Матем. сб. 1980. Т. 115, № 1. С. 98-115.
REFERENCES
1. Bahturin, Yu. A. 1985, "Identities in algebras Lie", Science, Moscow, 448 pp.
2. Giambruno, A. & Zaicev, M. 2005, "Polynomial Identities and Asymptotic Methods", Math. Surv. and Monographs, vol. 122, Providence, RI, Amer. Math. Soc., 352 pp.
3. Malcev, A. I. 1950, "On algebras with identical defining relations", Matematicheskii Sbornik, vol. 26(68), issue 1, pp. 19-33.
4. Pestova, Yu. R. 2015, "Colength of the variety generated by a three-dimensional simple Lie algebra", Vestnik Mosk. Univ. Ser. 1. Matematika. Mekhanika., issue 3, pp. 58-61.
5. Mishchenko, S. P. & Fyathutdinova, Yu. R. 2014, "New properties of the Lie algebra variety N2A", Journal of Mathematical Sciences, vol. 197, issue 4, pp. 558-564. doi: 10.1007/s10958-014-1734-1
6. Mishchenko, S. P. & Pestova, Yu. R. 2014, "Bases of multilinear part of Leibniz algebras variety V1", Vestnik of Samara State University. Natural Science Series, issue 3 (114), pp. 72-78.
7. Berele, A. 1998, "Codimensions of products and of intersections of verbally prime T—ideals", Izrael J.Math., issue 103, pp. 17-28.
8. Mishchenko, S. 2005, "A Leibniz variety with almost polynomial growth", J. Pure Appl. Algebra, vol. 202, pp. 82-101.
9. Krakowsky, A. 1973, "The polynomial identities of the Grassmann algebra", Trans. Amer. Math. Soc., vol. 181, pp. 429-438.
10. Mishchenko, S. P. 1990, "Growth of varieties of Lie algebras", Uspekhi Mat. Nauk, vol. 45, issue 6, pp. 25-45.
11. Mishchenko, S. P. 1990, "Varieties of solvable Lie algebras", Dokl. Akad. Nauk SSSR, vol. 313, issue 6, pp. 1345-1348.
12. Mishchenko, S. P. 1987, "Varieties of Lie algebras with two-step nilpotent commutant", Vestsi Akad. Navuk BSSR Ser. Fiz.-Mat. Navuk, issue 6, pp. 39-43.
13. Volichenko, I. B. 1980, "On one Lie variety connected with sdandart identities", Vestsi Akad. Navuk BSSR Ser. Fiz.-Mat. Navuk, issue 1, pp. 23-30.
14. Abanina, L. E. 2003, "Structure and identities of some Leibniz varieties", Ulyanovsk, UlSU, 65 pp.
15. Ratseev, S. M. 2006, "Structure and identities of some Lie algebras", Ulyanovsk, UlSU, 101 pp.
16. Abanina, L. E. 2002, "Some Leibniz varieteis", Mathematical methods and applications. Proceedings of the 14th Mathematical Readings, pp. 95-99.
17. Razmyslov, Yu. P. 1973, "On the finite basis of identities of the matrix algebra of the second order over a field of characteristic zero", Algebra and Logiks, vol. 12, issue 1, pp. 83-113.
18. Razmyslov, Yu. P. 1974, "Finite bases of some algebras varieties", Algebra and Logiks, vol. 13, issue 6, pp. 685-693.
19. Drenski, V.S. 1980, "Representations of the symmetric group and varieties of linear algebras", vol. 115, issue 1, pp. 98-115.
Ульяновский государственный университет.
Получено 22.04.2015
