09.02.2014 Aufrufe

Algorithmische Zahlentheorie und Kryptographie - Mitschriften von ...

Algorithmische Zahlentheorie und Kryptographie - Mitschriften von ...

Algorithmische Zahlentheorie und Kryptographie - Mitschriften von ...

MEHR ANZEIGEN
WENIGER ANZEIGEN

Erfolgreiche ePaper selbst erstellen

Machen Sie aus Ihren PDF Publikationen ein blätterbares Flipbook mit unserer einzigartigen Google optimierten e-Paper Software.

Beweis des Satzes <strong>von</strong> Qebyxv: Wir benötigen Binomialkoeffizienten,<br />

daher zunächst einige Rechenregeln:<br />

Lemma:<br />

1. ( (<br />

n<br />

0)<br />

=<br />

n<br />

n)<br />

= 1<br />

2. ( ) (<br />

n<br />

k + n<br />

) (<br />

k+1 = n+1<br />

)<br />

k+1<br />

3. ( ) (<br />

n<br />

k = n<br />

)<br />

n−k<br />

4. ( ) (<br />

n<br />

k < n<br />

⌊<br />

k+1)<br />

für k <<br />

n<br />

⌋<br />

2<br />

5. 2 n ≤ 22n<br />

2n<br />

≤ ( 2n<br />

n<br />

)<br />

< 2 2n für n > 0<br />

Wir zeigen nun zunächst die untere Schranke<br />

dafür K n = ( )<br />

2n<br />

n , seien weiter<br />

n − 2 ≤ π(n). Definiere<br />

log n<br />

ν p (n) = max{i : p i | n} <strong>und</strong> N p (n) = max{p i : p i | n}.<br />

Lemma (Legendre):<br />

ν p (n!) = ∑ k>0<br />

⌊ n<br />

p k ⌋<br />

.<br />

Beweis: Betrachte die Relation R(p, n) = {(i, k) : 1 ≤ i ≤ n, p k | i}. Als<br />

Matrix für p = 2, n = 16 ergibt sich:<br />

1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16<br />

1 0 1 0 1 0 1 0 1 0 1 0 1 0 1 0 1<br />

2 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 1<br />

3 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1<br />

4 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1<br />

Wir summieren einmal zeilenweise <strong>und</strong> einmal spaltenweise:<br />

∑<br />

⌊ ⌋ n<br />

= ∑ (⋆)<br />

ν<br />

p k p (i) = ν p (n!)<br />

k>0<br />

} {{ }<br />

zeilenweise<br />

1≤i≤n<br />

} {{ }<br />

spaltenweise<br />

Dabei gilt (⋆), da es im Falle p k | n! Zahlen 1 ≤ i 0 < . . . < i r−1 ≤ n <strong>und</strong><br />

k 0 , . . . , k r−1 gibt mit k 0 + . . . + k r−1 = k <strong>und</strong> p k j<br />

| i j für alle j < r nach<br />

Folgerung aus dem F<strong>und</strong>amentalsatz.<br />

□<br />

15

Hurra! Ihre Datei wurde hochgeladen und ist bereit für die Veröffentlichung.

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!