Odpre glavni meni

Ideal (teorija kolobarjev)

Ideal (tudi ideal kolobarja) je v teoriji kolobarjev posebna podmnožica kolobarjev. Pojem kolobarja omogoča posplošitve nekaterih pomembnih značilnosti celih števil.

Pri kolobarjih se proučuje praideale, ne pa praštevila.

Ideal se lahko uporabi za konstrukcijo kvocientnih kolobarjev na podoben način kot se normalne podgrupe v teoriji grup uporablja za konstrukcijo kvocientnih grup.

Ulomljeni ideal je posplošitev ideala.

ZgodovinaUredi

Prvi je ideale predpostavil nemški matematik Julius Wilhelm Richard Dedekind (1831–1916). Pozneje sta jih proučevala in razširila pojem ideala še nemški matematik David Hilbert (1862–1943) in nemška matematičarka Emmy Noether (1882–1935).

DefinicijeUredi

Za poljuben kolobar z   naj bo   odgovarjajoča aditivna grupa. V tem primeru se podmnožica   imenuje dvostranski ideal (pogosto se uporablja tudi izraz ideal) za  , če je   aditivna podgrupa za   in ta prevzama množenje elementov iz  .

  je ideal, če zanj veljajo naslednji pogoji:

  1.   je podgrupa za  
  2.  
  3.  .

Iz tega sledi, da je   pod-R-bimodul za  . [1]

Podmnožica   v   se imenuje desni ideal za  , če je ta aditivna podgrupa za  , ki prevzame množenje na desni:

  1.   je podgrupa za  
  2.  .

Podmnožica   v   se imenuje levi ideal za  , če je aditivna podgrupa za  , ki prevzame množenje na levi:

  1.   je podgrupa za  
  2.  .

To pa pomeni, da je levi ideal za   tudi levi R-podmodul za  .

V obeh primerih se lahko prvi pogoj zamenja z dobro znanim kriterijem, ki zagotavlja, da je neničelna podmnožica grupe podgrupa:

  1.   je neprazna množica in  . [2]

Levi ideali v   so desni ideali nasprotni ideali v   in obratno. Dvostranski ideali so tisti levi ideali, ki so tudi desni. Kadar je   komutativni kolobar, so definicije za levi, desni in dvostranski ideal enake in se uporablja samo izraz ideal.

Tako kot so normalne podgrupe jedra za grupni homomorfizem, se lahko tudi leve in desne ter dvostranske ideale obravnava kot jedra. Za neprazne podmnožice   v   velja

  •   je ideal v  , če in samo, če je ta jedro kolobarjevega izomorfizma v  
  •   je desni ideal v  , če in samo, če je ta jedro homorfizma iz desnega   modula   v drugi desni   modul
  •   je levi ideal v  , če in samo, če je ta jedro homorfizma iz levega   modula   v drugi levi   modul.

Kadar je   v  , potem je tudi   desni ideal in   je levi ideal za  . Imenujeta se glavni levi in desni ideal, ki sta generirana s pomočjo  . Povezava med somnožico in idealom se vidi, če se preklopi operacijo iz »množenja« v »seštevanje.«

  se imenuje lastni ideal, če je ta lastna podmnožica v  . To pomeni, da   ni enak  .[3]

ZglediUredi

  • parna cela števila tvorijo ideal v kolobarju   vseh celih števil. Običajno se ideal označuje z  . Podobno se za množico vseh celih števil, ki so deljiva s številom  , njihov ideal označuje z  
  • množica vseh polinomov z realnimi koeficienti, ki so deljivi z  , je ideal v kolobarju vseh polinomov
  • množica vseh matrik  , ki imajo zadnjo vrstico enako 0, tvorijo desni ideal v kolobarju vseh   matrik. Ni pa to levi ideal. Množica vseh  , ki imajo zadnji stolpec enak 0, tvorijo levi ideal, ne pa desnega
  • kolobarji   vseh zveznih funkcij iz   v   vsebujejo ideal vseh zveznih funkcij  , tako da je  . Drugi ideal v   so tiste funkcije, ki izginejo za dovolj velike argumente. To so takšne zvezne funkcije   za katere obstoja takšno število  , da je  , kadar je  .
  •   in   sta ideala v vsakem kolobarju  . Kadar je   kolobar deljenja ali je obseg, sta to njegova edina ideala.
  • kompaktni operatorji tvorijo ideal v kolobarju omejenih operatorjev

