Exakt följd

Från Wikipedia
Hoppa till: navigering, sök

Inom matematiken, speciellt inom ringteori, modulteori, homologisk algebra, differentialgeometri och gruppteori, är en exakt följd en följd, antaingen ändlig eller oändlig, av objekt och morfismer mellan dem så att bilden av en sådan morfism är lika med nollrummet av den följande.

Definition[redigera | redigera wikitext]

I samband med gruppteori kallas en följd

G_0 \;\xrightarrow{f_1}\; G_1 \;\xrightarrow{f_2}\; G_2 \;\xrightarrow{f_3}\; \cdots \;\xrightarrow{f_n}\; G_n

av grupper och grupphomomorfier exakt om bilden av varje homomorfi är lika med nollrummet av det följande:

\mathrm{im}(f_k) = \mathrm{ker}(f_{k+1}).

Notera att följden av grupper och homomorfier kan vara ändlig eller oändlig.

Likadana definitioner kan göras för andra algebraiska strukturer. Exempelvis kan man betrakta exakta följder av vektorrum och linjära avbildningar eller moduler och modulhomomorfier. Mer allmänt kan exakta följder betraktas i varje kategori med nollrum och konollrum.

Källor[redigera | redigera wikitext]

Den här artikeln är helt eller delvis baserad på material från engelskspråkiga Wikipedia, Exact sequence, 30 maj 2014.


Externa länkar[redigera | redigera wikitext]