03.12.2012 Views

RSA og den heri anvendte matematiks historie - Institut for Natur ...

RSA og den heri anvendte matematiks historie - Institut for Natur ...

RSA og den heri anvendte matematiks historie - Institut for Natur ...

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.

3.1 Kongruens 47<br />

da 6 | 36 med rest r = 0. Og ifølge sætning 3.7 (ii) har vi<br />

17 · 19 ≡ 5 · 1 (mod 6) ⇔ 323 ≡ 5 (mod 6).<br />

En speciel type af kongruens, som Gauss <strong>og</strong>så behandler i Arithmeticae,<br />

er hvad der i dag kendes som lineær kongruens.<br />

Definition 3.9: Lineær kongruens<br />

Lad a, b <strong>og</strong> m være heltal med m ≥ 1. En kongruens af <strong>for</strong>men<br />

ax ≡ b (mod m),<br />

hvor x er en variabel, kaldes <strong>for</strong> en lineær kongruens.<br />

Et særtilfælde er når b i ovenstående definition er lig 1. De x’er der opfylde<br />

<strong>den</strong>ne situation viser sig, hvilket vi senere skal få et indtryk af, at være<br />

særligt interessante, <strong>og</strong> har der<strong>for</strong> sit eget navn.<br />

Definition 3.10<br />

Lad a <strong>og</strong> m være heltal med m > 1. Et heltal ā der opfylder, at<br />

āa ≡ 1 (mod m),<br />

kaldes <strong>den</strong> inverse af heltallet a modulo m.<br />

Eksempel 3.11<br />

Bemærk, at −1 er en invers af 5 modulo 6, idet<br />

−1 · 5 ≡ 1 (mod 6).<br />

Bemærk endvidere, at −1 ikke er det eneste heltal der er en invers til 5<br />

modulo 6, faktisk er det kun ét ud af følgende:<br />

. . . , −19, −13, −7, −1, 5, 11, 17, 23, . . .<br />

(Altså er ethvert heltal kongruent med −1 modulo 6 <strong>og</strong>så en invers af 5<br />

modulo 6.) ⋄<br />

Spørgsmålet er imidlertid, hvornår der eksisterer sådanne inverse. Sætning<br />

3.13 giver et bud herpå, men først må vi have et lemma.<br />

Lemma 3.12<br />

Lad a, b, c <strong>og</strong> m være heltal med m ≥ 0. Hvis ac ≡ bc (mod m) <strong>og</strong><br />

sfd(c, m) = 1 da vil a ≡ b (mod m).<br />

Bevis<br />

At ac ≡ bc (mod m) er ifølge definitionen det samme som, at m | ac − bc =<br />

c(a − b). Da der endvidere gælder, at sfd(c, m) = 1 har vi ifølge sætning<br />

2.19, at m | a − b, altså at a ≡ b (mod m).<br />

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

Saved successfully!

Ooh no, something went wrong!