Pojdi na vsebino

Ideal (teorija kolobarjev)

Iz Wikipedije, proste enciklopedije

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.

Zgodovina

[uredi | uredi kodo]

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).

Definicije

[uredi | uredi kodo]

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. .

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]

Zgledi

[uredi | uredi kodo]
  • 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žica

[uredi | uredi kodo]

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 idealov

[uredi | uredi kodo]

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 ideali

[uredi | uredi kodo]

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.

Sklici

[uredi | uredi kodo]
  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 povezave

[uredi | uredi kodo]
  • Diplomsko delo Kolobarji polinomov in Gröbnerjeve baze na Univerzi v Mariboru [mrtva povezava] (slovensko)
  • Moslehian, Mohammad Sal; Rowland, Todd; Weisstein, Eric Wolfgang. »Ideal«. MathWorld.{{navedi splet}}: Vzdrževanje CS1: več imen: seznam avtorjev (povezava)
  • Ideal na Conservapedia (angleško)