Monomorfizam

U kontekstu apstraktne algebre ili univerzalne algebre, monomorfizam je injektivni homomorfizam. Monomorfizam iz X u Y često se označava s notacijom Predložak:Matematika

U općenitijim kontekstu teorije kategorija, monomorfizam (koji se također naziva monički morfizam ili mono ) je lijevo-pokratni morfizam. Odnosno, strelica Predložak:Matematika takva da za sve objekte Predložak:Matematika i sve morfizme Predložak:Matematika,

$f\circ g_1=f\circ g_2⟹g_1=g_2.$

Monomorfizmi su kategorična generalizacija injektivnih funkcija; u nekim se kategorijama pojmovi podudaraju, ali monomorfizmi su općenitiji, kao u donjim primjerima.

Kategorički dual monomorfizma je epimorfizam, tj. Monomorfizam u kategoriji C je epimorfizam u dualnoj kategoriji C ^op. Svaka je sekcija monomorfizam, a svaka retrakcija epimorfizam.

Relacija prema invertibilnosti

Lijevo-invertibilni morfizmi su nužno monični: ako je l lijevi inverzni za f (znači l je morfizam i $l\circ f={\mathrm{id}}_X$ ), tada je f moničko, kao

$f\circ g_1=f\circ g_2\Rightarrow l\circ f\circ g_1=l\circ f\circ g_2\Rightarrow g_1=g_2.$

Lijevo invertibilni morfizam naziva se sekcija.

Međutim, monomorfizam ne mora biti lijevo-invertibilan. Na primjer, u kategoriji Grupa svih grupa i grupnih homomorfizama među njima, ako je H podgrupa od G, tada je inkluzija Predložak:Nowrap uvijek monomorfizam; ali f ima lijevi inverz u kategoriji ako i samo ako H ima normalan komplement u G.

Morfizam Predložak:Nowrap je moničan ako i samo ako je inducirana karta Predložak:Nowrap, definirano Predložak:Nowrap za sve morfizme Predložak:Nowrap, injektivan je za sve objekte Z.

Primjeri

Svaki morfizam u konkretnoj kategoriji čija je temeljna funkcija injektivna je monomorfizam; drugim riječima, ako su morfizmi zapravo funkcije između skupova, tada će svaki morfizam koji je injektivna funkcija nužno biti monomorfizam u kategoričkom smislu. U kategoriji skupova vrijedi i obrnuto, tako da su monomorfizmi upravo injektivni morfizmi. Obrnuto vrijedi i u većini prirodno stvorenih kategorija algebri zbog postojanja slobodnog objekta na jednom generatoru. Osobito je točno u kategorijama svih skupina, svih prstenova i u bilo kojoj abelovskoj kategoriji.

Međutim, općenito nije istina da svi monomorfizmi moraju biti injektivni u drugim kategorijama; to jest, postoje konteksti u kojima su morfizmi funkcije između skupova, ali može postojati i funkcija koja nije injektivna, a ipak je monomorfizam u kategoričkom smislu. Na primjer, u kategoriji Div djeljivih (abelovskih) skupina i grupnih homomorfizama između njih postoje monomorfizmi koji nisu injektivni: razmotrite, primjerice, kvocijentnu presliku Predložak:Nowrap, gdje je Q racionali sa zbrojem, Z cijeli brojevi (također se smatraju grupom koja se dodaje), a Q / Z je odgovarajuća kvocijentna skupina. Ovo nije injektivna karta, kao što je na primjer, svaki cijeli broj mapiran na 0. Ipak, riječ je o monomorfizmu u ovoj kategoriji. To proizlazi iz implikacije Predložak:Nowrap, što ćemo sada dokazati. Ako Predložak:Nowrap, gdje je G neka djeljiva skupina, a Predložak:Nowrap, tada je Predložak:Nowrap Sada popravite nešto Predložak:Nowrap Bez gubitka općenitosti, možemo pretpostaviti da je Predložak:Nowrap (u suprotnom odaberite umjesto - x ). Onda, ostavljajući Predložak:Nowrap, jer je G djeljiva skupina, postoji neki Predložak:Nowrap takav da je Predložak:Nowrap, pa je Predložak:Nowrap. Iz ovoga i Predložak:Nowrap proizlazi da

