Citat:
Ursprungligen postat av dbshw
Om p|f så gäller att deg f ≥ deg p. Naturligtvis har vi också f|p, så deg f ≤ deg p. Alltså är deg f = deg p.
Om p|g så gäller deg g ≥ deg p. Naturligtvis har vi också g|p, så deg g ≤ deg p. Så deg g = deg p.
Jag är med hit, och jag är med på slutsatsen som följer givet detta. Dock är jag inte med på varför p|f => f|p ?
Citat:
Ursprungligen postat av manne1973
Förstår du beviset när jag skriver om det?
Antag att p är reducibelt, dvs att vi kan skriva p=fg där både f och g har lägre grad än p. Enligt implikationen gäller då (eftersom p=fg medför att p|fg) att minst ett av f och g delas av p. Men då f och g båda har lägre grad än p kan inget av dem delas av p. Motsägelse! Alltså är p irreducibelt.
Öhöuuu! Då fattar jag! Finally! Good ol' proof by contradiction. Tackar! Då bockar vi av det lemmat, gött...
Fortsätter med frågor.
1. Let F be a field, let p be a nonzero polynomial in F[x], and let a be any polynomial in F[x]. If p is not a factor of a, then the congruence class [a] mod p contains exactly one polynomial r with deg r < deg p.
Proof: (visar att a=pq+r med r=/=0) Solving for r in the above equation [dvs r=a-pq] shows it to be in the congruence class [a] (*). The polynomial r is the only representative with this property, since if b=a mod p and deg b < deg p, then (**) b = r mod p and so p|b-r. This is a contradiction unless b=r, since either deg(b-r) < deg p or b-r=0.
* Är r verkligen i [a]? [a] = { u i F[x] | u=a mod p }. M a o, r är i [a] om a-pq = a mod p. Nu tror jag man kan dela upp det så att a = a mod p och -pq = a mod p. a = a mod p är ju sant, men är -pq = a mod p sant? -pq har resten 0 vid division med p, a har resten r, och r=/=0. Så hur är r i [a] ?
** Varför följer av b = a mod p och deg b < deg p att b = r mod p? (men av detta följer mycket riktigt slutsatsen)
2. Prop: F a field, p in F[x] nonzero. For any a in F[x], [a] has inverse in F[x]/<p> iff gcd(a,p)=1
Thm: Let F be a field, and let p(x) be a nonconstant polynomial over F. Then F[x]/<p(x)> is a field iff p(x) is irreducible over F.
Proof: ... show that each nonzero congruence class has a multiplicative inverse. Since by Prop 4.3.3 [fråga 1] we can work with representatives of lower degree than deg p, by Prop 4.3.5 [fråga 2] each nonzero congruence class [a] has a multiplicative inverse iff gcd(a,p)=1 for all nonzero a(x) with deg a < deg p. This occurs iff p is irreducible...
a) Vadå "since by prop we can work with blabla", propen är återgiven exakt ovan, villkoret p not a factor of a är inte uppfylld, bl.a. Så vad menas?
b) Propen här återgiven, alltså "4.3.5", missrepresenteras. Står ju for ANY a, inte nonzero a, och inte heller att deg a < deg p, så hur kan den användas?