Вы находитесь на странице: 1из 12

Об одном многообразии альтернативных алгебр

А. Н. ВАУЛИН
Московский педагогический
государственный университет
e-mail: vaulinan@yandex.ru

УДК 512.554.5

Ключевые слова: многообразие алгебр, альтернативная алгебра, тождество в ал-


гебре.

Аннотация

В работе изучается многообразие альтернативных алгебр с тождеством лиевой


нильпотентности индекса пять. Доказано, что многообразие альтернативных алгебр
над полем характеристики, отличной от 2 и 3, с тождеством [[[[x1 , x2 ], x3 ], x4 ], x5 ] = 0
является шпехтовым.

Abstract

A. N. Vaulin, On one variety of alternative algebras, Fundamentalnaya i prikladnaya


matematika, vol. 10 (2004), no. 4, pp. 23—34.

We consider the variety of alternative algebras with the identity of index 5 Lie nilpoten-
cy. We prove that the variety of alternative algebras over a field of characteristic different
from 2 and 3 with the identity [[[[x1 , x2 ], x3 ], x4 ], x5 ] = 0 has the Specht property.

Введение
Многообразие называется шпехтовым, если оно само и любое его подмно-
гообразие обладает конечным базисом тождеств. В теории многообразий ал-
гебр заметное место отводится доказательству шпехтовости различных много-
образий, таких как многообразия ассоциативных, лиевых, альтернативных и
йордановых алгебр (см., например, [1—3, 17]). Во второй половине ХХ века
В. Н. Латышев одним из первых пропагандировал изучение этого направления.
В частности, в 1972 году он доказал, что многообразие ассоциативных алгебр
над полем характеристики 0, удовлетворяющих тождеству «лиевой нильпотент-
ности» [[x1 , x2 ], . . . , xn ] = 0, является конечно базируемым [11]. В 1987 году
проблему Шпехта в полном объёме решил А. Р. Кемер [10]. Он доказал, что
всякое многообразие ассоциативных алгебр над полем нулевой характеристики
имеет конечный базис тождеств. Однако над полями конечной характеристики
существуют бесконечно базируемые многообразия ассоциативных ниль-алгебр
ограниченного индекса [3, 5, 14, 18].

Фундаментальная и прикладная математика, 2004, том 10, № 4, с. 23—34.



c 2004 Центр новых информационных технологий МГУ,
Издательский дом «Открытые системы»
24 А. Н. Ваулин

В 1976 году А. М. Слинько [6] сформулировал вопрос о конечной базируе-


мости произвольного многообразия разрешимых альтернативных (йордановых)
алгебр. В 1978 году Ю. А. Медведев [12] доказал конечную базируемость про-
извольного многообразия с двучленным тождеством, в частности многообразий
метабелевых (в другой терминологии разрешимых индекса 2), альтернативных,
йордановых и других алгебр, близких к ассоциативным. С. В. Пчелинцевым
в 1981 году были введены понятия конечномерности и топологического ранга
многообразия и изучены решётки многообразий метабелевых алгебр, близких
к ассоциативным [14]. Наконец, в 1985 году У. У. Умирбаев [17] положитель-
но решил проблему Слинько для произвольного многообразия альтернативных
алгебр над полем характеристики, отличной от 2 и 3. С другой стороны, ещё
в 1980 году Ю. А. Медведев [13] привёл первый пример многообразия раз-
решимых альтернативных алгебр над полем характеристики 2, не имеющего
конечного базиса тождеств. Строение решётки подмногообразий многообразия
Alt2 над полем характеристики 0, в котором разрешимо уравнение t2 + t + 1 = 0,
описано А. В. Ильтяковым [9].
В данной заметке доказывается шпехтовость многообразия альтернативных
алгебр с тождеством лиевой нильпотентности индекса 5.
Теорема. Многообразие альтернативных алгебр над полем характеристики,
отличной от 2 и 3, с тождеством

[[[[x1 , x2 ], x3 ], x4 ], x5 ] = 0 (1)

