CC BY
37
ЧЕБЫШЕВСКИЙ СБОРНИК
Том 15 Выпуск 1 (2014)
УДК 512.5
О МНОГООБРАЗИИ зN АЛГЕБР ЛЕЙБНИЦА И ЕГО ПОДМНОГООБРАЗИЯХ
Т. В. Скорая, Ю. Ю. Фролова (г. Ульяновск)
Аннотация
Статья представляет собой обзор свойств многообразия левонильпо-тентных ступени не выше трех алгебр Лейбница и его подмногообразий. Характеристика основного поля на протяжении всей работы предполагается равной нулю. Алгеброй Лейбница над некоторым полем называется линейная алгебра над этим полем, удовлетворяющая так называемому тождеству Лейбница (ху)г = (хх)у + х(уг), которое превращает правое умножение на элемент алгебры в дифференцирование этой алгебры. Поскольку тождество Лейбница по модулю антикоммутативности эквивалентно тождеству Якоби, то, очевидно, что алгебры Лейбница являются обобщением понятия алгебр Ли.
Многообразие 3К определяется тождеством х(у(^)) = 0 и обладает рядом экстремальных свойств (свойства, которыми обладает любое его собственное подмногообразие, в то время как само многообразие ими не обладает). В силу нулевой характеристики основного поля любое тождественное соотношение эквивалентно системе полилинейных тождеств, что позволяет, использовать хорошо развитую теорию представлений симметрической группы. Кроме использования классических результатов структурной теории колец и линейных алгебр, теории представлений, а также структурной теории многообразий ассоциативных алгебр, использование оригинальных комбинаторных и асимптотических рассуждений с применением тождеств, диаграмм Юнга позволили получить следующие результаты: многообразие зК имеет почти экспоненциальный рост, почти полиномиальный рост кодлины, почти конечные кратности. Кроме того, данное многообразие является многообразием почти ассоциативного типа, то есть кохарактер любого его собственного подмногообразия лежит в крюке.
В данной работе рассматриваются также свойства подмногообразий многообразия з№ проводится описание полного списка подмногообразий почти полиномиального роста; доказывается целочисленность экспоненты любого собственного подмногообразия многообразия зК.
Ключевые слова: многообразия линейных алгебр, числовые характеристики многообразий, рост многообразия, кратности многообразия, код-лина многообразия, многообразие почти полиномиального роста, многообразие почти полиномиального типа, экспонента многообразия, алгебры Лейбница.
ABOUT VARIETY *N OF LEIBNIZ ALGEBRAS AND ITS SUBVARIETIES
T. V. Skoraya, Yu. Yu. Frolova
Abstract
Article represents the review of properties of variety left nilpotent of the class not more than 3 Leibniz algebras and its subvarieties. The characteristic of basic field will be equal to zero. A Leibniz algebra is an algebra with multiplication satisfying the Leibniz identity (xy)z = (xz)y + x(yz). In other words, the operator of right multiplication is a derivation of the algebra. Since Leibniz identity equivalent to the Jacobi identity, in case multiplication in Leibniz algebra is anti-commutative, it is obvious that the Leibniz algebras are generalizations of concept of Lie algebtras.
The variety 3N is defined by identity x(y(zt)) = 0 possesses some extreme properties (properties, which any its own subvariety possesses, while the variety doesn’t possess them). As the basic field has zero characteristic zero, then any identity is equivalent to the system of multilinear identities, that allows to use well-developed theory of representations of the symmetric group. In addition to using the classical results of the structural theory of rings and linear algebras, representation theory, as well as the structural theory of varieties of associative algebras, and the use of original asymptotic and combinatorial arguments with application identities and Young diagrams allowed to receive the following results: the variety 3N has almost exponential growth, almost polynomial growth of colength, almost finite multiplicity. Moreover, this variety has almost associative type, that is his own cocharacter any subvarieties lies in the hook.
In this work are considered also subvarieties of variety 3N: held description of the complete list of varieties with almost polynomial growth; proved integrality of exponents any proper subvariety of variety 3N.
Keywords: varieties of linear algebras, numerical characteristics of varieties, growth of variety, multiplicity of variety, colength of variety, variety with almost polynomial growth, variety with almost associative type, exponent of variety, Leibniz algebras.
1. Введение
Характеристика основного поля Ф на протяжении всей работы предполагается равной нулю. Работа связана с исследованием линейных алгебр и их многообразий. Все неопределяемые понятия и обозначения можно найти в монографии [1]. Так как выполнение тождества ассоциативности не предполагается, то договоримся опускать скобки в элементах алгебры, если они расставлены левонормированным способом, то есть aba = ((ab)c). Кроме того, оператор правого умножения, например, на элемент у будем обозначать через Y. Тогда
элемент ху...у степени в по переменной у можно записать в виде хУя. Элементы, содержащие кососимметрический набор из п переменных, будем записывать без знака суммирования, помечая переменные этого набора чертой или волной сверху. Например, стандартный полином в наших обозначениях будет выглядеть следующим образом:
8Ьп(Х\, ..., Хп) ^(Тбй’п ( "£<т(1)"£<т(2) • • •3'<т(го) Х\Х2---ХП)
где Бп — симметрическая группа, а (—1) равно плюс или минус единице в зависимости от четности перестановки а. Переменные, входящие в разные кососимметрические наборы, будем называть альтернированными и для их обозначения использовать разные символы:
^ ] ( —1)р( —1)9Жд(1)Жд(2) • • • Хд(р)Ур(1)Ур(2) ■ ■ ■ Ур(т) Х\Х2 ■ ■ ■ ХПУ\У2 ■ ■ ■ Ут■
,р^5’т
Векторное пространство с заданной на нем билинейной операцией называется алгеброй Лейбница, если в ней выполняется следующее тождественное соотношение
(ху)г = (хг)у + х(уг). (1)
Таким образом, в алгебре Лейбница оператор умножения справа на фиксированный элемент алгебры является дифференцированием этой алгебры. Вероятно, впервые этот класс алгебр был введен в работе [2]. Понятно, что любая алгебра Ли является алгеброй Лейбница, так как по модулю тождества антикоммутативности тождество (1) эквивалентно тождеству Якоби. Отметим, что тождества
х(уу) = 0. (2)
и х(уг) = -х(гу) являются следствиями тождества (1). Поэтому аналогично случаю алгебр Ли любой элемент алгебры Лейбница равен линейной комбинации левонормированных элементов.
Напомним, что многообразие линейных алгебр определяется как совокупность всех алгебр, в которых выполняется некоторый фиксированный набор тождественных соотношений. Пусть V некоторое многообразие алгебр Лейбница. Обозначим через Р = Р(X, V) относительно свободную алгебру многообразия V со счетным множеством свободных образующих X = {х1,х2,...}. Через Рп = Рп(у) обозначим совокупность всех полилинейных элементов от х\,...,хп в пространстве Г. Асимптотическое поведение последовательности размерностей сп = Оп^) пространств Рп = Рп(У) определяет рост многообразия. Различают полиномиальный рост многообразия, когда существуют неотрицательные числа С,т, что для любого п выполняется неравенство сп(У) < Спт. В случае существования таких чисел Cl > 0,C2 > 0^1 > 1^2 > 1, что для всех чисел п выполняются неравенства < cn(V) < C2dn, говорят, что рост
многообразия является экспоненциальным. Если кроме этого существует число ЕХР(у) = Итга^оо л/сп{у), то его называют экспонентой многообразия V.
Пусть V — многообразие, порожденное алгеброй A. В этом случае будем писать просто cn(A) и EXP(A) вместо EXP(V). Говорят, что многообразие V имеет почти полиномиальный рост, если рост самого многообразия не является полиномиальным, а любое собственное подмногообразие многообразия V имеет полиномиальный рост.
В случае поля нулевой характеристики вся информация о многообразии содержится в его полилинейной компоненте. Поэтому изучение пространства Pn(V) и его числовых характеристик является обоснованным. На пространстве Pn(V) естественным образом вводится действие перестановок, что позволяет рассматривать его как Ф5П-модуль, где Sn — симметрическая группа. Так как поле Ф имеет нулевую характеристику, то пространство Pn(V), раскладывается в прямую сумму неприводимых подмодулей. Обозначим через Ха характер неприводимого подмодуля, соответствующего разбиению Л числа п. Тогда характер модуля Pn(V) выражается формулой
Xn(V) = x(Pn(V)) = £ Шаха (3)
Abn
где Ша - кратности неприводимых подмодулей в указанной сумме.
Важной числовой характеристикой многообразия V линейных алгебр является кодлина ln(V), которая определяется как число слагаемых в разложении характера в сумму неприводимых:
ln(V) = J2 ша. (4)
Abn
Будем говорить, что кодлина многообразия V конечна, если существует такая константа C, не зависящая от п, что для любого п выполнено неравенство
ln(V) ^ C.
Поскольку мы рассматриваем случай нулевой характеристики основного поля, то всякое тождество эквивалентно системе полилинейных тождеств, которая получается при помощи стандартного метода линеаризации [3].
2. Подмногообразия многообразия 3N алгебр Лейбница и их рост
В работе [4] исследовано многообразие 3N левонильпотентных ступени не выше трех алгебр Лейбница, которое определяется тождеством
x(y(zt)) = 0, (5)
В частности приведены два примера подмногообразий многообразия 3N, имеющих почти полиномиальный рост. Напомним некоторые другие необходимые нам свойства этих многообразий, а также определения порождающих их алгебр.
Первое многообразие было подробно исследовано в работе [5]. Рассмотрим О — алгебру Грассмана с порождающим множеством Е = {е1, е2,еп,...}. Соответствующую алгебру Ли относительно операции коммутирования [д1, д2] = д1д2 — д2д1 обозначим О(-). Векторное пространство О с нулевым умножением будет рассматриваться как абелева алгебра Ли, которую обозначим через О0. Зададим действие элементов О(-) на О0 следующим образом:
д°дз = (дгдз)0> дзд° =0,
где д° (дгдз)0 из °0 и дз из О( \ Такое действие задает представление О(-) на О0. Определим О как прямую сумму векторных пространств О(-) и
О0
(О = О(-) 0 О0) с умножением (д1 + д0)(д2 + д°) = [д1,д2] + д0д2. Нетрудно проверить, что полученная алгебра будет алгеброй Лейбница. Обозначим через V2 многообразие алгебр Лейбница, порожденное алгеброй О. Как показано в работе [5] в многообразии V2 выполняется тождество (5), размерность пространства Рп(У2) равна п2п-2. Кроме того, многообразие V2 имеет почти полиномиальный рост и является наименьшим многообразием алгебр Лейбница, в котором не выполняется ни одно стандартное тождество.
Второе многообразие было определено в работе [6]. Пусть Т = Ф[£] — кольцо многочленов, а Н — алгебра Гейзенберга с базисом а,Ь,с и умножением аЬ = —Ьа = с. Алгебра Н является алгеброй Ли. Превратим Т в правый модуль алгебры Н. Базисные элементы действуют справа на полином f из Т следующим образом: f ■ с = f,f ■ а = f■ Ь = tf,a ■ f = Ь ■ f = с ■ f = 0, где f'
— производная полинома f по переменной t. Необходимая алгебра Лейбница является прямой суммой векторных пространств Т и Н, а умножение задается правилом:
и + х)(д + у) = f ■ у + ху,
где f,g из Т, а х,у из Н. Обозначим эту алгебру символом Н, а порождаемое ей многообразие V3.
Приведенные далее результаты частично приведены в работе [7].
Лемма 1. Если У2 С V с3 N то в многообразии V тождество
Х20Х1Х2 .. .хт_1 = 0
имеет следствие вида
ХдХ\Х2 . . . Хт-\-2 = 0.
Доказательство. Введем в рассмотрение многочлен f (Х1;Х2,Xт-1) и множество I/ = {а £ A|af = 0}. Множество I/ является по Хиггинсу (см. [8]) правым идеалом алгебры А. В нашем случае I/ будет также левым идеалом. Действительно, возьмем а £ I/ и Ь £ А. Так как I/ — правый идеал, то имеет место тождество Ьа/(Х1,Х2, ...,Хт_1) = 0. В силу тождества ХоХ\Х2 ... хт_\ = 0 получаем, что для всех хг £ А выполняется тождество —aЬf (Х1, Х2,Хт-1) =
0. Таким образом по определению If получаем, что ba £ If, то есть If является двусторонним идеалом алгебры A.
Из тождества XqX\X2 ■ ■ ■ хт_\ = 0 следует, что £ If для любого Xq £ А. Поэтому тождество х0 = 0 выполняется в фактор алгебре A/If. Вследствие этого данная факторалгебра является алгеброй Ли, поэтому тождество у^у2(у3у4)) = 0 имеет в 3N следствие вида ((у1у2)у3)у4 = 0. Следовательно, алгебра A/If ниль-потентна ступени не выше трех. Таким образом, элемент у1у2у3у4 принадлежит идеалу алгебры A и по определению идеала выполняется следующее тождество
У1У2У3У4Х1Х2 ■ ■ ■ xm-i = 0.
"Вовлечем в кососимметризацию" элементы у2 = хт,у3 = хт+1,у4 = хт+2 и переобозначим у1 = х0, получим:
Х0Х\Х2 • • • Xm-j-2 = о.
Лемма доказана. □
Предложение 1. Если V2 С V с3 N, то в многообразии V выполняется тождество х0(х1у1)(х2у2) ,,,(х мум) = 0.
Доказательство. Из условия V2 С V согласно работе [5] получаем, что в многообразии V выполняется стандартное тождество Х\Х2 ... Xk = 0 некоторой степени т. Заменим хт на х$, получим: Х\Х2 ... xm-ix^ = 0. Все слагаемые данного тождества, не содержащие пару х0 на первом месте, обращаются в ноль в силу тождества х(уу) = 0. Таким образом, получаем следствие:
Х20Х\Х2 . . .Хт-1 = 0.
Согласно Лемме 2.1 данное тождество имеет следствие вида:
x0xix2 ... хт-\-2 = 0.
Докажем, что для M ^ ш + 2 элемент:
w = х0хп...хи/1х21 ...х2у у2-ум-1хм,1-хм,1ум,
тождественно равен нулю. Предположим обратное: Пусть w = 0. Дополнительно будем считать, что любой элемент меньшей степени, содержащий M кососимметрических переменных равен нулю. Кроме того, любой элемент, меньший лексикографически по длине промежутков между уi, также равен нулю. Рассмотрим фрагмент х11х12...х1г, не являющийся элементом алгебры A. Обозначим х0х11х12...х1г = х0, тогда w будет иметь вид:
w = х0/1х21 ...x2j У2,,,Ум-1хм,1...хм,1Ум хм +1,1...хм+1,п.
Таким образом мы получили уменьшение степени элемента ш, что противоречит условию ее минимальности. Следовательно, элемент ш не содержит фрагмент вида ХоХцХ12-..Хц. Длина фрагментов хцХ^-.-Хц (I = 2,М— 1)не может быть больше 1, так как в противном случае такой фрагмент в силу лексикографической упорядоченности и тождества (5) обнуляет элемент. Следовательно элемент ш имеет следующий вид:
ш = х0У1х1])2х2...хм-1УМ.
Согласно тождеству (1) в элементе ш мы можем менять местами элементы хг и уз, но при этом возникает пара, которую мы можем перенести влево. Переменные кососимметрического набора, расположенные рядом друг с друг также можно собрать в пары в силу того же тождества (1). Таким образом, элемент ш имеет ненулевое следствие ш , где
ш' = х0 (У1У2)... (Уг-1Уг) (х1Уг+1) ••• (хм—г ум )•
Пусть на первых г местах стоят кососимметрические переменные. Предположим, что при г ^ т +2 тождество ш' равно нулю. Если же г < т + 2, то рассмотрим два случая:
1) Пусть г = 2к, то есть
ш' = х0(у1'У2)...(У2к—1У2к)(х1У2к+1)...(хМ—2кУМ )•
"Вовлечем в кососимметризацию" переменную х1, получим следствие ш" = 0, где
ш '' = (4к + 2)ш ' + (М — 2к)у,
где V — слагаемые, содержащие переменную х1 правее скобки (у2к+1у2к+2). Эти слагаемые равны нулю по предположению индукции по г. Следовательно, ш' =
0, вопреки предположению.
2)Пусть г = 2к + 1, то есть
ш' = х0у1(У2у3)...(У2кУ2к+1)(х1у2к+2)...(хМ—2к—1УМ ).
"Вовлечем в кососимметризацию" переменную х1, получим следствие ш" = 0, где
ш" = х0х1У1(У2Уз)...(У2к У2к+1)(х1У2к+2)...(хМ—2к—1УМ ) + (4к + 3)ш ' + (М — 2к — 1)^,
где V — слагаемые, содержащие переменную х1 правее скобки (У2к+2У2к+3). Эти слагаемые равны нулю по предположению индукции по г. Рассмотрим слагаемое х0х1У1(У2У3)...(У2кУ2к+1)(х1У2к+2)...(хМ—2к—1УМ). Обозначим х0х1 = х0. Полученное слагаемое равно нулю вследствие минимальности степени тождества ш. Следовательно, ш = 0, вопреки предположению.
Таким образом, мы получаем, что если в многообразии V имеет место тождество ш = 0, где ш = х0у1х1у2х2...хМ —1уМ, то в этом многообразии выполняется тождество
х0(х1У1)...(хм ум ) = 0. (6)
Предложение доказано. □
Предложение 2. Если У3 С V с3 N то в многообразии V выполняется тождество х0(х1у)(х2у)...(хму) = 0.
Доказательство. В многообразии V выполнено некоторое тождество V =
0 степени к, которое не выполняется в алгебре Н, то есть при подстановке в тождество некоторых элементов из алгебры Н получают ненулевой элемент. Алгебра Н удовлетворяет тождеству х1х2х3 = 0, следовательно алгебра Н ниль-потентна ступени нильпотентности не больше 2.
Пусть degv ^ 2. Тогда тождество V может иметь вид: а)
V = х1х2 + х2х1; б) V = х1х2 — х2х1; в) V = х1х2. Все три подслучая влекут
за собой автоматическое выполнение тождества х0(х1у)(х2у)...(хму) = 0. Если же степень тождества V больше двух и оно содержит только элементы алгебры у, то тождество V содержит тройку на первом месте х1х2х3 которая обращает тождество V в ноль. Кольцо многочленов является идеалом с нулевым умножением алгебры у. Для того, чтобы проверить, выполняется ли тождество V = 0 в алгебре у, необходимо в левую тождества часть подставить один элемент идеала Ф[£], вместо остальных переменных — базисные элементы а,Ь,с. Те переменные, вместо которых подставлен элемент а, заменим на х, вместо которых Ь, — на у. Переменные, вместо которых был подставлен элемент с, заменим на коммутатор ух, так как с = Ьа. И последнее, вместо переменной, заменяемой на элемент из идеала Ф[£], подставим тройное произведение х01 х02х03. Обозначим полученный элемент V. Тождество V = 0 по прежнему не выполняется в многообразии V3: заменим переменную х на элемент а, переменную у на элемент Ь (в этом случае пара ух переходит в элемент с), х01 на элемент из идеала Ф[£] — многочлен f (£), х02 и х03 — на элемент с. Мы получим тот же результат, что и при подстановке базисных элементов а,Ь,с и элемента из идеала Ф[£] в элемент V. Проанализируем вид элемента V. В силу тождества (5) все слагаемые тождества V, содержащие тройное произведение не на первом месте тождественны нулю. В силу того же тождества пару ух можно произвольно перемещать, если она стоит не на первом месте. Поэтому элемент V можно представить в виде:
V = (х01х02х03)(ух)гхххухууухухуххуу...
Согласно тождеству (1) в элементе V можно менять местами элементы ху, но при этом возникает пара ух, которую мы можем перенести в лево. Таким образом, элемент V можно представить в виде:
тт(з,£)
V = ^ аг(х01х02х03)(ух)гх3—гу*—г, (7)
г=0
где в = degxv' и Ь = degyV. Тождество V = 0 не выполняется в V3. Следовательно, хотя бы один из коэффициентов аг, отличен от нуля. Поэтому представление элемента V в виде (7) не тривиально.
Выберем г0 такое, что аго = 0, но для всех г < г0, аг = 0. Линеаризуем элемент V и рассмотрим компоненту степени г0 по элементу х1:
V = а(г0 )(х01х02х03 )(ух1)г0 х2—го уг—го + и,
где и — слагаемые, содержащие хотя бы одну пару ух2. Подставим вместо х1 переменную х и вместо переменной х2 пару ух. Все слагаемые, содержащие пару ух2, преобразующуюся в тройку уух, обращаются в ноль вследствие тождества (1). Таким образом, заведомо ненулевым останется лишь слагаемое (х01х02х03)(ух)У—го, которое мы обозначим через V''. Введем замену у = у1 + у2, линеаризуем элемент V' и рассмотрим компоненту степени Ь — г0 по переменной
у2: _■
V' = (х01х02х03)(у1х)3у2—г0 + р, где р — слагаемые, содержащие хотя бы одну пару у2х. Подставим вместо у1 переменную у и вместо переменной у2 пару ух. Все слагаемые, содержащие пару (у2х)преобразующуюся в тройку (уух), обращаются в ноль вследствие тождества (1). Введем еще одну замену х02 = ух и х03 = ух. Таким образом, заведомо ненулевым останется лишь слагаемое вида:
(х01х02 х03)(ух)м = 0,
где М = в + Ь — г0 + 2. Заменим теперь х на сумму М=1 х[ и рассмотрим
компоненту степени 1 по каждой из переменных х1 при I = 1, М. Таким образом, в многообразии V выполняется тождество
х0(х1у)(х2у)...(хму) = 0. (8)
Предложение доказано. □
Предложение 3. Если в многообразии V с3 N выполняются тождества (6) и (8), то многообразие V с NcA.
Доказательство. Рассмотрим элемент f = х0(х1у1)(х2у2)...(х2п—1у2п) и порожденный им модуль ФSnf, который по теореме Машке раскладывается в прямую сумму неприводимых подмодулей: К1 ф К2 ф ... ф К3. Рассмотрим один из подмодулей Кг, соответствующий разбиению А = (А1, \2,...,\), где \г — длины строк диаграммы Юнга при г = 1, При выполнении равенства £ = М2 либо строка, либо столбец диаграммы Юнга будет длиннее, чем М. Согласно работе [9], элемент, соответствующий этой диаграмме, является суммой слагаемых, каждое из которых содержит или М симметрических, или М кососимметрических переменных. Тогда согласно критерию полиномиальности роста подмногообразия многообразия 3^ доказанному в работе [10], многообразие V содержится в многообразии МсА, то есть многообразие V имеет полиномиальный рост. Предложение доказано. □
Теорема 1. Многообразие 3N имеет только два подмногообразия ^ и V3 почти полиномиального роста.
Доказательство. Предположим обратное. Пусть в многообразии ^ содержится подмногообразие V почти полиномиального роста, отличное от V2 и
V3. Так как V2 С V, то по предложению 2.1. в многообразии V выполняется тождество (6). Так как V3 С V, то по предложению 2.1. в многообразии V выполняется тождество (8). Тогда по предложению 2.3 многообразие V имеет полиномиальный рост (противоречие предположению). Теорема доказана. □
3. Числовые характеристики подмногообразий многообразия зN
Опишем строение семейства алгебр, порождающих многообразие 3^ Рассмотрим алгебру Гейзенберга Нк с базисом |а1; ...,ак,Ь1, ...,Ьк,с} и умножением агЬз = —Ь]аг = 8г]с, где 8] — символ Кронекера. Произведение остальных базисных элементов алгебры Нк равно нулю. Пусть Тк = Ф^]^, ...^к] — кольцо многочленов от переменных Ь1, ...,Ьк. Векторное пространство Тк с заданным на нем нулевым умножением является алгеброй Ли. Превратим кольцо Тк в правый модуль алгебры Нк. Для этого зададим действие базисных элементов алгебры Нк на полином f = f (Ь1, ...,Ьк) из Тк следующим образом: faг = ^, fЬг = Ьг f, fc = f, где ^ — частная производная полинома f по переменной Ьг. Определим новую алгебру Нк как прямую сумму векторных пространств Нк и Тк (Нк = Нк фТк), в которой умножение задается по следующему правилу: (х + f )(у + д) = ху + fy, где х,у из Нк и f,g из Тк. Нетрудно убедиться, что алгебра ук является алгеброй Лейбница, в которой выполняется тождество х(у(гЬ)) = 0. Алгебра ук является порождающей алгеброй многообразия 3^
Отметим, что, как доказано в работе [4], многообразие левонильпотентных ступени не выше трех алгебр Лейбница 3N имеет сверх экспоненциальный рост, его кодлина не может быть ограничена полиномиальной функцией от п, а кратности не ограничены в совокупности константой. Более точно, коразмерность многообразия ^ определяются следующей формулой
с™(3^ = п ■ 1ш(п — 1) = п dА,
АЬ(п-1)
где шу(ш) — число инволюций (перестановок порядка два) в симметрической группе Sm, а через dА обозначена размерность соответствующего разбиению А неприводимого модуля. Для многообразия 3N кратность Ша в разложении Хп(^) = ^2А^п шахА равна числу угловых клеток диаграммы Юнга, соответствующей разбиению А Ь п. Таким образом, кратности не ограничены в совокупности, но для любого разбиения А Ь п выполнено следующее неравенство
1 ^ т\ < л/2п. Поэтому кодлина /га(зР^) удовлетворяет следующим неравенствам
р{п) ^ /«(з^ < p(rг)v/2Й,
где р(п) количество различных разбиений числа п. Таким образом, последовательность кодлин многообразия зN имеет промежуточный между полиномиальным и экспоненциальным рост.
Рассмотрим стандартный полином от п образующих. Знак каждого его слагаемого зависит от четности перестановки. Тогда во введенных обозначениях имеет место равенство:
*^г(1) * * * %1(к)%1(к-\-1) * * * *^г(гг) *^г(1) * * * %1(к-\-1)%1(к) * * * *^г(гг) *
Согласно тождеству (1) можно записать: х\х2хзх4 = Х\Х2Х4Хз + х1х2(хзх4). Непосредственным образом получаем: х\х2хзх4 = \х\х2{хзх4), и в более общем случае:
Х\Х2 ■ ■ ■ Х2п-\-1 = 2пХ\{х2Хз) ■ ■ ■ {х2пХ2п-\-1)•
Другими словами, начиная со второго места, переменные одного кососимметрического набора, стоящие рядом, мы можем объединять в скобки, умножая элемент на | для каждой пары.
Пусть
Біт = Біт(Хь ...,Хт)=^ МГ **(1) • • • Ха{т),
так называемый, стандартный ассоциативный полином от операторов умножения справа. Определим также такую его модификацию
5^2т — Е (-1)" [Ха(1),Ха{2)] ••• [Ха(2т-1) , Х"(2т)],
2т
^^2т+1 Е ( —1)0 [Х"(1) ,Х"(2)] • • • [Хо(2т-1) ,Хо(2т) ]Хст(2т+1);
<7€$2т+1
где [Хг, Х]] — ХгХ] — Х] Хг — коммутатор операторов умножения справа Хг, Х]. Отметим такие несложные равенства Б12т — 2тБ12т, Б12т+1 — 2тБ12т+1.
Следующие результаты были представлены в монографии [11]. Приведем более полное их доказательство.
Напомним, что бесконечным крюком Н(р,д) называется фигура плоскости, состоящая из р бесконечных строк и д бесконечных столбцов. Тогда разбиение А Ь п (или соответствующая ему диаграмма Юнга) лежит в крюке Н(р,д), если выполнено неравенство Ар+1 ^ д.
Пусть задана диаграмма Юнга с п клетками, содержащая к угловых клеток, то есть отвечающая разбиению А — (пт1, пт2,..., пгтк), где п1 > п2 > • • • > пь >
0 и п1т1 + п2т2 + • • • + пьть — п. Заданной диаграмме отвечают следующие элементы:
91 = • • • ^ггаз^Гга2>
92 = (Х1Х2 ■ ■ ■
пк — 1-пк-1 ^к — 1
'^2 ^ ^1
дк = (хгх2 ...
П2—ПЗП 1П1—П2 — 1
где = 5^=1 тг, ] = 1,...,к. Линеаризация элемента д3(А), где в = порождает неприводимый модуль Ж3(А) = Ф8п(1гпд3(А)), соответствующий зафиксированному разбиению А.
Теорема 2. Пусть М — собственное подмногообразие многообразия 3^ Тогда существуют такие натуральные р, д, что кратность ш\ в разложении Хп(М) = ^ХЬп шхХх равна нулю, если Ар+1 > д.
Прежде, чем перейти к доказательству теоремы, докажем несколько лемм.
Лемма 2. Пусть М собственное подмногообразие многообразия 3^ Тогда существуют такое п и разбиение А Ь (п — 1), что в многообразии М выполнено тождество д\ = 0.
Доказательство. Сначала докажем, что в многообразии М выполнено тождество вида
где ар £ Ф, которое не выполнено в 3^
Пусть к(х1, ...,хп) = 0 — тождество, выполняемое в многообразии М, но не выполняемое в многообразии 3^ Будем считать, что оно является линейной комбинацией левонормированных произведений, то есть
где кг, г = 1,... ,п являются ассоциативными полиномами от операторов правого умножения X^, 1 ^ ^ п, ] = г. Сначала предположим, что п ^ 3. Так
как тождество к(х1, х2,.., хп) = 0 не выполняется в многообразии 3^ значит, существует такая подстановка элементов алгебры Нк вместо образующих, что
тим, что так как степень тождества больше или равна трех, то вместо ровно одной из образующих, например х3, был подставлен многочлен f из кольца многочленов Тк. Рассмотрим следствие тождества к(х1,..., хп) = 0, получаемое из него подстановкой вместо х3 произведения у2. Это следствие будет иметь вид уук3 = 0, так как в силу тождества (2) все остальные слагаемые превращаются в ноль. Пусть д = к3, причем будем считать, что многочлен д записан от операторов Уг, г = 1, 2,... ,т, где т = п — 1. Тогда тождество приобретает вид
п
г=1
значение, которое обозначим к, будет ненулевым элементом алгебры Нк. Отме-
у2д(У1,...,Ут) = 0.
(9)
Пусть А некоторая алгебра Лейбница. Из доказательства леммы 2.1 следует,
что
1д = {а £ А| ад^1, Z2,..., Zm) = 0, V21,2:2,... ,гт £ А}.
является двусторонним идеалом алгебры А. Рассмотрим фактор алгебру В = А/1д. Из тождества (9) следует, что у2 £ 1д для любого у £ А, то есть в алгебре В выполнено тождество антикоммутативности х2 = 0. Поэтому алгебра В является не только левонильпотентной, но и просто нильпотентной алгеброй Ли, в которой выполнено тождество 21222324 = 0. Таким образом, для любых элементов из алгебры А произведение 21222324 принадлежит идеалу 1д, поэтому в алгебре А выполняется следующее тождество, имеющее необходимый вид
21222324д(У1,У2, ...,Ут) = 0.
Заметим, что данное тождество по-прежнему не выполняется в многообразии Нк. Действительно, если сделать вместо образующих ту же самую подстановку элементов алгебры Нк, вместо 21 подставить элемент f, а вместо 22, 23, 24 подставить элемент с, то в качестве результата получим тот же ненулевой элемент к. Пусть теперь в многообразии М выполнено тождество степени один или два. Хорошо известно, что в этом случае в многообразии выполнено тождество коммутативности или антикоммутативности, поэтому оно будет не только ле-вонильпотентным, но и просто нильпотентным. Доказательство леммы теперь следует из строения £п-1-модулей Qnn). Лемма доказана. □
В пространстве Рп(М) обозначим подпространство порожденное произведениями, у которых на первом левом месте расположена образующая хп через З^М). Тогда
хюпп) (М)) = £ ,т^]хх (10)
АЬп
характер $п-1-модуля Зпп)(М), причем, так как М С 3^ то т^ ^ 1.
Лемма 3. Пусть М — собственное подмногообразие многообразия 3^ Тогда характер (10) лежит в некотором крюке, то есть существуют такие натуральные числа р, д, что, если Ар+1 > д, то т^ = 0.
Доказательство. Доказательство леммы 3 разобьем на шаги и проведем его аналогично доказательству предложения 8.3 статьи [12]. Сначала докажем, что в многообразии М выполнено тождество вида дА = 0, в котором диаграмма Юнга соответствующая разбиению А Ь (п — 1) имеет четную длину всех столбцов. Далее покажем, что, если длину одного из самых коротких столбов увеличить на два, то получим тождество, которое является следствием исходного. Используя эту возможность, легко понять, что в многообразии выполнено тождество, соответствующее некоторой прямоугольной диаграмме Юнга. Последний шаг — это доказательство, того, что, "приклеивая" к прямоугольной
диаграмме Юнга "ногу" и "руку", получаем диаграммы, которые также соответствуют тождествам многообразия М.
Шаг 1. Получение тождества специального вида.
Покажем, что в многообразии М выполнено тождество вида да = 0, в котором диаграмма Юнга, соответствующая разбиению А Ь (п — 1), имеет четную длину всех столбцов, то есть имеет вид
А =(а1п1 ,а?Г2 ,...,ак"к).
Действительно, пусть в многообразии М выполнено тождество вида
хоЗ^Б1% ...81% = 0, (11)
где ^1 > ^2 > ... > ^т £ N V £ N,2 = 1, ...,т. Доказательство проведем методом математической индукции по количеству к нечетных элементов множества {^1, ^2,..., ^21}. Если к = 0, то получаем требуемое. Предположим, что утверждение верно в случае, когда число нечетных элементов в {^1,^2, ...,^т} меньше к. Докажем, что тогда оно верно и для к. Пусть ^3 — наибольшее из нечетных чисел среди {^1,^2,..., ^т}. Тогда это тождество имеет степень и1 + и2 + ... + и3 по переменной х3. Поскольку характеристика поля Ф равна нулю, то тождество (11) эквивалентно тождеству
—'—'VI ——--У2 ——■"Ут
х081т З122 ...З12т = 0. (12)
Заменим в тождестве (12) образующую х3 на сумму и + V и возьмем компоненту первой степени по V. После замены и = х3^ = х1х2 в полученной сумме слагаемые, содержащие х1х2 в произведениях пар образующих становятся равными
нулю в силу тождества (5). Пользуясь тем, что в многообразии 3N выполнено тождество х(уг)Ь = хЬ(уг), получаем, что левая часть тождества (12) равна
VI ^2 -^я — 1----
^Зх081^1 З122 ...812в 81Мв-1 . . . (х1х2) .
Значит, в многообразии М выполнено тождество
хо811\812...81;:-18^-1... 8%т812 = 0,
которому соответствует диаграмма Юнга, содержащая к — 1 столбцов нечетной длины, а значит для него выполнено предположение индукции, и доказательство первого шага завершено.
Шаг 2. Увеличение длины одного из самых коротких столбцов диаграммы
Юнга на два.
тт «
Пусть ^ — подстановка 21 вместо х^ и ^ — подстановка хг вместо х^, при этом остальные буквы неизменны. Рассмотрим ]-ю строку диаграммы А, то есть ] £ {1,... ,а\}. Проведем частичную линеаризацию дА по хз, произведя сначала
замену X3 ^ X3 + Х\, и возьмем однородную компоненту первой степени по Х\. Обозначим результат через д(3). Заметим, что д(3) зависит от строки ].
Для строк ] = 1,... ,а3 получим
ЛЛ _ „ а РЛ^оч)
г=1 а%
Для строк у = а3 + 1,..., а5-1 получим
лл _ _ о фА^сч)
г=1 а
и так далее. Таким образом, для последних строк у = а2 + 1,... , а1 получим
АЛ _ о ’рА^оч)
9\ — 9хР\—--------•
Заметим, что дроби мы ввели и используем исключительно для упрощения обозначений. Наша цель доказать, что мы можем добавить две клетки в специальное место диаграммы. Заметим, что если а3-1 > а8, то это значит, что
а3-1 ^ а3 + 2. Вследствие того, что д \ является тождеством в М, выражение
а,
В,д\\Z1.Z2] д-[>\к),я2] (13)
3 = 1
также является тождеством в М. Произведем замену г1 = хад+1, г2 = ха,+2 и х2т+1 = х2т+3. Заметим, что ^(“8+1)(5^ак) = 0 для к = 1,..., з — 1, так как после подстановки буква хав+1 встретится дважды в стандартном многочлене, который мы альтернировали. Таким образом, действие ^(аг,+1) может быть ограничено только последним сомножителем 5^. Другими словами, когда г1 = ха,+1
дУХ .Х..+2] = влт+^е,... й#.;; ))х ,ха.+2].
Пользуясь (13) получаем, что М удовлетворяет следующему тождеству
а \
ви, \Х,а, + 1,Ха,+2] — £ Ч>¥- + 1)(ЗЬ. )\Х, ,Х„.+2] = 0.
3=1
Непосредственным вычислением убеждаемся, что выражение, заключенное во внутренние скобки, равно БЬа, +2. Таким образом, в М выполнено тождество д^ = 0, где диаграмма Юнга, соответствующая разбиению ^ Ь 2т + 2 получается приклеиванием к левому из самых коротких столбцов диаграммы А двух клеток. Понятно, что "приклеивание" таким образом столбиков высоты два, позволяет получить прямоугольную диаграмму Юнга.
взХ2т+зБіі\ ...Бі^ 1
Шаг 3. Возможность "приклеивания" "руки" и "ноги".
Предположим теперь, что М удовлетворяет тождеству дх = 0, где последняя строка разбиения А длины д, а последний столбец длины 2г. Покажем, что приклеив к диаграмме Юнга А произвольную "ногу" ширины не более д и произвольную "руку" высоты не более 2г, получим такую диаграмму ^, что соответствующее тождество д^ = 0 выполняется в М.
Пусть А = (р2г, А2г+1,..., А2(г+3), д21) — разбиение 2т со столбцами четной длины, а
^ = (р + а1,...,Р + а2г, А2г+1, . . . , А2(г+«) , д21, ^2(r+s+l)+1, ^2(r+s+l)+2, . . . )
— разбиение N. Тогда тождество д^ = 0 является следствием тождества дх = 0. Доказательство этого утверждения проведем в два этапа. Сначала приклеим "ногу". Пусть V = (р2г, А2г+1, ..., А2(^),д21, №(^+1)+1, №(^+1)+2,...) — разбиение М. Покажем, что тождество ди = 0 следует из тождества дх = 0. Пусть Т = Тх — стандартная таблица Юнга, в которой числа 1, 2,... записаны последовательно в первый столбец, во второй и так далее. Пусть ет = ЯтСт обозначает соответствующий квази-идемпотент в Ф52т. Так как Ят СтЯт Ст = *уЯтСт, где 7 = 0, делаем вывод, что Ст Ят Ст - ненулевой элемент в Ф52т. Обозначим соответствующий полилинейный элемент свободной алгебры многообразия зN
дх = х2т+1/х = х2т+1 Ст Ят Ст (\Х1,Х2] • • • [Х2т-1,Х2т\).
Понятно, что этот элемент кососимметричен относительно каждого множества образующих, индексы которых записаны в один и тот же столбец таблицы Тх. Заметим также, что тождества дх = 0 и д х = 0 эквивалентны. Переобозна-чим для удобства образующие и будем считать, что /х = /х(Х1,У1,... , Хт, Ут). Пусть Ь = г + в +1, тогда 2Ь - длина первых д столбцов диаграммы А. По построению д х косо-симметричен относительно каждого из следующих д множеств образующих Аг = {х(г_1^+1,У(г_1^+1,..., хи, угь], где г = 1,... ,д. Более того дх кососимметричен относительно каждого из следующих множеств образующих Аг, где г = д+1,... ,р. Заметим, что 1Аг1 = Аг — длина г-го столбца диаграммы А. Пусть т \~ М — 2т "нога", то есть т = (^2(г+^)+1, ^2(г+.в+1)+2,...). В частности, Т1 = д. Построим полилинейный элемент
/т = /(х51),y1(1),...z(1), ... хqq),y(q),...z(д)),
где Z(г) = Хк++1, если т[ = 2к + 1, или Z(г) = У(\ если т[ = 2к. Значит /т
кососимметричен относительно каждого из следующих множеств образующих
Вг = {хjг),У1(г),...,Z(г)], г = 1,...,д, .
Отметим, что 1Вг1 = т[ — длина г-ого столбца диаграммы т. Рассмотрим элемент хм+1 / х/т и в нем произведем альтернирование по каждому из д множеств
образующих Сг = Аг и Вг, г = 1,... ,д. Заметим, что это альтернирование соответствует первым д столбцам диаграммы V. Формально это означает следующее: возьмем множество Сг = Аг и Вг, пусть 5(Сг) будет симметрической группой на этом множестве. Обозначим Сх^ = 5(С1) х • • • х 5(Сд),
С1, = Е (—!)'п,
и рассмотрим С-^(хм+1/х/т). По построению тождество С- ^(хм+1/х/т) = 0 является следствием тождества дх = 0. Заметим, что полученный элемент не равен нулю в пространстве ^М++1). Для доказательства этого достаточно подставить вместо образующих следующие элементы алгебры Нм : хм+1 = /, / Е Тм,
(г) (г)
хг bг, уг aг, г 1, 21 . . . ,<m, хз ьт+к1+-----+ —1+3, у3 ат+к,+-, +3,
] = 1,... ,кг, г = 1,... ,д, причем т'11 = 2ks или т/), = 2ks — 1 в зависимости от
четности длины в-ого столбца диаграммы т. Исследуем разложение на неприводимые подмодули ненулевого модуля, порожденного элементом С-^(хм+1/х/т)
в пространстве ^м4+1). По правилу Литтлвуда-Ричардсона диаграммы Юнга, соответствующие этим неприводимым модулям должны содержать диаграммы А и т. Учитывая кососимметризации, получаем, что единственной такой диаграммой является диаграмма V, что завершает первый этап доказательства. Теперь приклеим "руку" т к диаграмме V. Пусть т = (а1,... , а2г) и так как / = /и • /т, то получаем, что тождество д^ = 0 следует из тождества ди = 0. Лемма доказана. □
Доказательство теоремы 2. Отметим, что 5п-модуль Рп(М) индуцирован с 5п-1-модуля 0Пп)(М). Так как характер (10) 5п-1-модуля 0Пп)(М) расположен в некотором крюке, то такое же утверждение верно и для характера (3). Пусть крюк имеет высоту и ширину равную Л, другими словами, если ^+1 > Л, то кратность т^ в сумме (3) равна нулю. Так как согласно результатам статьи [4] кратность для многообразия 3N равна числу угловых клеток соответствующей диаграммы Юнга, то получаем, что не зависимо от числа п для кратностей в сумме (3) выполняются неравенства тх ^ 2Л. Число различных диаграмм Юнга, расположенных в таком крюке не превосходит числа п2Л, а, как хорошо известно, размерности соответствующих неприводимых модулей ограничены экспоненциальной функцией (2Л)п. В итоге получаем, что для кодлины и коразмерностей выполняются неравенства
1п(М) < 2Л • п2Л, Сп(М) < 2Л • п2Л • (2Л)п.
Таким образом, многообразие М имеет рост не выше экспоненциального, рост его кодлины не выше полиномиального, а кратности ограничены константой, не зависящей от числа п. Теорема доказана. □
Из этой теоремы и описанных выше результатов о многообразии 3N получаем ряд следствий об экстремальных свойствах многообразия 3^
Следствие 1. Пусть М собственное подмногообразие многообразия 3^ Тогда существуют такие константы с1, г1, что для любого п выполнено следующее неравенство с^(М) < с1г'П.
Таким образом, многообразие ^ является многообразием почти экспоненциального роста.
Следствие 2. Пусть М собственное подмногообразие многообразия 3^ Тогда существуют такие константы с2, г2, что для любого п выполнено следующее неравенство 1п(М) < с2пГ2.
Таким образом, многообразие ^ является многообразием с почти полиномиальным ростом кодлины.
Следствие 3. Пусть М собственное подмногообразие многообразия 3^ Тогда существует такая константа г2, что тх < с3.
Таким образом, многообразие ^ имеет почти конечные кратности.
А также, как говорят, кохарактер его любого собственного подмногообразия лежит в крюке. Любое собственное подмногообразие многообразия 3N является многообразием ассоциативного типа, то есть многообразие 3N является многообразием почти ассоциативного типа.
Отметим, что полученные результаты аналогичны результатам статьи [13], то есть по своим свойствам многообразие алгебр Лейбница ^ похоже на многообразие алгебр Ли А^, которое определяется тождеством
(х1х2х3)(х4х5х6) = 0.
4. Об экспонентах подмногообразий многообразия зN алгебр Лейбница
В данном разделе рассматривается рост собственных подмногообразий многообразия 3^ Из приведенных выше рассуждений следует, что их рост является экспоненциальным. В работе [14] приведено краткое доказательство этого факта. Рассмотрим данный вопрос более подробно.
Пусть V — собственное подмногообразие многообразия 3^ Пусть Оп+11) = Оп ^ Рп+1, то есть:
О'п (хп+1хст(1) ...х(г(п)\с Е Зп) .
На пространство Оп, аналогично рассмотренному ранее относительно пространства Рп, естественным образом вводится действие перестановок и определяется структура Ф5п-модуля. Последовательность размерностей пространства Оп обозначим через с1п(\) = сИт(^п. В случае существования верхнего и нижнего пределов последовательности ^Д?га(У) введем следующие обозначения:
Ехр(С2п) ЫтПп^со \!с1п (V) ;
Ехр(Яп) = 1гтп^оо \/<1п{у).
Кроме того, если Ехр(Рп) существует, то будем записывать Ехр(V) = Ехр(Рп). Тогда для введенного пространства Оп справедлива следующая лемма:
Лемма 4. Пусть V — собственное подмногообразие многообразия 3^. Тогда Ехр{С^п) = Ехр( V) и Ехр{С^п) = Ехр( V).
Доказательство. Пусть V — собственное подмногообразие многообразия
3^ Как уже упоминалось ранее, согласно следствию 1 всякое собственное подмногообразие многообразия 3N имеет экспоненциальный рост. Это означает, что для V четко определены верхний и нижний пределы последовательностей л/сп(У)- Поскольку С Рп+1, то очевидно, что для любого натурального п
выполняется неравенство <1п ^ Сп+1. С другой стороны, все полилинейные многочлены от переменных х1 , ... , хп могут быть записаны в виде линейной комбинации левонормированных мономов, начиная с хг, где 1 ^ г ^ п. Поэтому сп ^ п^п. Два полученных неравенства приводят нас к выводу, что рост последовательности дп является экспоненциальным. Поэтому мы можем считать, что дп ~ пйп. Следовательно,
ИгПп^оо л/ сп (V) ЫтПп^со \! Ап{у),
со \fzjy) = Шпп^со \AkOV).
Отсюда вытекает утверждение леммы. □
Рассмотрим относительно свободную алгебру Р многообразия 3N от счетного множества образующих X = {х1, х2,...}. Полилинейные элементы от п + 1 переменной с фиксированным первым элементом хп+1 этой алгебры лежат в пространстве Оп. Для таких элементов алгебры Р имеет место следующее свойство.
Лемма 5. Пусть для некоторого целого М и некоторых х1,...,хп+1 € Р выполняется тождество жга+15'£2А:+1 = 0 (2к + 1 ^ п). Тогда для этих элементов также верно тождество
хп+1~т22ккм = о.
Доказательство. Пусть для элементов х1,...,хп+1 относительно свободной алгебры от счетного множества образующих многообразия 3N верно тождество хп+\812к+1 = 0 (2к + 1 ^ п). Рассмотрим случай, когда М = 1. Тогда для указанных элементов выполняется тождество
Xn+lSt2k+1(X1, ..., Х2к , Х2к+0 = 0.
Заменим в данном тождестве переменную х2к+1 на пару пь, то есть оператор Х2к+1 на иУ. Поскольку пара иУ входит в кососимметрический набор в стандартном полиноме 8Ь2к+1, то она может стоять на 2/с + 1 месте. Так как в элементе хпБ12к+1 первое место фиксировано занимает элемент хп+\, то пару [IV
мы можем ставить на любое место, исключая первое, учитывая, что знак стандартного полинома меняется на противоположный при перемене местами двух соседних кососимметрических переменных. Эти рассуждения приводят нас к выводу, что элемент из левой части рассматриваемого тождества мы можем преобразовать следующим образом:
хп+1~т2к+1(Хъ...,Х2к,(иУ)) = {2к + 1)хп+1{иУ]т2к{Хъ...,Х2к).
Рассмотрим теперь случай, когда М = 2. Аналогичные рассуждения, применя-
--2
емые к тождеству х^^^к+^Х^ ..., Х2к,Х2к+1) = 0, позволяют нам получить следующее:
Хп+Ж^Хг, ...,Х2к, (иУ)) = (2к + 1 )2хп+1{иУ)Ш2к{иУ)т2к.
Рассмотрим более подробно элемент хп+\(иУ)Х1...Х2к(иУ). Применим к нему тождество Лейбница:
Хп+1(иу)х~1...х2к(иу) = хп+1(иУ)Х~1...Х2к_1([/У)Х2к+
+хп+1(иУ)Х~1...Х2к-1(Х2к(17У)).
Второе слагаемое из получившейся в правой части тождества суммы равно нулю в силу тождества х(у(гЬ)) = 0. Следовательно, пару, не входящую в альтернированный набор, мы также можем двигать на любое место, исключая первое. Тогда переместим ее на второе место. Получим следующий вывод:
хп+1~т22к+1(Хъ...,Х2к,(иУ)) = (2к + 1)2жга+1([/У)2^(хь-,Х2к),
или
(2к + 1)2жга+1([/У)2^(хь Х2к) = 0.
В случае, если М > 2, проведенные рассуждения обобщаются и мы получаем следующее тождество:
(2к + 1)мх„+1(^)М^№, Х2к) = 0.
Таким образом, тождество хп+\5^+1 = 0 имеет следствие
хп+1{иу)мЖ2к = о,
и для некоторого многочлена А от переменных Хі (і = 1,..., 2к) также имеет место тождество
хп+1А(иУ)мЖ2к = 0.
Теперь обозначим через щ, ...,ид все различные пары (хіхз), 1 ^ і < І ^ 2к, то есть через их,ид все различные пары (ХіХ^). Тогда д = к(2к — 1) и $і2к — однородный многочлен от операторов их, ...,ид степени к. Пусть N = (2к — 1)М,
тогда Б12к — однородный многочлен от операторов и1, ...,ид степени Мк = дМ. Так как каждый оператор иг является парой, то его также можно переставлять, начиная со второго места. Тогда хга+1Б;^к — сумма произведений вида хпЛи.М, где Л — некоторый многочлен от переменных иг. Следовательно,
х +М — х п,(2к-1)М+М _ х п,2кЫ — 0
хп+1БЬ2к — хп+1БЬ2к — хп+1БЬ2к — 0
Лемма доказана. □
Рассматриваемое пространство Qn как ФБп-модуль раскладывается в прямую сумму неприводимых подмодулей:
Qn = ©АЬп т%(У)Мх. (14)
Рассмотрим произвольный ФБп-модуль Та из разложения (14). Этот модуль соответствует некоторой диаграмме Юнга. Пусть эта диаграмма отвечает разбиению А = (А1, А2,..., Ак). Рассмотрим сопряженное к А разбиение А' = (А'1,А'2,---,Ат). Построим элемент, соответствующий разбиению А'. Такой элемент будет содержать альтернированные наборы, соответствующие столбцам диаграммы Юнга длин А1, А;2,..., А^. Другими словами, искомый элемент будет содержать альтернированные наборы, содержащие А1,А2,..., Ат переменных. Для построения описанного элемента воспользуемся обозначениями, введенными нами ранее. Разбиению А отвечает следующий элемент:
9х xn-\-lБt\^St\^...St\/m. (15)
Для рассматриваемого ФБп-модуля и построенного элемента дА справедлива следующая лемма.
Лемма 6. Всякий неприводимый ФБп-модуль Та в разложении (14) порожден с помощью Ьги(дА/), элемент дА определяется равенством (15) и Ьги(/) означает полную линеаризацию полинома f.
Доказательство. Рассмотрим произвольный неприводимый ФБп-модуль Та из разложения (14), соответствующий разбиению А. Докажем, что этот ФБп-модуль порожден линеаризацией элемента дА<. Покажем, что элемент ду отличен от нуля в многообразии Для этого проверим, что элемент ду является ненулевым в некоторой алгебре многообразия 3^ Используем для этого алгебру Ня, построенную в начале данной главы. Пусть А Ь п, где А1 = в. Обозначим операторы умножения справа на элементы аг, Ьг и с через Лг, Вг и С соответственно. Теперь выразим элемент хп+18Ьт, введя следующую замену: Х2г-1 = Щ и х2г = Ьг (г = 1,..., [у] + 1), хп = /,..., Ь3). Тогда мы получим:
/(^ъ •••) В2,..., А3, В3) = f{tl,..., ^)А1Д1...А5Д5,
если А1 — четно, и
/(^1,..., 1(^-1, В2,..., А3_ 1, В3_ 1, А8) = /(^1, ...,13)А1В1...А3_1В3_1А3,
если А1 — нечетно.
Как описывалось ранее, переменные кососимметрического набора, стоящие не на первом месте, можно объединять в пары, вынося для каждой из пар коэффициент Тогда
/(^ъ В2,..., А8, В8) = 777/^1, •••, ts)(AlBl)...(AsBs),
2Ь
и
/ (^1, •••, ^)5'^2«-1(А1, В 2; • • •; ^Ц-1, Дз-Ъ АО =
= •••) ^ХА-^.-.^-^з-^А-
Поскольку = с и /с = /, то АВ = С и /С = /. Следовательно, мы получаем следующие равенства:
/(и,...,Ь8)ЗЬ28(А1,В2,...,А8,В8) = ^/(*1 ,-,Ъ)С8 = ^/(*1,...,*в),
и
/(^1, •••, ^)5^2«-1(А, В2,А-ъ В8_ 1, А) =
= ^т/(*ь-,*в)С'в"% = ^тЛв(*ь-,0-
Полином /(^1,..., ^) мы можем выбрать таким образом, чтобы его частная производная по переменной ^ была отлична от нуля. Следовательно, в результате подстановки мы получили ненулевой элемент алгебры Н5. Поскольку справедлива и обратная замена, то элемент ду не является тождеством в многообразии V.
Теперь введем следующие обозначения: Ы1 = {1,..., А1}, Ы2 = {А1 + 1,..., А1 + ... + А2},..., Ыт = {А1 + ... + Ат-1 + 1, ...,п}, где т = А1. Построим стандартную таблицу Юнга й = йл, соответствующую разбиению А с номером N в г-ом столбце. Обозначим через еа = еа(Х1, ...,Хп) квазиидемпотент группового кольца Ф£п, соответствующего таблице Юнга й. Согласно монографии [1] элемент еа можно представить в следующем виде:
еа(Х1,..., Хп') ^ ^ £<гро(Х1,..., Хп),
где р - перестановка, принадлежащая строчному стабилизатору Ка; о - перестановка, принадлежащая столбцовому стабилизатору Са; £а - четность перестановки о. Рассмотрим элемент хпеа(Х1, ...,Хп) более подробно:
Хпеа(Х1 , ..., Хп) хп( ^ ^ £<Гр0 (Х1 , ..., Хп) )
Р^КЗ>
= ХпХр(1)Хр(2)...Хр(Л/1)...Хр(Л/1+...+лт_1 + 1)...Хр(п)-
ХпХР(2)ХР(1)...ХР(л1 )...Хр(л1+...+лт_1+1)...ХР(п) +...
... - уХр(1)Хр(2) ...Хр(Л[)...Хр(Л[+...+Л'т_1+2)Хр(Л[+...+Ут_1+1)...Хр(п) +
+ХпХр(2) Хр(1)...Хр(Л/1)...Хр(Л1+...+Л'т_1+2)ХР(Л'1+...+Л'т-1 + 1)...ХР(п) + ... Дальнейшее разложение полученной суммы по перестановке р приведет нас к полной линеаризации элемента хпдЛ, введенного ранее. Таким образом, мы получаем, что
Ьгп(хпдЛ) = Хпеа(Х1, ...,Хп).
Согласно монографии [1] элемент
Хпеа(Х1,...,Хп) = Ьгп(удЛ) порождает в Qn неприводимый Ф£п-модуль, изоморфный ТЛ. Лемма доказана. □
Вернемся к рассмотрению разложения пространства Qn в прямую сумму неприводимых подмодулей в виде (14). В случае, если V =3 N в работе [6] доказано, что кратности т®(У) равны единицам. Тогда для всякого собственного подмногообразия V многообразия левонильпотентных ступени не выше трех алгебр Лейбница указанные кратности не превосходят единицу.
Лемма 7. Если V — собственное подмногообразие многообразия 3N, то кратности т® (V) в разложении (14) пространства Qn в прямую сумму ФБп-модулей равны единицам.
Доказательство. Пусть V — собственное подмногообразие многообразия Рассмотрим некоторое разбиение А = (А1, А2,..., Ак) числа п и сопряженное к нему разбиение А / = (А1,А2,...,Ат). Построим всевозможные элементы, соответствующие разбиению А . Следуя рассуждениям, приведенным ранее, мы приходим к выводу, что искомые элементы будут содержать альтернированные наборы, содержащие А]_,А2,..., Ат переменных. Такие элементы могут отличаться друг от друга только порядком следования альтернированных наборов. Таким образом, разбиению А отвечают следующие элементы:
01 (А)
02 (А ) хп-\-1 ,
Так как кратности неприводимых Ф£п-модулей в разложении (14) не превосходят единицы, то элементы д1(А/),д2(А),..., дЛ'т (А) либо эквивалентны, либо являются нулевыми. Из доказательства леммы 6 следует, что элемент д1(А/)
отличен от нуля. Следовательно, элементы д2(А), ...,дЛ'гп(А) эквивалентны элементу д1(А/). Таким образом, каждой диаграмме Юнга соответствует ненулевой элемент д1(А/). Линеаризация этого элемента порождает соответствующий подмодуль полилинейной части многообразия V. Тем самым мы получаем, что всякому разбиению А числа п соответствует единственный ненулевой элемент. Другими словами, все кратности т®(\) в разложении (14) равны единицам для любых разбиений А числа п. Лемма доказана. □
Как уже упоминалось ранее, рост всякого собственного подмногообразия многообразия левонильпотентных ступени не выше трех алгебр Лейбница является экспоненциальным. Поэтому существуют верхняя и нижняя границы последовательности размерностей пространства его полилинейной части, которые мы договорились обозначать Ехр(\) и Ехр(\) соответственно. В лемме
4 было доказано, что верхние и нижние границы последовательностей размерностей пространств Рп и Qn совпадают. Поэтому дальнейшее рассмотрение мы будем вести относительно пространства Qn.
Теорема 3. Пусть V — собственное подмногообразие многообразия 3N и пространство Qn = Qn(V) определяется как линейная оболочка элементов
Qn (Хп+1Хст(1) ...Ха(п)\о ^ Бп) .
Тогда если нижняя граница последовательности размерностей пространства Qn меньше некоторого числа к, то верхняя граница этой последовательности не превосходит к — 1.
Доказательство. Пусть V — собственное подмногообразие многообразия левонильпотентных ступени не выше трех алгебр Лейбница и Qn = Qn (V). Согласно теореме 2 многообразие 3N является многообразием почти ассоциативного типа и с почти конечными кратностями. Тогда всякая диаграмма, соответствующая неприводимому подмодулю пространства Qn, лежит в крюке, и кратности т®(У) в разложении ХЛ|-пт®(У)хх = X® (V) являются натуральными числами. Поэтому мы можем рассмотреть произвольную диаграмму, лежащую в крюке Н(в, в). В такой диаграмме длины строк и столбцов с номерами, большими в, не превосходят в. То есть, если £ ^ в, тогда А1 ^ в и А\ ^ в. Подобные рассуждения имеют место для всех диаграмм, лежащих в крюке. Складывая полученные неравенства, мы получим А1 + ^ 2в. Таким обра-
зом, мы получаем, что для всех диаграмм кохарактера Х®^) верно следующее неравенство: А1 + А[ ^ 2в.
Для каждого разбиения А Ь п с ненулевыми кратностями т® (V) для £ ^ в обозначим:
Рп(Ь) = таХ{Аг + А[}.
Тогда поскольку для всех £ > в верно А1 + А^ 2в, то для элементов полученной последовательности также верно неравенство рп(£) ^ 2в для любого натурального числа п. Поскольку все элементы последовательности не превосходят числа 2в, то эта последовательность ограничена сверху числом, не превосходящим
числа 2в. Для каждого £ > в и всех натуральных чисел п обозначим наибольшее значение рп(Ь) через р(Ь):
р(£) = таХрп (£).
Определим характер монотонности последовательности р(Ь). Пусть А* и А/ — наибольшие значения длин строк и столбцов соответственно диаграмм Юнга, отвечающих всевозможным разбиениям А любых натуральных чисел п, лежащих в крюке Н(в, в). Тогда для всех г > в верны неравенства А* ^ в и А* ^ в. Поэтому для некоторого числа £ + 1 > в найдутся дг+1 и д[+1 такие, что А*+1 ^ дг+1 и А,+1 ^ д[+1, а для некоторого £ ^ найдутся дг и д[ для которых А* ^ дг и Аг* ^ д[. Причем, если дг + д[ < дг+1 + д[+1, то найдется диаграмма, для которой Аг < Аг+1 и Аг < Аг+1, чего не может быть. То есть последовательность 'р(Ь) не может возрастать. Таким образом, мы получаем, что р(Ь) — не возрастающая последовательность неотрицательных целых чисел, ограниченная сверху числом 2в. Такая последовательность стабилизируется, то найдется такое натуральное число Т, что для всех £ > Т члены последовательности р(Ь) будут равны некоторому натуральному числу. Следовательно, существует предел последовательности р(Ь), который мы обозначим следующим образом:
р = 1гть^^р(Ь).
Существование этого предела говорит о том, что для любого разбиения А Ь п найдется такое число £0, что для всех £ ^ £0 Аг + Аг = р.
Рассмотрим теперь произвольное целое число п и некоторое его разбиение ц, которому соответствует неприводимый подмодуль из разложения пространства Qn в прямую сумму подпространств. В силу доказанного выше для данного разбиения ц имеет место неравенство цг0 +ц^0 ^ р. Отсюда мы можем сделать вывод о том, что ц лежит в объединении квадрата £0 х £0 и крюка Н(г,]) для некоторых г + ] = р. Каждой из таких диаграмм отвечает некоторый элемент д^, полная линеаризация которого порождает по лемме 6 неприводимый ФБп-подмодуль из разложения (14). Рассмотрим наибольшую из описанных диаграмм и обозначим ее ц*. Отметим, что, используя лемму 7, мы можем из диаграммы ц* получить любую диаграмму, удовлетворяющую указанным условиям. Найдем размерность неприводимого ФБп-модуля, соответствующего диаграмме ц*, по формуле крюков:
сИтц* = П—г.
Пц № \
Среди множителей выражения правой части полученного равенства разделим множители, соответствующие крюкам, содержащим клетки квадрата £0 х £0, и множители, соответствующие крюкам, не содержащим клетки этого квадрата. Тогда размерность неприводимого ФБп-модуля, соответствующего диаграмме ц*, выразится следующим образом:
п ■ (п — 1) ■ ... ■ (п — ^ + 1) (п — £0)!
дьїт/і*
где к* — крюки, хотя бы одна клетка которых лежит в квадрате £0 х £0, а кЦ — остальные крюки. Поскольку внутри квадрата £0 х £0 может содержаться только конечное число клеток, то множитель
п ■ (п — 1) • ... • (гг — + 1)
Пг3К\
можно заменить на дробно-рациональную функцию, следуя, например, работе [15]. Поэтому далее мы будем исследовать множитель
(гс-*8)!
Пч \Щ'
Для этого обозначим п — Ь^ = п0 и соответствующее "разбиение" этого числа как
V = (у1,у2, ...,Ук). В этих обозначениях размерность неприводимого ФБп-модуля, соответствующего диаграмме ц*, можно выразить следующей формулой:
> Щ.
д(п) Vl\V2\...Vk!
Применим формулу Стирлинга
-тт вгп_
т\ = л/Ътт-------е12™ ,
ет
где 0 < в к < 1, ко второму множителю получившегося произведения:
п°- _ v/ГСo +1'2+-+1'к _ по°
щ\и2\...Рк\ Л/2к7Гки1и2...ик и^1^2 ...икк'
Множитель е-п0+и1+и2+'"+ик равен единице, так как v1 + v2 + ... + Vк = п0. Поскольку каждое из в г — положительное число, меньшее единицы, то каждая
о
дробь гф также меньше единицы, то есть 1 < е12; <3. Более того, так как
12п0 12v1 12v2 12vk
то
@по 9 VI 9^2 0 < е12^-12^-12^--^ < 1.
Для дроби , л^° верны следующие неравенства:
Пки-1и2..мк
1 л/по
< , . ------- < П.
27тп л/2кт:ки1и2...ик
Проведенная оценка множителей показывает, что они не влияют на рост последовательности размерностей пространства полилинейных элементов неприводимого ФБп-модуля, соответствующего диаграмме ц*. Поэтому мы обозначим из через 7^). Тогда
л/щ вп° 01,1 01,2
V и „12 пп 121/1 121/0 121/1.
1(у)
Пк VlV2...Vk
и
сііт/і* ^ ^7—г • 7 М ■ д(п)
Рассмотрим теперь множитель
Поскольку
п0
І І12_ І І^к.
п0 п0 п0
По,
то данную дробь можно представить следующим образом:
п0
Рассмотрим функцию Ь2, ■ ■■, tk) от действительных переменных, удовлетворяющих условиям ^1,^2, ■■■,^к > 0 и Ь1 + Ь2 + ■■■ + = 1, которая определяется
следующим равенством:
Поскольку для разбиения V = (и1,и2, ■■■,Ук) числа п0 выполняются условия
VI ^ v2 ^ ■■■ ^ Vк > 0 и VI + v2 + ■■■ + Vk = По, то для действительных чисел — выполняются условия, наложенные на переменные ЪАо, ...А]?
По ’ По1 ’ По ^ ^ 1 > 2 > 1 к
функции ^{11, \2, ■■■,1к). Поэтому мы можем определить ), зависящее от разбиения от V = (v1, v2, ■■■, Vk) п0 следующим образом:
Проведенные рассуждения позволяют размерность неприводимого Ф5П-мо-дуля, соответствующего диаграмме ^*, выразить следующим равенством:
і ік-ІЛ І2 ...Ьи
1 Ь2 ...Ьк
<р(и)
1
^ *
п0
сііт/і* ^ Цгг • 7(V) • (<р(и))п° д(п)
Отсюда
(іітц* ^ ^ рпо
ді(х)
и
ЇЇШп—ужІПІ(&п(У)) ^ РП0.
Если р ^ к, то существует подпоследовательность последовательности р(Ь), нижний предел которой тоже не меньше к, то есть Ехр{С}п) ^ к, что противоречит условию. Поэтому р не может быть только больше к. Но тогда наибольший частичный предел последовательности р(Ь) тоже не больше к, то есть Ехр^п) ^ к. Теорема доказана. □
Доказательство теоремы 3 приводит нас к выводу о том, что верхняя и нижняя экспоненты всякого собственного подмногообразия V многообразия лево-нильпотентных ступени не выше трех алгебр Лейбница совпадают. Поэтому можно говорить об экспоненте многообразия V. Далее мы будем рассматривать вопрос принадлежности экспоненты многообразия V множеству целых чисел.
Вопрос о целочисленности экспонент конкретных многообразий изучали различные авторы. Так, в ассоциативном случае для многих примеров доказано совпадение верхней и нижней экспонент, причем во всех случаях это число оказалось целым (см., например, работы [16], [17]). Известны примеры многообразий алгебр Ли с дробным экспоненциальным ростом [18]. Поэтому доказательство целочисленности экспоненты всякого подмногообразия многообразия левонильпотентных ступени не выше трех алгебр Лейбница является важным и актуальным.
Теорема 4. Всякое собственное подмногообразие многообразия 3N имеет, целую экспоненту.
Доказательство. Пусть V — собственное подмногообразие многообразия левонильпотентных ступени не выше трех алгебр Лейбница. Предположим, что экспонента многообразия V не является целым числом и равна, например, |. Рассмотрим целое число га, = [|] + 1. Для этого числа выполняется условие ЕхріС^п) < т. Тогда согласно теореме 4.1 Ехр{С^п) ^ га, — 1. Поскольку верхняя экспонента меньше числа га — 1, то она меньше |. Тогда экспонента многообразия V также меньше числа |. Это противоречит предположению. Теорема доказана. □
Работа частично поддержана грантом РФФИ (14-01-31084).
СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ
1. Бахтурин Ю. А. Тождества в алгебрах Ли. М.: Наука, 1985.
2. Блох А. М. Об одном обощении понятия алгебры Ли // Доклады академии
наук СССР. 1965. Вып. 18, №3. С.471-473.
3. Мальцев А. И. Об алгебрах с тождественными определяющими соотношениями // Мат. сб., 1950. Т. 26, №1. С. 19-33.
4. Abanina, L. E., Mishchenko S. P. The variety of Leibniz algebras defined by the identity x(y(zt)) = 0 // Sedrica Math. J. 2003. №3. P.291-300.
5. Абанина Л. Е., Рацеев С. М. Многообразие алгебр Лейбница, связанное со стандартными тождествами // Вестник Самарского государственного университета. 2005. №6. С. 36-50.
6. Абанина Л. Е., Мищенко С. П. Некоторые многообразия алгебр Лейбница // Математические методы и приложения: труды девятых математических чтений. МГСУ. М.: "Союз" , 2002. С.95-99.
7. Мищенко С. П., Шишкина Т. В. О многообразиях алгебр Лейбница почти полиномиального роста с тождеством x(y(zt)) = 0 // Вестник Московского государственного университета. Сер. 1, Математика. Механика. 2010. №3. С. 18-23.
8. Higgins P. J. Lie rings satisfying the Engel condition // Proc. Cambr. Philos. Soc. 1954. Vol. 50, №1. P. 8-15.
9. Мищенко С. П. Цветные диаграммы Юнга // Вестн. Моск. ун-та. Матем. Механ. 1993. №1. С. 90-91.
10. Мищенко С. П., Череватенко О. И. Необходимые и достаточные условия полиномиальности роста многообразия алгебр Лейбница // Фундаментальная и прикладная математика. 2006. Вып. 12, № 8. С.207-215.
11. Фролова Ю. Ю. Проблемы бернсайдовского типа для алгебр Лейбница: дис. ... канд. физ.-мат. наук. Ульяновск, 2011. 85 с.
12. Mishchenko S. P., Petrogradsky V. M., Regev A. Poisson PI algebras // Transactions of the American Mathematical Society. 2007. Vol. 359, №10. P.4669-4694.
13. Зайцев М. В., Мищенко С. П. Новое экстремальное свойство многообразия алгебр Ли AN2 // Вествник МГУ. Сер. 1. Математика. Механика. 1999. №5.
С.18-23.
14. Шишкина Т. В. О целочисленности экспоненты подмногообразий многообразия 3N // Ученые записки Ульяновского Гос. Ун-та. Сер. Математика и информационные технологии. 2011. С. 18-23.
15. Giambruno A., Mishchenko S. , Zaicev M. Codimensions of Algebras and Growth Functions // Advances of mathematics. 2008. №217. P.1027-1052.
16. Giambruno A., Zaicev M. V. Exponential codimension growth of PI algebras: an exact estimate // Adv. Math. 1999. Vol. 142. P.221-243.
17. Giambruno A., Zaicev M. V. On codimension growth of finitely generated associative algebras // Adv. Math. 1998. Vol. 140. P.145-155.
18. Mishchenko, S. P., Zaicev M. V. An example of a variety of Lie algebras with a fractional exponent // Algebra, 11. J. Math. Sci. New York, 1993. №6. P.977-982.
REFERENCES
1. Bahturin Yu. A. Identities in Lie algebras. M.: "Nauka" 1985.
2. Blokh A. M. A generalization of the concept of a Lie algebra // Sov. MAth. Dokl. M.:"Nauka" 1965. №3. P.471-473.
3. Malcev A. . On algebras defined by identieties // Mat. Sb. 1950, Vol. 26, №1, P. 19-33.
4. Abanina L. E., Mishchenko S.P. The variety of Leibniz algebras defined by the identity x(y(zt)) = 0 // Sedrica Math. J. 2003. №3. P.291-300.
5. Abanina L.E., Ratssev S. M. A Leibniz variety connected with standart identities // Vestnik of Samara state University, natural scientific series, 2005. №6. P. 3650.
6. Abanina L. E., Mishchenko S. P. Some varieties of Leibniz algebras // mathematical methods and applications. proceedings of the ninth mathematical conference of MSSU. 2002. P.95-99.
7. Mishchenko S. P., Shishkina T. V. On almost polynomial growth varieties of Leibniz algebras with the identity x(y(zt)) = 0 // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika. 2010. №3. P. 18-23.
8. Higgins P. J. Lie rings satisfying the Engel condition // Proc. Cambr. Philos. Soc. 1954. Vol. 50, №1. V. 8-15.
9. Mishchenko S. P. Colored Young diagrams // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika. 1993. №1. P.90-91.
10. Mishchenko S. P., Cherevatenko O. I. Necessary and succient conditions for a variety of Leibniz algebras to have polynomial growth // Fundam. Prikl. Mat. 2006. Vol. 12, № 8. P.207-215.
11. Frolova Yu. Yu. Burnside type problems for Leibniz algebras: dis. ... candidate of physical and mathematical sciences. Ulyanovsk, 2011. 85p.
12. Mishchenko S. P., Petrogradsky V .M., Regev A. Poisson PI algebras // Transactions of the American Mathematical Society. 2007. Vol. 359, №10. P.4669-4694.
13. Zaicev М. V., Mishchenko S. P. A new extremal property of the variety AN2 of Lie algebras // Vestnik Moskovskogo Universiteta. Seriya 1. Matematika. Mekhanika. 1999. №5. P.18-23.
14. Shishkina, Т. V. About integrality of exponent subvarieties of variety 3N // Scientific notes of the Ulyanovsk state university. Series of the mathematic and information technologies. 2011. P. 18-23.
15. Giambruno A., Mishchenko S., Zaicev M. Codimensions of Algebras and Growth Functions // Advances of mathematics. 2008. №217. P.1027-1052.
16. Giambruno A., Zaicev M. V. Exponential codimension growth of PI algebras: an exact estimate // Adv. Math. 1999. Vol. 142. P.221-243.
17. Giambruno A., Zaicev M. V. On codimension growth of finitely generated associative algebras // Adv. Math. 1998. Vol. 140. P.145-155.
18. Mishchenko S. P., Zaicev M.V. An example of a variety of Lie algebras with a fractional exponent // Algebra, 11. J. Math. Sci. New York, 1993. №6. P.977-982.
Ульяновский государственный университет
Получено 2.03.2014
