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

В математике эндоморфизмы абелевой группы X образуют кольцо . Это кольцо называется кольцом эндоморфизмов X и обозначается End( X ); множество всех гомоморфизмов X в себя. Сложение эндоморфизмов происходит естественным образом поточечным способом и умножением через композицию эндоморфизмов . Используя эти операции, набор эндоморфизмов абелевой группы образует (единичное) кольцо с нулевой картой в качестве аддитивной идентичности и тождественной картой в качестве мультипликативной идентичности . ^[1]^[2] ${\textstyle 0:x\mapsto 0}$ ${\textstyle 1:x\mapsto x}$

Используемые функции ограничены тем, что в контексте определяется как гомоморфизм, который зависит от категории рассматриваемого объекта. Следовательно, кольцо эндоморфизмов кодирует несколько внутренних свойств объекта. Поскольку кольцо эндоморфизмов часто является алгеброй над некоторым кольцом R, его также можно назвать алгеброй эндоморфизмов .

Абелева группа — это то же самое, что модуль над кольцом целых чисел , которое является исходным объектом в категории колец . Аналогичным образом, если R — любое коммутативное кольцо , эндоморфизмы R -модуля образуют алгебру над R по тем же аксиомам и выводу. В частности, если R — поле , его модули M — векторные пространства , а кольцо эндоморфизмов каждого из них — алгебра над полем R.

Описание

Пусть ( A , +) — абелева группа, и мы рассматриваем гомоморфизмы групп из A в A . Тогда сложение двух таких гомоморфизмов можно определить поточечно, чтобы получить другой групповой гомоморфизм. Явно, учитывая два таких гомоморфизма f и g , сумма f и g представляет собой гомоморфизм f + g : x ↦ f ( x ) + g ( x ) . При этой операции End( A ) является абелевой группой. После дополнительной операции композиции гомоморфизмов End( A ) является кольцом с мультипликативной единицей. Эта композиция явно равна fg : x ↦ f ( g ( x ) ) . Мультипликативное тождество — это тождественный гомоморфизм на A . Аддитивные обратные — это поточечные обратные.

Если множество A не образует абелеву группу, то приведенная выше конструкция не обязательно корректно определена, поскольку тогда сумма двух гомоморфизмов не обязательно должна быть гомоморфизмом. ^[3] Однако замыкание множества эндоморфизмов при выполнении вышеуказанных операций является каноническим примером почти -кольца , которое не является кольцом.

Характеристики

Кольца эндоморфизмов всегда имеют аддитивные и мультипликативные тождества , соответственно нулевую карту и тождественную карту .
Кольца эндоморфизмов ассоциативны , но обычно некоммутативны .
Если модуль простой , то его кольцо эндоморфизмов является телом (иногда это называют леммой Шура ). ^[4]
Модуль неразложим тогда и только тогда, когда его кольцо эндоморфизмов не содержит нетривиальных идемпотентных элементов . ^[5] Если модуль является инъективным модулем , то неразложимость эквивалентна тому, что кольцо эндоморфизмов является локальным кольцом . ^[6]
Для полупростого модуля кольцо эндоморфизмов является регулярным кольцом фон Неймана .
Кольцо эндоморфизмов ненулевого цепного справа модуля имеет один или два максимальных правых идеала. Если модуль артинов, нётеров, проективен или инъективен, то кольцо эндоморфизмов имеет единственный максимальный идеал, так что оно является локальным кольцом.
Кольцо эндоморфизмов артинова равномерного модуля является локальным кольцом. ^[7]
Кольцо эндоморфизмов модуля конечной композиционной длины является полупримарным кольцом .
Кольцо эндоморфизмов непрерывного или дискретного модуля — чистое кольцо . ^[8]
Если модуль R конечно порожден и проективен (то есть является прогенератором ), то кольцо эндоморфизмов модуля и R обладают всеми свойствами инварианта Морита. Фундаментальный результат теории Морита состоит в том, что все кольца, эквивалентные R, возникают как кольца эндоморфизмов прогенераторов.

Примеры

В категории R - модулей кольцо эндоморфизмов R -модуля M будет использовать только гомоморфизмы R - модулей , которые обычно являются собственным подмножеством гомоморфизмов абелевой группы. ^[9] Когда M — конечно порожденный проективный модуль , кольцо эндоморфизмов является центральным для Моритовой эквивалентности категорий модулей.
Для любой абелевой группы , поскольку любая матрица в имеет естественную структуру гомоморфизма следующего вида: $А$ $\mathrm {M} _{n}(\operatorname {End} (A))\cong \operatorname {End} (A^{n})$ $\mathrm {M} _{n}(\operatorname {End} (A))$ $A^{n}$
${\begin{pmatrix}\varphi _{11} &\cdots &\varphi _{1n} \\\vdots &&\vdots \\\varphi _{n1} &\cdots &\varphi _{nn} \end{pmatrix}}{\begin{pmatrix}a_{1}\\\vdots \\a_{n}\end{pmatrix}}={\begin{pmatrix}\sum _{i=1}^{n }\varphi _{1i}(a_{i})\\\vdots \\\sum _{i=1}^{n}\varphi _{ni}(a_{i})\end{pmatrix}}.$

Этот изоморфизм можно использовать для построения множества некоммутативных колец эндоморфизмов. Например: , поскольку .

\operatorname {End} (\mathbb {Z} \times \mathbb {Z})\cong \mathrm {M} _{2}(\mathbb {Z})

\operatorname {End} (\mathbb {Z})\cong \mathbb {Z}

Кроме того, когда поле, существует канонический изоморфизм , так что , то есть, кольцо эндоморфизмов -векторного пространства отождествляется с кольцом n -n матриц с элементами в . ^[10] В более общем смысле, алгебра эндоморфизмов свободного модуля естественным образом представляет собой -матрицу с элементами в кольце .

R=K

\operatorname {Конец} (K)\cong K

\operatorname {End} (K^{n})\cong \mathrm {M} _{n}(K)

K

K

M=R^{n}

п

п

R

В качестве частного примера последнего пункта: для любого кольца R с единицей End( RR ₎ = R , где элементы R действуют на R умножением слева .
В общем, кольца эндоморфизмов могут быть определены для объектов любой преаддитивной категории .

Примечания

^ Фрэли 1976, с. 211
^ Пассман 1991, стр. 4–5.
^ Даммит и Фут, с. 347
^ Джейкобсон 2009, с. 118
^ Джейкобсон 2009, с. 111, п. 3.1
^ Висбауэр 1991, с. 163
^ Висбауэр 1991, с. 263
^ Камилло и др. 2006 г.
^ Абелевы группы также можно рассматривать как модули над кольцом целых чисел.
^ Дрозд и Кириченко 1994, стр. 23–31.

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

Описание

Характеристики

Примеры

Примечания

Рекомендации