является шпехтовым.
В работах А. В. Бадеева [1] и С. В. Пчелинцева [16] были указаны бес-
конечно базируемые многообразия разрешимых алгебр (а также алгебр с еди-
ницей) над полем характеристики 3, удовлетворяющие тождествам [x, y] = 0 и
[[x, y], z] = 0. Ввиду отмеченных результатов [1, 16] ограничение на характери-
стику поля является существенным. Однако остаётся вопрос, можно ли снять
ограничение на характеристику быть отличной от 2.
Работа состоит из двух параграфов. В § 1 приводятся основные определе-
ния и обозначения, доказываются предварительные результаты и указывает-
ся аддитивный базис ассоциаторного идеала свободной алгебры с тождеством
[(x, y, z), t] = 0. В § 2 доказывается основная теорема. Метод доказательства
восходит к вполне частично упорядоченным множествам [19].
Автор выражает глубокую благодарность своему научному руководителю
профессору С. В. Пчелинцеву за постановку задачи, полезные обсуждения и
помощь при подготовке данной статьи.
Всюду ниже A — альтернативная алгебра над полем Φ характеристики, от-
личной от 2 и 3. Как обычно, для элементов a, b, c алгебры A используются
следующие обозначения: [a, b] = ab − ba — коммутатор, (a, b, c) = (ab)c − a(bc) —
ассоциатор, D(A) и St(A) — идеалы, порождённые в A элементами (x, y, z) и
[[x, y], z] соответственно, W (A) = [A, A], V (A) = (A, A, A), K(A) — коммутатив-
Об одном многообразии альтернативных алгебр 25

ный центр, N (A) — ассоциативный центр, Z(A) — центр алгебры A. Поскольку


характеристика поля Φ отлична от 3, то K(A) = Z(A) [8].
Известно [8], что во всякой альтернативной алгебре справедливы тождества
[ab, c] = a[b, c] + [a, c]b + 3(a, b, c), (2)
[[x, y], z] + [[y, z], x] + [[z, x], y] = 6(x, y, z), (3)
(xy, a, b) + (x, y, [a, b]) = x(y, a, b) + (x, a, b)y, (4)
([x, y], z, t) = [x, (y, z, t)] + [(x, z, t), y] − 2(x, y, [z, t]). (5)
Тождества (4) и (5) называются тождествами Клейнфелда. Кроме того, во
всякой альтернативной алгебре справедливо тождество, называемое тождеством
Сейгла [20],
[[[x, y], z], t] + [[[y, z], t], x] + [[[z, t], x], y] + [[[t, x], y], z] = [[x, z], [y, t]]. (6)

§ 1. Многообразие альтернативных алгебр


с тождеством [(x, y, z), t]
Введём функцию f (x, y, z, t) : = [(x, y, z), t] и рассмотрим многообразие аль-
тернативных алгебр с тождеством f = 0. Всюду в этом параграфе A — альтерна-
тивная алгебра, удовлетворяющая тождеству f = 0. Заметим, что из тождеств
(3), (5) и f = 0 следуют включения V ⊆ Z(A) и W ⊆ N (A).
Лемма 1. В алгебре A с тождеством f = 0 справедливы следующие свойства :
а) функция (x, y, z)[p, q] кососимметрична по всем переменным;
б) D(A) ⊆ N (A), в частности D2 (A) = 0;
в) D(A) · St(A) = St(A) · D(A) = 0;
г) функция d[x, y][z, t], где d ∈ D(A), x, y, z, t ∈ A, кососимметрична по x, y ,
z , t.
Доказательство.
Проверим свойство а). В силу (2) и тождества Муфанг имеем
(x, y, z)[x, t] = [(x, y, z)x, t] = [(x, xy, z), t] = 0.
Докажем свойство б). В силу (4) имеем
(vx, y, z) = v(x, y, z) + (v, y, z)x − (v, x, [y, z]),
или
(vx, y, z) = v(x, y, z).
На основании (3) имеем
6v(x, y, z) = v[[x, y], z] + v[[y, z], x] + v[[z, x], y],
откуда, учитывая свойство а) и включение W ⊆ N (A), легко получаем требуе-
мое утверждение.
26 А. Н. Ваулин

Для доказательства утверждения в) достаточно воспользоваться тождест-


