Elementare Zahlentheorie - Fachbereich Mathematik - Universität ...
Elementare Zahlentheorie - Fachbereich Mathematik - Universität ...
Elementare Zahlentheorie - Fachbereich Mathematik - Universität ...
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