Ю. А.

Дрозд

МАТРИЧНЫЕ ЗАДАЧИ И КАТЕГОРИИ МАТРИЦ

В работе [1]А.В.Ройтер дает определение матричной задачи над

полем с помощью понятия бисистемы и ее представлений. Такой под­
ход существенно опирается на выбор базиса и связан с довольно
сложной вычислительной конструкцией. Поэтому его трудно распрост­
ранить на другие классы задач, например, на задачи, рассмотрен­
ные в [2] .
В настоящей статье дается более общее определение матричной
задачи.Для задач над полем оно эквивалентно определению А.В.Рой-
тера, но отличается от него инвариантностью. Такое определение
позволяет применить к изучению матричных задач теоретико-категор-
ную технику. Это дает возможность, например, доказать однознач­
ность разложения матриц в.прямую сумму неразложимых для широкого
класса задач, включающего, в частности, матричные задачи над по­
лем. Кроме того, возникает естественная шкала сравнений, которая
придает точный смысл.утверждениям типа "задача А слабее (или
сильнее) задачи Б ".

§ I. Определение матричной задачи

В основу предлагаемого определения положены следующие сооб­

ражения. Пусть F - свободный модуль ранга п над кольцом А ,
F = НопгА (F ,А) - двойственный модуль. Если в F зафиксиро­
вать базис, то матрицы размерности п над кольцом А можно отож­
дествить с элементами тензорного произведения F ® A F . При та­
ком отождествлении множество матриц естественно превращается в
бимодуль над кольцом A F = Hom A (F,F)-Hom A (F ,F ).
Две матрицы, X и Y подобны, если в A F есть такой обратимый
элемент S , что Y = S X S . ,
Для того, чтобы получить отсюда нужное определение, остается
сделать два шага. Первый - замена свободных модулей проективными
— вызван скорее соображениями удобства и достаточно очевиден. Вто-г
рой шаг выглядит менее естественно, но именно он и.составляет ос­
нову всего дальнейшего. Этот шаг заключается в том, что коэффици­
енты матриц берутся не из самого кольца А , а из некоторого А -би~
модуля.
Напомним, что А -бимодуль V - это одновременно левый и
правый А-модуль, в котором левое И правое умножения перестано-

144
вочны: (av)b = a(v6) для любых a,6eA , veV .Если Р - конечно-
порожденный проективный левый А-модуль, Р= НопгА(Р,А) -
двойственный к нему проективный правый А-модуль, то можно обра­
зовать тензорное произведение Vp = Р*®д V ®А Р . Э л е м е н-
т ы Vp МЫ И б у д е м называть матрицами
с коэффициентами и з' V , и л и V -м а т -
р ица ми .
Пусть Ар= НопгА (Р , Р) - КОЛЁЦО эндоморфизмов модуля Р .
Тогда Р естественно рассматривать как правый Ар-модуль, а Р
- как левый Ар -модуль. Поэтому VP превращается в Ар -бимодуль
Две матрицы, X и Y , лежащие в Vp ,
назовем подобными, если в к о л ь ц е Ар
есть такой обратимый элемент 8 ,что
Y=S-'XS
Матричная задача (А, V), о п р е д е л е н ­
ная А-бимодулем V- это задача
классификации V -матриц с т о ч н о сть ю
до подобия.
Для матриц с коэффициентами в произвольном бимодуле V мож­
но ввести понятие п р я м о й с у м м ы . Пусть Р = Pt © Р2 .
Тогда VP ^ Wtl ® W12 ® W21 © W22, где W4 - Pt ®A V ®А
(заметим, что эта прямая сумма групп, но не модулей). В частности,
определен мономорфизм VPj © VP> = \л/и © W„ — V .Об­
раз пары (Xlt Хг) п р и этом мономорфиз­
ме мы б у д е м называть прямой сум­
мой м а т р и ц X t и Хг ж о б о з н а ч„а т ьХ,® Х2.
Очевидно, если V= А, , а P t - свободные модули, это определе­
ние превращается в обычное понятие прямой суммы матриц.
М а т р и ц ы * в и д а Xt ® Х2 н а з о в е м разло­
жимыми, а матрицы, которые .нельзя
представить в таком виде - н е р а з ­
ложимыми.
Как будет видно в дальнейшем,при определении матричных задач
естественно не ограничиваться кольцами с единицей, а ввести в рас­
смотрение несколько более широкий класс колец.
КольцоА н.а з о в е м к о л ь ц о м с р а з ­
ложение'м единицы, если для любого
конечного набора его элементов
Q,, . . . , а „ , найдутся такие идемпо-
т е н т ы е и | , что еа^ а,, и a. J = a t
(i.= l , . : . , a ) . Правы.й (левый)А-модуль
М назовем унитарным, если МА = М
( АМ = М ) . Очевидно, если А - кольцо с единицей, это опреде­
ление равносильно обычному. В дальнейшем все кольца мы будем счи-

