Ideal (ringteori)
Från Rilpedia
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
och 
så gäller 
Ändras villkoret till:
- För alla och så gäller
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 
. 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 
. 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
, och låt p vara en punkt i 
. 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 
är ett propert ideal om och endast om det finns en ringhomomorfi 
från R till någon ring S så att I är kärnan för f, dvs mängden av element 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 
. 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
ä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
med avseende på principalidealet (n) är en ring vars operationer svarar mot aritmetik modulo n.
