О коммутативности ассоциативных колец, удовлетворяющих тождествам Текст научной статьи по специальности «Математика»

УДК 519.49

А.В. Кислицин, Ю.Н. Мальцев О коммутативности ассоциативных колец, удовлетворяющих тождествам

Введение. В 1905 г. Веддерберн доказал коммутативность любого конечного тела. Этот результат играет большую роль в различных вопросах алгебры, например, в теории представлений групп и в теории алгебр. На нем основывается единственное доказательство того факта, что в конечных проективных плоскостях из справедливости теоремы Де-зарга вытекает справедливость теоремы Паппа. Помимо этого, теорема Веддерберна служит отправной точкой в изучении условий, которые влекут за собой коммутативность кольца.

С тех пор, как Веддерберн доказал свою знаменитую теорему, многие ведущие алгебраисты начали доказывать так называемые теоремы коммутативности, т.е. выявлять условия, при которых ассоциативные кольца будут являться коммутативными. Исследования коммутативности колец связаны с такими именами, как И. Капланский, Ш. Амицур, К. Прочези, Х. Белл, К. Фейс, и многими другими.

Цель данной работы - указать условия, накладываемые на кольца, которые влекут их коммутативность. В данной работе рассматриваются только ассоциативные кольца.

Коммутативность Р1-колец. В 1993 г. Белл и Клейн в работе [1] рассмотрели часто встречающееся при доказательстве критериев коммутативности тождество [хп, у] = пх11-1 [х, у]. Авторы доказали, что если в кольце Я для каждого элемента х е Я найдется целое п = п(х) > 1 такое, что [хп, у] = пх11-1 [х, у] для всех у е Я, то С(Я) с ип Я.

Имеет место следующее обобщение этого результата.

Теорема 1. Пусть Я - ассоциативное кольцо, удовлетворяющее тождеству [р(х), у] = р'(х) [х, у], где р(/) е Е[(], р(1) = ±1, старший коэффициент р равен ±1 и р'(1) = п = deg р > 2. Тогда коммутаторный идеал лежит в ниль-радикале, т.е. С(Я) с 1п Я. В частности, если Я - полупервичное кольцо, то Я коммутативно.

Доказательство. Рассмотрим фактор-кольцо

ЖпЯ , где 1п Я - нижний ниль-радикал кольца Я. Докажем, что кольцо Я^Пя коммутативно.

По теореме Бэра Я1пЯ = 2 ® Я' , где Я- = ~

первичные кольца. Докажем, что каждое кольцо Я,

- е I является коммутативным. Итак, пусть Я - первичное кольцо, удовлетворяющее тождеству [р(х), у] = = р '(х) [х, у].

Тогда Я удовлетворяет полилинейному тождеству, некоторый коэффициент которого равен ±1. По

теореме Роуэна Z(Я) Ф (0) и Я1- = Вт, где В - тело, причем Т(Я) = Т(Я^1) = Т(Вт); т.е. идеалы тождеств этих колец совпадают. Предположим, что т > 1. Подставив в тождество [р(х), у] = р'(х) [х, у] х = вц + е12, у = вц + е21, получим, что ±(вц - е12 -

- е21 - е22) = -2пе12. Противоречие. Следовательно, т = 1 и ЯТ~1 = В - тело.

По теореме Капланского [В : Z(D)] < да. Если | Z(В) |< ^ , то | В |< ^ и по теореме Веддерберна В = Z(D).

Если | Z (В) | = ^ , то, делая подстановки х ^ кх и выделяя однородную компоненту старшей степени, получим тождество [хп, у] = пхп-1 [х, у] в теле В. Пусть К - максимальное подполе в теле В. Тогда В -1 К = К и К удовлетворяет тождеству

[хп, у] = пхп-1 [х, у].

Предположим, что t > 1. Подстановка х = еи + е12, у = ец + е21 приводит к противоречию, т.е. t = 1. Получим, что В = В -1 1 с В -1 К = К, т.е. В -

поле. Следовательно, первичное кольцо Я является коммутативным кольцом.

Следовательно, кольцо ЯтпЯ коммутативно

и любой коммутатор, а значит и коммутаторный идеал С(Я), лежат в ниль-радикале 1п Я. В частности, если Я - полупервичное кольцо, то оно коммутативно.

Теорема доказана.

В работе [2] исследовались кольца с делением, удовлетворяющие тождеству (ху)п = хтут (п + т > 3). Авторы доказали коммутативность тела, удовлетворяющего этому соотношению. Ослабление условия, наложенного авторами на тело, привело к следующей теореме.

