En cyklisk modul är inom ringteori en (vänster- eller höger)modul som genereras av ett enda element. Speciellt är den alltså en ändligtgenererad modul.
Med andra ord är en vänstermodul M över en unitär ring A cyklisk om det finns något element x i modulen sådant att varje element i modulen kan skrivas som en multipel av ett ringelement och x. Formellt kan detta uttryckas som att
för något .
Ett exempel är enkla moduler, då varje nollskilt element i en enkel modul genererar hela modulen. Om till exempel M är en enkel vänstermodul över den unitära ringen A, och x ≠ 0 är ett element i M, så är Ax = { ax : a ∈ A } en nollskild delmodul av M. Eftersom M enligt antagandet inte har några andra delgrupper än 0 och M själv, måste Ax = M, det vill säga, x genererar hela M. Detta innebär att varje enkel modul är en cyklisk modul. Notera dock att det omvända inte gäller i allmänhet.
Exempel
Ett linjärt rum är cykliskt (som modul över sin kropp av skalärer) precis om det har dimension högst ett. En abelsk grupp är cyklisk som modul över Z precis om den är cyklisk som grupp. Varje nollmodul och varje enkel modul är cyklisk, se förra stycket. Ett ensidigt ideal är cykliskt precis om det är ett principalideal.
Egenskaper
Givet en cyklisk A-modul M, som generas av x ∈ M, finns det en kanonisk isomorfi mellan M och A / AnnAx, där AnnAx betecknar annihilatorn till x inA. Om M är en cyklisk delmodul av A och M inte är nolldelmodulen, så har M minst en maximal äkta delmodul.
Se även
Cyklisk grupp Ändligtgenererad modul
Kategori:Ringteori