28.10.2013 Aufrufe

Elementare Zahlentheorie - Fachbereich Mathematik - Universität ...

Elementare Zahlentheorie - Fachbereich Mathematik - Universität ...

Elementare Zahlentheorie - Fachbereich Mathematik - Universität ...

MEHR ANZEIGEN
WENIGER ANZEIGEN

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.

32<br />

2) Für p ∈ P und n ∈ Z>0 gilt<br />

<br />

n<br />

(α ∗ β) ∗ γ p ) =<br />

0≤k,l≤n<br />

k+l=n<br />

= <br />

0≤k,l≤n<br />

k+l=n<br />

= <br />

0≤i,j,l≤n<br />

i+j+l=n<br />

= <br />

0≤i,k≤n<br />

i+k=n<br />

= <br />

0≤i,k≤n<br />

i+k=n<br />

(α ∗ β) p k · γ p l<br />

<br />

0≤i,j≤n<br />

i+j=k<br />

α p i · β p j · γ p l<br />

α p i · β p j · γ p l<br />

<br />

0≤j,l≤n<br />

j+l=k<br />

α p i · β p j · γ p l<br />

α p i · (β ∗ γ) p k<br />

= α ∗ (β ∗ γ) p n<br />

und nach Lemma 3.3 stimmen (α ∗ β) ∗ γ und α ∗ (β ∗ γ) deshalb überein.<br />

4) Da o(d) = 0 für alle d = 1, gilt für z ∈ Z>0<br />

(o ∗ α)(z) = <br />

z<br />

<br />

o(d) · α = o(1) · α(z) = α(z).<br />

d<br />

1≤d≤z<br />

d | z<br />

Aus der Kommutativität der Faltung folgt zudem α ∗ o = α.<br />

Im Sommersemester 2009 habe ich die Aufgabe gestellt, zu beweisen, daß Z \ {0}<br />

sogar eine Gruppe ist. Den folgenden Beweis der Aussage hat Felix Boos im Anschluß<br />

an seine Prüfung gegeben.<br />

Korollar 3.6<br />

(Z \ {0}, ∗) ist eine abelsche Gruppe mit neutralem Element o.<br />

Beweis: Wegen Satz 3.5 reicht es, zu zeigen, daß jedes Element in Z\{0} ein Inverses<br />

besitzt. Sei also 0 = α ∈ Z gegeben. Wir setzen zunächst β(1) := 1, und für p ∈ P<br />

und k ≥ 1 definieren wir rekursiv<br />

β(p k k−1<br />

) := −<br />

i=0<br />

β(p i ) · α(p k−i ). (7)<br />

Damit haben wir eine Funktion β für alle Primzahlpotenzen definiert, und diese<br />

setzen wir zu einer Funktion auf Z>0 fort durch die Vorschrift<br />

β : Z>0 −→ R : z ↦→ <br />

β p np(z) .<br />

p∈P

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

Erfolgreich gespeichert!

Leider ist etwas schief gelaufen!