вом (3), свойством а), а также включением W ⊆ N (A).
Проверим свойство г). На основании тождества (2) и свойств б), в) получаем
d[x, y][x, z] = d[[x, y]x, z] = d[[x, xy], z] = 0.
Теорема 1. Пусть F — свободная алгебра с множеством порождающих X
в многообразии альтернативных алгебр над полем характеристики, отличной от
2 и 3, удовлетворяющих тождеству f = 0. Тогда ассоциаторный идеал D(F )
линейно порождается элементами вида
(x, y, z)Rw1 Rw2 . . . Rwk Ry1 . . . Rys ,
где x, y, z, xi , yi ∈ X , wi = [x2i−1 , x2i ], x < y < z < x1 < x2 < . . ., y1  . . .  ys .
Доказательство. Проведём индукцию по степени однородного элемента
d ∈ D(F ). В силу тождеств (4), (5) и f = 0, а также утверждения б) лем-
мы 1 можно считать, что d имеет вид d = (x, y, z)Tv1 Tvs−1 Tvs , где x, y, z ∈ X,
vi — одночлены над X. Основание индукции при deg d = 3 верно. Сделав ин-
дуктивное предположение, проведём вторую индукцию по числу s. Основание
второй индукции при s = 0 тривиально. Сделав второе индуктивное предпо-
ложение, получаем, что элемент d является линейной комбинацией элементов
вида
(a, b, c)Rw1 . . . Rwk Ry1 . . . Ryq Tv = (pu)Tv , (7)
где p = (a, b, c), u = Rw1 . . . Rwk Ry1 . . . Ryq , wi = [x2i−1 , x2i ], a, b, c, xi , yi ∈ X,
y1  . . .  yq , v — одночлен.
Для элементов вида (7) в силу того, что ассоциатор является центральным
элементом (см. тождество f = 0), а также на основании тождества (2) и утвер-
ждения в) леммы 1 можно считать, что последний оператор является оператором
правого умножения, т. е. (pu)Tv = p(uv). Кроме того, в силу утверждения б)
леммы 1 можно ограничиться рассмотрением случая v ∈ X.
Если элемент вида (7) содержит хотя бы один коммутатор, то на основа-
нии утверждения в) леммы 1 мы можем переставить оператор Rw1 в конец
операторного слова, затем воспользоваться предположением первой индукции,
вернуть оператор Rw1 на прежнее место и, наконец, упорядочить переменные
в коммутаторах и ассоциаторе, используя утверждения а) и г) леммы 1.
Таким образом, из элементов вида (7) можно рассмотреть элементы, не со-
держащие коммутаторов,
(a, b, c)Ry1 . . . Ryµ Rν , (8)
где a, b, c, yi , ν ∈ X и y1  . . .  yµ . Поскольку D(A) ⊆ N (A), по утверждению б)
леммы 1 для произвольного d ∈ D(A) получаем, что
dRx Ry = (dx)y = d(xy) = d(yx + [x, y]) = dRy Rx + dR[x,y] .
Так как ранее было доказано утверждение теоремы для слов типа (7), содержа-
щих коммутатор, то мы можем упорядочить порождающие элементы y1 , . . . , yµ , ν
в слове (8).
Об одном многообразии альтернативных алгебр 27

Замечание. Очевидно, что f T ⊆ D(A) ∩ [[[x1 , x2 ], x3 ], x4 ]T , обратное вклю-


чение следует из совпадения аддитивных базисов соответствующих T -идеалов,
указанных в [4] и в теореме 1. Таким образом, f T = D(A) ∩ [[[x1 , x2 ], x3 ], x4 ]T .
Следствие 1. Многообразие альтернативных алгебр над полем характеристи-
ки, отличной от 2 и 3, удовлетворяющее тождеству f = 0, является объедине-
нием двух многообразий : многообразия альтернативных алгебр, определённых
тождеством лиевой нильпотентности индекса 4, и многообразия ассоциативных
алгебр.
Результаты А. Р. Кемера [10] и Г. В. Дорофеева [7] позволяют вывести
следствие 2.
Следствие 2. Многообразие альтернативных алгебр над полем характери-
стики нуль с тождеством [(x, y, z), t] = 0 является шпехтовым.
Замечание. Используя вместо теоремы Кемера результат В. Н. Латыше-
ва [11], получаем справедливость следствия 2 для альтернативных алгебр с тож-
деством (1) над полем характеристики, отличной от 2 и 3.

§ 2. Основной результат
2.1. Вспомогательные леммы
Отметим сначала, что из тождества (2) вытекает равенство K(A) = Z(A).
Положим L1 = A, . . . , Ln+1 = [Ln , A].
Из тождества (3) вытекает включение V (A) ⊆ L3 , а из тождества Сейгла (6)
включение [L2 , L2 ] ⊆ L4 . Как правило, указанные включения используется далее
без пояснений.
Введём в рассмотрение ещё одну функцию ga (x, y, z) = (a, x, y)[a, z], а также
её линеаризованную форму g(a, b | x, y, z) = (a, x, y)[b, z] + (b, x, y)[a, z].
Функция g(a, b | x, y, z) является симметрической по переменным a, b и
кососимметрической по переменным x, y, z (см. лемму 5).
Всюду ниже a, b, c, x, y, z, t, p, q ∈ A, w, wi ∈ W (A).
Лемма 2.
а) [V, A] + (W, A, A) + [W, W ] ⊆ Z(A);
б) (A, W, W ) = 0;
в) L3 + V ⊆ N (A), [V, W ] = 0.

