Cyklisk modul

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

En cyklisk modul är inom ringteori en (vänster- eller höger)modul som genereras av ett 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; det vill säga,

M = Ax = \{ax|a\in A\}\,.

Varje nollskilt element i en enkel modul genererar hela modulen. Om nämligen 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. Speciellt är varje enkel modul en cyklisk modul, men omvändningen gäller i allmänhet inte.

Exempel[redigera | redigera wikitext]

Egenskaper[redigera | redigera wikitext]

  • 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[redigera | redigera wikitext]