У контексту апстрактне алгебре или универзалне алгебре, мономорфизам је просто инјективни хомоморфизам.
Када се посматра у општијем контексту теорије категорија, мономорфизам је морфизам f : X → Y такав да
за све морфизме g1, g2 : Z → X.
Мономорфизми су аналогни инјективним функцијама, али се не ради о два потпуно иста пјма. Дуал мономорфизма је епиморфизам (тј. мономорфизам у категорији C је епиморфизам у дуалној категорији Cop).
Изразе мономорфизам и епиморфизам је увео Бурбаки; Бурбаки користи мономорфизам као скраћени израз за инјективну функцију. Рани теоретичари категорија су веровали да је тачна генерализација инјективности у контекст категорија својство дато горе. Мада ово није сасвим тачно за моничка пресликавања, врло је близу тачног, па је ово довело до мало невоља, за разлику од случаја епиморфизама. Саундерс Маклејн је покушао да направи разлику између онога шта је називао мономорфизмима, који су били пресликавања у конкретној категорији чија су пресликавања скупова која су им у основи, инјективна, и моничких пресликавања, која су мономорфизми у категоријском смислу речи. Ова дистинкција никада није ушла у општу употребу.
Сваки морфизам у конкретној категорији чија је функција у основи инјективна, је мономорфизам. У категорији скупова, обратно такође важи, па су мономорфизми управо инјективни морфизми. Обратно такође важи у већини категорија алгебри које се природно јављају, због постојања слободног објекта на једном генератору. На пример, тачно је у категоријама група и прстенова, и у свакој Абеловој категорији.
Међутим, није тачно у општем случају да сви мономорфизми морају бити инјективни у осталим категоријама. На пример, у категорији Div дељивих Абелових група и хомоморфизама група између њих постоје мономорфизми који нису инјективни: узмимо количничко пресликавање q : Q → Q/Z. Јасно је да ово није инјективно пресликавање; па ипак, ради се о мономорфизму у овој категорији. Да би се ово видело, треба обратити пажњу да ако је q o f = q o g за неке морфизме f,g : G → Q где је G нека дељива Абелова група, онда q o h = 0 где h = f - g (ово има смисла пошто се ради о адитивној категорији). Ово имплицира да је h(x) цео број ако x ∈ G. Ако h(x) није 0 тада, на пример,
тако да
што је у контрадикцији са q o h = 0, па је h(x) = 0 и q је стога мономорфизам.
This article uses material from the Wikipedia Српски / Srpski article Мономорфизам, which is released under the Creative Commons Attribution-ShareAlike 3.0 license ("CC BY-SA 3.0"); additional terms may apply (view authors). Садржај је доступан под лиценцом CC BY-SA 4.0 осим ако је другачије наведено. Images, videos and audio are available under their respective licenses.
®Wikipedia is a registered trademark of the Wiki Foundation, Inc. Wiki Српски / Srpski (DUHOCTRUNGQUOC.VN) is an independent company and has no affiliation with Wiki Foundation.