Теорема 2. Пусть В - тело. Если существуют такие многочлены _Д0, g(t), А(^ е Z[t], что степень хотя бы одного из них больше 1, их старшие коэффициенты равны ±1 и для любых х, у е Я выполняется тождество /(ху) = g(x)h(y), то В - поле.

Доказательство. Пусть ^) = о/ + а^-1 + ... + ап, g(t) = ЬсТ + Ь\Г :+ ... + Ьт, h(t) = с/ + с\£ 1 + ... + ск, где а0 = ±1, Ь0 = ±1, с0 = ±1.

Линеаризуем тождество /(ху) = g(x)h(y) относительно переменной х, для чего рассмотрим случаи:

1) п < т.

В этом случае линеаризация по х приводит к тождеству (2х' х' ...хг- )h(у) = 0 . Линеаризуя полученное тождество по у, будем иметь, что (2х^х^ ...хг- )(2у] у] ..у ) = 0 - нетривиальное полилинейное тождество в теле В.

2) п > т.

Тогда линеаризация по х приводит к тождеству 2х-ух-у...хг- у = 0 . Следовательно, В удовлетворяет

нетривиальному полилинейному тождеству.

3) п = т.

Тогда линеаризация по х и по у опять приводит нас к нетривиальному полилинейному тождеству

(2 хг_ х- . ..^)(2 уи у]2.. .у^) —2 ^ уА х1г у(г.. .хт Уtm = 0 .

Получили, что в любом случае тело В удовлетворяет нетривиальному полилинейному тождеству.

По теореме Капланского тело В конечномерно над своим центром Z(D).

Если центр Z(D) конечен, то по теореме Каплан-ского В конечно и по теореме Веддерберна В = Z(В).

Пусть | Z (В) |= гс . Рассмотрим случаи.

1) п < т.

Тогда выделим однородную компоненту степени т по х. Получим: xmh(y) = 0. Выделим однородную компоненту степени к по у. Получим, что хт у = 0. Но в теле нет делителей нуля, значит этот случай невозможен.

2) п > т.

Тогда (ху)п = 0. Но в теле не может быть ненулевых нильпотентных элементов, следовательно, второй случай также невозможен.

Получили, что п = т, а значит, п = т = к. Положим deg / = deg g = deg h = п.

Выделяя теперь однородную компоненту старшей степени в тождестве /ху) = g(x)h(y), получим: (ху)п = хиуи

Пусть К - максимальное подполе в теле В. Тогда В ®Z (В) К = К{. На К переносятся однородные

компоненты тождества /(ху) = g(x)h(y). В частности, в К выполнимо тождество (ху)п - хпу = 0. Предположим, что t > 1. Выполняя подстановку х = е12, у = е21, получим, что е11 = 0. Противоречие. Следовательно, t = 1. Имеем: В = В ®2(В) 1 с В ®2(В) К = К.

Таким образом, В = Z(В) - поле.

Теорема доказана.

В 1992 г. Лаффи и МакХэйл в работе [3] показали, что любое кольцо, удовлетворяющее тождеству /х) = 0, где /Щ = а^ + а2^ + ... + а„1" е t Z[t] будет коммутативным тогда и только тогда, когда а1 = ±1, либо а1 = ±2, а2 + а3 + . + ап - нечетное и а2 -

нечетное.

Заменив тождество /х) = 0 на /(&(х)) = 0, где g(t) = Ь^ + Ь2/2 + . + Ьт{т е t ^/], удалось получить следующий результат.

Теорема 3. Пусть 9? = уаг </^(х)) = 0>, где /(() = а^ + a2t2 + ... + а„{' е t Z[t], g(t) = Ь^ + + Ь2/2 + ... + Ьт{п е t ^]. Ж- коммутативное многообразие в том и только том случае, когда выполнено одно из условий:

1) Ь\ = ±1, а! = ±2, а2 - нечетное, а2 + а3 + . + ап -нечетное, g(1) - нечетное;

2) а! = ±1, Ь\ = ±2, Ь2 - нечетное Ь2 + Ь3 + . + Ьт -нечетное, /(1) - нечетное;

3) а1 = ±1 , Ь 1 = ±1 .

Доказательство. Заметим, что

т - т - 2 т - п

/ (g(х)) = а1( 2 Ь'х ) + а2( 2 Ь'х ) + ... + ап ( 2 Ь-х) = ,

-=1 i=1 г-1

= С х + С2 х2 + ... + Сптхпт

где с1 = а1Ь1, с2 = а1Ь2 + а2Ь12 .

