Yksinkertainen moduuli

Rengasteoriassa yksinkertainen moduuli (kutsutaan myös "pelkistymättömäksi moduuliksi") renkaan R päällä on R :n päällä  oleva moduuli , jolla ei ole nollasta poikkeavia oikeita alimoduuleja . Vastaavasti moduuli on yksinkertainen, jos ja vain jos mikä tahansa sen yhden elementin (nollasta poikkeava elementti) generoima syklinen moduuli osuu yhteen koko moduulin kanssa. Yksinkertaiset moduulit muodostavat äärellisen pituisia moduuleja , tässä mielessä ne ovat samanlaisia ​​kuin yksinkertaiset ryhmät .

Esimerkkejä

Ominaisuudet

Jokainen alkumoduuli on hajoamaton , päinvastoin ei yleensä pidä paikkaansa. Myös yksinkertainen moduuli on syklinen .

Olkoon M ja N  moduuleja saman renkaan päällä ja f  : M → N  moduulihomomorfismi. Jos M on yksinkertainen, niin f on joko nolla tai injektiivinen . Itse asiassa homomorfismin ytimen täytyy olla alimoduuli. Jos N on myös yksinkertainen, niin f on joko nolla tai isomorfismi. Siksi alkumoduulin endomorfismirengas on jakorengas . Tämä tulos tunnetaan nimellä Schurin lemma .

Jacobsonin tiheyslause

Yksinkertaisten moduulien teorian tärkeä saavutus on Jacobsonin tiheyslause (1945). Hän väittää sen

Olkoon U yksinkertainen R-moduuli ja D = Loppu R (U). Olkoon A mielivaltainen D-lineaarinen operaattori U:lla ja X äärellinen D-lineaarisesti riippumaton U:n osajoukko. Silloin on olemassa renkaan R alkio r siten, että x A = x r kaikille X:n x:ille. [2]

Toisin sanoen mikä tahansa nollasta poikkeava yksinkertainen rengas, jolla on minimaaliset oikeat ihanteet, on isomorfinen jonkin kappaleen yläpuolella olevan vektoriavaruuden rajallisen lineaarimuunnosten tiheän renkaan kanssa [3] .

Erityisesti mitä tahansa primitiivistä rengasta voidaan pitää D -lineaaristen operaattorien renkaana jossain avaruudessa.

Tiheysteoreema viittaa Wedderburnin lauseeseen, jonka mukaan oikea artinilainen yksinkertainen rengas on isomorfinen n x n -matriisirenkaan kanssa jakorenkaan päällä . Se on myös seurausta Artin-Wedderburn-lauseesta , että puoliyksinkertaiset renkaat ovat isomorfisia matriisirenkaiden tulolle.

Katso myös

Muistiinpanot

  1. Herstein, Ei-kommutatiivinen rengasteoria , Lemma 1.1.3
  2. Isaacs, Lause 13.14, s. 185
  3. Kurosh, 1973 , s. 251.

Kirjallisuus