Ideal (ringteori)

Från Rilpedia

Hoppa till: navigering, sök
Wikipedia_letter_w.pngTexten från svenska WikipediaWikipedialogo_12pt.gif
rpsv.header.diskuteraikon2.gif

Inom ringteorin, är ett ideal ett av Richard Dedekind infört begrepp i anslutning till ett uppslag av Ernst Kummer, kallat "ideala tal". Detta begrepp var tänkt att för algebraiska heltal bevara den entydiga faktoriseringen (motsvarande heltalens primtalsfaktoriseringar).

Begreppet ideal är en generalisering av detta begrepp inom den abstrakta algebran. Emmy Noether byggde senare ut definitionen till det axiomatiska ringteorin.

Innehåll

Definition

Låt (R,*,+) vara en ring. Som vanligt skriver vi produkten r*s som rs.

Ett vänsterideal I är en delgrupp av den additiva gruppen, (R,+), av R som satisfierar följande villkor:

För alla i\in I och r\in R så gäller ri\in I

Ändras villkoret till:

För alla i\in I och r\in R så gäller ir\in I

kallas I för ett högerideal

Gäller båda villkoren, kallas delmängden för ideal (eller dubbelsidigt ideal). I en kommutativ ring är alla ideal dubbelsidiga. Ett ideal I sägs vara propert, eller äkta, om I\neq R. Mängden bestående av nollan i ringen är alltid ett ideal, nollidealet (eller det triviala idealet).

Givet det äkta idealet I av ringen R, säges det vara ett maximalt ideal om det inte existerar ett annat äkta ideal J av R där I\subset J. Alla maximala ideal är primideal om R är en unitär kommutativ ring.

Exempel

  • Mängden av alla heltal delbara med 5 ett ideal i ringen av alla heltal, Z (med vanlig addition och multiplikation som operationsregler). Har man ett heltal dividerbart med 5, förblir det delbart med 5 vilket tal ur Z man än multiplicerar det med.
  • Mer allmänt, låt R vara en kommutativ ring och f ett element i R. Då är mängden av multipler rf av f ett ideal i R. Detta ideal skrivs vanligen (f), och kallas för det principala idealet genererat av f.
  • Låt R vara ringen av kontinuerliga funktioner \mathbb R^n\rightarrow \mathbb R , och låt p vara en punkt i \mathbb R^n. Då är mängden av funktioner f som satisfierar f(p)=0 ett ideal i R.

Egenskaper

Den centrala egenskapen hos (dubbelsidiga) ideal är att en delmängd I\subseteq R är ett propert ideal om och endast om det finns en ringhomomorfi f:R\rightarrow S från R till någon ring S så att I är kärnan för f, dvs mängden av element r\in R så att f(r) = 0. Att kärnan måste vara ett ideal visar man genom att verifiera att den är sluten under addition samt under multiplikation med ett element i R.

Omvändningen, att varje propert ideal är kärnan till någon homomorfi, visar man genom att konstruera kvotringen med avseende på idealet. Denna ring består av mängden av ekvivalensklasser i ekvivalensrelationen ~ på R som definieras genom a~b omm a-b\in I. Skriver vi ekvivalenklassen för elementet 'a' som (a+I) definieras sedan operationer på mängden genom:

(a + I) + (b + I) = (a + b + I)
(a + I)(b + I) = (ab + I)

Man verifierar sedan att denna definition är oberoende av valet av representant för ekvivalensklasserna, samt att funktionen

a\rightarrow a+I

är en ringhomomorfi med kärna I

Exempel på ideal och deras kvotringar

  • Nollidealet i en ring svarar mot identitetshomomofin på R.
  • Kvotringen av heltalen \mathbb Z med avseende på principalidealet (n) är en ring vars operationer svarar mot aritmetik modulo n.

Se även

Personliga verktyg