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 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 en cyklisk modul. Notera dock att det omvända inte gäller i allmänhet.

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]