По теореме Лаффи произвольное кольцо Я, удовлетворяющее тождеству / = 0 является коммутативным в том и только том случае, когда либо с1 = ±1, либо

1) с2 - нечетное;

2) с1 = ±2;

3) с2 + с3 + . спт - нечетное.

Предположим, что ^ - коммутативное многообразие. Тогда по теореме Лаффи либо с1 = а1Ь1 = ±1, либо с1 = ±2, с2 - нечетное и с2 + с3 + . спт -нечетное.

Если с1 = ±1, то а1 = ±1 и Ь1 = ±1. Если же с1 = ±2, с2 - нечетное и с2 + с3 + . спт - нечетное, то рассмотрим следующие случаи.

Случай 1. а1 = ±1, Ь1 = ±2.

По теореме Лаффи, с2 = ±Ь2 + 4а2 - нечетное,

а значит и Ь2 - нечетное. с2 = а1Ь2 + а2Ь12 = +Ь2 + 4а2

и с2 + с3 + ... + спт = _/(д(1)) - а1Ь1. Следовательно, _/(д(1)) = с1 + с2 + . спт - нечетное число и Ь1 + Ь2 + + . Ьт - нечетное, поскольку в противном случае а1(Ь1 + Ь2 + . + Ьт) + а2(Ь1 + Ь2 + ... + Ьт)2 + ... + + ап(Ь1 + Ь2 + . + Ьт)п было бы четным.

Таким образом, получим что Ь1 = ±2, Ь2 - нечетное, Ь2 + Ь3 + . + Ьт - нечетное и а1 = ±1. При этом

/(1) - нечетное, так как в противном случае а1(Ь1 + + Ь2 + ... + Ьт) + а2(Ь1 + Ь2 + ... + Ьт)2 + ... + ап(Ь + + Ь2 + . + Ьт)п было бы четным, что противоречит

теореме Лаффи.

Случай 2. а1 = ±2, Ь1 = ±1.

Тогда с1 = ±2. Поскольку с2 - нечетное, то а2 также нечетное. Так как с2 + с3 + . + спт - нечетное, то получим, что Ь1 + Ь2 + ... + Ьт также нечетно. Поскольку а1(Ь1 + Ь2 + ... + Ьт) + а2(Ь1 + Ь2 + . + Ьт)2 + + . + ап(Ь1 + Ь2 + ... + Ьт)п нечетно, то а2 + а3 + . + + ап также нечетное и g(1) - нечетное.

Получим, что Ь1 = ±1, а1 = ±2, а2 - нечетное, а2 + а3 + . + ап - нечетное и g(1) - нечетное.

Докажем обратное.

Пусть ^ = уаг </^(х)) = 0>. Рассмотрим случаи.

Случай 1. а1 = ±1, Ь1 = ±1.

Тогда ^ - коммутативное многообразие в силу теоремы Лаффи.

Случай 2. Ь1 = ±1, а1 = ±2, а2 - нечетное, а2 + а3 + . + ап - нечетное.

Тогда /д(1)) = 2(±х + Ь2х2 + . + Ьтхт) + а2(±х + + Ь^х + . + Ьтхт) + . + ап (±х + Ь^х + . + Ьтхт)п = = ±2х + (2Ь2 ± а2)х2 + ., где 2Ь2 ± а2 - нечетное. Покажем, что с2 + с3 + . + спт - нечетное. /(д(1)) = = (а2 + а3 + ... + ап^(1) = 1(mod2). Получим, что с2 + с3 + . + спт будет нечетным, поскольку

а2 + а3 + . + ап и g(1) - нечетные по условию.

Случай 3. a1 = ±1, b1 = ±2, b2 - нечетное b2 + b3 + + ... + bm - нечетное.

Тогда fg(x)) = ± (±2x + b2x2 + . + bmxm) + a2(±2x + + b”x2 + ... + bmxm) + ... + an(±2x + b”x2 + ... + bmxm)n =

= +2x + (+b2 + b1 a2)x2 +... = ±2x + (±b2 + 4a2) X + ... . В итоге получим, что fg(1)) = (b2 + b3 + ... + bn) (±(a2 + a3 + ... + an)) = 1(mod2). Поскольку b2 + b3 + + ... + bm - нечетное и f(1) - нечетное, тоfg(1)) = = c2 + c3 + . + cnm) также будет нечетным.

По теореме Лаффи ^ - коммутативное многообразие.

Теорема доказана.

Коммутативность PI-колец нулевой характеристики. Кроме тел П. Андрзеевский и Б. Гланк в работе [2] рассмотрели кольца с единицей нулевой характеристики, удовлетворяющие тождествам (xy)n = xnyn и (xy)n = (yx)n. Авторы доказали коммутативность данного класса колец с этими тождествами. Ослабив условия, наложенные авторами на эти кольца, мы доказали следующую теорему.