$0\le \frac{h(x)}{h(x)+1}=h(y)<1$

Budući da je Predložak:Nowrap, slijedi da je Predložak:Nowrap, a time i Predložak:Nowrap Ovo kaže da je Predložak:Nowrap, po želji.

Da krenemo od te implikacije na činjenicu da je q monomorfizam, pretpostavimo da je Predložak:Nowrap za neke morfizme Predložak:Nowrap, gdje je G neka djeljiva skupina. Tada je Predložak:Nowrap, gdje je Predložak:Nowrap. (Budući da je Predložak:Nowrap, i Predložak:Nowrap, slijedi da je Predložak:Nowrap ). Iz tek dokazane implikacije, Predložak:Nowrap. Stoga je q monomorfizam, kao što je tvrđeno.

Svojstva

• U toposu je svaki mono izjednačivač, a svaka mapa koja je i monična i epska je izomorfizam.
• Svaki izomorfizam je moničan.

Povezani pojmovi

Tu su i korisni pojmovi redovitog monomorfizma, ekstremnog monomorfizma, neposrednog monomorfizma, jakog monomorfizma i podijeljenog monomorfizma.

• Za monomorfizam se kaže da je regularan ako je izjednačivač nekog para paralelnih morfizama.
• Monomorfizam $\mu$ kaže se da je ekstremna Predložak:Sfn ako je u svakom predstavljanju $\mu =\phi \circ \epsilon$, gdje $\epsilon$ je epimorfizam, morfizam $\epsilon$ automatski je izomorfizam.
• Monomorfizam $\mu$ kaže se da je neposredan ako u svakoj reprezentaciji $\mu ={\mu }^{\prime }\circ \epsilon$, gdje ${\mu }^{\prime }$ je monomorfizam i $\epsilon$ je epimorfizam, morfizam $\epsilon$ automatski je izomorfizam.

• 

  Monomorfizam $\mu :C\to D$ kaže se da je jak Predložak:Sfn Predložak:Sfn ako za bilo koji epimorfizam $\epsilon :A\to B$ i bilo koji morfizam $\alpha :A\to C$ i $\beta :B\to D$ takav da $\beta \circ \epsilon =\mu \circ \alpha$, postoji morfizam $\delta :B\to C$ takav da $\delta \circ \epsilon =\alpha$ i $\mu \circ \delta =\beta$,
• Monomorfizam $\mu$ kaže se da se razdioba ako postoji morfizam $\epsilon$ takav da $\epsilon \circ \mu =1$ (u ovom slučaju $\epsilon$ naziva se lijevo-inverznim za $\mu$ ).

Terminologija

Popratne pojmove monomorfizam i epimorfizam izvorno je uveo Nicolas Bourbaki ; Bourbaki koristi monomorfizam kao skraćenicu za injektivnu funkciju. Rani kategorički teoristi vjerovali su da je pravilno generaliziranje injektivnosti u kontekst kategorija prethodno poništeno svojstvo otkazivanja. Iako to nije sasvim točno za moničke karte, vrlo je blizu, tako da je to stvorilo malo problema, za razliku od slučaja epimorfizma. Saunders Mac Lane pokušao je napraviti razliku između onoga što je nazvao monomorfizmi, a to su karte u konkretnoj kategoriji čije su temeljne mape skupa injektivne, i monične karte, koje su monomorfizmi u kategoričkom smislu te riječi. Ova razlika nikada nije došla u opću upotrebu.

Drugi naziv za monomorfizam je ekstenzija, iako je i ova druga upotreba.

Vidi također

• Ugradnja
• Podobjekt
• Epimorfizam
• Nodalna dekompozicija

Literatura

• Predložak:Cite book
• Predložak:Cite book
• Predložak:Cite book
• Predložak:Cite book