Ändligtgenererad modul
![]() | Den här artikeln behöver källhänvisningar för att kunna verifieras. (2014-12) Åtgärda genom att lägga till pålitliga källor (gärna som fotnoter). Uppgifter utan källhänvisning kan ifrågasättas och tas bort utan att det behöver diskuteras på diskussionssidan. |
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 , där och . Motsvarande gäller om M är en högermodul; en allmän linjärkombination skrivs då dock .
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 = {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.