Citat:
Ursprungligen postat av spudwish
Så, om man tänker att man avverkar alla kongruensklasser i ℝ[x]/<x^2> så är kanske [5x^3-7x^2+x+3] en av dem, men då existerar, enligt proposition, ett polynom av lägre grad, x+3, och vi kan konstatera att [x+3] och [5x^3-7x^2+x+3] är exakt samma mängd (?) och då kan man använda metoden som dbshw visade att [x+3] har en invers, men enligt den visade ekvivalensen så har då också [5x^3-7x^2+x+3] invers?
Ja, precis.
Citat:
Ursprungligen postat av spudwish
Har kollat över detta nu och förstår inte alls hur de kropparna kan vara isomorfa, och förstår tyvärr inte din förklaring heller. Den utvalda delmängden { c_0 | c_0 i F } är exakt F, ja. Vad menar du med "elementen skall uppfattas som polynom"? Ja alltså, de är konstanta polynom, men det är ju bara namnskillnad? "Same shit, different name", i det här fallet.
"Same shit, different name" - Får jag sno den beskrivningen av begreppet isomorfi? Den var bra!
Skall jag vara explicit och ge en isomorfism mellan F och { c0 + c1 x + c2 x² + ... + cN x^N ∈ F[x] | c1 = c2 = c3 = ... = cN = 0 }?
Definiera φ : F → F[x] genom φ(c0) = c0 + 0x + 0x² + ... + 0x^N. Detta är en kroppsisomorfism.
Citat:
Ursprungligen postat av spudwish
Vidare, vad innebär [a] här, egentligen? F är ju vilken kropp som helst, t.ex. ℝ, vad betyder ex. [e] - alla tal som har resten e vid division med... tja, vadå?
Vi talar om kongruensklasser modulo p(x) ∈ F[x], dvs mängder av polynom som får samma rest vid division med polynomet p(x).
Ett tal a ∈ F kan vi identifiera med det konstanta polynomet φ(a) = a + 0x + 0x² + ... + 0x^N ∈ F[x]. Därmed kan vi betrakta kongruensklassen [a] bestående av alla polynom som ger resten a vid division med p(x).
Citat:
Ursprungligen postat av spudwish
Fattar inte. Och hursom, om man gör en indelning av F i kongruensklasser, hur kan de alls vara isomorfa?
Hur en mängd av kongruensklasser i en ring kan vara isomorf med en mängd av kongruensklasser i en annan ring? Är osäker på hur du menar...