Эндоморфизмов Кольцо

ассоциативное кольцо End А=Ноm(A, А), состоящее из всех морфизмов . В себя, где А - объект нек-рой аддитивной категории С. Умножение в End Асовпадает с композицией морфизмов, а сложение - со сложением морфизмов, определенным аксиомами аддитивной категории. Тождественный морфизм 1A является единицей кольца End A. Элемент из End Аобратим тогда и только тогда, когда - автоморфизм объекта А. Если Aи В- нек-рые объекты категории С, то группа Ноm ( А, В )обладает естественной структурой правого модуля над кольцом End Аи левого модуля над кольцом End В. Пусть - ковариантный (соответственно контравариантный) аддитивный функтор из аддитивной категории Св аддитивную категорию С'. Тогда для любого объекта Аиз С функтор Тиндуцирует естественный гомоморфизм (соответственно естественный антигомоморфизм) End Пусть С - категория модулей над кольцом R.

Для R-модуля Акольцо End Асостоит из всех эндоморфизмов абелевой группы А, перестановочных с умножением на элементы из R. Сумма эндоморфизмов определяется формулой Если R - коммутативно, то кольцо End Аобладает естественной структурой R-алгобры. Многие свойства модуля Амогут быть охарактеризованы в терминах кольца End А. Напр., модуль Анеприводим тогда и только тогда, когда End Аявляется телом. Произвольный гомоморфизм p ассоциативного кольца Кв End Аназ. Представлением кольца . (эндоморфизмами объекта А). Если К - кольцо с единицей, то накладывается дополнительное условие Любое ассоциативное кольцо Кобладает точным представлением в Э. К. Нек-рой абелевой группы А. Причем, если К - кольцо с единицей, то в качестве Аможно взять аддитивную группу кольца К, на к-рую элементы из K действуют умножением слева.

Если же К - кольцо без единицы и K'- кольцо, полученное из Квнешним присоединением единицы к К, то в качестве Аможно взять аддитивную группу кольца K'. В случае абелева многообразия Xнаряду с кольцом End A , являющимся конечно порожденным -модулем, рассматривают алгебру эндоморфизмов (алгебру комплексных умножений) Лит.:[1] Фейс К., Алгебра. Кольца, модули и категории, т. 1-2, пер. С англ., М., 1977-79. [2] Мaмфорд Д., Абелевы многообразия, пер. С англ., М., 1971. [3] Итоги науки и техники. Алгебра. Топология. Геометрия, т. 21, М., 1983, с. 183-254. Л. В. Кузьмин.