imfufa 455 - Institut for Natur, Systemer og Modeller (NSM)
imfufa 455 - Institut for Natur, Systemer og Modeller (NSM)
imfufa 455 - Institut for Natur, Systemer og Modeller (NSM)
Create successful ePaper yourself
Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.
Der findes et største indeks n <strong>for</strong> hvilket en > 0, kaldet det sidste betydende<br />
index.<br />
For alle indeks n som er større end det sidste betydende indeks gælder det at<br />
a = p e1<br />
1<br />
· · · pen<br />
n<br />
Bevis : Hvis a = 1 lader vi alle eksponenter være 0. Antag nu at a > 1. For<br />
de primtal p der <strong>for</strong>ekommer i primfaktoriseringen af a lader vi den tilhørende<br />
eksponent være det antal gange som faktoren <strong>for</strong>ekommer. For alle andre lader<br />
vi eksponenten være 0.<br />
19. Definition: Primpektrum<br />
Den i sætningen nævnte følge kalder vi <strong>for</strong> primspektret <strong>for</strong> a <strong>og</strong> betegner med<br />
σ(a).<br />
Betegnelsen primspektrum har jeg været nødt til selv at finde p˚a, da jeg ikke<br />
kender n<strong>og</strong>en standardbetegnelse. Primspektret er ikke andet end et kompakt<br />
udtryk <strong>for</strong> primfaktoriseringen. At vi ønsker at arbejde med en uendelig følge af<br />
eksponenter synes m˚aske i første omgang overflødigt, men gør det bekvemmere<br />
at <strong>for</strong>mulere n<strong>og</strong>le af de følgende definitioner <strong>og</strong> sætninger. E15 Ø16<br />
Berettigelsen af primspektret er følgende regneregler. Vi benytter x∨y <strong>for</strong> maximum<br />
<strong>og</strong> x∧y <strong>for</strong> minimum. Vi benytter addition <strong>og</strong> subtraktion af følger, <strong>for</strong>etaget<br />
komponentvis. Vi benytter størrelsesrelationerne < <strong>og</strong> > <strong>og</strong> tilsvarende<br />
ved komponentvis sammenligning. Vi har alts˚a at<br />
(e 1 , . . . , e i , . . .) + (f 1 , . . . , f i , . . .) = (e 1 + f 1 , . . . , e i + f i , . . .)<br />
(e 1 , . . . , e i , . . .) < (f 1 , . . . , f i , . . .) ⇔ e 1 < f 1 , . . . , e i < f i , . . .<br />
20. Sætning: Regneregler <strong>for</strong> primspektret.<br />
σ(ab) = σ(a) + σ(b)<br />
a|b ⇔ σ(a) ≤ σ(b)<br />
a|b ⇒ σ(b/a) = σ(b) − σ(a)<br />
σ(a ⊓ b) = σ(a) ∧ σ(b)<br />
σ(a ⊔ b) = σ(a) ∨ σ(b)<br />
15