Jump to content

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

(Перенаправлено из алгебры эндоморфизмов )

В математике эндоморфизмы абелевой группы X образуют кольцо . Это кольцо называется кольцом эндоморфизмов X и обозначается End( X ); множество всех гомоморфизмов X . в себя Сложение эндоморфизмов происходит естественным образом поточечным способом и умножением через композицию эндоморфизмов . С помощью этих операций множество эндоморфизмов абелевой группы образует (единичное) кольцо с нулевым отображением как аддитивная идентичность и карта идентичности как мультипликативное тождество . [1] [2]

Используемые функции ограничены тем, что в контексте определяется как гомоморфизм, который зависит от категории рассматриваемого объекта. Следовательно, кольцо эндоморфизмов кодирует несколько внутренних свойств объекта. Поскольку кольцо эндоморфизмов часто является алгеброй над некоторым кольцом 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] Однако замыкание множества эндоморфизмов при указанных выше операциях является каноническим примером почти-кольца , не являющегося кольцом.

Свойства [ править ]

Примеры [ править ]

  • В категории R - модулей кольцо эндоморфизмов R - модуля M будет использовать только гомоморфизмы R - модулей , которые обычно являются собственным подмножеством гомоморфизмов абелевой группы. [9] Когда M конечно порожденный проективный модуль , кольцо эндоморфизмов является центральным для эквивалентности Мориты категорий модулей.
  • Для любой абелевой группы , , поскольку любая матрица в несет естественную структуру гомоморфизма следующее:
Этот изоморфизм можно использовать для построения множества некоммутативных колец эндоморфизмов. Например: , с .
Кроме того, когда является полем, существует канонический изоморфизм , так , то есть кольцо эндоморфизмов -векторное пространство отождествляется с кольцом n -x n матриц с элементами в . [10] В более общем смысле, алгебра эндоморфизмов свободного модуля естественно -к- матрицы с элементами в кольце .
  • качестве частного примера последнего пункта: для любого кольца R с единицей End( RR В ) = R , где элементы R действуют на R умножением слева .
  • В общем, кольца эндоморфизмов могут быть определены для объектов любой преаддитивной категории .

Примечания [ править ]

  1. ^ Фрэли 1976 , с. 211
  2. ^ Пассман 1991 , стр. 4–5.
  3. ^ Даммит и Фут , с. 347
  4. ^ Джейкобсон 2009 , с. 118
  5. ^ Джейкобсон 2009 , с. 111, п. 3.1.
  6. ^ Висбауэр 1991 , с. 163
  7. ^ Висбауэр 1991 , с. 263
  8. ^ Камилло и др. 2006 г.
  9. ^ Абелевы группы также можно рассматривать как модули над кольцом целых чисел.
  10. ^ Drozd & Kirichenko 1994 , pp. 23–31

Ссылки [ править ]

  • Камилло, вице-президент; Хурана, Д.; Лам, Тайвань; Николсон, ВК; Чжоу, Ю. (2006), «Непрерывные модули чисты», J. Algebra , 304 (1): 94–111, doi : 10.1016/j.jalgebra.2006.06.032 , ISSN   0021-8693 , MR   2255822
  • Drozd, Yu. A.; Kirichenko, V.V. (1994), Finite Dimensional Algebras , Berlin: Springer-Verlag, ISBN  3-540-53380-Х
  • Черт возьми, Дэвид; Фут, Ричард, Алгебра
  • Фрэли, Джон Б. (1976), Первый курс абстрактной алгебры (2-е изд.), Чтение: Аддисон-Уэсли , ISBN  0-201-01984-1
  • «Кольцо эндоморфизмов» , Математическая энциклопедия , EMS Press , 2001 [1994]
  • Джейкобсон, Натан (2009), Основная алгебра , том. 2 (2-е изд.), Дувр, ISBN  978-0-486-47187-7
  • Пассман, Дональд С. (1991), Курс теории колец , Pacific Grove: Wadsworth & Brooks/Cole, ISBN  0-534-13776-8
  • Висбауэр, Роберт (1991), Основы теории модулей и колец , Алгебра, логика и приложения, том. 3 (переработано и переведено из немецкого издания 1988 г.), Филадельфия, Пенсильвания: Gordon and Breach Science Publishers, стр. xii+606 , ISBN  2-88124-805-5 , МР   1144522 Пособие для учебы и научных исследований
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: af3a6de6562286140ca8019d7eaf05c2__1709674080
URL1:https://arc.ask3.ru/arc/aa/af/c2/af3a6de6562286140ca8019d7eaf05c2.html
Заголовок, (Title) документа по адресу, URL1:
Endomorphism ring - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)