CC BY
14
2018
Математика и механика
№ 52
МАТЕМАТИКА
УДК 512.552+512.643.8 DOI 10.17223/19988621/52/1
MSC: 15B9, 15A06, 15A24, 16S50
Ц.Д. Норбосамбуев
РАНГ ФОРМАЛЬНОЙ матрицы. система формальных ЛИНЕЙНЫХ УРАВНЕНИЙ. ДЕЛИТЕЛИ НУЛЯ
Вводится понятие ранга формальной матрицы со значениями в данном коммутативном кольце и рассматриваются системы формальных линейных уравнений. Приводятся некоторые свойства ранга. Получены необходимые и достаточные условия существования решения однородной системы формальных линейных уравнений. Находится условие, при котором формальная матрица будет левым или правым делителем нуля.
Ключевые слова: кольцо, формальная матрица, ранг формальной матрицы, система формальных линейных уравнений.
Везде далее R - коммутативное кольцо с единицей; Rm - R-модуль всех вектор-столбцов длины m; M(nxm, R) - множество матриц размера nxm с элементами из кольца R; Col,- (A) и Row,- (A) - i-й столбец и j-я строка матрицы А соответственно; K = M(n, R, Е) - кольцо формальных матриц порядка n над кольцом R, с системой множителей Е = {sijk| i, j, k = 1,..,,n}.
Подробно познакомиться с формальными матрицами и кольцами формальных матриц можно в [1-4].
Напомним сначала определение ранга матрицы над произвольным коммутативным кольцом с единицей (см.[3]).
Пусть А еМ(пхт,Я).
Определение 1. Для всякого / = 1,.. .,г = шш{т,п} через Л (А) будем обозначать идеал в Я, порожденный всеми (/х/)-минорами матрицы А.
Таким образом, для нахождения I (А) необходимо вычислить определители всех (/х/)-подматриц в матрице А и затем взять идеал, порожденный ими. По теореме Лапласа всякий (/+1)х(/+1)-минор матрицы А лежит в I(А). Поэтому имеет место следующая цепочка вложений идеалов в Я:
Кажется логичным продолжить определение идеала I (А) на все целые числа следующим образом:
1. Ранг формальной матрицы
Ir (A) с Ir_ (A) с... с 12 (A) с A) с R.
(0), если t > min{m, n}; R, если t < 0.
Тогда 0 = Ir+1 (A) с Ir (A) с Ir_ (A) с... с 12 (A) с Ix (A) с 10(A) = R .
Определение 2. Аннулятором непустого множества S в кольце R называется множество AnnR (S) = {r е R | s ■ r = 0, Vs е S} .
Найдя аннуляторы идеалов It (A), получим вложения:
(0) = AnnR (R) = AnnR (I0 (A)) с AnnR (I1 (A)) с AnnR (I2 (A)) с ... ... с: AnnR (Ir (A)) с AnnR (Ir+1 (A)) = AnnR ((0)) = R.
Заметим, что если AnnR(It (A)) Ф (0), то AnnR(Ik (A)) Ф (0) для всех к > t. Определение 3. Рангом матрицы A е M(n х m, R), обозначаемым через rk(A),
назовем следующее число: rk(A) = max{t е Z | AnnR (It (A)) = (0)}.
Теперь определим ранг формальной матрицы в кольце K = M(n, R, Е), введённом выше. Далее увидим, что на самом деле можно определить n рангов.
Пусть A е K . Зафиксируем число l е{1,...,n} . Существует гомоморфизм ко-
лец ц,: K^M(n, R), (au) ^ (tu ■ au),
где t1J = s„
e E (см. [1]). Другими словами,
' ' У~у "V ' ~у 'А
П/ (ау) = (•% • аг])-
Определение 4. Назовем Е-рангом, /-рангом или просто рангом г/ (А) матрицы А е К ранг матрицы п/ (А) е М (п, Я). То есть г/ (А) = гк(ц/ (А)). Подробнее -г, (А) = шах{, е 21 Аппя (I, (п (А))) = (0)}.
Итак, имеем п рангов - г1 (А), г2 (А), г3 (А),., гп (А) матрицы А е К . Замечание 1. Эти ранги у одной и той же матрицы могут не совпадать для разных /е {1,...,п}.
Пусть теперь А еМ(тхп,Я), то есть А - прямоугольная матрица размера
тхп. Определим ранг матрицы А относительно кольца формальных матриц
К = М(п, Я, Е).
Пусть т<п. Тогда можно «дополнить» матрицу А до матрицы порядка п, дописав к А снизу (п-т) нулевых строк. Полученную матрицу будем обозначать через (#
Полагаем rl (A) = rl | A |.
0 0
0 0
Теперь пусть т>п. Также «дополним» матрицу А до матрицы порядка п, дописав к А справа (т-п) нулевых столбцов. Полученную матрицу будем обозначать через (А | 0):
(Al°) =
Полагаем r, (A) = r, (A | 0).
V" ml
12
m2
aln 0
amn 0
0 ^ 0
Приведем далее несколько простых фактов, непосредственно вытекающих из определения ранга формальной матрицы.
Лемма 1. Пусть A е M(m х n, R), K = M(n, R, Е) - кольцо формальных матриц. Имеют место следующие соотношения и импликации для любого фиксированного lе {l,...,n}:
1) 0 < r (A) < min{m, n};
2) r (A) = r (PAQ), VP, Q е U(M(n,R, S));
3) r (A) = 0 ö AnnR (Ii (ni (A))) ф (0);
4) Если m = n, то rl (A) < n ö d(A) е Z(R), где d(A) - определитель формальной матрицы А, Z(R) - множество делителей нуля кольца R.
Доказательство. Пункты 1), 3) и 4) прямо следуют из определения Е-ранга формальной матрицы и леммы 4.11 в [3].
2) Для всяких матриц B е M(m х p, R) и C е M(p х n, R) справедлив следующий факт [5]: It (BC) с It (B) n It (C), Vt е Z . Теперь можем заключить:
It(ni(PA))сIt(ni(A)) = It(ni(P-\PA)))сIt(ni(PA)), то есть It(щ(PA)) = It(Ц[(A)), Vt е Z , Vi е {1,...,n}. Аналогично можем проверить равенство: It (ni (PAQ)) = It (ni (PA)), Vt е Z , Vi е{1,..., n}. Откуда прямо следует: Г (A) = r (PAQ), VP, Q е U(M(n,R, S)). □
Следствие 1. Так как определитель формальной матрицы не зависит от выбора номера i е {1,..., n} , то из пункта 4) леммы 1 вытекает, что если ri (A) < n хотя бы для одного i, то он не равен n ни для какого другого номера к е {1,...,n} .
2. Системы формальных линейных уравнений
Пусть A е M(m х n,R) и m<n. Под системой формальных линейных уравнений (СФЛУ) понимаем матричное уравнение
A
, X = в1-
гдеХ1 - квадратная матрица порядка п с элементами х1,х2,...,хп в 1-м столбце и нулями на всех остальных местах, В1 - аналогичная матрица, но с элементами Ь1,Ь2,...,Ьп. То есть, в полном виде:
^ a11 a12 ...... a1n ^
am1 am2 ...... amn
0 0 ...... 0
V 0 0 ...... 0 у
f0 ... 0 x1 0 ... 0^1 0 ... 0 x2 0 ... 0
0 ... 0 xn 0 ... 0
f0 ... 0 b 0 ... 0^ 0 ... 0 b2 0 ... 0
у V0 ... 0 bn 0 ... Oy
Замечание 3. В данном случае в 1-м столбце матрицы В1 последние п-т элементов всегда равны нулю.
Если А е М(т х п,Я) и т>п, то, аналогично, системой формальных матричных уравнений назовем матричное уравнение:
(А | 0) оX, = В,,
гдеХ/- квадратная матрица порядка т с элементами х1 ,х2,...,хп,0,...,0 в /-м столбце и нулями на всех остальных местах, В/ - квадратная матрица порядка т с элементами Ъ1,Ъ2,...,Ът в /-м столбце и нулями на всех остальных местах.
В частности, при т = п, то есть, если А - квадратная матрица, имеем систему
А о Х1 = В1, или
Г 0 0
(ап1 ып2 ... апп) (0 ••• " Лп " ••' ") (" ••• " "п " ••' ")
Далее везде будем писать А о Х1 = В1. Если матрица А прямоугольная, то дописывая в систему формальных линейных уравнений нулевые строки или столбцы всегда можем получить систему с квадратной матрицей. Перемножая матрицы А и Х/, имеем равенство
0 ^
0 хп 0
Г 0
0) (0
0 Ъ1 0 Ъ2
0 Ъп 0
0 ^ 0
0
(
0
0
X
к=1 п
0 X
Л
0
0
к=1
0
0 X <
0
0
к=1
Г 0 0
0 Ъ1 0 Ъ2
0 ^ 0
0 Ъп 0
(*)
Замечание 4. В зависимости от выбора /е {1,...,п} получим п различных СФЛУ, не обязательно эквивалентных между собой.
Предложение 1. Система формальных линейных уравнений А о Х1 = В1 эквивалента обычной системе линейных уравнений п (А) • X = В над кольцом Я, где X и В - вектор-столбец неизвестных и вектор-столбец (Ъ1,Ъ2,.,Ъп)т длины п соответственно.
Доказательство. Действительно, отбросив в равенстве (*) нулевые столбцы, получим п линейных уравнений над Я, которые можно объединить в систему
Я111а11Х1 + Я12/а12 Х2 + ... + ^пЛпХп = Ъ1 Я21/а21Х1 + Я221а22 Х2 + ... + Я2п1а2пХп = Ъ2
Матрица
^п1/ап1х1 + 2/ап 2 Х2 + ... + Япп1аппХп = Ъп
Г Я111а11 Я121а12 ... Я1п/аЪ ^ Я211а21 Я22/а22 ... Я2п/а2
(Л п11ип1
п21 п2
^пп1ипп )
является образом матрицы А относительно гомоморфизма Ць
Очевидно, что решение этой системы Яп будет решением и для СФЛУ А о Х1 = В1, если записать его в виде матрицы с нулями везде, кроме /-го столбца, в который нужно вписать вектор е Яп. □
Если Bl = 0, то система A о Хг = 0 называется однородной. У такой системы всегда имеется, по крайней мере, одно решение, а именно Х1 = 0, называемое тривиальным или нулевым.
Следующий результат, являющийся аналогом теоремы Маккоя [7], дает необходимые и достаточные условия для существования нетривиального решения однородной системы формальных линейных уравнений.
Теорема 1. Пусть A е M(m х n, R). Однородная СФЛУ A ° Xi = 0 имеет нетривиальное решение тогда и только тогда, когда rl (A) < min{m,n}.
Доказательство. Согласно предложению 1, однородная система A о Xi = 0 имеет нетривиальное решение тогда и только тогда, когда имеет нетривиальное решение однородная система n (A) • X = 0. Тогда по теореме Маккоя (см. [5], теорема 5.3) последнее эквивалентно неравенству гк(ц1 (A)) < min{m,n}. Осталось заметить, что rl (A) = гк(ц1 (A)) по определению ранга rl (A). □
Следствие 2. Однородная СФЛУ имеет нетривиальное решение, если количество уравнений в ней меньше числа неизвестных.
Доказательство. Действительно, пусть A о Xl = 0 - система, в которой количество уравнений меньше числа неизвестных, то есть m < n. По пункту 1) леммы 1 rl(A) < min{m,n} = m < n. Тогда по теореме 1 система A оXl = 0 имеет нетривиальное решение. □
Далее будем говорить о неоднородных системах, то есть Bl - не обязательно нулевая матрица.
Комбинируя предложение 1 и теорему 5.17 из [5], несложно убедиться в том, что правило Крамера остается справедливым для СФЛУ.
Теорема 2 (Правило Крамера). Пусть A е K и d(A) е U(R), другими словами, пусть А - обратимая формальная матрица. Тогда для любой матрицы Bl с l-м столбом Coll (Bl) = (¿j,b2,...,bn)T е Rn и нулями на всех остальных местах уравнение A о Xl = Bl имеет единственное решение - матрицу Л1 е K с l-м столбцом Coll Л) = (у„у2,..., Уп)T е Rn , где
(siuau ... s1,y_1,la1 J— b1 s\,j+i,laij+1 ••• s1nla1n ^ s21la21 ••• s2, J—1 ,l a2 J_1 b2 s2, J+1,la2 J+1 ••• s2nla2n
y, = d(A)- • det
Sn\lan\ ••• sn, j-\,lanj-\ bn Sn, j+\,lanj+\ ••• snnlann/
Vj =1,...,n,
и нулями на всех остальных местах.
Итак, если А - обратимая формальная матрица, то СФЛУ A ° X¡ = B¡ имеет единственное решение для любой Bl е K. Следующая теорема дает необходимые условия, при которых уравнение A о Хг = Bl имеет решение для любой A е M(m х n, R) и любой B¡ е K.
Теорема 3. Пусть A е M(m х n, R). Допустим, что СФЛУ A ° X¡ = B¡ имеет решение. Тогда It (n (A)) = It (n (A) | Col,- (B)), для любого t е (1,..., n}, где (П (A) | Col,- (Bi)) - матрица n (A) с приписанным справа l-м столбцом матрицы B¡.
Доказательство этой теоремы следует из предложения 1 и теоремы 5.21 в [5].
Замечание 5. В теореме 3 мы могли сразу считать, что m < n.
Доказательство. Действительно, пусть A е M(m х n,R) и m>n. Легко видеть, что It(A) = It(A | 0), где A | 0 - матрица А с дописанными справа (m-n) нулевыми столбцами. Матрица A | 0 имеет размерность nxn. Смысл вышесказанного в том, что, переходя от А к A | 0, можем, без потери общности, считать, что m < n. □
В общем случае выполнение равенства It(п, (A)) = It(п, (A) | Col,- (B¡)) не гарантирует существование решения для системы A о X, = B¡. Следующий результат, аналогичный теореме Камиона - Леви - Манна [6] для систем линейных уравнений над кольцом R, дает достаточные условия для разрешимости СФЛУ A о X, = B,.
Можем полагать B¡ Ф 0 и m < n.
Через Im (п, (A) | B)* будем обозначать идеал в R, порождаемый всеми (mxm)-минорами матрицы(п, (A) | Col,- (B,)), которые включают элементы последнего столбца. Другими словами, Im (п, (A) | B)* порождается множеством
{A(¿I.....m ; jl,..., J'm-U n + 1)|1 ^ jl < ... < jm-1 ^ n}.
Теорема 4. Пусть A е M(m х n,R), m < n и r, (A) = 0. Допустим, что в R существует идеал W и неделитель нуля z е R такие, что WIm (ц, (A) | B)* с Rz с WIm (ц, (A)). Тогда СФЛУ A о X, = B¡ имеет решение.
Доказательство этой теоремы следует из предложения I и теоремы 5.25 в [3].
Следствие 3. Пусть матрица A е M(m х n,R) такая, что Im (п, (A)) = R для некоторого фиксированного l е {I,..., n} . Тогда для любой B¡ е K СФЛУ A ° X¡ = B¡ имеет решение.
3. Делители нуля в кольце формальных матриц
Формальная матрица A из кольца K = M(n, R, Е) формальных матриц порядка n над кольцом R с системой множителей Е = {sijk е C(R) | i, j,k = I,...,n} называется
левым делителем нуля, если A о B = 0 для некоторой ненулевой формальной матрицы B из K. Аналогично, A е K - правый делитель нуля, если B о A = 0 для какой-то ненулевой B е K. Следующая теорема характеризует делители нуля в K.
Теорема 5. Пусть A е K. Эквивалентны следующие утверждения:
1) A - левый делитель нуля в K;
2) A - правый делитель нуля в K;
3) d(A) е Z(R);
4) r¡(A) < n для любого lе {l,...,n}.
Доказательство. Схема доказательства: 4)^3), 4)^1), 2)^3), 1)^2).
4)^3) По лемме 1.
4)^1). Так как r¡(A) < n для любого lе {1,.,n}, то по теореме 1 СФЛУ A ° X, = 0 имеет нетривиальное решение. Таким образом, A - левый делитель нуля в K.
2)^3). Пусть R - кольцо частных кольца R. Ясно, что существует кольцо формальных матриц K = M(n,R, Е). Считаем, что R с R и K с 1С . Допустим, что d(A) - неделитель нуля. Значит, d(A) - обратимый элемент в R . Тогда по [1] матрица A обратима в K .
Из равенства B ° A = 0 получаем B = 0. Но по условию B Ф 0. Противоречие. Итак, d(A) е Z (R).
1)—2). Пусть A, B е K - ненулевые формальные матрицы и A ° B = 0. Тогда в кольце KT будет справедливо равенство: BT*AT = 0, то есть AT - правый делитель нуля в KT. Тогда по 2)—^3)—>1) AT - также левый делитель нуля в KT. Значит, найдется ненулевая матрица C е K, для которой AT*C = 0. Возвращаясь в кольцо K, получаем равенство CT о A = 0 . То есть A - правый делитель нуля в K. □
Таким образом, правые и левые делители нуля в кольцах формальных матриц со значениями в данном коммутативном кольце R совпадают и их определители -делители нуля в R.
ЛИТЕРАТУРА
1. Крылов П.А., Туганбаев А.А. Формальные матрицы и их определители // Фундаментальная и прикладная математика. 2014. № 1(19). С. 65-119.
2. Крылов П.А., Туганбаев А.А. Модули над кольцами формальных матриц // Фундаментальная и прикладная математика. 2009. Т. 15. № 8. С. 145-211.
3. Норбосамбуев Ц.Д. О суммах диагональных и обратимых обобщенных матриц // Вестник Томского госуниверситета. Математика и механика. 2015. № 4(36). С. 34-41.
4. Норбосамбуев Ц.Д. 2-хорошие диагональные формальные матрицы над кольцом целых чисел // Всероссийская молодежная научная конференция «Все грани математики и механики» (25 - 29 апреля 2016 г.): сб. статей. Томск: Изд-во Том. ун-та, 2016. С. 6-13.
5. Brown W.C. Matrices over commutative rings. New York: Marcel Dekker Inc., 1993. 294 p.
6. Camion P., Levy L.S., Mann H.B. Linear equations over commutative ring // J. Algebra. 1971. V. 18. P. 432 - 436.
7. McCoy N. Rings and Ideals. Carus Math. Monogr. 8, Mathematical Association of America, 1948. 216 p.
Статья поступила 19.01.2018 г.
Norbosambuev T. D. (2018) RANK OF FORMAL MATRIX. SYSTEM OF FORMAL LINEAR EQUATIONS. ZERO DIVISORS. Vestnik Tomskogo gosudarstvennogo universiteta. Matematika i mekhanika [Tomsk State University Journal of Mathematics and Mechanics]. 52. pp. 5-12
DOI 10.17223/19988621/52/1
Keywords: Ring, formal matrix, rank of formal matrix, system of formal linear equations.
In this paper, we present the notion of the formal rank, i.e., the rank of a formal matrix over an arbitrary commutative ring, and some its general properties. Next, we introduce the notion of systems of formal linear equations and give necessary and sufficient conditions for the existence of a solution of homogenous systems of formal linear equations. In Section 2, we show that Cramer's rule is still valid for systems of formal linear equations. Finally, in Section 3, we establish the condition under which a formal matrix is a left or right zero divisor.
AMS Mathematical Subject Classification: 15B9, 15A06, 15A24, 16S50
NORBOSAMBUEV Tsyrendorji Dashatsyrenovich (Tomsk State University, Tomsk, Russian Federation). E-mail: NsTsdDts@yandex.ru
REFERENCES
1. Krylov P.A., Tuganbaev A.A. (2015) Formal Matrices and Their Determinants. J. Math. Sci. 211:341. DOI: 10.1007/s10958-015-2610-3
2. Krylov P.A., Tuganbaev A.A. (2010) Modules over formal matrix rings. J. Math. Sci. 171:248. DOI: 10.1007/s10958-010-0133-5
3. Norbosambuev T.D. (2015) O summah diagonal'nyh i obratimyh formal'nyh matrits [On sums of diagonal and invertible formal matrices]. Vestnik Tomskogo gosudarstvennogo universiteta.
Matematika i mekhanika - Tomsk State University Journal of Mathematics and Mechanics. 4(36). pp. 34-41. DOI: 10.17223/19988621/36/4.
4. Norbosambuev T.D. (2016) 2-horoshie diagonal'nye formal'nye matritsy nad koltsom tselyh chisel [2-good diagonal formal matrices over the ring of integers]. Proceedings of All-Russia Scientific Youth Conferences "All Faces of Mathematics and Mechanics". Tomsk: TGU Publ. pp. 6-13.
5. Brown W.C. (1993)Matrices over commutative rings. New York: Marcel Dekker Inc.
6. Camion P., Levy L.S., Mann H.B. (1971) Linear equations over commutative ring. J. Algebra. 18. P. 432-436. DOI: 10.1016/0021-8693(71)90073-1.
7. McCoy N. (1948) Rings and Ideals. Carus Math. Monogr. 8, Mathematical Association of America.