Доказательство. В утверждении а) проверим только нетривиальное вклю-


чение (W, A, A) ⊆ Z(A). Используя тождество (5), получаем

[([x, y], z, t), p] = [[x, (y, z, t)], p] + [[(x, z, t, ), y], p] − 2[(x, y, [z, t]), p] =
= 2[([z, t], y, x), p] = 4[([y, x], t, z), p] = 4[([x, y], z, t), p].
Следовательно, 3[([x, y], z, t), p] = 0.
28 А. Н. Ваулин

Докажем утверждение б). Применяя тождество Муфанг, получаем, что


([x, y], x, w) = [(y, x, w), x] = 0, следовательно, функция ([x, y], [z, t], a) косо-
симметрична по всем переменным. Тогда, меняя местами x и z, y и t, полу-
чим ([x, y], [z, t], a) = ([z, t], [x, y], a). Ввиду альтернативности ([z, t], [x, y], a) =
= −([x, y], [z, t], a), значит, 2([x, y], [z, t], a) = 0, откуда вытекает утверждение б).
Проверим утверждение в). В силу (5) и (w, a, b) ∈ Z(A) имеем ([x, y], w, p) =
= − 2(x, y, [w, p]), следовательно, L3 ⊆ N (A), и в силу V ⊆ L3 справедливо
V ⊆ N (A).
Аналогично получаем
0 = ([w, p], y, x) = [w, (p, y, x)] − 2(w, p, [y, x]) = [w, (p, y, x)],
т. е. [V, W ] = 0.
Лемма 3.
а) Функция (w, x, y)[z, t] кососимметрична по x, y , z4, t;
б) f (x, y, z, t)[t, p] = 0, f (x, y, z, t)[w, p] = 0, f (x, y, z, t)[p, q][p, s] = 0.

Доказательство. Докажем утверждение а). Заметим, что (w, z, t) ∈ Z(A),


значит, в силу тождества Муфанг
(w, x, y)[y, t] = [(w, x, y)y, t] = [(w, yx, y), t] = 0.
Докажем утверждение б). Сначала отметим, что на основании утвержде-
ния в) леммы 2 f (x, y, z, w) = 0. В силу (2) и центральности функции f имеем
f (x, y, z, t)[t, p] = f (x, y, z, [t, tp]) − f (x, y, z, [t, p])t = 0.
Второе тождество справедливо в силу доказанного выше и утверждения в) лем-
мы 2. В силу тождества Муфанг и предыдущих тождеств справедливо третье
тождество.
Лемма 4.
а) (x, y, z)[x, w] = 0, (x, y, z)[w1 , w2 ] = 0, (w1 , x, y)[w2 , z] = 0;
б) функция (x, y, z)[[p, q], r] кососимметрична по всем переменным;
в) g([a, b], c | a, x, y) = f (a, b, c, a)[x, y].

Доказательство.
Докажем утверждение а). По (2) имеем
(x, y, z)[x, w] = f (x, xy, z, w) − f (x, y, z, w)x = 0.
Учитывая предыдущее тождество, утверждение а) леммы 3 и утверждение б)
леммы 2, имеем
(x, y, z)[w1 , w2 ] = −(w1 , y, z)[x, w2 ] = (w1 , w2 , z)[x, y] = 0.
Третье тождество этого пункта следует из двух предыдущих.
Об одном многообразии альтернативных алгебр 29

Проверим утверждение б). В силу (2), центральности функции f , тождества


