Ideal (matematik)

Wikipedia

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

1 Definition
2 Exempel
3 Egenskaper
- 3.1 Exempel på ideal och deras kvotringar
4 Se även

[redigera] Definition

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

Ett vänsterideal I är en delmängd $I\subset R$ som satisfierar följande villkor:

* Om  så gäller 
* Om  och  så gäller

Ändras det andra villkoret till:

* Om  och  så gäller

kallas delmängden 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.

[redigera] 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.

[redigera] 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) = (a b + 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

[redigera] Exempel på ideal och deras kvotringar

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