Lösung 5. Übung - Institut für Mathematik

Werbung
Universität Würzburg
Mathematisches Institut
Prof. Dr. Jörn Steuding
Florian Stefan
5
Ausgabe: 19. Mai 2009
Abgabe: 26. Mai 2009
Übung zur Algebraischen Zahlentheorie
Aufgabe 5.1 (10 Punkte). Die natürlichen Zahlen n und m seien teilerfremd.
Sei ζn bzw. ζm eine primitive n-te bzw. m-te Einheitswurzel.
a) Zeigen Sie: Q(ζn , ζm ) = Q(ζnm ) und Z[ζn , ζm ] = Z[ζnm ].
b) Zeigen Sie: Q(ζn ) ∩ Q(ζm ) = Q.
c) Zeigen Sie: OQ(ζn ) = Z[ζn ].
Hinweis: Sie dürfen folgende Aussage ohne Beweis verwenden: Seien K|Q und K 0 |Q
”
endliche Galoiserweiterungen mit teilerfremden Diskriminanten, so dass K ∩ K 0 = Q. Sei
{ωi } bzw. {ωj0 } eine Ganzheitsbasis von K bzw. K 0 . Dann ist {ωi ωj0 } eine Ganzheitsbasis
von KK 0 .“
Lösung. a) Offenbar ist die multiplikative Ordnung von ζn ζm ein Teiler von
nm. Sei nun (ζn ζm )t = 1. Dann gilt ζntm = (ζn ζm )tm = 1, so dass n ein
Teiler von tm und damit ein Teiler von t ist. Ebenso ist m ein Teiler von t,
so dass nm ein Teiler von t ist. Dies zeigt, dass ζn ζm eine primitive nm-te
Einheitswurzel ist.
b) Sei K = Q(ζn ) ∩ Q(ζm ). Teilaufgabe a) und ϕ(nm) = ϕ(n)ϕ(m) liefern
[Q(ζn , ζm ) : Q(ζm )] = ϕ(n). Daher gilt ϕ(n) ≥ [Q(ζn ) : K] ≥ ϕ(n), so dass
wir [K : Q] = 1 erhalten.
c) Wir beweisen die Aussage durch vollständige Induktion über die Anzahl
der verschiedenen Primteiler. Dazu schreiben wir n = ab mit einer Primzahlpotenz a und einer zu a teilerfremden Zahl b.
Nach Induktionsannahme ist OB = Z[ζb ] der Ring der ganzen Zahlen
des Zahlkörpers B = Q(ζb ). Außerdem ist OA = Z[ζa ] der Ring der ganzen
Zahlen des Zahlkörpers A = Q(ζa ).
Sei dA die Diskriminante von A und dB die Diskriminante von B. Dann
ist da ein Teiler von aϕ(a) und db ein Teiler von bϕ(b) . Insbesondere sind da
und db teilerfremd. Aus A ∩ B = Q folgt OAB = Z[ζa , ζb ]. Schließlich gilt
AB = Q(ζn ) und Z[ζa , ζb ] = Z[ζn ].
Aufgabe 5.2 (6 Punkte). Sei p ∈ Z eine Primzahl. Ein multiplikativer
×
Charakter des Körpers Fp = Z/pZ ist ein Homomorphismus F×
p → C . Der
×
×
×
triviale Charakter bildet alle α ∈ F×
p auf 1 ∈ C ab. Sei χ : Fp → C ein
nichttrivialer Charakter
und ζ ∈ C eine primitive p-te Einheitswurzel. Dann
P
heißt ga (χ) = p−1
χ(k
+
pZ)ζ ka eine Gauß-Summe von a ∈ Z.
k=1
P
a) Zeigen Sie: Es gilt Ppa=1 |ga (χ)|2 = (p − 1)|g1 (χ)|2 .
b) Zeigen Sie: Es gilt pa=1 |ga (χ)|2 = (p − 1)p.
Hinweis zu a): Zeigen Sie χ(a + pZ)ga (χ) = g1 (χ) für a = 1, . . . , p − 1.
Lösung. a) Für a = 1, . . . , p − 1 gilt
χ(a + pZ)ga (χ) =
p−1
X
χ(ka + pZ)ζ ka
k=1
p−1
=
X
χ(k + pZ)ζ k
k=1
= g1 (χ)
und χ(a + pZ)gp (χ) = gp (χ). Da χ(a + pZ) ∈ C× eine Einheitswurzel ist,
folgt einerseits |g1 (χ)|2 = |ga (χ)|2 . Da es 1 ≤ a < p mit χ(a + pZ) 6= 1 gibt,
folgt andererseits
= 0. Insgesamt erhält man die Behauptung.
Pp gp (χ)
ab
b) Es gilt a=1 ζ = 0 für alle ganzen Zahlen b, die nicht durch p teilbar
sind. Dies liefert
p
X
ga (χ)ga (χ) =
a=1
p p−1
X
X
χ(k + pZ)χ(l + pZ)ζ (k−l)a
a=1 k,l=1
=
=
p−1
X
p
X
k,l=1
a=1
p−1
X
!
ζ
(k−l)a
χ(k + pZ)χ(l + pZ)
p|χ(k + pZ)|2
k=1
= p(p − 1).
Aufgabe 5.3 (8 Punkte). Sei D ∈ Z − {0, 1} eine quadratfreie ganze Zahl
und
√ sei p ∈ Z eine ungerade Primzahl, die D nicht teilt. Sei (p) das von p in
Z[ D] erzeugte Hauptideal. Sei (·/p) das Legendre-Symbol.
a) Zeigen Sie: (p) ist genau dann√ein Primideal, wenn (D/p) = −1.
b) Ist (2311) ein Primideal in Z[ 1965]?
Lösung. a) Sei zunächst (D/p) = 1, so dass es eine
√ ganze Zahl
√ x ∈ Z
2
mit x ≡ D (mod p) gibt.√Dies zeigt einerseits (x + D)(x − D) ∈ (p).
Andererseits gilt aber x ± D 6∈ (p), so dass (p) kein Primideal
√ ist.
Nun sei (p) kein Primideal,√so dass es Zahlen √
α, β ∈ Z[ D] − (p) mit
αβ ∈ (p) gibt. Sei α = a1 + a2 D und β = b1 + b2 D mit ai , bi ∈ Z. Dann
ist p ein Teiler von a1 b1 + a2 b2 D und a1 b2 + a2 b1 . Daher ist p weder ein Teiler
von a2 noch von b2 . Aber p ist ein Teiler von a2 (b21 − b22 D), so dass p ein
Teiler von b21 − b22 D ist. Insbesondere ist p kein Teiler von b1 und es folgt
(D/p) = (D/p)(b2 /p)2 = (Db22 /p) = (b21 /p) = (b1 /p)2 = 1.
b) Da die quadratfreie Zahl 1965 = 3 · 5 · 131 nicht durch die Primzahl
p = 2311 teilbar ist, müssen wir nur das Legendre-Symbol (1965/2311) bestimmen:
(1965/2311) =
=
=
=
=
=
=
(3/2311)(5/2311)(131/2311)
(2311/3)(2311/5)(2311/131)
(1/3)(1/5)(84/131)
(4/131)(3/131)(7/131)
(131/3)(131/7)
(2/3)(5/7)
1.
Herunterladen