Муфанг и утверждения а) леммы 2 справедливо
f (x, y, z, t)[x, p] = [f (x, y, z, t)x, p] = [[(x, y, z)x, t], p] − [(x, y, z)[x, t], p],
т. е.
f (x, y, z, t)[x, p] = −(x, y, z)[[x, t], p] + f (x, y, z, t)[x, p],
следовательно, (x, y, z)[[x, t], p] = 0, откуда легко следует утверждение б).
Докажем утверждение в). Учитывая тождество (5), имеем
([x, y], z, x) = [x, (y, z, x)] − 2([x, z], y, x) = 3[x, (y, z, x)] + 4([x, y], z, x),
значит, [([x, y], z, x) = [(x, y, z), x].
Поскольку
g([a, b], c | x, y, z) = ([a, b], x, y)[c, z] + (c, x, y)[[a, b], z],
то по утверждению б) имеем
g([a, b], c | a, x, y) = ([a, b], c, a)[x, y] = [(a, b, c), a][x, y] = f (a, b, c, a)[x, y].
Лемма 5. Справедливы следующие свойства функции g:
а) функция gx (y, z, t)[a, b] кососимметрична по y , z , t, a, b;
б) gx (y, z, t)[w, c] = 0;
в) gx (y, z, t)[a, b][b, c] = 0;
г) gx (y, z, t) ∈ N (A);
д) [gx (y, z, t), a] = f (x, y, z, x)[t, a] = g([x, y], z | x, t, a);
е) функция g([a, b], c | x, y, z) кососимметрична по x, y , z , c.
Доказательство. Используя лемму 2, утверждение б) леммы 4 и тождество
Муфанг, имеем
gx (y, z, t)[t, b] = gx (y, z, [t, tb]) − gx (y, z, [t, b])t = 0,
gx (y, z, t)[y, b] = ([x, xt], y, z)[y, b] − ([x, t], y, z)[y, b]x = 0,
откуда легко следует справедливость утверждения а).
Утверждения б)—г) справедливы в силу утверждения б) леммы 2, утвержде-
ния а) леммы 4 и тождества Муфанг.
Проверим свойство д). Ввиду тождества (2), утверждения б) леммы 3 и
утверждения б) леммы 4 имеем

[gx (y, z, t), a] = (x, y, z)[[x, t], a] + [(x, y, z), a][x, t] =


= f (x, y, z, a)[x, t] = f (x, y, z, x)[t, a],
откуда по утверждению в) леммы 4 получаем доказываемое равенство.
Справедливость утверждения е) следует из утверждения а) леммы 3 и утвер-
ждения б) леммы 4.
Для дальнейших рассмотрений полезно следующее понятие, являющееся
обобщением известного понятия дифференцирования алгебры.
30 А. Н. Ваулин

Определение. Пусть h : A → A — линейное отображение. Положим


Dp,q h : = h(pq) − ph(q) − h(p)q, где p, q ∈ A.
Функция h называется дифференцированием по модулю пространства U , если
Dp,q h ∈ U для любых p, q ∈ A.

Если h — полилинейный многочлен от нескольких переменных, то, фиксируя


остальные переменные, получаем отображение hi относительно i-й переменной.
Положим Dip,q h = Dp,q hi . Функция h называется дифференцированием по мо-
дулю пространства U относительно i-й переменной, если Dip,q h ∈ U для любых
p, q ∈ A.
Если ψ — полилинейный многочлен, то множество его значений ψ(A) являет-
ся подпространством в алгебре A, и для сравнения элементов u, v алгебры A по
модулю этого подпространства будем использовать обозначение u ≡ v (mod ψ)
и говорить о сравнении по модулю ψ.
Лемма 6.

а) Функция f (x, y, z, t) является дифференцированием по переменной t;


б) функция g(a, b | x, y, z) является дифференцированием по кососимметри-
ческим переменным x, y , z;
в) функция f является дифференцированием по первым трём переменным по
модулю g , т. е. Dip,q f ≡ 0 (mod g), где i = 1, 2, 3;
г) Dip,q g ≡ − 21 g([p, q], b | x, y, z) (mod f ), где i = 1, 2.

Доказательство. Докажем только утверждение г) для случая i = 1, осталь-


ные утверждения, а также случай i = 2 рассматриваются аналогично. Используя
линеаризованный вид функции g, получаем
g(pq, b | x, y, z) = (pq, x, y)[b, z] + (b, x, y)[pq, z],
учитывая тождества (2)—(4), а также утверждение б) леммы 4, имеем
g(pq, b | x, y, z) ≡ (b, x, y)[p, [q, z]] + 3(b, x, y)(p, q, z) (mod f ).
Наконец, получаем
1
g(pq, b | x, y, z) ≡ − g([p, q], b | x, y, z) (mod f ).
2

2.2. Основная теорема


Положим R(Yp ) = Ry1 . . . Ryp , Yp = (y1 , . . . , yp ), где y1  . . .  yp .
Теорема 2. Пусть F — свободная алгебра с множеством порождающих X
в многообразии альтернативных алгебр над полем характеристики, отличной от
Об одном многообразии альтернативных алгебр 31

2 и 3, удовлетворяющих тождеству (1). Тогда T-идеал f T линейно порождается