Ideal, ki ga generira množicaUredi

Naj bo   kolobar. Presek vsakega nepraznega ideala iz družine levih idealov v   je spet levi ideal v  . Kadar je   podmnožica  , potem je presek vseh levih idealov iz  , ki vsebujejo  , tudi levi ideal   iz   in vsebuje  . Ta je najmanjši levi ideal. Ideal   je levi ideal, ki ga generira  . Podobno definicijo se lahko izpelje tudi z uporabo desnega ali pa dvostranskega ideala.

Vrste idealovUredi

Ideali so pomembni, ker se pojavljajo kot jedra homomorfizma kolobarjev in omogočajo definiranje faktorskih kolobarjev. Različne vrste idealov proučujejo, kako bi naredili različne vrste kvocientnih kolobarjev.

  • maksimalni ideal je lastni ideal  , če ne obstoja kakšen drugi lastni ideal  , tako da je   podmnožica ideala  .
  • minimalni ideal je vsak neničelen ideal, ki ne vsebuje drugih neničelnih idealov
  • praideal je tisti lastni ideal  , če za vsak   in   iz   in je v primeru, da je   v  , potem je vsaj eden izmed   in   v  . Faktorski kolobar prakolobarja je v splošnem prakolobar in je tudi integralna domena za komutativne kolobarje.
  • radikalni ideal ali polpraideal je ideal za katerega velja, da je takrat, ko je vsak   iz   in, če je vsak   v   za poljuben  , potem je tudi   iz  . Faktorski kolobar radikalnega ideala se imenuje polradikalni kolobar za splošne kolobarje in reducirani kolobar za komutativne kolobarje.
  • primarni ideal je tisti ideal  , za katerega velja, da takrat, ko za vsak   in   iz   velja, da so vsi   iz  , potem je vsaj eden od   in   iz   za naravno število  . Vsak praideal je primarni ideal, vendar obratno ne velja. Nekateri polpraideali so praideali.
  • glavni ideal je ideal, ki ga generira en element.
  • končno generirani ideal je tisti ideal, ki je končno generiran kot modul.
  • primitivni ideal je lahko levi ali desni primitivni ideal. Levi primitivni ideal je anihilator enostavnih levih modulov. Desni primitivni ideal je določen podobno. Kljub imenu sta levi in desni primitivni ideal vedno dvostranska. Primitivni ideal je vedno praideal. Kadar se izdela faktorski kolobar z levimi primitivnimi ideali, ti tvorijo levi primitivni kolobar. Za komutativne kolobarje so primitivni ideali maksimalni. Tako so komutativni kolobarji vedno obsegi.
  • nereducibilni ideal je tisti, ki ne more biti napisan kot presek idealov, ki ga vsebujejo
  • komaksimalna ideala sta tista ideala   za katera velja  

  za   in  .

Razen tega se uporabljata še dva izraza v povezavi z ideali, čeprav to niso vedno ideali kolobarjev:

  • ulomljeni ideal pogosto se ga definira takrat, ko je   komutativna domena z obsegom kvocientov  . Kljub imenu so ulomljeni ideali podmoduli   v   s posebno značilnostjo.
  • obrnljive ideale se pogosto definira kot ulomljene ideale, za katere je drugi ulomljeni ideal   takšen, da velja  .

Nekateri obrnljive ideale uporabljajo tudi za običajne ideale   in  , ki imajo značilnost  , v kolobarjih, ki niso domene

Operacije z idealiUredi

Za   in  , ki sta ideala iz kolobarja  , velja:

 

in:

 

To pomeni, da je produkt dveh idealov   in   ideal  , ki nastane z vsemi produkti oblike   z   iz   in   iz  . Produkt   je vsebovan v preseku   in  .

Vsota in presek idealov je spet ideal. Unija dveh idealov je podmnožica vsote teh dveh idealov, ker je za vsak element   v idealu, se lahko piše   ali  . Unija dveh idealov ni vedno ideal.

SkliciUredi

  1. Glej Hazewinkel et. al. (2004), s. 4
  2. Ker je   nevtralen, je dovolj, da je   v  , ker drugi pogoj vsebuje, da je   v  .
  3. Lang, 2005, poglavje III.2

Zunanje povezaveUredi