Ändligtgenererad modul

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

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 = {g1,...,gr} av M, sådan att varje element i M kan framställas som en linjärkombination a_1g_1+a_2g_2+\ldots+a_rg_r, där a_1,a_2,\ldots,a_r \in A och g_1,g_2,\ldots,g_r \in G. Motsvarande gäller om M är en högermodul; en allmän linjärkombination skrivs då dock g_1a_1+g_2a_2+\ldots+g_ra_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[redigera | redigera wikitext]

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 = {g1,...,gn}   genererar M, så finns vidare en epimorfi   π : Rn → M   genom att (a1,...,an) avbildas på linjärkombinationen   a1g1+...+angn. Omvänt är varje homomorf bild av en fri modul med en ändlig bas ändligtgenererad.