CC BY
57
2015
ВЕСТНИК ТОМСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА Математика и механика
№ 4(36)
УДК 512.552+512.643.8 DOI 10.17223/19988621/36/4
Ц.Д. Норбосамбуев
О СУММАХ ДИАГОНАЛЬНЫХ И ОБРАТИМЫХ ОБОБЩЕННЫХ МАТРИЦ
Исследованы свойства хороших колец обобщенных матриц. Показано, что любая обобщенная матрица есть сумма диагональной и обратимой обобщенных матриц. Получено одно условие k-хорошести произвольного кольца обобщенных матриц.
Ключевые слова: кольцо, обобщенная матрица, формальная матрица, k-хорошее кольцо.
1. Введение
Числовые матрицы используются во многих областях математики и в различных её приложениях. В алгебре часто встречаются и имеют большое значение так называемые обобщенные матрицы. Их называют также формальными матрицами. Элементы этих матриц могут принимать значения в нескольких кольцах и бимодулях. Обобщенные матрицы складываются и умножаются по стандартным правилам матричного сложения и умножения. В результате получается кольцо -кольцо обобщенных (или формальных) матриц.
Это кольцо представляет собой важный алгебраический объект. Например, кольцо эндоморфизмов разложимого в прямую сумму модуля и любое кольцо с нетривиальным идемпотентом являются кольцами обобщенных матриц. Кольца обобщенных матриц играют важную роль в изучении ряда классов артиновых колец и алгебр. Исследование колец обобщенных матриц - это актуальное направление в современной теории колец и модулей. Оно имеет большое научное значение. В настоящее время эта тематика привлекает повышенное внимание зарубежных специалистов. С определением и основными свойствами колец обобщенных матриц можно познакомиться в статьях [1-3]. Напомним, что Kn обозначает некоторое кольцо обобщенных матриц порядка n
f R M12 . .. Mln ^
Kn = M 21 R2 . .. M 2n
ч Mn1 M n 2 . .. Rn У
где Rb ..., Rn - некоторые кольца, My - R —R-бимодуль, i, j=\,...,n.
Пусть k - натуральное число, k > 2, R - произвольное кольцо. Элемент а кольца R называется k-хорошим, если его можно записать в виде суммы k обратимых элементов кольца R. Кольцо называется k-хорошим, если каждый его элемент является k-хорошим. Изучение колец, порождаемых аддитивно своими обратимыми элементами, началось в 1953-1954 годах, когда Вольфсон [4] и Зелинский [5] независимо друг от друга показали, что всякое линейное отображение векторного пространства V над телом D есть сумма двух обратимых линейных отображений, кроме случая, когда dim(V) = 1 и D = Z2. Это значит, что кольцо линейных преоб-
О суммах диагональных и обратимых обобщенных матриц
35
разований End(V) порождается аддитивно своими обратимыми элементами. В 1958 году Скорняков [6] поставил задачу описания такого рода колец. В [7] Рафаэль, отвечая на вопрос Скорнякова, дал начало систематическому изучению таких колец, которые он назвал S'-кольцами. Независимо от предыдущих работ к этой проблеме пришел Фукс. В [8] он сформулировал вопрос: «Когда автоморфизмы абелевой группы порождают аддитивно её кольцо эндоморфизмов?» За этим последовал ряд статей Стрингалла [9], Фридмана [10], Хилла [11] и Кастаньо
[12]. В 1973 г. Хенриксен [13] описал два широких класса колец, порождаемых своими обратимыми элементами. Позже с этими кольцами работали Вамос [14] (он ввел понятие A-хорошего кольца), Сривастава [15]. Имеется несколько статей, посвященных различным A-хорошим кольцам. Так, например, в [14] и [15] получены результаты по А-хорошести регулярных колец фон Неймана, правых самоинъективных колец.
2. Одно условие А-хорошести произвольного кольца обобщенных матриц
Теорема 1. Кольцо Kn является A-хорошим, если все R - A-хорошие кольца для некоторого А> 1, i = 1,...,n.
Доказательство. Пусть все Ri - A-хорошие кольца, А >1, i = 1,...,n и Х е Kn. Запишем матрицу Х в полном виде:
' r1 m12 . . m1n '
X = m21 r2 . . m2n
V mn1 mn2 . . rn j
Зададим матрицы A, В и С следующим образом:
' 0 m12 . . m1n ^ ' r1 0. . 0 S ' 0 0 . . 0N
A = 0 0. . m2n , B = 0 r2 . . 0 , C = m21 0 . . 0
V 0 0. . 0 v V 0 0. . rn J V mn1 mn 2 . . 0 J
Очевидно, что X=A+B+C.
Так как все Ri - A-хорошие кольца, то
' r1 0. . 0 S + u 2+. . + uf 0 0 S
B = 0 r 2. . 0 = 0 U-2 + Ur^ +. .. + U2 0
V 0 0. . rn J V 0 0 ul + ul + ... + un;
' u1 0 ... 0 S ' u2 0 .. 0 S ' uf 0 ... 0 S
= 0 u2 ... 0 + 0 U22 .. 0 +.. .+ 0 u2A ... 0 =
о 0 ... Un J о 0 .. Un2 J О 0 ... ukn J
= U + U 2 + ... + Ua ,
где Ub U2, ..., UA - обратимые матрицы.
36
Ц.Д. Норбосамбуев
Определим теперь матрицыA’ и Cследующим образом:
f m12 .. m1n "
A = A + U = 0 u2 m2n
V 0 0 .. Un
f u2 0 ... 0N
C' = C + U 2 = m21 М22 ... 0
V mn1 mn2 ... Un2)
Легко видеть, что A’ и C - обратимые матрицы как треугольные матрицы с обратимыми элементами на главной диагонали.
Таким образом, имеем X=A+B+C = A'+C'+U3+...Uk - сумма к обратимых матриц.
Итак, Kn является k-хорошим кольцом. Что и требовалось доказать.
3. О суммах диагональных и обратимых обобщенных матриц
Через M(n, R) будем обозначать обычное кольцо квадратных матриц порядка n над кольцом R. Хенриксеном [5] было показано, что M(n, R) - 3-хорошее кольцо. А именно, он доказал, что всякая матрица из этого кольца представима в виде суммы диагональной и обратимой матриц. Диагональная же матрица всегда может быть записана как сумма двух обратимых матриц. Кольцо M(n, R), конечно, является кольцом обобщенных матриц. На главной диагонали матриц из M(n, R) находятся элементы кольца R. На остальных местах - элементы R-R-бимодуля R. Умножение задается с помощью тождественных гомоморфизмов.
Докажем, что обобщенная матрица также есть сумма диагональной и обратимой обобщенных матриц.
Доказательство следующей леммы элементарно.
Лемма 2. Пусть R - кольцо, x е R, p, q е U(R) - множеству обратимых элементов кольца R. Еслиp-x-q = 1, то x е U(R) и x4 = qp.
Лемма 3. Пусть U’ - блочная матрица порядка 2 (обобщенная матрица порядка n+1)
U' = fU B 1 ],
l C 1 + CU~lB)
где U - обратимая обобщенная матрица порядка n, B - вектор-столбец длины n, C - вектор-строка длины n. Тогда U' - обратимая матрица и
(U Т1 Ju -1 + (-U)-1 B(-C )U-1 (-U )-1 B )
V -CU-1 1 ).
Доказательство. Положим
En
P =| n , I и Q = -CU-1 1 1 *
U - (-U )-1 B
где En - единичная матрица кольца Kn обобщенных матриц порядка n. Убедимся, что P и Q - обратимые матрицы в кольце Kn+1.
О суммах диагональных и обратимых обобщенных матриц
37
Действительно, утверждаем, что
En
P-1 =
cu -
Запишем следующие равенства:
PP-1 =
En
-cu -
f En *En + 0*(CU_1)
" Ho 1 )■
0Y En 0 1 Л CU-1 1
En *0 + 0*1
(-CU-1 )* En +1* (CU-1) (-CU-1 )*0 +1*1
En
0
P-lP = f E
{ cu - 1 K-cu-1
En
En *En + 0*(-CU-1) En *0 + 0*1 En
v(CU_1)*En + 1*(-CU_1) (CU_1)*0 + 1*1j l 0
И далее имеем равенства
ш-н; ни d=
= fu- *U + (-U-11)*0 U-1 * 1 + (-U-11)*1Н^En
0*U +1*0
0*1 +1*1
q-q=(U DfU0‘ H ^
U *U-1 +1 *0 U *(-U)-11 +1 *1
0*U+1*0 0*(-U )-11 +1*1
Покажем теперь обратимость матрицы U\ Вычислим произведение
En 0 Y U 1
PU' =
En *U + 0*C
-CU- 1Д C 1 + CU-1
En * 1 + 0*1 + CU-11)
U
0 1 I ^
v (-CU - )* U +1* C (-CU - )* 1 +1*(1 + CU_11),
Теперь имеем равенства
(P-U')Q = Q-Q = En+1.
Итак, (P-U’)Q = En+i и P, Q - обратимые матрицы в Kn+b Тогда по лемме 2
U' - обратимая матрица и
En
^ = QP И' l~Uf1 Л_а,-.
U-1 + (-U )-11(-C )U -1 (-U )-11
-CU-1 1
Что и требовалось доказать.
38
Ц.Д. Норбосамбуев
Теорема 4. Любая матрица из Kn может быть записана как сумма диагональной и обратимой матриц.
Доказательство. Проведем индукцию по п. Так как а = (а-1)+1 для любого элемента а из любого кольца R, то теорема верна для п=1.
Пусть она верна для кольца Kn, для некоторого п > 1. Покажем, что она верна и для кольца Kn+1.
Пусть Х е Kn+1. Напомним, что
' R M12 . .. M,n+1 '
Kn+1 = M 21 R2 . .. M 2,n+1
4 Mn+1,1 Mn+1,2 . .. Rn+1 j
где Ri, ..., Rn+i жем записать
некоторые кольца, Mj - R —Rj-бимодуль, ij=1,...,n+1. Тогда мо-
X =
A Bj C d j ,
где A е Kn, Б - вектор-столбец длины n, C- вектор-строка длины n, d е Rn+1.
По предположению индукции A - сумма диагональной и обратимой матриц, A = D+U, где D - диагональная, U - обратимая матрицы.
Тогда если положить
D' =
D
0
0
d -1 - CU_1Б У
U’ =
U Б Л C 1 + CU-lB J,
то будет верно равенство X = D’+U’, где D' - диагональная матрица, U’ - обратимая матрица (по лемме 3).
Что и требовалось доказать.
Таким образом, задача описания k-хороших колец обобщенных матриц сведена к задаче описания (к-1)-хороших диагональных матриц. В общем случае диагональная обобщенная матрица 2-хорошей не будет. Таким образом, встает вопрос - при каких условиях обеспечивается k-хорошесть диагональной обобщенной матрицы?
ЛИТЕРАТУРА
1. Крылов П.А., Туганбаев А.А. Модули над кольцами формальных матриц // Фундаментальная и прикладная математика. 2009. Т. 15. № 8. С. 145-211.
2. Крылов П.А. О группе К0 кольца обобщенных матриц // Алгебра и логика. 2013. Т. 52. № 3. C. 370-385.
3. Tang G., Zhou Y. A class of formal matrix rings // Linear Algebra and Appl. 2013. V. 428. P. 4672-4688.
4. Wolfson K.G. An ideal theoretic characterization of the ring of all linear transformations // Amer. J. Math. 1953. V. 75. P. 358-386.
5. Zelinsky D. Every linear transformation is a sum of non-singular ones // Proc. Amer. Math. Soc. 1954. V. 5. P. 627-630.
6. Skornyakov L. Complemented modular lattices and regular rings. London: Oliver&Boyd, 1958. 182 p.
О суммах диагональных и обратимых обобщенных матриц
39
7. Raphael R.M. Rings which are generated by their units // J. Algebra. 1974. V. 28. P. 199— 204.
8. Fuchs L. Recent results and problems on Abelian groups // Topics in Abelian groups (Proc. Sympos., New Mexico State University). 1962. Scott, Foresman, Chicago. P. 9-40.
9. Stringall R.W. Endomorphism rings of Abelian groups generated by automorphism groups // Acta Math. Acad. Sci. Hungar. 1967. V. 18. P. 401-404.
10. Freedman H. On endomorphisms of primary Abelian groups // J. London Math. Soc. 1968. V. 43. P. 305-307.
11. Hill P. Endomorphism ring generated by units // Trans. Amer. Math. Soc. 1969. V. 141. P. 99-105.
12. Castagna F. Sums of automorphisms of a primary Abelian group // Pacific J. Math. 1968. V. 27. P. 463-473.
13. Henriksen M. Two classes of rings generated by their units // J. Algebra. 1974. V. 31. P. 182193.
14. VamosP. 2-good rings // Quart. J. Math. 2005. V. 56. P. 417-430.
15. Srivastava A.K. A survey of rings generated by units // Annales de la Faculte des Sciences de Toulouse Mathatiques. 2010. V. 19. P. 203-213.
Статья поступила 03.06.2015 г.
Norbosambuev T.D. ON SUMS OF DIAGONAL AND INVERTIBLE FORMAL MATRICES DOI 10.17223/19988621/36/4
This paper concerns properties of k-good formal matrix rings Kn of order n with rings R1, R2, ..., Rn on the main diagonal and R,-R,-bimodules My on other places. In the ring theory, various matrix rings play an important role. Above all I mean formal matrix rings. Formal matrix rings generalize a notion of matrix ring of order n over a given ring. Every ring with nontrivial idem-potents is isomorphic to some formal matrix ring. The endomorphism ring of a decomposable module also is a formal matrix ring. The studies of such rings are quite useful for solving some problems on endomorphism rings of Abelian groups. In this paper I show that every matrix form Kn is the sum of diagonal matrix and invertible matrix. Also I give one condition when Kn is the k-good ring.
Keywords: ring, generalized matrix, formal matrix, k-good ring
NORBOSAMBUEV Tsyrendorji Dashatsyrenovich (Tomsk State University,
Tomsk, Russian Federation)
E-mail: [email protected]
REFERENCES
1. Krylov P.A., Tuganbaev A.A. Moduli nad kol'tsami formal'nykh matrits. Fundamental’naya i prikladnaya matematika, 2009, vol. 15, no. 8, pp. 145-211. (in Russian)
2. Krylov P.A. O gruppe K0 kol'tsa obobshchennykh matrits. Algebra i logika, 2013, vol. 52, no. 3, pp. 370-385. (in Russian)
3. Tang G., Zhou Y. A class of formal matrix rings. Linear Algebra and Appl., 2013, vol. 428, pp. 4672-4688.
4. Wolfson K.G. An ideal theoretic characterization of the ring of all linear transformations. Amer. J. Math., 1953, vol. 75, pp. 358-386.
5. Zelinsky D. Every linear transformation is a sum of non-singular ones. Proc. Amer. Math. Soc, 1954, vol. 5, pp. 627-630.
6. Skornyakov L. Complemented modular lattices and regular rings. London, Oliver&Boyd, 1958. 182 p.
7. Raphael R.M. Rings which are generated by their units. J. Algebra, 1974, vol. 28, pp. 199204.
40
Ц.Д. Норбосамбуев
8. Fuchs L. Recent results and problems on Abelian groups. Topics in Abelian groups (Proc. Sympos., New Mexico State University). Scott, Foresman, Chicago, 1962, pp. 9-40.
9. Stringall R.W. Endomorphism rings of Abelian groups generated by automorphism groups. Acta Math. Acad. Sci. Hungar., 1967, vol. 18, pp. 401-404.
10. Freedman H. On endomorphisms of primary Abelian groups. J. London Math. Soc., 1968, vol. 43, pp. 305-307.
11. Hill P. Endomorphism ring generated by units. Trans. Amer. Math. Soc., 1969, vol. 141, pp. 99-105.
12. Castagna F. Sums of automorphisms of a primary Abelian group. Pacific J. Math., 1968, vol. 27, pp. 463-473.
13. Henriksen M. Two classes of rings generated by their units. J. Algebra, 1974, vol. 31, pp. 182- 193.
14. Vamos P. 2-good rings. Quart. J. Math., 2005, vol. 56, pp. 417-430.
15. Srivastava A.K. A survey of rings generated by units. Annales de la Faculte des Sciences de ToulouseMathatiques, 2010, vol. 19, pp. 203-213.