элементами вида
f (x1 , x2 , x3 , x4 )[x5 , x6 ] . . . [x2s−1 , x2s ]R(Yk ),
g(a, b | x1 , x2 , x3 )[x4 , x5 ] . . . [x2s , x2s+1 ]R(Yk ),
g([a, b], x1 | x2 , x3 , x4 )[x5 , x6 ] . . . [x2s−1 , x2s ]R(Yk ),
где a, b, c, xi , yi ∈ X , x1  x2  . . ., y1  y2  . . ..
Доказательство. Проведём индукцию по степени однородного элемента
ξ ∈ f T . В силу леммы 6, а также в силу тождеств (1)—(5), утверждения б)
леммы 3, утверждений б), г) и д) леммы 5 можно считать, что ξ является
линейной комбинацией элементов вида
f (x, y, z, t)Tν1 . . . Tνl , g(x, y | z, p, t)Tν1 . . . Tνl ,
g([x, y], z | p, t, s)Tν1 . . . Tνl ,
где x, y, z, t, p, s ∈ X, νi — одночлены над X. Основание индукции при deg ξ = 4
верно. Сделав индуктивное предположение, проведём вторую индукцию по чис-
лу n = max{n1 , n2 , n3 }. Основание второй индукции при n = 0 тривиально.
Сделав второе индуктивное предположение, получаем, что элемент ξ является
линейной комбинацией элементов вида
f (a1 , a2 , a3 , a4 )Rw1 . . . Rwη R(Ym )Tu1 , (9)
g(a1 , a2 | b1 , b2 , b3 )Rw1 . . . Rwη R(Ym )Tu2 , (10)
g([a1 , a2 ], b1 | b2 , b3 , b4 )Rw1 . . . Rwη R(Ym )Tu3 , (11)
где wi = [x2i−1 , x2i ], ai , bi , xi , yi ∈ X, y1  y2  . . ., u1 , u2 , u3 — одночлены.
Очевидно, что коммутатор [(x, y, z), t] — центральный элемент, кроме того,
по утверждению г) леммы 5 функция g(x, y | z, p, t) лежит в ассоциативном
центре, а поправка на коммутирование, согласно утверждению д) леммы 5, осу-
ществляется функцией g([a, b], c | d, e, h), о которой упоминалось выше. Значит,
без ограничения общности можно считать, что последний оператор в много-
членах вида (9), (10) и (11) является оператором правого умножения. Кроме
того, на основании тех же лемм можно ограничиться рассмотрением случая
u1 , u2 , u3 ∈ X.
Если элементы вида (9), (10) и (11) содержат хотя бы один коммутатор, то
на основании утверждения б) леммы 3 и утверждения б) леммы 5 мы можем
переставить оператор Rw1 в конец операторного слова, затем воспользоваться
предположением первой индукции, вернуть оператор Rw1 на прежнее место и,
наконец, упорядочить переменные в коммутаторах, используя утверждение б)
леммы 3 и утверждение в) леммы 5.
Кроме того, в силу утверждения в) леммы 4 можно навести полный порядок
на переменных для элементов вида (9).
Таким образом, из элементов вида (9), (10) и (11) можно рассмотреть эле-
менты, не содержащие коммутаторов,
32 А. Н. Ваулин

f (a1 , a2 , a3 , a4 )R(Ym )Ru , (12)


g(a1 , a2 | b1 , b2 , b3 )R(Ym )Ru , (13)
g([a1 , a2 ], b1 | b2 , b3 , b4 )R(Ym )Ru , (14)
где ai , bi , yi , u ∈ X, y1  y2  . . ..
Ввиду утверждения б) леммы 3 для произвольного ξ ∈ f T вида (12) имеем
(ξ, x, y) = (f R(Y ), x, y) = f (R(Y ), x, y) + (f, x, y)R(Y ) − (f, R(Y ), [x, y]) = 0.
На основании утверждения б) леммы 5, проведя аналогичные рассуждения для
ξ ∈ f T вида (13) или (14), получим (ξ, x, y) = (gR(Y ), x, y) = 0. Таким образом,
с учётом тождеств (1), (4), утверждения а) леммы 4 и утверждений г) и д)
леммы 5 для произвольного ξ ∈ f T получаем, что
ξRx Ry = (ξx)y = ξ(xy) = ξ(yx + [x, y]) = ξRy Rx + ξR[x,y] .
Так как ранее было доказано утверждение теоремы для слов типа (9), (10) и
(11), содержащих коммутатор, то мы можем упорядочить порождающие элемен-
ты y1 , y2 , . . . , u в словах (12), (13) и (14) соответственно.
Теперь можем перейти к доказательству основного результата.
Теорема 3. Многообразие альтернативных алгебр над полем характеристи-
ки, отличной от 2 и 3, удовлетворяющее тождеству (1), является шпехтовым.
Доказательство. Согласно следствию 2 достаточно показать, что для T-иде-
алов, содержащихся в f T , выполняется условие максимальности.
Из теоремы 2 следует, что каждый элемент из f T представи́м в виде линей-
ной комбинации элементов вида
 (1) 
