S e MR СИБИРСКИЕ ЭЛЕКТРОННЫЕ МАТЕМАТИЧЕСКИЕ

e MR
S
ISSN 1813-3304
СИБИРСКИЕ ЭЛЕКТРОННЫЕ
МАТЕМАТИЧЕСКИЕ ИЗВЕСТИЯ
Siberian Electronic Mathematical Reports
http://semr.math.nsc.ru
Том 11, стр. 800–810 (2014)
УДК 512.55
MSC 16P10 16W20
СТРОЕНИЕ КОЛЕЦ, УДОВЛЕТВОРЯЮЩИХ ТОЖДЕСТВУ
ИНДЕКСА ДВА
Е.В. ЖУРАВЛЕВ, Ю.Н. МАЛЬЦЕВ
Abstract. We describe the structure of finite indecomposable rings
and also (infinite) regular rings satisfying the identity of index two.
Keywords: finite ring, regular ring.
1. Введение
В работах [1, 2] доказано, что произвольное конечное ассоциативное кольцо R удовлетворяет тождествам
mx = 0,
x1 x2 . . . xn = f (x1 , x2 , . . . , xn ),
(1)
где m – натуральное число и f (x1 , . . . , xn ) – многочлен из свободного ассоциативного кольца Zhx1 , x2 , . . .i, являющийся суммой одночленов степени ≥ n + 1.
Число n называется индексом конечного кольца R или индексом тождества
s
L
(см. [1]). Если n = 1, то R =
GF (qi ) и многообразие ассоциативных колец
i=1
var mx = 0, x1 − x21 f(x1 ) = 0 ,
определенное тождествами (1) при n = 1, порождается конечным числом конечных полей (см. [3]). В работе [4] доказано, что кольцо M2 (GF (q)) удовлетворяет тождеству
2
x − xq y − y q
1 − [x, y]q−1 = 0.
Zhuravlev, E.V., Maltsev, Y.N., Structure of rings satisfying an identity of
index two.
c 2014 Журавлев Е.В., Мальцев Ю.Н.
Вторым автором работа выполнена в рамках задания №2014-418 для государственных
работ в сфере научной деятельности Министерства образования и науки РФ и при частичной
финансовой поддержке РФФИ (код проекта № 12.01.00329а).
Поступила 23 июля 2014, опубликована 27 октября 2014 г.
800
СТРОЕНИЕ КОЛЕЦ, УДОВЛЕТВОРЯЮЩИХ ТОЖДЕСТВУ ИНДЕКСА ДВА
801
Таким образом, индекс полного кольца матриц второго порядка над конечным
полем равен двум. В работе [4] приведено также описание подпрямо неразложимых конечных колец из многообразия колец
D
E
2
var px = 0, x − xq y − yq
1 − [x, y]q−1 = 0 ,
где q = pk и p – простое число.
Цель настоящей работы – описать строение колец, удовлетворяющих тождеству индекса два и либо являющихся конечными кольцами, неразложимыми
в прямую сумму собственных ненулевых идеалов, либо являющимися регулярными (в смысле Неймана) кольцами.
2. Строение неразложимых конечных колец индекса два
Пусть конечное кольцо R удовлетворяет тождеству
xy = f (x, y),
(2)
где f (x, y) ∈ Zhx, yi и f – сумма одночленов степени ≥ 3. Пусть также R не
является прямой суммой собственных ненулевых идеалов. Обозначим через
J(R) радикал Джекобсона кольца R.
Предложение 1. Если R = J(R), то
R = N0,pm = ha| a2 = 0, pm a = 0i,
где p – простое число.
Доказательство. Из тождества (2) следует, что R2 = R3 = R4 = . . . = RN для
любого целого числа N ≥ 2. Так как J(R)k = 0 для некоторого числа k ≥ 1
(см. [5]), то R2 = 0.
Конечная абелева группа hR, +i раскладывается в прямую сумму конечного
числа примарных циклических подгрупп, каждая из которых, в силу равенства R2 = 0, является идеалом кольца R (см. [6]). Так как R неразложимо в
прямую сумму собственных ненулевых идеалов, то R = ha| a2 = 0, pm a = 0i.
Предложение доказано.
Предложение 2. Если R 6= J(R), то существует простое число p такое, что
p2 R = 0.
αs
1
Доказательство. Пусть n = |R| = pα
1 . . . ps – каноническое разложение на
s
L
i
простые числа и Ri = {a ∈ R| apα
Ri (см. [6]).
i = 0}. Тогда Ri CR, i ≤ s и R =
i=1
Так как R не является прямой суммой собственных ненулевых идеалов, то
|R| = pα , где p – простое число.
Из тождества (2) следует, что для любых элементов a, b ∈ R
(pa)(pb) = p3 g(a, b) = p4 h(a, b) = . . . = pα v(a, b) = 0,
где g(x, y), h(x, y), v(x, y) – некоторые многочлены из Zhx, yi. Следовательно,
p2 xy = 0 – тождество в кольце R. Если R содержит единицу e, то подставляя
вместо y = e, получим, что p2 R = 0.
Если R не содержит единицу, то существует идемпотент e2 = e ∈ R, являющийся прообразом единицы фактор-кольца R/J(R) при естественном гомоморфизме R на R/J(R) (см. [7]). Рассмотрим двустороннее пирсовское разложение
802
Е.В. ЖУРАВЛЕВ, Ю.Н. МАЛЬЦЕВ
кольца R
R = eRe+̇eR(1 − e)+̇(1 − e)Re+̇(1 − e)R(1 − e).
Тогда eR(1 − e)+̇(1 − e)Re+̇(1 − e)R(1 − e) ⊆ J(R), подкольцо eRe содержит
единицу e и следовательно, удовлетворяет тождеству p2 x = 0. В частности,
p2 e = 0. Из доказательства предложения 1 следует, что J(R)2 = 0. Если
(1 − e)R(1 − e) 6= 0, то R является прямой суммой двух ненулевых идеалов
A = eRe+̇eR(1 − e)+̇(1 − e)Re и B = (1 − e)R(1 − e).
Противоречие доказывает, что (1 − e)R(1 − e) = 0 и
p2 R = p2 (eRe+̇eR(1 − e)+̇(1 − e)Re) = 0.
Предложение доказано.
Предложение 3. Если R/J(R) – некоммутативное кольцо, то R = M2 (GF (q)),
где q = pk .
Доказательство. Исходя из доказательства предложения 2, мы можем считать, что
R = eRe+̇eR(1 − e)+̇(1 − e)Re = eRe + J(R),
J(R)2 = 0
и eR(1 − e)+̇(1 − e)Re ⊆ J(R). Так как eRe содержит единицу e, то согласно
работе [8] eRe = B +̇M , где M – (B, B)-бимодуль, содержащийся в J(eRe) =
s
T
L
eRe J(R) (см. [7]) и B =
Mni (GR(pti ri , pti )) – прямая сумма полных матi=1
ричных колец над кольцами Галуа. В частности, R = B + J(R), R/J(R) ∼
=
s
L
ri
ti ri ti
B/J(B) =
Mni GF (p ). Пусть Bi = Mni (GR(p , p )), i ≤ s. Если, наприi=1
мер, n1 ≥ 2, то рассмотрим систему матричных единиц {eij | 1 ≤ i, j ≤ n1 }
кольца Mn1 (GR(pt1 r1 , pt1 )). Из равенства J(R)2 = 0 и тождества (2) следует,
что
e12 a = λe12 ae12 ,
где a – произвольный элемент J(R), λ ∈ Z. Умножая полученное равенство
справа на e12 , получаем, что e12 ae12 = e12 a = 0, а значит e22 a = e21 (e12 a) = 0.
Рассуждая аналогично, получаем, что B1 J(R) = J(R)B1 = 0. Так как B1 Bi =
s
L
Bi B1 = 0, при i ≥ 2, (см. [8]), то B1 CR,
Bi + M + eR(1 − e) + (1 − e)ReCR и
i=2
R – кольцо, разложимое в прямую сумму идеалов B1 и
s
L
Bi + M + eR(1 − e)+
i=2
t1 r1
t1
, p )), n1 ≥ 2. Ввиду тожде(1 − e)Re. Следовательно, R = B1 = Mn1 (GR(p
ства x2 = f (x, x) = x3 g(x), выполнимого в кольце R, нильпотентные элементы
кольца в квадрате равны нулю. Так как R/J(R) – некоммутативное кольцо, то
n1 = 2.
p 1
Докажем, что pR = 0. Иначе,
– нильпотентная матрица, квадрат
0 0
которой не равен нулю. Противоречие доказывает, что R = M2 (GF (q)), где
q = pr1 . Предложение доказано.
Предложение 4. Если R/J(R) – коммутативное кольцо и R 6= J(R), то
s
M
R=
GR(pti ri , pti ) + J(R),
i=1
СТРОЕНИЕ КОЛЕЦ, УДОВЛЕТВОРЯЮЩИХ ТОЖДЕСТВУ ИНДЕКСА ДВА
803
где J(R)2 = 0. При этом R удовлетворяет тождеству вида
(x − xq ) (y − y q ) = 0,
где q = pr1 ·...·rs .
Доказательство. Если кольцо R содержит единицу, то согласно работе [8]
s
L
Bi , Bi = Mni (GR(pti ri , pti )), i ≤ s,
(предложение 6) R = B + M , где B =
i=1
M – (B, B)-бимодуль, содержащийся в J(R) и B/pB ∼
= R/J(R). Так как R/J(R)
– коммутативное кольцо, то n1 = n1 = . . . = ns = 1 и B – прямая сумs
L
GF (pri ).
ма колец Галуа GR(pti ri , pti ), i ≤ s. Следовательно, R/J(R) =
i=1
Пусть qi = pri , i ≤ s. Тогда фактор-кольцо R/J(R) удовлетворяет тождеству
x−xq = 0, где q = pr1 r2 ...rs , и, так как J(R)2 = 0, то R удовлетворяет тождеству
(x − xq ) (y − y q ) = 0.
Если же R не содержит единицу, то согласно доказательству предложения 3 имеем, что R = eRe + J(R), где e2 = e – прообраз в R единицы факторs
L
кольца R/J(R), eRe =
Bi +̇M , где M – (B, B)-модуль, содержащийся в J(R),
i=1
Bi = Mni (GR(pti ri , pti )), i ≤ s. Так как eRe содержит единицу e, то согласно
предыдущим рассуждениям каждое кольцо Bi = GR(pti ri , pti ), i ≤ s и
R=
s
M
GR(pti ri , pti ) + J(R),
R/J(R) =
i=1
s
M
GF (pri ).
i=1
q
В частности, R удовлетворяет тождеству (x − x ) (y − y q ) = 0, где q = pr1 r2 ...rs .
Предложение доказано.
Таким образом, доказана следующая теорема.
Теорема 1. Конечное, неразложимое в прямую сумму ненулевых идеалов,
кольцо R удовлетворяет тождеству
xy = f (x, y),
где f (x, y) ∈ Zhx, yi является суммой одночленов степени ≥ 3 тогда и только
тогда, когда R изоморфно одному из следующих колец:
(1) ha| a2 = 0, pm a = 0i, p – простое число. В этом случае R удовлетворяет
тождеству xy = 0;
(2) M2 (GF (q)). В этом случае R удовлетворяет тождествам
2
px = 0,
x − xq y − y q
1 − [x, y]q−1 = 0,
где q = pk и p – простое число;
s
L
(3) R =
GR(pti ri , pti ) + J(R), где J(R)2 = 0, ti ≤ 2, i ≤ s. В этом
i=1
случае R удовлетворяет тождествам p2 x = 0, (x − xq ) (y − y q ) = 0, где
q = pr1 r2 ...rs .
Следствие (см. [9]). Пусть R – конечная GF (p)-алгебра с единицей, неразложимая в прямую сумму идеалов, такая, что J(R) совпадает с множеством делителей нуля. Если R удовлетворяет тождеству xy = f (x, y), где f (x, y) ∈ Zhx, yi
804
Е.В. ЖУРАВЛЕВ, Ю.Н. МАЛЬЦЕВ
является суммой одночленов степени ≥ 3, то R изоморфно кольцу матриц вида


a1 b2
b3
bn


p t2
0
0 
 0 a1
 .
,
.
.
..
 .
..
.. 
.
 .

tn
0
0
. . . ap1
где a1 , b2 , . . . , bn ∈ GF (pr ), t2 , . . . , tn – некоторые фиксированные целые числа,
1 ≤ ti ≤ r.
Приведем полный список неизоморфных, неразложимых в прямую сумму
ненулевых идеалов, колец порядков p, p2 , p3 , p4 , удовлетворяющих тождеству
xy = f (x, y), где f (x, y) ∈ Zhx, yi является суммой одночленов степени ≥ 3.
Для этого воспользуемся теоремой 1 и результатами работ [10, 5, 11], в которых
приведена полная классификация всех колец порядка pn , n ≤ 4.
Кольца порядка p:
(1) N0,p – кольцо с нулевым умножением на аддитивной группе (Zp , +);
(2) Zp .
Кольца порядка p2 :
(1) N0,p2 – кольцо с нулевым умножением на аддитивной группе (Zp2 , +);
(2) Zp2 ;
a b a, b ∈ Zp ;
(3)
0 a Zp 0
(4)
;
Zp 0
Zp Zp
(5)
;
0
0
(6) GF (p2 ).
Кольца порядка p3 :
(1) N0,p3 – кольцо с нулевым умножением на аддитивной группе (Zp3 , +);
(2) Zp2 [px]/(px)2 ;
Zp2 pZp2
(3)
;
0
0
Zp2 0
(4)
;
pZp2 0
(5) GF (p3 );
Zp Zp
(6)
;
0 Zp



 a b c 
 0 a 0  a, b, c ∈ Zp ;
(7)


0 0 a (8) R – кольцо без единицы, |J(R)| = p2 , (R, +) = hf i+̇hai+̇hbi и умножение
задается одним и только одним из соотношений:
(a) f 2 = f , af = a, bf = b, a2 = b2 = f a = f b = ab = ba = 0;
(b) f 2 = f , bf = b, af = f a = a, a2 = b2 = ab = ba = f b = 0;
СТРОЕНИЕ КОЛЕЦ, УДОВЛЕТВОРЯЮЩИХ ТОЖДЕСТВУ ИНДЕКСА ДВА
805
(c) f 2 = f , f b = b, af = f a = a, a2 = b2 = ab = ba = bf = 0;
(d) f 2 = f , f b = b, af = a, a2 = b2 = ab = ba = bf = f a = 0;
(e) f 2 = f , f a = a, f b = b, a2 = b2 = af = bf = ab = ba = 0.
Кольца порядка p4 :
(1) N0,p4 –
Zp2
(2)
0
Zp2
(3)
Zp2
кольцо с нулевым умножением на аддитивной группе (Zp4 , +);
Zp2
;
0
0
;
0
(4) GR(p4 , p2 );
(5) Zp2 [x]/(x2 );
(6) R – кольцо без единицы, (R, +) = hf i+̇hai+̇hbi, ord f = p2 , ord a = p,
ord b = p и умножение задается одним и только одним из соотношений:
(a) f 2 = f , f a = a, bf = b, af = a, a2 = 0, ab = f b = ba = b2 = 0;
(b) f 2 = f , f a = a, f b = b, af = a, a2 = 0, bf = ab = ba = b2 = 0;
(c) f 2 = f , f a = a, f b = b, af = a2 = ab = bf = ba = b2 = 0;
(d) f 2 = f , f a = f b = 0, af = a, a2 = ab = 0, bf = b, ba = b2 = 0;
(e) f 2 = f , f a = 0, f b = b, af = a, ba = 0, bf = 0, ab = b2 = a2 = 0;
(7) R – нелокальное кольцо с единицей, (R, +) = he1 i+̇he2 i+̇hai, ord e1 = p2 ,
ord e2 = p, ord a = p, e1 , e2 – ортогональные идемпотенты и умножение
задается одним и только одним из соотношений:
(a) e1 a = a, e2 a = ae1 = 0, ae2 = a, a2 = 0;
(b) e1 a = 0, e2 a = a, ae1 = a, ae2 = a2 = 0;
(8) R – локальное кольцо с единицей, (R, +) = hei+̇hai+̇hbi, ord e = p2 ,
ord a = p, ord b = p и a2 = ab = ba = b2 = 0;
(9) GF (p4 );
(10) M2 (Zp );
a b 2
a, b ∈ GF (p ) ;
(11)
0 a a b
2
(12)
a,
b
∈
GF
(p
)
;
0 ap a b 2
a,
b
∈
GF
(p
)
;
(13)
0 0 a 0 2
(14)
a,
b
∈
GF
(p
;
)
b 0 (15) R – кольцо с единицей, (R, +) = he1 i+̇hai+̇he2 i+̇hbi, ord e1 = ord a =
ord e2 = ord b = p, |J(R)| = p2 , R/J(R) ∼
= Zp ⊕Zp , a, b ∈ J(R), J(R)2 = 0,
e1 , e2 – ортогональные идемпотенты и умножение задается одним и
только одним из соотношений:
(a) e1 a = a, e1 b = ae1 = 0, be1 = b, ae2 = a, be2 = e2 a = 0, e2 b = b;
(b) e1 a = a, e1 b = b, ae1 = be1 = 0, ae2 = a, be2 = b, e2 a = e2 b = 0;
(c) e1 a = a, e1 b = ae1 = be1 = 0, ae2 = a, be2 = b, e2 a = 0, e2 b = b;
(d) e1 a = e1 b = 0, ae1 = a, be1 = ae2 = 0, be2 = b, e2 a = a, e2 b = b;
806
Е.В. ЖУРАВЛЕВ, Ю.Н. МАЛЬЦЕВ
(16) R – кольцо без единицы, (R, +) = he1 i+̇hai+̇he2 i+̇hbi, ord e1 = ord a =
ord e2 = ord b = p, |J(R)| = p2 , R/J(R) ∼
= Zp ⊕Zp , a, b ∈ J(R), J(R)2 = 0,
e1 , e2 – ортогональные идемпотенты и умножение задается одним и
только одним из соотношений:
(a) e1 a = a, e1 b = e2 a = e2 b = ae1 = 0, ae2 = a, be1 = b, be2 = 0;
(b) e1 a = a, e1 b = e2 a = ae1 = e2 b = 0, ae2 = a, be1 = 0, be2 = b;
(c) e1 a = a, e1 b = b, e2 a = e2 b = ae1 = 0, ae2 = a, be1 = be2 = 0;
(d) e1 a = a, e1 b = e2 a = 0, e2 b = b, ae1 = 0, ae2 = a, be1 = be2 = 0;
(17) R – локальное кольцо с единицей, (R, +) = hei+̇hai+̇hbi+̇hci, ord e =
ord a = ord b = ord c = p, |J(R)| = p3 , a, b, c ∈ J(R) и a2 = ab = ba =
bc = cb = ac = ca = b2 = c2 = 0;
(18) R – кольцо без единицы, (R, +) = hf i+̇hai+̇hbi+̇hci, ord e = ord a =
ord b = ord c = p, |J(R)| = p3 , a, b, c ∈ J(R) и умножение задается
одним и только одним из соотношений:
(a) f 2 = f , f a = a, f b = b, f c = c, af = bf = cf = 0;
(b) f 2 = f , f a = f b = f c = 0, af = a, bf = b, cf = c;
(c) f 2 = f , f a = a, f b = b, f c = af = bf = 0, cf = c;
(d) f 2 = f , f a = a, f b = b, f c = 0, af = a, bf = 0, cf = c;
(e) f 2 = f , f a = a, f b = b, f c = c, af = a, bf = cf = 0;
(f) f 2 = f , f a = a, f b = f c = 0, af = a, bf = b, cf = c;
(g) f 2 = f , f a = a, f b = b, f c = c, af = a, bf = b, cf = 0;
(h) f 2 = f , f a = a, f b = b, f c = 0, af = a, bf = b, cf = c;
(i) f 2 = f , f a = a, f b = f c = af = 0, bf = b, cf = c.
Отметим также, что в [12, 13] классифицированы все конечные кольца с
единицей порядка p5 , а в [14, 15] некоторые из колец порядка p6 характеристики
p или p2 .
3. Строение регулярных колец
Кольцо R называется регулярным, если уравнение axa = a разрешимо в
R для любого элемента a ∈ R (см. [16]). Примерами регулярных колец являются прямые произведения тел. В [16] доказано, что если R – регулярное
кольцо, то Mn (R) тоже регулярное кольцо. Мы рассмотрим строение произвольного регулярного кольца R, удовлетворяющего тождеству xy = f (x, y),
где f (x, y) ∈ Zhx, yi – сумма одночленов степени ≥ 3.
Известно, что для регулярного кольца R его радикал Джекобсона J(R) = 0
(см. [7]). Поэтому, если R – конечное кольцо, то по теореме Веддерберна-Артина
m
L
R=
Mni (GF (qi )). Покажем, что ni ≤ 2, i ≤ m. Если, например, n1 ≥ 3, то
i=1
полагая в тождестве x = y = e12 + e23 получим, что (e12 + e23 )2 = e13 =
m
L
Mni (GF (qi )),
f (e12 + e23 , e12 + e23 ) = 0. Противоречие доказывает, что R =
i=1
где ni ≤ 2.
Покажем, что верно и обратное утверждение. А именно, произвольное коm
L
нечное кольцо R =
Mni (GF (qi )), где ni ≤ 2, является регулярным и удовi=1
летворяет некоторому тождеству индекса два xy = g(x, y), где g(x, y) – сумма одночленов степени ≥ 3. Регулярность кольца следует из [16] (теорема 3,
стр. 24).
СТРОЕНИЕ КОЛЕЦ, УДОВЛЕТВОРЯЮЩИХ ТОЖДЕСТВУ ИНДЕКСА ДВА
807
Рассмотрим var R – многообразие колец, порожденное кольцом R. В кольце
R нильпотентные подкольца удовлетворяют тождеству xy = 0 (см. [17]). В работе [1] доказано, что в этом случае все нильпотентные кольца из var R имеют
нулевое умножение и R удовлетворяет некоторому тождеству xy = g(x, y), где
g(x, y) – сумма одночленов степени ≥ 3.
Рассмотрим строение произвольных (не обязательно конечных) регулярных
колец, удовлетворяющих тождеству индекса два. Имеет место следующая теорема.
Теорема 2. Пусть R – ненулевое регулярное кольцо. Тогда
(1) кольцо R не содержит ненулевых нильпотентных элементов и удовлетворяет тождеству xy = f (x, y), где f (x, y) – сумма одночленов степени ≥ 3 свободного ассоциативного кольца Zhx, yi, тогда и только тогда,
когда
существует
конечное
множество
конечных
полей
M = {GF (q1 ), . . . , GF (qs )} такое, что
Y
F ⊆R⊆
Fi ,
i∈I
где {F, Fi , i ∈ I} ⊆ M;
(2) кольцо R содержит ненулевые нильпотентные элементы и удовлетворяет тождеству xy = f (x, y), где f (x, y) – сумма одночленов степени ≥ 3
свободного ассоциативного кольца Zhx, yi, тогда и только тогда, когда
существует
конечное
множество
конечных
полей
M = {GF (q1 ), . . . , GF (qs )} такое, что
!
Y
M2 (F ) ⊆ R ⊆ M2
Fi ,
i∈I
где {F, Fi , i ∈ I} ⊆ M.
Доказательство. Заметим, что конечное поле GF (q) удовлетворяет тождествам x − xq = 0, x − x(q−1)t+1
Q = 0 для любого целого числа t ≥ 1. Поэтому
произвольное кольцо вида
Fi , где {Fi , i ∈ I} ⊆ M = {GF (q1 ), . . . , GF (qs )}
i∈I
удовлетворяет тождеству Q
x − xN = 0, где N = (q1 − 1) . . . (qs − 1) + 1. Следовательно, если F ⊆ R ⊆
Fi , где {F, Fi , i ∈ I} ⊆ M, то R – ненулевое кольi∈I
цо без нильпотентных элементов, удовлетворяющее тождествам x − xN = 0,
(x − xN )y = 0.
Докажем обратное утверждение. Пусть R – ненулевое регулярное кольцо без
нильпотентных элементов, удовлетворяющее тождеству xy = f (x, y), где f –
сумма одночленов степени ≥ 3. Тогда R удовлетворяет тождеству
x2 − f (x, x) = x2 − x3 g(x) = 0,
где f (x, x) = x3 g(x) и g(x) ∈ Z[x]. Откуда следует, что (a − a2 g(a))2 = 0 для
любого элемента a ∈ R. Так как R – редуцированное кольцо, то x − x2 g(x) = 0
– тождество в R.
Из работы [3] следует, что R удовлетворяет некоторому тождеству mx = 0,
где m – натуральное число, и является локально конечным кольцом. Пусть
a ∈ R, a 6= 0. Тогда подкольцо hai, порожденное a, является конечной прямой
808
Е.В. ЖУРАВЛЕВ, Ю.Н. МАЛЬЦЕВ
суммой конечных полей
hai = GF (q1 ) ⊕ . . . ⊕ GF (qs ),
каждое из которых удовлетворяет тождествам mx = 0, x−x2 g(x) = 0. Заметим,
что число таких полей конечно и GF (qi ) ⊆ R (qi ≤ 2 + deg g(x), i ≤ s).
Далее, полупростое кольцо R является подпрямым произведением примитивных колец R/Pi , i ∈ I, каждое из которых удовлетворяет тождествам
mx = 0, x − x2 g(x) = 0. По теореме Капланского (см. [7], стр. 327) каждое
примитивное кольцо R/Pi , i ∈ I является конечным полем GF (qi0 ) и множество таких полей является конечным {GF (qi0 )| i ∈ I} = {GF (q10 ), . . . , GF (qt0 )}.
Пусть
M = {GF (q1 ), GF (q10 ), . . . , GF (qt0 )} .
Q
Тогда GF (q1 ) ⊆ R ⊆
GF (qi0 ).
i∈I
Докажем второе утверждение. Пусть R – регулярное кольцо, удовлетворяющее тождеству вида xy = f (x, y), где f – сумма одночленов степени ≥ 3
и a – ненулевой нильпотентный элемент в R. Тогда an = 0, где n ≥ 2 и
a · a = f (a, a) = a2 (ag(a)) = a2 (ag(a))2 = . . . = an (ag(a))n = 0. По условию
существует элемент x ∈ R такой, что axa = a. Положим b = xax. Тогда aba = a
и bab = b. Пусть f11 = ab(1−ba), f12 = a, f21 = b(1−ba), f22 = ba и f = f11 +f22 .
Тогда fij · fjt = fit , fij fst = 0, если j 6= s, и f 2 = f ∈ f Rf . Пусть
A = {r ∈ f Rf | rfij = fij r, 1 ≤ i, j ≤ 2} .
Тогда A – подкольцо кольца f Rf , содержащего единицу f . Пусть c – произволь2
P
ный элемент из f Rf и cij =
fki cfjk = f1i cfj1 + f2i cfj2 , 1 ≤ i, j ≤ 2. Тогда
k=1
cij ∈ A и c =
2
P
cij fij . Таким образом, M2 (A) ⊆ f Rf ⊆ R. Если v – нену-
i,j=1
левой
нильпотентный
элемент кольца A, то индекс нильпотентности элемента
v 1
= vf11 + f12 равен трем. Противоречие доказывает, что A – кольцо
0 0
без нильпотентных элементов, удовлетворяющее тождеству x − x2 g(x) = 0, где
f (x, x) = x3 g(x).
Ранее мы заметили, что A удовлетворяет также тождеству mx = 0, где m
– натуральное число и содержит конечное поле GF (q), q ≤ 2 + degP
g(x).
L Следовательно, M2 (GF (q)) ⊆ R. Так как J(R) = 0 (см. [7]), то R =
R/Pi
i∈I s
– подпрямое произведение примитивных колец R/Pi , i ∈ I. По теореме Капланского (см. [7], стр. 327) каждое кольцо R/Pi = Mni (D(i) ), где D(i) – тело,
конечномерное над своим центром Z (i) . Поле Z (i) удовлетворяет тождеству
x2 − f (x, x) = x(x − x2 g(x)) = 0. Следовательно, |Z (i) | ≤ 2 + deg g(x) и D(i) –
конечное тело. По теореме Веддерберна (см. [7], стр. 266) D(i) = Z (i) , i ∈ I.
Если ni ≥ 3, для некоторого i ∈ I, то
(e12 + e23 )2 = e13 = f (e12 + e23 , e12 + e23 ) = 0.
Противоречие доказывает, что ni ≤ 2, i ∈ I и D(i) = GF (qi ), где qi ≤ 2 +
deg g(x). Множество полей {GF (qi )| i ∈ I} является конечным, Q
так как их порядки ограничены в совокупности. Следовательно, R ⊆
M2 (GF (qi )).
i∈I
СТРОЕНИЕ КОЛЕЦ, УДОВЛЕТВОРЯЮЩИХ ТОЖДЕСТВУ ИНДЕКСА ДВА
809
Q
M2 (GF (qi )) ∼
= M2 ( GF (qi )), то существует мономорфизм кольi∈I Q
i∈I
ца R в M2 ( GF (qi )), где множество полей {GF (q), GF (qi )| i ∈ I} является
Так как
Q
i∈I
конечным.
Докажем обратное утверждение.
Если
M2 (GF (q)) ⊆ R, то R содержит нену0 1
левой нильпотентный элемент
. Теорема доказана.
0 0
В связи со вторым утверждением теоремы возникает вопрос: всякое ли регулярное кольцо, удовлетворяющее тождеству вида xy = f (x, y), где f (x, y)
– сумма одночленов степени ≥ 3, и содержащее ненулевые нильпотентные
элементы, изоморфно некоторому кольцу M2 (A), где A – регулярное кольцо
без нильпотентных элементов? Ответ на этот вопрос отрицательный. Кольцо
M2 (GF (p)) ⊕ GF (p) удовлетворяет тождеству индекса два (см. [4])
2
x − xp y − y p
1 − [x, y]p−1 = 0,
содержит нильпотентные элементы и имеет порядок p5 . Если предположить
M2 (GF (p)) ⊕ GF (p) ∼
= M2 (A), где A – конечное регулярное кольцо без нильпотентных элементов, то |A| ≥ p2 и порядок |M2 (A)| ≥ p8 . Противоречие.
Список литературы
[1] И.В. Львов, О многообразиях ассоциативных колец. I, Алгебра и Логика, 12:3 (1973),
269–297. MR0389973
[2] R. Kruse, Identities satisfied by a finite ring, J. Algebra, 26:2 (1973), 298–318. MR0325678
[3] A. Iskander, Product of ring varieties and attainability, Trans. Amer. Math. Soc., 193(466)
(1974), 231–238. MR0349753
[4] Ю.Н. Мальцев, Е.Н. Кузьмин, Базис тождеств алгебры матриц второго порядка над
конечным полем, Алгебра и Логика, 17:1 (1978), 28–32. MR0516388
[5] В.П. Елизаров, Конечные кольца, М.: Гелиос, 2006.
[6] А.И. Кострикин, Введение в алгебру, М.: Наука, 1977. MR0460008
[7] Н. Джекобсон, Строение колец, М.: Иностранная литература, 1961.
[8] R. Wilson, On structure of finite rings II, Pacific J. Math., 51:1 (1974), 317–325. Zbl
0317.16009
[9] R. Raghavendran, Finite associative rings, Compos. Math., 21:2 (1969), 27–59.
[10] В.П. Елизаров, Ненильпотентные конечные кольца, ДЕП ВИНИТИ, 1472-85.
[11] В.А. Ратинов, Полусовершенные кольца со cпециальными типами присоединенных
групп, канд. дисс., МГПИ, Москва, 1980.
[12] B. Сorbas, G.D. Williams, Rings of order p5 . Part 1. Nonlocal rings, Journal of Algebra,
231 (2000), 677–690. Zbl 1017.16014
[13] B. Corbas, G.D. Williams, Rings of order p5 . Part 2. Local rings, Journal of Algebra, 231
(2000), 691–704. Zbl 1017.16015
[14] Е.В. Журавлев, Конечные локальные кольца порядка p6 и характеристики p, радикал
Джекобсона которых имеет индекс нильпотентности четыре, Известия АлтГУ, 1
(2006), 20–35.
[15] Е.В. Журавлев, О классификации конечных локальных колец характеристики p2 , радикал Джекобсона которых имеет индекс нильпотентности четыре, Известия АлтГУ,
1 (2008), 18–28.
[16] Л.А. Скорняков, Дедекиндовы структуры с дополнениями и регулярные кольца, М.:
Физматлит, 1961. Zbl 0115.02802
[17] L. Rowen, Polynomial identities in ring theory, Academic Press, 1980. MR0576061
810
Е.В. ЖУРАВЛЕВ, Ю.Н. МАЛЬЦЕВ
Евгений Владимирович Журавлев
Алтайский государственный университет,
пр. Ленина 61,
656049, Барнаул, Россия
E-mail address: evzhuravlev@mail.ru
Юрий Николаевич Мальцев
Алтайская государственная педагогическая академия,
ул. Молодежная 55,
656031, Барнаул, Россия
E-mail address: maltsevyn@gmail.com