Теорема 4. Пусть R - кольцо с единицей и char R = 0. Если найдутся такие многочлены ft), g(t), h(t) е t Z[t], что степень хотя бы одного из них больше 1 и для всех x, y е R выполняется тождество f(xy) = g(x)h(y), то R коммутативно.

Доказательство. Пусть ft) = a0tn + ait”-1 + ... + an, g(t) = boot" + b1Г-1 + ... + bm, h(t) = cOOt1 + Cxf- + ... + ck.

Покажем, что степени многочленов равны, т.е. n = m = k. В начале покажем, что 2n = m + k. Пусть это не так. Тогда либо 2n > m + k, либо 2n < m + k. Пусть, например, 2n > m + k. В тождестве f(xy) = g(x)h(y) положим x = y. Тогда в полученном тождестве старший член будет иметь вид a(0x2k и a0x2k = 0. Полагая x = 1, получим, что a0 = 0. Противоречие.

Аналогично показывается невозможность случая 2n < m + k. Следовательно, 2n = m + k.

Предположим теперь, что m Ф n. Тогда либо m > k, либо m < k. Пусть, например, m > k. По лемме 1 b0xmh(y) = 0. Снова получаем, что b^y = 0. Полагая x = y = 1, получим, что b0 = 0. Противоречие. Аналогично можно показать, что случай m < k также невозможен. Итак, n = m = k. Будем полагать, что deg f = deg g = deg h = n. Выделим в тождестве f(xy) - g(x)h(y) = 0 однородную компоненту старшей степени. Будем иметь: a0(xy)n - b0c0xnyn = 0. Положив x = y = 1, получим, что a0 = b0c0. Поскольку char R = 0, то (xy)n - xnyn = 0 - тождество в кольце R.

В тождестве (xy)n - xy = 0 сделаем замену x ^ x +1. Получим, что (xy + y)n - (x + 1)n У = 0. Выделим в полученном тождестве однородную компоненту первой степени по x: xy + y(xy)yn 2 + + y2(xy)yn-3 + . + yn1 xy - nxyn = 0. Затем сделаем замену y ^ y +1. Получим: x(y + 1)n + (y + 1) x (y + 1)n-1 + (y + 1)2 x(y + 1)n-2 + . + (y + 1)n-1 x(y + 1) -

- nx (y + 1)n = 0.

Теперь выделим однородную компоненту первой степени относительно y: nxy + yx + (n-1)xy + + 2yx + (n-2)xy + . + (n-1) yx + xy - n2xy = 0. Получим, что xy(n + (n - 1) + ... + 1 - n2) + yx(1 + 2 + ... +

+ (n - 1)) . 0, (””^V-)*,.+””^>* = 0,

n(n - 1) n(n -1)

-xy =--------------yx,

n(n_ 1)r 1 n откуда -----------[ x, y] = 0 .

2 2 2 Так как в <R, +> нет аддитивного кручения, то [x, у] = 0 для всех x, y е R.

Теорема доказана.

Теорема 5. Пусть R - кольцо с единицей и char R = 0. Если найдутся такие многочлены ft), g(t) е Z[t], что для всех x, у е R выполняется тождество f(xy) = g(yx), то R - коммутативное кольцо.

Доказательство. Пусть f(t) = a0tn + a1tn-1 + . + + an, g(t) = bof1 + by1 + . + bm.

Покажем, что степени многочленов f и g равны, т.е., n = m.

Если n > m, то получим, что a0(xy)n = 0. Противоречие.

Если же n < m, то вновь получаем b0(yx)m = 0. Снова противоречие. Итак, n = m. Будем полагать, что deg f = deg g = n.

Выделим в тождестве f(xy) - g(yx) = 0 однородную компоненту старшей степени. Будем иметь: a0(xy)n - b0(yx)n = 0. Положив x = у = 1, получим, что a0 = Ьо. Поскольку char R = 0, то (xy)n - (yx)n = 0 -тождество в кольце R.

В тождестве (xy)n - (yx)n = 0 сделаем замены x ^ x + 1 и у ^ у + 1. Выделяя после этого однородную компоненту первой степени по x и по у, получим, что a(xy) = b(yx), где a и b - некоторые целые числа. Полагая x = y = 1, получим, что a = b. Поскольку char R = 0, то xy = yx - тождество в кольце R.

Теорема доказана.

