Русская Википедия:Эндоморфизм

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Эндоморфизм — морфизм объекта категории в себя, в контексте универсальной алгебры — гомоморфизм, отображающий алгебраическую систему в себя.

В любой категории композиция двух эндоморфизмов <math>X</math> также является эндоморфизмом, композиция ассоциативна и существует тождественный эндоморфизм. Отсюда следует, что все эндоморфизмы для объекта <math>X</math> образуют моноид, который обозначается <math>\operatorname{End}(X)</math> (или <math>\operatorname{End}_C(X)</math>, чтобы подчеркнуть категорию <math>C</math>).

Обратимый эндоморфизм (обладающий свойствами изоморфизма) называется автоморфизмом. Множество автоморфизмов является подмножеством <math>\operatorname{End}(X)</math> с естественной структурой группы, оно обозначается <math>\operatorname{Aut}(X)</math>.

Любые два эндоморфизма абелевой группы можно складывать по правилу <math>(f+g)(a)=f(a)+g(a)</math>. С определённым таким образом сложением эндоморфизмы любой абелевой группы образуют кольцо, называемое Шаблон:Iw. Например, эндоморфизмы свободной абелевой группы <math>\mathbb Z^n</math> — это кольцо всех <math>n \times n</math> матриц с целыми коэффициентами. Эндоморфизмы векторного пространства или модуля также образуют кольцо, как и эндоморфизмы любого объекта предаддитивной категории. Эндоморфизмы коммутативного моноида образуют полукольцо, а эндоморфизмы некоммутативной группы образуют структуру, известную как почтикольцо.

Литература