В абстрактной алгебре , Морит эквивалентность является отношением , определенным между кольцами , что сохраняет многие теоретико-кольцевых свойства. Он назван в честь японского математика Киити Морита, который определил эквивалентность и подобное понятие двойственности в 1958 году.
Мотивация [ править ]
Кольца обычно изучаются с точки зрения их модулей , поскольку модули можно рассматривать как представления колец. Каждое кольцо R имеет на себе естественную структуру R -модулей, где действие модуля определяется как умножение в кольце, поэтому подход через модули является более общим и дает полезную информацию. Из-за этого часто изучают кольцо, изучая категорию модулей над этим кольцом. Эквивалентность Мориты приводит эту точку зрения к естественному выводу, определяя кольца как эквивалентные Морите, если их категории модулей эквивалентны . Это понятие представляет интерес только при работе с некоммутативными кольцами, поскольку можно показать, что два коммутативных кольца эквивалентны Морите тогда и только тогда, когда они изоморфны .
Определение [ править ]
Два кольца R и S (ассоциативные, с 1) называются ( Морита ) эквивалентными, если существует эквивалентность категории (левых) модулей над R , R-Mod , и категории (левых) модулей над S , S-Mod . Можно показать, что категории левого модуля R-Mod и S-Mod эквивалентны тогда и только тогда, когда категории правого модуля Mod-R и Mod-S эквивалентны. Далее можно показать, что любой функтор из R-Mod в S-Mod , дающий эквивалентность, автоматически аддитивен..
Примеры [ править ]
Любые два изоморфных кольца эквивалентны Морите.
Кольцо п матрицы с размерностью п матриц с элементами из R , обозначается М п ( R ), Морит-эквивалентно R для любого п> 0 . Обратите внимание, что это обобщает классификацию простых артиновых колец, данную теорией Артина – Веддерберна . Чтобы увидеть эквивалентность, обратите внимание, что если X - левый R -модуль, то X n - это M n ( R ) -модуль, структура которого задается умножением матриц слева от векторов-столбцов из X. Это позволяет определить функтор из категории левых R -модулей в категорию левых M n ( R ) -модулей. Обратный функтор определяется тем, что для любого M n ( R ) -модуля существует левый R -модуль X такой, что M n ( R ) -модуль получается из X, как описано выше.
Критерии эквивалентности [ править ]
Эквивалентность можно охарактеризовать следующим образом: если F : R-Mod S-Mod и G : S-Mod R-Mod являются аддитивными (ковариантными) функторами , то F и G эквивалентны тогда и только тогда, когда существует сбалансированный ( S , R ) - бимодуль P такой, что S P и P R - конечно порожденные проективные образующие, и существуют естественные изоморфизмы функторов и функторов Конечнопорожденные проективные генераторы также иногда называют прообразующие для их модулей категории. [1]
Для каждого точного справа функтора F из категории левых R- модулей в категорию левых S- модулей, коммутирующих с прямыми суммами , теорема гомологической алгебры показывает, что существует (S, R) -бимодуль E такой, что Функтор естественно изоморфен функтору . Поскольку эквивалентности по необходимости точны и коммутируют с прямыми суммами, отсюда следует, что R и S эквивалентны по Морите тогда и только тогда, когда существуют бимодули R M S и S N R такие, чтокак (R, R) бимодули и как (S, S) бимодули. Кроме того, N и М связаны через (S, R) бимодуля изоморфизма: .
Более конкретно, два кольца R и S эквивалентны Морите тогда и только тогда, когда для модуля- прообразователя P R , [2] что имеет место тогда и только тогда, когда
(изоморфизм колец) для некоторого натурального числа n и полного идемпотента e в кольце матриц M n ( R ).
Известно, что если R эквивалентно S по Морите , то кольцо C ( R ) изоморфно кольцу C ( S ), где C (-) обозначает центр кольца , и, кроме того, R / J ( R ) является Морита эквивалентен S / J ( S ), где J (-) обозначает радикал Джекобсона .
Хотя изоморфные кольца эквивалентны Морите, эквивалентные кольца Морита могут быть неизоморфными. Простым примером является то, что тело D эквивалентно по Морите всем своим матричным кольцам M n ( D ), но не может быть изоморфным при n > 1. В частном случае коммутативных колец эквивалентные по Морите кольца фактически изоморфны. Это сразу следует из комментария выше, потому что если R Морита эквивалентно S , .
Свойства, сохраненные эквивалентностью [ править ]
Многие свойства сохраняются функтором эквивалентности для объектов в категории модулей. Вообще говоря, любое свойство модулей, определенное исключительно в терминах модулей и их гомоморфизмов (а не их основных элементов или кольца), является категориальным свойством, которое будет сохраняться функтором эквивалентности. Например, если F (-) является функтором эквивалентности из R-Mod в S-Mod , то R- модуль M имеет любое из следующих свойств тогда и только тогда, когда S- модуль F ( M ) имеет: инъективный , проективный , плоский ,точный , простой , полупростой , конечно порожденный , конечно представленный , артинов и нетеров . Примеры свойств, которые не обязательно сохраняются, включают свободу и цикличность .
Многие теоретические свойства колец сформулированы в терминах их модулей, и поэтому эти свойства сохраняются между эквивалентными кольцами Мориты. Свойства, общие для эквивалентных колец, называются инвариантными свойствами Мориты . Например, кольцо R является полупростой тогда и только тогда , когда все его модули полупросты, и так как полупростые модули сохраняются при Морита эквивалентности, эквивалентное кольцо S также должны иметь все его модули полупрост, и , следовательно , быть само по себе является полупростое кольцо.
Иногда не сразу становится очевидным, почему собственность должна быть сохранена. Например, используя одно стандартное определение регулярного кольца фон Неймана (для всех a в R существует x в R такое, что a = axa ) неясно, что эквивалентное кольцо также должно быть регулярным по фон Нейману. Однако другая формулировка: кольцо регулярно по фон Нейману тогда и только тогда, когда все его модули плоские. Поскольку плоскостность сохраняется для эквивалентности Мориты, теперь ясно, что регулярность фон Неймана инвариантна по Морите.
Следующие свойства инвариантны по Морите:
- простой , полупростой
- фон Нейман регулярный
- правый (или левый) нётерский , правый (или левый) артинианский
- правый (или левый) самоинъективный
- квазифробениус
- простой , правый (или левый) примитивный , полупервичный , полупримитивный
- правый (или левый) (полу) наследственный
- правый (или левый) неособый
- правый (или левый) когерентный
- полупервичный , правый (или левый) совершенный , полусовершенный
- полулокальный
Примеры свойств, которые не являются инвариантными по Морите , включают коммутативные , локальные , редуцированные , доменные , правые (или левые) Голди , Фробениуса , инвариантное базисное число и конечное Дедекинда .
Есть по крайней мере два других теста для определения того, является ли свойство кольца инвариантным по Морите. Элемент е в кольце R является полным идемпотентным при х 2 = е и ReR = R .
- является инвариантным по Морите тогда и только тогда, когда любое кольцо R удовлетворяет , тогда то же самое делает eRe для каждого полного идемпотента e и то же самое делает каждое кольцо матриц M n ( R ) для любого натурального числа n ;
или же
- является инвариантным по Морите тогда и только тогда: для любого кольца R и полного идемпотента e в R , R удовлетворяет тогда и только тогда, когда кольцо eRe удовлетворяет .
Дальнейшие указания [ править ]
Двойственной теории эквивалентностей является теория двойственности между категориями модулей, где используемые функторы являются контравариантными, а не ковариантными. Эта теория, хотя и похожа по форме, имеет существенные различия, потому что нет двойственности между категориями модулей для любых колец, хотя двойственность может существовать для подкатегорий. Другими словами, поскольку бесконечномерные модули [ требуется пояснение ], как правило, не являются рефлексивными, теория двойственности легче применима к конечно порожденным алгебрам над нётеровыми кольцами. Возможно, неудивительно, что указанный выше критерий имеет аналог для двойственности, где естественный изоморфизм задается в терминах функтора hom, а не тензорного функтора.
Эквивалентность Морита также может быть определена в более структурированных ситуациях, например, для симплектических группоидов и C * -алгебр . В случае C * -алгебр более сильная эквивалентность типов, называемая строгой эквивалентностью Морита , необходима для получения результатов, полезных в приложениях, из-за дополнительной структуры C * -алгебр (вытекающей из инволютивной * -операции), а также потому, что C * -алгебры не обязательно имеют тождественный элемент.
Значение в K-теории [ править ]
Если два кольца эквивалентны Морите, существует индуцированная эквивалентность соответствующих категорий проективных модулей, поскольку эквивалентности Мориты сохраняют точные последовательности (и, следовательно, проективные модули). Так как алгебраические К-теория кольца определяются (в подходе Квиллена ) в терминах гомотопических групп из (примерно) на классифицирующем пространстве от нерва из (малой) категории конечно порожденных проективных модулей над кольцом, Морит эквивалентных колец должны иметь изоморфные K-группы.
Ссылки [ править ]
- ^ DeMeyer & Ингрэм (1971) стр.6
- ^ DeMeyer & Ингрэм (1971) стр.16
- Морита, Киити (1958). «Двойственность для модулей и ее приложения к теории колец с условием минимума». Научные отчеты Tokyo Kyoiku Daigaku. Раздел A . 6 (150): 83–142. ISSN 0371-3539 . Zbl 0080.25702 .
- DeMeyer, F .; Ингрэм, Э. (1971). Сепарабельные алгебры над коммутативными кольцами . Конспект лекций по математике. 181 . Берлин-Гейдельберг-Нью-Йорк: Springer-Verlag . ISBN 978-3-540-05371-2. Zbl 0215.36602 .
- Андерсон, ФВ; Фуллер, KR (1992). Кольца и категории модулей . Тексты для выпускников по математике . 13 (2-е изд.). Нью-Йорк: Springer-Verlag . ISBN 0-387-97845-3. Zbl 0765.16001 .
- Лам, TY (1999). Лекции о модулях и кольцах . Тексты для выпускников по математике . 189 . Нью-Йорк, штат Нью-Йорк: Springer-Verlag . Главы 17-18-19. ISBN 978-1-4612-6802-4. Zbl 0911.16001 .
- Мейер, Ральф. «Эквивалентность Мориты в алгебре и геометрии». CiteSeerX 10.1.1.35.3449 . Cite journal requires
|journal=
(help)
Дальнейшее чтение [ править ]
- Райнер, И. (2003). Максимальные заказы . Монографии Лондонского математического общества. Новая серия. 28 . Издательство Оксфордского университета . С. 154–169. ISBN 0-19-852673-3. Zbl 1024.16008 .