Citat:
Ursprungligen postat av dbshw
Jag förstår inte riktigt frågan.
Jo alltså jag undrar hur elementen ser ut. Blir så förvirrad varenda gång det kommer upp en mängd på formen A/B. Z/nZ är mängden av alla heltal "sorterade" efter vilken rest de får vid division med n. F[x]/<p(x)> är mängden av alla polynom med koeffs i F "sorterade" efter vilken rest de får vid division med n. Säger mig dock nada om hur jag ska tolka Z/ker(f); mängden av alla heltal sorterade efter... vadå, vilken princip?
En annan blåst fråga men som jag verkligen inte får nån rätsida på, är hur man kan vara så säker på f alls avbildar till D. Javisst, det är en homomorfi, men det visar väl inte att t.ex. 3*1=3 är ett element i D? Det finns ju alla möjliga skumma strukturer inom matematiken, nu hittar jag på men säg att mängden av alla 2x2-matriser skulle vara en ring och vidare integraldomän, ja, då skulle ju f(n)=n*1 absolut inte avbilda till den integraldomänen, för f avbildar tal till tal, och matriser är inte tal. Det står ju "since f(Z) inherits the property that D has no nontrivial divisors of zero", det kan jag acceptera om f(Z) är en delmängd av D, men det är ju inte säkert att den är det, tycker jag.
Citat:
Ursprungligen postat av dbshw
Poängen är väl att vi vet exakt vad alla möjliga ringar på formen Z/ker(f) är, dessa är nämligen endast Z, Z_n för n heltal. Vi har alltså två fall
a) Z/ker(f) = Z, eller
b) Z/ker(f) = Z_n för något n.
I fall a) så vet vi att ker(f) = 0. I fall b) så vet vi att ker(f) = nZ.
I fall a) så finns det inget nollskilt m så att f(m) = 0, dvs det finns inget nollskilt m så att 1 + 1 + ... + 1 (m gånger) = 0. Därför är karakteristiken hos ringen 0.
I fall b) så betyder det att det minsta positiva m så att 1 + 1 + ... + 1(m gånger) = 0 är m = n. Detta betyder att karakteristiken är n.
"alla möjliga ringar på formen Z/ker(f)" Hur känner vi till alla möjliga sådana? Jag gör det inte. Enda jag kommer att tänka på är det du visade förut att "en komm ring är en kropp omm den har no proper nontrivial ideals", men jag vet inte om det är relevant här (plus att det kommer "senare"...). Vet inte om det är värt att fråga om resten du skriver innan detta redits ut...
Citat:
Ursprungligen postat av dbshw
Forts. Det är nu vi behöver veta att Z/ker(f) är ett integralt område. För enligt Cor (1) vet vi att Z_n är ett integralt område omm n är ett primtal. Eftersom Z/ker(f) = Z_n ska vara ett primtal, så måste n vara ett primtal. Men karakteristiken är just n, så karakteristiken är ett primtal.
Detta köper jag nog. "Om [a][b]=[0] för något nollskilt [b] säger vi att [a] är en delare till [0]." Enligt din förklaring innebär integraldomän vidare att den enda delaren till 0 är 0, dvs. (ii) i korollariet. Men du säger "omm". Så, vi önskar att Z_n är en integraldomän. Om n är primt så är det det, ty n primt är ekvivalent med att Z_n endast har noll som delare till noll, vilket är precis vad vi kräver av en integraldomän. Men det är åt "fel håll". Jag menar visst, OM Z_n är en integraldomän så är n primt, men vi har ingen aning om Z_n är en integraldomän, så vi vill veta om n är primt, snarare.
Nu när jag tänker efter (nåja) vet jag inte alls om beviset säger något om integraldomäner i allmänhet. Det snackas om att Z/ker(f) är en integraldomän och att den minsann är Z eller Z_n, men det är ju specifikt den integraldomänen i såna fall, upplever det inte som ett bevis för integraldomäner i allmänhet.
Frustration!