Citat:
Ursprungligen postat av spudwish
Säger mig dock nada om hur jag ska tolka Z/ker(f); mängden av alla heltal sorterade efter... vadå, vilken princip?
Heltalen buntas ihop efter vilket värde man får när f appliceras på dem.
Citat:
Ursprungligen postat av spudwish
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.
Ettan betecknar enhetselementet i D, vilket inte nödvändigtvis är det naturliga talet 1. Bättre hade antagligen varit att skriva f(n) = n * e_D.
Om R är en ring, r ett element i ringen, och n ett naturligt tal, definieras nr som r+r+...+r (n st). Detta utvidgas enkelt till negativa n samt till 0. Så multiplikation med ett heltal är en avbildning av en ring till sig själv.
Citat:
Ursprungligen postat av spudwish
"alla möjliga ringar på formen Z/ker(f)" Hur känner vi till alla möjliga sådana?
Hur kan ker(f) se ut? Talet 0 finns förstås alltid i ker(f), men finns det fler?
Om ker(f) endast innehåller talet 0 kommer varje tal i Z att utgöra en egen kongruensklass i Z/ker(f), vilket innebär att Z/ker(f) ~= Z.
Om ker(f) innehåller något annat tal än 0, inser man lätt att ker(f) måste ha formen nZ för något heltal n. Då blir Z/ker(f) ~= Z_n.
Citat:
Ursprungligen postat av spudwish
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]."
Det är ju bara en definition.
Citat:
Ursprungligen postat av spudwish
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".
Cor. 1 säger att Z_n är en integraldomän omm n är ett primtal.
Citat:
Ursprungligen postat av spudwish
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.
De förklarar varför Z/ker(f) är en integraldomän:
Citat:
Since f(Z) inherits the property that D has no nontrivial divisors of zero, this shows that Z/ker(f) must be an integral domain.
Sedan förklarar de varför Z/ker(f) är isomorf med antingen Z eller Z_n.
Om Z/ker(f) ~= Z_n, så används slutligen Cor 1 för att säga att n är ett primtal, så att Z/ker(f) ~= Z_n har karakteristik n som är ett primtal.