О гипотезе Мохаррама Хана. В работе [4] была сформулирована следующая гипотеза: пусть R -ассоциативное кольцо с единицей, а, в - автоморфизмы R и найдется целое n > 1 такое, что для любого x е R a(xn+l) ± P(xn) е Z(R). Будет ли R коммутативно?

Автор доказал справедливость этой гипотезы при n = 2, 3, 4 и при ограничениях на автоморфизмы. В данной работе доказаны следующие результаты. В частности, мы докажем справедливость гипотезы Хана при n = 7, 8.

Лемма 6. Пусть R - ассоциативное кольцо с единицей и a, b е R. Если anb = 0 и (a + 1)n b = 0 для некоторого целого положительного n, то b = 0.

Доказательство. Пусть n - минимальное целое положительное число, удовлетворяющее условиям леммы. Воспользовавшись формулой бинома

Ньютона, будем иметь: anb + C\an~lb + с”an~2b +

+... + C’n~lab + b = 0. Умножив полученное равенство слева на an1, получим, что an-1b = 0. Противоречие с минимальностью n.

Лемма доказана.

Теорема 7. Пусть R - ассоциативное кольцо с единицей, а, в - автоморфизмы R и найдется целое n > 1 такое, что для любого x е R «(xn+1) ± ± e(xn) е Z(R). Тогда 2x е Z(R). В частности, если кольцо R - без 2-кручения, то оно коммутативно.

Доказательство. Пусть a(xn+1) + e(xn) е Z(R) и пусть, для определенности, n - нечетное. Заменяя

х ^ - х, получим, что о(хп+1) + в(хп) е Z(R). Складывая полученное отношение с исходным и вычитая из него, получим, что 2хп+1, 2хп е Z(R). Другими словами, [2хп+1, у] = 0 и [2хп, у] = 0 - тождества в R. Тогда [2хп+1, у] = 2хп[х, у] + [2хп, у]х = 0. Отсюда получаем, что хп[2х, у] = 0. В полученном равенстве заменим х ^ х + 1. Получим, что (х + 1)п [2х, у] = 0. Теперь из равенств хп[2х, у] = 0 и (х + 1)п [2х, у] = 0 по лемме 6 следует, что [2х, у] = 0. Если в R отсутствует 2-кручение, то [х, у] = 0.

Теорема доказана.

При помощи этой теоремы удалось получить следующие результаты.

Теорема 8. Пусть R - ассоциативное кольцо с единицей, а, в - автоморфизмы R и для любого х е R о(х8) ± в(х1) е Z(R). Тогда R коммутативно.

Доказательство. Пусть о(х8) ± в(х7) е Z(R). Заменим х ^ х + 1. Будем иметь: а (х8 + 8х7 + 28х6 +

56x5 + 70x4 + 56x3 + 2Sx2 + Sx) + в (x1 + 7x6 + 21x5 + + 35x4 + З5x3 + 21x2 + 7x) є Z(R). Используя теорему 7 и соотношение o(x8) + в^7) є Z(R), получим, что x6 + x5 + x4 + x3 + x2 + x є Z(R). По известной теореме Херстейна R коммутативно.

Теорема доказана.

Теорема 9. Пусть R - ассоциативное кольцо с единицей, а, в - автоморфизмы R и для любого x є R o(x9) + в^8) є Z(R). Тогда R коммутативно.

Доказательство. Пусть o(x9) + в^8) є Z(R). Заменим x ^ x + 1. Получим:

a (x9 + 9x8 + 36x7 + S4x6 + 126x5 + 126x4 + S4x3 + + 36x2 + 9x) + в (x8 + Sx7 + 2Sx6 + 56x5 + 70x4 + 56x3 + + 2Sx2 + Sx) є Z(R). Используя теорему 7 и соотношение «(x9) + в^8) є Z(R), получим, что xs + x є Z(R). По теореме Херстейна R коммутативно.

Теорема доказана.

Библиографический список

1. Bell, H. Two Commutativity Problems for Rings / H. Bell, A. Klein // Studia Scientiarum Mathematicarum Hun-garica 2S. - 1993.

2. Andrzejewski, P. A Note on the Commutativity

of Rings / P. Andrzejewski, B. Glanc // Demonstratio Mathe-

matica. - 200б. - Vol. XXXIX, №2.

3. Laffey, T. Polynomials that Force a Ring to Be Commutative / T. Laffey, D. MacHale // Proceedings of the Royal Irish Akademy. - 1992. - №2.

4. Khan, M. Commutativity of Rings with Constraints on Pair of Automorphisms / M. Khan // Advances in Theoretical and Applied Mathematics. - 2006. - Vol. 1, №2.