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 ...
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 />
⋄