f (t1 , t2 , t3 , t4 )[t5 , t6 ] . . . [t2q1 +3 , t2q1 +4 ]R Ykα , (15)
 α(2) 
g(t2 , t3 | z1 , z2 , z3 )[z4 , z5 ] . . . [z2q2 +2 , z2q2 +3 ]R Yk , (16)
 α(3) 
g([t3 , t4 ], z2 | z3 , z4 , z5 )[z6 , z7 ] . . . [z2q3 +3 , z2q3 +4 ]R Yk , (17)
где zi , ti , yi ∈ X, z1  z2  . . ., t1  t2  . . .,
 (i)   (i)   (i)   (i) 
α α α
R Ykα = R y1 1 R y2 2 . . . R yk k .
Отметим, что существует такая инъекция φ : N → N , что φ(zi ) = xφ(i) и
φ(ti ) = xφ(i) .
Поставим в соответствие каждому элементу вида (15)—(17) строчки
 
s(1) = i1 , q1 , α(1) ,
 
s(2) = i2 , j2 , q2 , α(2) ,
 
s(3) = i3 , j3 , q3 , α(3) ,
 (1) (1)   (2) (2)   (3) (3) 
где α(1) = α1 , . . . , αk , α(2) = α1 , . . . , αl , α(3) = α1 , . . . , αm , кроме
того, ϕ(tρ ) = xiρ при ρ = 1, 2, 3 для элементов вида (15), (16) и (17) соответствен-
но и ϕ(zλ ) = xjλ+1 при λ = 1, 2 для элементов вида (16) и (17) соответственно.
Об одном многообразии альтернативных алгебр 33

Следуя [19], введём на множестве S отношение порядка .


Пусть s = (i, j, q, α), s = (i , j  , q  , α ), где α = (α1 , . . . , αp ), α = (α1 , . . . , αt ),
положим, что s  s тогда и только тогда, когда существует инъекция
ψ : N → N , такая что ψ(i) = i , ψ(j) = j  , ψ(q) = q  , ψ(p)  t и αi  αψ(i) 

для всех i = 1, . . . , p.
По теореме Хигмана (см. [2, с. 203—204]) множество (S, ) является вполне
частично упорядоченным.
Далее, как уже отмечалось выше, каждый элемент из f T является линейной
комбинацией элементов вида (15)—(17): u = λ1 u1 + . . . + λn un . Сравним с по-
мощью лексикографической упорядоченности строчки s1 , . . . , sn , поставленные
в соответствие этим элементам (строка большей длины считается больше), и
выберем из них наибольшую s = sk (для подходящего k, такого что λk = 0).
Эта строчка, как обычно, называется весом элемента u.
Поскольку (S, ) является вполне частично упорядоченным, то достаточно
показать, что множество весов элементов произвольного T-идеала I ⊆ f T яв-
ляется замкнутым [2, с. 211]. Итак, пусть h — элемент из f T с весом s, s —
некоторый элемент из S, такой что s  s . Докажем, что в T-идеале, порождён-
ном многочленом h, содержится элемент, вес которого равен s .
Пусть ψ — инъекция из определения отношения s  s и ξ(xr ) = xψ(r) ,
ξ(yr ) = yψ(r) , где r ∈ N . Тогда вес элемента h = ξ(h) равен (i , j  , q  , α ),
где αr  αr для всех r.
Рассмотрим элемент
α −α α −α
γ = h y1 1 1
. . . y1 t t
.
Очевидно, что вес его равен (i , j  , q  , α ), причём q  q  .
Далее, путём подстановки вместо xi коммутатора, умноженного на xi , в эле-
мент вида (16), увеличим количество коммутаторов до требуемого, при этом,
как легко видеть, «хвост» не изменится. Например, покажем, как из элемен-
та g(x6 , x8 | x1 , x2 , x3 )[x4 , x5 ]x37 x29 , имеющего вес (6, 1, 1, (3, 2)), получить эле-
мент, имеющий вес (6, 1, 2, (3, 2)). Подставим вместо x3 произведение x3 · w, где
w ∈ W (A) = [A, A], с учётом утверждения б) леммы 6 получаем

