21.07.2013 Views

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)

SHOW MORE
SHOW LESS

You also want an ePaper? Increase the reach of your titles

YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.

Zn fremkommer et algebraisk udtryk i Zn som vi kalder den principale reduktion<br />

af u.<br />

26. Sætning: Restdannelse respekterer algebraiske operationer.<br />

Lad u være algebraisk frembragt af a1, . . . , ap <strong>og</strong> lad u ′ være den principale<br />

reduktion af u. Da vil u ′ være den pricipale rest af u.<br />

Bevis : Lad os begynde med u = a + b. Vi skal da vise at (a + b) mod n =<br />

(a mod n) ⊕ (b mod n), alts˚a at (a + b) mod n = ((a mod n) + (b mod n)) mod n.<br />

Men i følge ovenst˚aende regel <strong>for</strong> regning med restklasser (S22), s˚a har vi at<br />

(a+b) <strong>og</strong> (a mod n)+(b mod n) tilhører samme restklasse <strong>og</strong> der<strong>for</strong> har samme<br />

principale rest. Samme argument kan anvendes p˚a differenser <strong>og</strong> produkter.<br />

Og da ethvert algebraisk udtryk kan tænkes fremkommet ved successiv benyttelse<br />

af disse operationer enkeltvis f˚as sætningen. Vi illustrerer med følgende<br />

eksempel:<br />

(3 · 5) + 5(4 · 6) = 135 <strong>og</strong> 135 mod 7 = 2, mens (3 ⊙ 5) ⊕ 5 ⊙ (4 ⊙ 6) = 1 ⊕ 5 ⊙ 3 =<br />

1 ⊕ 1 = 2.<br />

Vi re<strong>for</strong>mulerer lige et par af de tidligere eksempler:<br />

(31 · 49) mod 24 = (31 mod 24) ⊙ (49 mod 24) = 7 ⊙ 1 = 7.<br />

(xy) mod 9 = (x mod 9) ⊙ (y mod 9).<br />

<strong>og</strong> et nyt eksempel:<br />

Beregn 5 117 mod 7. Vi benytter a ≡ b til at notere at a <strong>og</strong> b har samme<br />

principale rest modulo 7.<br />

Først beregnes en række potenser successivt:<br />

5 2 ≡ 4, 5 4 ≡ 4 2 ≡ 2, 5 8 ≡ 4, 5 16 ≡ 2, 5 32 ≡ 4 ,5 64 ≡ 2.<br />

Da 117 = 64 + 32 + 16 + 4 + 1 f˚as da at 5 117 ≡ 5 64 5 32 5 16 5 4 5 1 ≡ 2 · 4 · 2 · 2 · 5 ≡<br />

16 · 10 ≡ 2 · 3 = 6<br />

Bemærk at<br />

5 117 =6018531076210112040799931070577897870431567650673088<br />

110124808736145496368408203125<br />

20

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!