145
тать кольцами с разложением единицы, а все модули - унитарными,
в частности, бимодули - унитарными и слева, и справа.
Примерами колец с разложением единицы могут служить кольца
функций,подчиненных условиям конечности: кольцо непрерывных функ­
ций с компактными носителями; кольцо линейных преобразований ко­
нечного ранга и т.п. Приведем еще один, пример, принадлежащий Га­
бриелю [з] , и наиболее важный для нас.
Пусть А - аддитивная категория.^Положим А = © Hom(A,Y)
где X и Y независимо пробегают множество объектов категории А .
Для морфизмов $е Hom,(X,Y) и $£Hom(X', У) определено произ­
ведение 5^ ,если X = Y' . Определим Jty" 0 , если X ^ Y' и рас­
пространим эту операцию по дистрибутивности на все А . Легко про­
верить, что таким образом получается кольцо с разложением единицц
к о т о р о е мы н а з о в е м к о л ь ц о м . м о р ф и з ­
мов к а т е г о р и и А .

§ 2 . Сравнение с бисистемами. Точность.

Если V - бимодуль над кольцом А , то правое и левое умноже­

ния на элемент а ^ А определяют эндоморфизмы %(а) и Е(а) абеле-
вой группы V . Обозначим через Е кольцо эндоморфизмов V как
абелево! группы. Тогда отображение т. А — — Е есть гомоморфизм,
а Е: А — — Е - антигомоморфизм колец. 3 результате получаем гомо­
морфизм А — — Е°*Е ,где Е ° - кольцо, антиизоморфное Е , эле­
менты которого _мы будем обозначать Cf,° (q>e E ) . Образ этого
гомоморфизма, А , есть подкольцо в Е * Е , приче_м из перестано­
вочности левого и правого умножений следует, что А удовлетво­
ряет такому условию; __
если (a.0, JJ) и (у°, &J лежат в А , то aS=8a.
Предположим, что А - конечномерная алгебра над полем К ,
V - алгебра-бимодуль (т.е. cv=vc при се К ) , конечномерный
как векторное пространство над К . Такую задачу мы будем назы­
вать к о н е ч н о м е р н о й матричной задачей над полем К .
Тогда в качестве Е можно взять кольцо линейных преобразований
V , или, после выбора базиса, кольцо матриц. Если V - точный
бимодуль, т.е. в А нет таких ненулевых элементов a , что
a\/=Va=0 , т о отображение А — - А будет изоморфизмом. Поэ­
тому элементы А отождествятся с парами матриц, причем эти пары
образуют подпространство в Е * Е . Если теперь проследить, как
строятся модули \/Р и соответствующие кольца А р , и перейти к
рассмотрению обратимых элементов этих колец, то мы получим поня­
тие бисистемы и ее представлений, введенное в [I] .
Разберем роль условия точности. Абелеву группу V можно рас­
сматривать и_как бимодуль над А , очевидно, точный, который мы
обозначим V . Всякому проективному А -модулю Р соответствует
л
)мы всегда будем предполагать,что объекты категории образуют
множество.
146
проективный А-модуль Р = Р ® А А , причем группы матриц VP nVp
естественно изоморфны. Кроме того, существует эпиморфизм колец
Ар——Ар и элементы А р действуют на Vp так же как их_образы дейст­
вуют на Vp . Однако не всякий обратимый элемент из Ар является
образом обратимого же элемента из А Р .Поэтому матрицы, подобные
как элементы Vp, могут вовсе не бить подобными как элементы V? , и
матричная задача (А,V) не сводится к задаче (А, V) .Приведем при­
мер, иллюстрирующий этот факт.
Положим А = 2 , V = l/pl . Тогда A = Z / p 2 и (A,V)~ это
задача о приведении матриц над полем из р элементов подобными
преобразованиями. Но, как хорошо известно, матрица S над полем
вычетов является образом целочисленной обратимой матрицы тогда и
только тогда, когда detS = ±l. Поэтому (A,V)- это задача приве­
дения матриц над полем из р алиментов преобразованиями вида
X — - S^XS , где det S = ±1 . Нетрудно проверить (см.[2]), что из
подобия V -матриц не следует их подобие как V -матриц: здесь воз­
никают нетривиальные арифметические инварианты.
Есть, однако, важный случай, в котором можно ограничиться
рассмотрением точных бимодрей. Это случай полуеовершенного коль­
ца А . Кольцо А (с разложением единицы) назовем и о л- у. о о -
в е р ш е н н ы м , если всякий идемпотент в нем разлагается в
сумму ортогональных примитивных идемпотентов.31' Для колец с еди­
ницей это определение эквивалентно определению Басса([5]). Анало­
гично [5] можно показать, что над полусовершенным кольцом всякий
конёчнопорожденный (унитарный) модуль обладает проективным накры­
тием, а для конечнопорожденных проективных модулей имеет место
теорема Крулля-Шмидта. Если _ А - полусовершенное кольцо, то та­
кими будут и кольца А р и Ар , а тогда всякий обратимый эле­
мент из Ар является образом обратимого элемента из А Р . Поэто­
му классы подобия V-матриц и V -матриц_совпадают, т.е. матрич­
ная задача (А,У) сводится к задаче (A.V) .
Конечномерная алгебра над полем всегда полусовершенна.Поэто­
му в задаче, конечномерной над некоторым полем, бимодуль V мож­
но считать точным. Но тогда, как мы уже видели, наше определение
конечномерной матричной задачи над полем фактически эквивалентно
определению А.В.Ройтера, данному в [I].
Для матричных задач с полусовершенным кольцом А удобно
ввести специальную запись. Назовем два идемпотента, е н е э к в и ­
в а л е н т н ы м и , если еА - $ А . Выберем в каждом классе
эквивалентности примитивных идемпотентов по одному представителю.
Полученное множество {е. j- будем называть п о л н о й си­
с т е м о й примитивных идемпотентов.'Положим

*' Напомним, что идемпотент е называется примитивным, если

е А е -локальное кольцо (вполне примарное в терминологии Дже-
кобсона [4] ) .

147
i

Ai; = e i A e j ; V t j =e t V e i ; P^A*.

Всякий конечнопороаденный проективный А -модуль Р однозначно

разлагается в прямую сумму:

Рi а грт« © . . . © рr т * .
к liv

Заметим, что Pt ~ et A . Тогда всякий элемент кольца А р и

модуля V P естественно представлять в виде блочных матриц:

"и • • ' "in\ / A it . . • A in,'

Sk, • • • К \А М
\
где SKj и Хке •<- матрицы размера тк х ще с коэффициента­
ми, соответственно, из А1к1( и. Vt t . При этом умножение ма­
триц определяется обычным способом.

§ 3 . Разделенные задачи и бифункторы

•Важный класс матричных задач возникает следующим образом.Рас­

сматриваются два кольца, At и А2 , и ,A t - Аг - бимодуль V ,
т.е. левый At - и правый А2-модуль такой, что ( а ^ с ц - а ^ у с ц )
для любых a t e A t , ve V . Обозначим А = А1*Аг. V можно прев­
ратить в А -бимодуль, положив
(a t , ajv= a t v; v(a t , a 4 )=va 2 .
Такие бймодули и определенные ими
матричные задачи назовем разделен­
н ы м и , Нетрудно убедиться, что для конечномерных задач над по­
лем это определение совпадает с данным в [ I ] .
В этом случае всякий проективный А -модуль имеет видРг© Р2,
где Pt-проективный А;,-модуль, причем Ap-"A P i *A p ,а
Vp* Pt*eAl V®Az Рг , т.к. Р* ®А V - V ®А Pi = 0 * .Поэтому
Vp также является разделенным бимодулем. Очевидно, матрицы X и
Y подобны тогда и только тогда, когда в A P l и A P j найдутся
такие обратимые элементы S и Т , что Y - SXT . Говорят, что
над V -матрицами совершаются "элементарные преобразования" сле­
ва над At и справа над Аг . Если положить А а ~А г = У=К ,то
получится обычная задача приведения матриц над кольцом К элемен­
тарными преобразованиями.
Для разделенных задач с полусовершенными кольцами Ai а A t

148
 удобно ввести специальную запись, выбирая полные системы примити­
вных идемпотентоз отдельно в A i и А 2 . В этом случае матрицы,
представляющие элементы из Vp будут, вообще говоря, прямоуголь­
ными.
- К разделенным задачам сводится операторное изучение бифунк­
торов, подобно тому, как это сделано в [I] для "бифункторов над
полем".
Пусть AtH.. А 2 - аддитивные категории, F(X1,X1) - адди­
тивный бифунктор, ковариантный по Xt и контравариантный по Х г
( Хь~ объект категории Ai, ) , со значениями в категории абе-
левых групп. Два элемента группы F(Xt, Х 2 ) , а и $ , назовем
эквивалентными, если существуют автоморфизмы $t (1= 1,2.) , со­
ответственно объектов Х ь , что р = Si01?!» Задача операторно­
го изучения бифунктора F - это описание классов эквивалентности,
на которые разбиваются группы F ( X 4 , X j ,
С бифунктором F можно связать разделенный бимодуль следую­
щим образом. Пусть A L - кольца морфизмов категорий A-t . Поло­
жим V = ® F (Xt, X J , где Xj и Хг независимо пробегают
множества объектов категорий -А, и А г . Определим действие мор-
физма.$: Y — - Z категории A t на элемент ve F (Ха, Х 2 ) по пра­
вшу:

(р* (Ь XJJV , если Y = X t

JV=
| 0 если ГФХ,
Это действие можно продолжить до структуры левого А,-модуля на
группе V . Аналогичным образом V превращается в правый А2-мо-
дуль и тем самым, как легко видеть, в А г -А г -бимодуль.
Если Xt - объект категории A L , то Р. = © Нот (Xt,Y)
•- циклический проективный A t -модуль (он порождается-тождествен­
ным морфизмом объекта X,, ) , и если Р = Р х ® Р2 , то
=
Vp F ( X 1 ( X 2 ). При этом подобные матрицы из V p - это эквивален­
тные элементы F(X15 Х 2 ). Поэтому операторное изучение бифункто­
ра F сводится к разделенной матричной задаче ( A / A t ,V) . Для
того, чтобы не было "лишних матриц", т.е. любой проективный A-t
-модуль соответствовал какому-нибудь объекту, на категории A t
нужно наложить дополнительное условие. Именно,они должны быть
в п о л н е а д д и т и в н ы м и в смысле следующего опреде­
ления.
Аддитивная кате-г.ория называется
вполне аддитивной, если в ней вся­
кий и д е м п о т е н т н.ы й э н д о м о р ф и з - м име­
ет я д р о . Легко видеть, что это равносильно тому, что вся­
кий такой эндоморфизм соответствует разложению объекта в прямую
сумму. Практически все аддитивные категории, встречающиеся в раз-

149
10 1227
личных областях математики, являются вполне аддитивными,

§ 4. Категории матриц. Теорема Крулля-Шмидта

Матрицы с коэффициентами в бимодуле V удобно рассматривать

как объекты некоторой категории M l V ) . Морфизмы этой категории
определяются следующим образом. Пусть Р и Q - два проективных
А -модуля, 5 - гомоморфизм Р в CL . О н индуцирует гомомор­
физм J: Q* ~-Р* и гомоморфизмы

Sv: V p — P*®AV®AQ;

Для матриц X e Vp, Y e Vu положим

Hom(X,Y)={5h:P — Q; X j v = ^ Yf

Аксиомы категории проверяются непосредственно.

Легко видеть, что М (V)- вполне аддитивная категория, при­
чем прямая сумма матриц является их прямой суммой в категории-
Mi V) . Подобные матрицы - это изоморфные объекты категории. Как
следствие, получаем такой результат.
Теорема об однозначности разложения
Пусть К- полное локальное н е т е -
рево коммутативное кольцо, А- та­
кая К - а л г е б р а , что для любого
идемпотента е <= А К - м о д у л ь е А е конеч-
н о п о. р о ж д е н , V- а л г е б р а-б и ш о д у л ь
н а д А , Х- н е к о т о р а я V -м а т р и ц а,
Х = Х 4 © . . . © Х„.= Y , © . - - ©

два разложения матриц ы X в пря­

мую сумму неразложимых м а т р и ц . Тог­
д а т, = п 'и , п р и подходящей нумерации
с л а г а е м ы х , м а т р и ц ы X;, и Yt подобны
(I = 1, • • •, м).
Доказательство. Кольцо эндоморфизмов любой иатрицы в кате­
гории M(V) является К -алгеброй, конечнопорожденной как К -мо­
дуль. Отсюда нетрудно заключить, используя полноту К , что оно
полусовершенно. Но тогда утверждение теоремы елвдует, например,
из теоремы 3.10.2 книги [4 ] .
§ 5. Сравнение матричных задач
Категорная точка зрения позволяет установить для матричных

150
задач некоторую шкалу сравнения. Пусть V и W - бимодули над
кольцами А и В , F - аддитивный функтор из категории M(V) в
категорию М (W) . Б у д е м г о в о р и т ь , ч т о (А,\/)
часть з а д а ч и (В,Wj, ' е с л и из
F(X)-F(Y) с л е д у е т Х- Y ; б у д е м г о в о р и т ь ,
что (B,W)- о г р у б л е н и е з а д а ч и (А,V), е с ­
ли всякий объект и з M(W-) изоморфен
о б ъ е к т у , . в и д а F(X ) . Е с л и выполняются
оба эти условия (для одного и то­
го же ф у н к т о р а F ) , то задачи бу­
дем называть э к в и в а л е н т н ы м и . Замет»,
что при этом категории M(V) и H(Wj совсем не обязаны быть
эквивалентными.
Будем говорит.ь, что зад-ача(В,\л/)
слабее матричной з а д а ч и (А,V), е с л и
существует п о с л е д о в а т е л ь н о с т ь за­
дач
(A,V), (Alt Vi),.- • , ( A f t , V j , (B,W),

в которой каждая следующая задача

я в л я е т с я либо частью, либо огруб­
лением п р е д ы д у щ е й . Очевидно, что есть отношение
квазшюрядка. Д в е з а д а ч и , каждая из к о т о ­
рых слабее другой назовем равно­
с и л ь н ы м и . Эквивалентные задачи равносильны, однако обрат­
ное., вообще говоря, неверно.
Приведем примеры.
1. В обозначениях п.2 матричная задача (A,V) является огру­
блением задачи (А , V ) . Если же кольцо А полусовершенно, то эти
задачи эквивалентны.
2. Пусть Ц>: V - — W - гомоморфизм А -бимодулей. Для любо­
го проективного модуля Р он индуцирует гомоморфизм \/р — - W p
Таким образом мы получаем функтор <Р: М(\/) — M ( W ) . Бели
с? -мономорфизм (эпиморфизм), то (A,V)- часть (A,W) (соот­
ветственно, (A , W ) -огрубление ( A , W ) . Поэтому, если W -
фактор бимодуля V (т.е. фактормодуль некоторого его подмодуля),
то задача (A,Wj слабее задачи (A,Vj .
3. Зафиксируем конечнопорожденный проективный А -модуль Р0
и положим В = Аро , W = V P e . Тогда для любого проективного
В-модуля Р модуль Р ' = Р 0 ® В Р есть проективный А-модуль,
причем W p - VP> и В р - Ар1 . Эти изоморфизмы индуцируют фун­
ктор F: M l W ) — ~ M ( V j , а задача (B,W) является частью зада­
чи (A,V) . Если же Р0 является образующим категории А.-модулей
[з] , то задача(В,W) эквивалентна задаче (A,V) .
4. Конечномерная матричная задача (A.V) над полем К ,оче-

151
видно.является огрублением задачи (K,V) . Но (K,V)_ это задача
о; приведении а матриц над полем К одновременными подобными
преобразованиями, где n. = dtmV. Предположим для простоты,что
поле К бесконечно и выберем в нем а различных элементов
,с а . Сопоставим набору матриц X l t Хп пару мат-
риц
X, Е 0 . . . 0 »Е 0 0
0 ХгЕ . . . 0 0 сгЕ 0
0 0Х3. . . 0 0 0 *£
0 0 0... xj О 0 0 '.Е/
( Е - единичная матрица данной размерности). Можно проверить,что
так мы получим функтор, превращающий задачу (К, V ) в часть зада­
чи , где oUml)= 2 (задача о паре матриц). Следовательно,
любая конечномерная задача над полем слабее задачи о паре матриц.

§ 6. Тензоры

В заключение покажем, как введенные понятия переносятся на

тензоры высших валентностей. Для того, чтобы определить тензоры
р раз ко- и q, раз контравариантные, надо рассмотреть (р,Ц)
-модуль над кольцом А , т.е. абелеву группу V , на которой})
способами введена структура левого и ц способами - правого
-модуля, причем операторы, соответствующие разным способам,комму­
тируют. Тогда для любого проективного А -модуля Р можно опреде­
лить группу тензоров Vp :

УР = Р _ ® А - - - @ А Р Ч Н Р . * А . . - » Л Р

рраз 9 раз

Подобие тензоров и категория тензоров T P (V) определяются оче­

видным образом. При р = CD, =1 получаем введенные выше матрицы.Ин­
тересно отметить, что этот случай - единственный; в котором кате­
гория Tp^tV) оказывается аддитивной. Можно сказать, что матри­
цы - "самый линейный" из всех объектов линейной алгебры. Возмож­
но, именно в этом состоит причина особой роли матриц, по сравне­
нию с другими объектами,во всех вопросах линейного характера.

152
 ЛИТЕРАТУРА

1.А.В.Ройтер. Матричные.задачи и представления бисистем. Насто­

ящий сборник, стр. 130-143
2 . Ю.А.Дрозд, В.М.Турчин. 0 числе модулей в роде для целочислен­
ных колец второго порядка, "Матем.заметки", 1967,т.2,
133-138.
3 . [Link]. Des categories abeliennes. "Bull. [Link]",
1962, v . 9 0 , 323-448.
4 . Н.Джекобсон. Строение колец. М., Ш, 1961.
5. [Link]. P i n i t i s t i c dimension and homological generalization
of semi-primary r i n g s . "Trans. Amer. Math. Soc.' 1 , I960,
v . 9 5 . 466-488.

153