g(x6 , x8 | x1 , x2 , x3 w)[x4 , x5 ]x37 x29 =


= x3 g(x6 , x8 | x1 , x2 , w)[x4 , x5 ]x37 x29 + g(x6 , x8 | x1 , x2 , x3 )w[x4 , x5 ]x37 x29
и, наконец, ввиду утверждений а) и б) леммы 5 имеем
g(x6 , x8 | x1 , x2 , x3 w)[x4 , x5 ]x37 x29 = g(x6 , x8 | x1 , x2 , x3 )w[x4 , x5 ]x37 x29 .

Литература
[1] Бадеев А. В. О шпехтовости многообразий коммутативных альтернативных алгебр
над полем характеристики 3 и коммутативных луп Муфанг // Сиб. мат. журн. —
2000. — Т. 41, № 6. — С. 1252—1268.
34 А. Н. Ваулин

[2] Бахтурин Ю. А. Тождества в алгебрах Ли. — М.: Наука, 1985.


[3] Белов А. Я. Контрпримеры к проблеме Шпехта // Мат. сб. — 2000. — Т. 191, № 3. —
С. 13—24.
[4] Ваулин А. Н. Свободная альтернативная алгебра с тождеством [[[x, y], z], t] = 0 //
Чебышёвский сборник. — 2003. — Т. 4, вып. 1. — С. 54—60.
[5] Гришин А. В. О конечной базируемости абстрактных T-пространств // Фундам. и
прикл. мат. — 1995. — Т. 1, вып. 3. — С. 669—700.
[6] Днестровская тетрадь. Нерешённые задачи теории колец и модулей. — Новоси-
бирск: Институт математики СО АН РАН, 1993.
[7] Дорофеев Г. В. О некоторых свойствах объединения многообразий алгебр // Алге-
бра и логика. — 1977. — № 1. — С. 24—39.
[8] Жевлаков К. А., Слинько А. М., Шестаков И. П., Ширшов А. И. Кольца, близкие
к ассоциативным. — М.: Наука, 1978.
[9] Ильтяков А. В. Решётка подмногообразий многообразия двухступенчато разре-
шимых альтернативных алгебр // Алгебра и логика. — 1982. — Т. 21, № 2. —
С. 170—177.
[10] Кемер А. Р. Конечная базируемость тождеств ассоциативных алгебр // Алгебра и
логика. — 1987. — Т. 26, № 5. — С. 597—641.
[11] Латышев В. Н. Шпехтовость T-идеала T = {[x1 , x2 , . . . , xn−2 , [xn−1 , xn ]]} // ДАН
СССР. — 1972. — Т. 207, № 4. — С. 777—780.
[12] Медведев Ю. А. Конечная базируемость многообразий с двучленным тождеством //
Алгебра и логика. — 1978. — Т. 17, № 6. — С. 705—726.
[13] Медведев Ю. А. Пример многообразия разрешимых альтернативных алгебр над
полем характеристики 2, не имеющего конечного базиса тождеств // Алгебра и
логика. — 1980. — Т. 19, № 3. — С. 300—313.
[14] Пчелинцев С. В. Разрешимые индекса 2 многообразия алгебр // Мат. сб. — 1981. —
Т. 115. — С. 179—203.
[15] Пчелинцев С. В. Многообразия разрешимых индекса 2 альтернативных алгебр над
полем характеристики 3 // Мат. заметки. — 1999. — Т. 66, № 4. — С. 556—560.
[16] Пчелинцев С. В. Об одном почти шпехтовом многообразии центрально-метабелевых
альтернативных алгебр над полем характеристики 3 // Мат. сб. — 2000. — Т. 191,
№ 6. — С. 127—144.
[17] Умирбаев У. У. Шпехтовость многообразия разрешимых альтернативных алгебр //
Алгебра и логика. — 1985. — Т. 24, № 2. — С. 226—239.
[18] Щиголев В. В. Примеры бесконечно базируемых T-идеалов // Фундам. и прикл.
мат. — 1999. — Т. 5, вып. 1. — С. 307—312.
[19] Higman G. Ordering by divisibility in abstract algebras // Proc. London Math. Soc. —
1952. — Vol. 3, no. 2. — P. 326—336.
[20] Sagle A. Malcev algebras // Trans. Amer. Math. Soc. — 1961. — Vol. 101, no. 3. —
P. 426—458.