Endomorfismus

Endomorfismus  je morfismus objektu kategorie do sebe, v kontextu univerzální algebry  je to homomorfismus , který mapuje algebraický systém do sebe.

V jakékoli kategorii je složení dvou endomorfismů také endomorfismem, složení je asociativní a existuje identický endomorfismus. Z toho vyplývá, že všechny endomorfismy pro objekt tvoří monoid , který se označuje (nebo pro zdůraznění kategorie ).

Reverzibilní endomorfismus (mající vlastnosti izomorfismu ) se nazývá automorfismus . Množina automorfismů je podmnožinou s přirozenou grupovou strukturou a označuje se .

Podle pravidla lze přidat libovolné dva endomorfismy abelovské grupy . S přidáním definovaným tímto způsobem, endomorphisms nějaké abelian skupiny tvoří prsten volal endomorphism prsten . Například endomorfismy volné abelovské grupy  jsou kruhem všech matic s celočíselnými koeficienty. Endomorfismy vektorového prostoru nebo modulu také tvoří prstenec, stejně jako endomorfismy jakéhokoli objektu preaditivní kategorie . Endomorfismy komutativního monoidu tvoří semiring , zatímco endomorfismy nekomutativní skupiny tvoří strukturu známou jako blízký prsten .

Literatura