Ändligtgenererad modul

Mall:Källor Inom ringteorin, en del av matematiken, är en ändligtgenererad modul en vänster- eller högermodul över någon unitär ring, sådan att den genereras av någon ändlig delmängd. Således är vänstermodulen M över ringen R ändligtgenererad, om det finns någon ändlig delmängd G = {g₁,...,g_r} av M, sådan att varje element i M kan framställas som en linjärkombination $a_1{g}_1+a_2{g}_2+\dots +a_r{g}_r$, där $a_1,a_2,\dots ,a_r\in A$ och $g_1,g_2,\dots ,g_r\in G$. Motsvarande gäller om M är en högermodul; en allmän linjärkombination skrivs då dock $g_1{a}_1+g_2{a}_2+\dots +g_r{a}_r$.

Ett linjärt rum är ändligtgenererat (som modul över sin kropp av skalärer) precis om rummet har ändlig dimension. En abelsk grupp är ändligtgenererad (som modul över Z) precis om den är en ändligtgenererad grupp. Om generatormängden bara innehåller ett enda element, så kallas modulen cyklisk.

Karakteristiska egenskaper

Vänstermodulen M över R genereras av den ändliga delmängden G om och endast om M själv är den enda delmodulen av M som omfattar G. Om   G = {g₁,...,g_n}   genererar M, så finns vidare en epimorfi   π : Rⁿ → M   genom att (a₁,...,a_n) avbildas på linjärkombinationen   a₁g₁+...+a_ng_n. Omvänt är varje homomorf bild av en fri modul med en ändlig bas ändligtgenererad.