ATL

Transkrypt

ATL
Algebraiczna Teoria Liczb
Opracowane na podstawie notatek z wykładu
w semetrze letnim roku 2008r.
(niekompletne - pominięto ostatnie wykłady o szeregach Diricheta)
08.05.2008r.
W tej części rozważań wszystkie rozszerzenia ciał są skończone i
algebraiczne.
Definicja 1 (Element całkowity) Niech R ⊂ R1 będą przemiennymi dziedzinami z 1. Element a ∈ R1 nazywamy całkowitym nad R jeżeli istnieje wielomian
unormowany f = xn + an−1 xn−1 + . . . + a1 x + a0 , należący do R[x], że f (a) = 0.
Twierdzenie 1 Niech R ⊂ R1 , a ∈ R1 . Następujące warunki są równoważne:
• a jest całkowity nad R,
• R[a] = {g(a), g(x) ∈ R[x]} jest skończenie generowanym R - modułem,
• istnieje R[a] - moduł M, skończenie generowany jako R - moduł taki, że:
R[a] ⊂ M ⊂ R1 ,
• istnieje R[a] - moduł wierny, który jako R - moduł jest skończenie generowany.
Twierdzenie 2 Zbiór wszystkich elementów całkowitych z R1 nad R jest podpierścieniem zawierającym R. Nazywamy go całkowitym domknięciem R w R1 .
Definicja 2 (Całkowita domkniętość) Pierścień R jest całkowicie domknięty w R1 jeżeli każdy element całkowity a ∈ R1 nad R jest w istocie elementem
R.
Twierdzenie 3 Całkowite domknięcie jest całkowicie domknięte (dwukrotne
wzięcie całkowitego domknięcia nie daje nowych elementów).
Definicja 3 (Pierścień normalny) Pierścień R nazywamy normalnym gdy
jest on całkowicie domknięty w swoim ciele ułamków.
Twierdzenie 4 Jeżeli R jest normalny oraz R ⊂ (R) ⊂ K, gdzie K - ciało, to dla każdego elementu całkowitego a ∈ K nad R, wielomian minimalny
unormowany (w sensie teorii ciał) dla a nad R należy do R[x].
Twierdzenie 5 Jeżeli R jest pierścieniem z jednoznacznym rozkładem, to jest
normalny.
1
Definicja 4 (Liczby całkowite) Jeżeli rozważamy całkowite domknięcie Z w
ciele K, to jego elementy nazywamy liczbami całkowitymi w K i oznaczamy
przez ZK .
Twierdzenie 6 Niech m będzie niezerową liczbą całkowitą. Wówczas:


Z[√m],
dla m 6= 1 mod 4
ZQ[√m] =
.
√

Z[ 1+ m ], dla m = 1 mod 4
2
Twierdzenie 7 Niech ωn będzie pierwiastkiem pierwotnym stopnia n z 1. Wówczas ZQ[ωn ] = Z[ω].
Definicja 5 (Dziedzina Dedekinda) Dziedzina całkowitości R jest Dedekinda wtedy i tylko wtedy, gdy spełnione są warunki:
• R jest noetherowska,
• R jest normalna,
• każdy niezerowy ideał pierwszy R jest maksymalny.
+
Twierdzenie 8 ZK
jest dla dowolnego ciała skończenie generowaną wolną gru-
pą abelową.
Twierdzenie 9 Pierścienie ZK są dziedzinami Dedekinda.
Definicja 6 (Norma i ślad elementu) Niech K ⊂ L - skończone rozszerze-
nie algebraiczne ciał charakterystyki 0. Definicja ma cztery równoważne postaci:
1. L ⊃ K, a ∈ L, f = an xn +an−1 xn−1 +. . .+a1 x+a0 - wielomian minimalny
a z K[x]. Wówczas:
NL/K (a) = ((−1)n · a0 )[L:K(a)] ,
TL/K (a) = −(an−1 )[L:K(a)] .
2. L ⊃ K, a ∈ L ∈ K, f - wielomian minimalny, rozważany w K ma postać:
f (x) = (x − a)(x − b2 ) . . . (x − bn ). Wówczas:
NL/K (a) = (a · b2 · . . . · bn )[L:K(a)] ,
TL/K (a) = (a + b2 + . . . + bn )[L:K(a)] .
2
3. L ⊃ K, a ∈ L ∈ K. Jeżeli [L : K] = n, to mam n różnych włożeń L w
K : σ1 , σ2 , . . . , σn . Z twierdzenia Abela L = K(c), dla pewnego algebraicz-
nego c. Jego wielomian minimalny f ma w K n różnych pierwiastków. Włożenia L w K to liniowe rozszerzenia formuły c → ’jeden z pierwiastków f ’.
Wówczas:
NL/K = σ1 (a)σ2 (a) . . . σn (a),
TL/K (a) = σ1 (a) + σ2 (a) + . . . + σn (a).
4. Rozszerzenie L ⊃ K można traktować jako algebrę skończenie wymiarową
nad L. Wówczas ślad i norma to odpowiednio ślad i wyznacznik macierzy
przekształcenia liniowego x → ax.
Twierdzenie 10 Ślad i norma mają następujące własności:
• TL/K (a), NL/K (a) ∈ K,
• jeżeli a jest całkowite (nad czymś), to norma i ślad też,
• dla dowolnych a, b ∈ L, x, y ∈ K mamy:
NL/K (ab) = NL/K (a) · NL/K (b)
TL/K (xa + yb) = xTL/K (a) + yTL/K (b).
Definicja 7 (Wyróżnik) Niech L ⊃ K, [L : K] = n. Wybieramy α1 , α2 , . . . , αn ∈
L. Rozważamy n różnych włożeń L w K : σ1 , σ2 , . . . , σn . Wyznacznikiem układu
discr(α1 , α2 , . . . , αn )L/K nazywamy kwadrat wyznacznika następującej macierzy:

σ1 (α1 )
σ2 (α1 )


 σ1 (α2 ) σ2 (α2 )

..
 ..
 .
.

σ1 (αn ) σ2 (αn )
···
···
..
.
···
σn (α1 )



σn (α2 ) 

.. 
. 

σn (αn )
Jeżeli określić formę dwuliniową T (x, y) = TL/K (x · y), wówczas wyróżnik jest
macierzą tej formy: (T (αi , αj ))ni,j=1 .
Definicja 8 (Dyskryminant) Przez dyskryminant ∆K (a) elementu algebraicznego a ∈ L ⊃ K rozumiemy wyróżnik układu: {1, a, a2 , . . . , an−1 }, gdzie n to
stopień rozszerzenia ciał.
3
Twierdzenie 11 Jeżeli a ∈ L ⊃ K, oraz f to wielomian minimalny elementu
a, to ∆K (a) = ±NL/K (f ′ (a)). Stąd dyskryminant elementu całkowitego jest
całkowity. Ogólnie wyróżnik układu elementów całkowitych jest całkowity.
Twierdzenie 12 Dla dwóch różnych baz całkowitych ZK mamy równe dyskryminanty. Stąd z ciałem skojarzyć można dyskryminant.
Twierdzenie 13 Jeżeli wyróżnik układu {a1 , a2 , . . . , an } niezależnych elemen-
tów ZK nad Z ma wyróżnik bezkwadratowy, to układ ten jest bazą całkowitą
ZK .
Definicja 9 (Względnie pierwsze ideały) I, J są ideałami względnie pierwszymi pierścienia R, jeżeli I + J = R.
Definicja 10 (Najmniejsza wspólna wielokrotność ideałów) Przez NWW(I, J)
określamy I ∩ J.
Twierdzenie 14 Niech I1 , I2 , . . . , In – ideały pierścienia R, parami względnie
pierwsze. Wówczas I1 · I2 · . . . · In = I1 ∩ I2 ∩ . . . ∩ In .
Twierdzenie 15 (Chińskie o resztach) Jeżeli I1 , I2 , . . . , In - ideały pierścieT
L
nia R, parami względnie pierwsze, to R/ Ik ≃
R/Ik .
Twierdzenie 16 Niech R – noetherowski. Wówczas każda niepusta rodzina ideałów ma element maksymalny.
Definicja 11 (Ideał ułamkowy) Niech R - dziedzina całkowitości, z ciałem
ułamków (R). I ⊂ (R) nazwiemy ideałem ułamkowym R w (R), jeżeli spełnione
są dwa warunki:
• I jest R - podmodułem K, z mnożeniem a ·
x
y
=
ax
y ,
• istnieje niezerowe a ∈ R takie, że aI ⊂ R.
Twierdzenie 17 Jeśli R jest noetherowski wówczas równoważne są warunki:
• I jest ułamkowy w (R),
• I jest skończenie generowanym R - podmodułem (R).
W szczególności twierdzenie jest prawdziwe dla dziedzin Dedekinda.
4
Twierdzenie 18 Niech I będzie nietrywialnym ideałem właściwym w dziedzinie
Dedekinda R. Wówczas istnieje ideał J, że IJ jest główny.
Twierdzenie 19 Niech I – jw. Wówczas istnieją ideały pierwsze P1 , P2 , . . . , Pk
takie, że I ⊃ P1 P2 . . . Pr .
Twierdzenie 20 Niech R – Dedekinda, I – nietrywialny ideał właściwy. Wówczas zbiór J = {x ∈ (R) : xI ⊆ R} stanowi ideał ułamkowy R oraz JI = R.
Twierdzenie 21 Niech I będzie nietrywialnym ideałem właściwym w dziedzinie Dedekinda R. Wówczas rozkłada się on jednoznacznie na iloczyn ideałów
pierwszych.
Definicja 12 (Grupa dywizorów, grupa klas ideałów) Niech R - dziedzina Dedekinda. Możemy w niej na dwa równoważne sposoby określić tzw. grupę
klas ideałów.
• Wprowadźmy na rodzinie jej ideałów relację równoważności: I ∼ J ⇔
∃a,b∈R (a)I ≃ (b)J. Wówczas klasy równoważności tej relacji tworzą grupę
ze względu na mnożenie: [I] · [J] = [IJ]. Elementem neutralnym jest [(1)],
• Rodzina ideałów ułamkowych pierścienia R tworzy grupę ze względu na
mnożenie. Nazywamy ją grupą dywizorów. Dzielimy ją przez ideały ułamkowe główne. Iloraz to grupa klas.
Twierdzenie 22 Niech R – Dedekinda, I 6= 0 - ideał w R. Wówczas dla do-
wolnego x ∈ I istnieje taki y ∈ I, że I = (x, y).
Twierdzenie 23 Niech R – Dedekinda z jednoznacznością rozkładu. Wówczas
R jest PID.
5
W najbliższych rozważaniach przyjmujemy konwencję:
Q ⊂
K
∪
∪
Z
⊂ ZK
⊂
L
∪ .
⊂ ZL
Wszystkie rozszerzenia są skończone.
Twierdzenie 24 Niech P – ideał pierwszy w ZK . Wówczas P · ZL ∩ ZK = P.
Odwrotnie: jeżeli dla pewnego ideału pierwszego Q ∈ ZL mamy Q ∩ ZK ⊃ P , to
Q występuje w rozkładzie P · ZL .
Definicja 13 (Indeksy rozgałęzienia) Niech P – ideał pierwszy w ZK oraz
P · ZL = Qe11 · Qe22 · Qe33 · . . . · Qerr – rozkład ideału P · ZL na czynniki pierwsze
z ZL . Wówczas współczynniki ei ∈ Z+ , i ∈ {1, 2, . . . r} nazywamy współczyn-
nikami rozgałęzienia (lub indeksami ramifikacji) P w Qi . Mówimy, że zachodzi
ramifikacja P w ZL jeśli r > 1.
Definicja 14 (Indeksy inercji) Niech P – ideał pierwszy w ZK oraz P · ZL =
Qe11 ·Qe22 ·Qe33 ·. . .·Qerr – rozkład ideału P ·ZL na czynniki pierwsze z ZL . Wówczas
skoro Qi są maksymalne, to ZL /Qi są ciałami. Przez indeksy inercji P w Qi
nazywamy stopnie rozszerzenia: fi = [ZL /Qi : ZK /P ] .
Twierdzenie 25 Niech [L : K] = n. Wówczas dla każdego ideału pierwszego P
r
P
ei fi .
w ZK mamy n =
i=1
Twierdzenie 26 Ideał pierwszy (p) ∈ Z jest rozgałęziony w ZK wtedy i tylko
wtedy, gdy p dzieli dyskryminant rozszerzenia Q ⊂ K.
Zakładamy dalej, że K ⊂ L jest Galois.
Twierdzenie 27 Niech P – ideał pierwszy w ZK oraz P · ZL = Qe11 · Qe22 · Qe33 ·
. . .·Qerr – rozkład ideału P ·ZL na czynniki pierwsze z ZL . Wówczas dla każdych
i, j ∈ {1, 2, . . . r} istnieje σ ∈ Gal(L/K), że σ(Qi ) = Qj .
6
Twierdzenie 28 Jeżeli K ⊂ L jest Galois, to dla każdego ideału pierwszego P
r
P
ref .
w ZL mamy ei = e, fi = f oraz n =
i=1
Definicja 15 (Grupa rozkładu) Przez grupę rozkładu D określać będziemy
grupę izotopii ideału Q = Q1 rozkładu P na czynniki w ZL .
Twierdzenie 29 [Gal(K/L) : D] = r.
Definicja 16 (Grupa inercji) D jako podgrupa grupy Galois zadaje pewien
automorfizm rozszerzenia [ZL /Q : ZK /P ]. Mamy wobec tego epimorfizm D →
Gal((ZL /Q) / (ZK /P )). Jeżeli założymy, że ZL /Q ⊃ ZK /P jest rozdzielcze,
wówczas jego obrazem tego epimorfizmu jest Gal((ZL /Q)/(ZK /P )). Jego jądro
nazywamy grupą inercji E.
Twierdzenie 30 Grupę inercji można opisać explicite jako:
{σ ∈ D : σ(x) − x ∈ Q, ∀x ∈ ZL }.
Twierdzenie 31 Rząd grupy inercji to e. Podniesienie ciała K do L odbywa się
zatem w trzech krokach – poprzez ciała pośrednie odpowiadające grupom rozkładu
i inercji. Nazywamy je ciałami inercji i dekompozycji.
L
↑
e = |E|
FE
↑
f=
|D|
|E|
r=
[L:K]
ef
FD
↑
K
Cała ramifikacja ma miejsce na L, całe rozszczepienie na poziomie ciała FD .
Ciała rezidualne pochodzące z inercji pochodzącą z przejścia do FE . Wyraża to
tabelka:
e
f
r
FD
1
1
r
FE
1
e
1
L
f
1
1
7
.
Twierdzenie 32 (Norma ideału) Przez normę ideału I oznaczać będziemy
indeks I w ZK .
Twierdzenie 33 Dla dowolnych ideałów I, J pierścienia ZK mamy ||IJ|| =
||I|| · ||J||.
Twierdzenie 34 Dla danego m ∈ Z istnieje skończenie wiele ideałów I w ZK ,
że I = m.
Dowód. Zauważmy, że dla ideału I mamy ||I|| ∈ I. Istotnie, niech x ∈ I. Wówczas element ||I||(x + I) jest elementem neutralnym grupy addytywnej ZK /I.
Istotnie, ponieważ grupa ta ma rząd ||I||, to rząd elementu x + I jest pewnym
dzielnikiem ||I||. Zatem ||I||x ∈ I, kładąc więc x = 1 mamy ||I|| ∈ I. Oznacza
to w szczegóności, że I dzieli (||I||). Z jednoznaczności rozkładu (||I||) rozpada
się na iloczyn skończenie wielu ideałów pierwszych, a więc jest skończenie wiele
ideałów I, które mogą być tymi iloczynami.
Twierdzenie 35 Niech 0 6= α ∈ ZK . Wówczas |NK/Q (α)| = ||(α)||.
Twierdzenie 36 Niech Q ⊂ K - skończone. Wówczas dla każdego ideału I ⊂
ZK istnieje α ∈ I takie, że istnieje λ ∈ R, że |NK/Q (α)| ¬ γ||I||.
Twierdzenie 37 Dla każdego ideału I w ZK istnieje ideał J z klasy [I], że
||J|| ¬ γ.
Definicja 17 (Krata ciała K w Rn ) Niech K będzie skończonym rozszerzeniem Q, a ZK pierścieniem liczb całkowitych. Wśród n włożeń σi , i = 1, . . . , n
ciała K w C, r1 idzie całkowicie w liczby rzeczywiste, zaś 2r2 = n − r1 jest
zespolonych. Rozważamy przekształcenie φ : ZK → Rr1 × Cr2 , które x ∈ ZK
przesyła na:
φ(x) = (σ1 (x), σ2 (x), . . . , σr1 (x), σr1 +1 (x), . . . , σr1 +r2 (x)).
Podgrupa złożona z obrazów x jest wolną grupa abelowa rangi n. Mamy więc kratę
n - wymiarową. Mamy tu pewien obszar fundamentalny, który określić możemy
jako {ai σi , ai ∈ [0, 1)}. Jego miarę Lebesgue’a oznaczamy jako vol(Rn /L).
Twierdzenie 38 Mamy następującą równość: (2i)r2 vol(Rn /K) =
8
p
discr(K/Q).
Twierdzenie 39 (Minkowski) Niech S będzie zbiorem mierzalnym względem
miary Lebesgue’a na Rn , przy czym µ(S) > vol(Rn /L). Wówczas istnieją dwa
różne punkty x, y ∈ S, że x − y ∈ H.
Twierdzenie 40 (Minkowski) Niech H będzie kratą w Rn . Załóżmy, że S
jest mierzalny względem n - wymiarowej miary Lebesgue’a, symetrycznym wokół
środka i wypukłym. Wówczas jeśli:
• µ(S) > 2n · vol(H) lub,
• µ(S) ­ 2n · vol(H) i S jest zwarty, to:
S ∩ (H {0}) 6= ∅.
Twierdzenie 41 (Minkowski) Niech Q ∈ L będzie rozszerzeniem stopnia n.
Wówczas istnieje n zanurzeń σi L → C. Jeżeli σi ∩(C−R) 6= ∅, to dla σi istnieje
sprzężone z nim zanurzenie. Zatem n = r1 + 2r2 , gdzie r1 – ilość rzeczywistych
zanurzeń, 2r2 – ilość zespolonych zanurzeń. Stałą w twierdzeniu 36, 37 można
wyrazić w postaci:
r 2 p
4
n!
· |∆L |.
·
n
π
n
Twierdzenie 42 Grupa klas ideałów jest skończona.
Twierdzenie 43 (Kroneckera o elementach odwracalnych) Niech K będzie skończonym rozszerzeniem ciała Q. Wówczas elementy odwracalne pier0
ścienia ZK wyrażają się jako iloczyn prosty grup: UK = WK × UK
, gdzie WK
0
oznacza podgrupę złożoną ze wszystkich pierwiastków 1 zawartych w ZK , zaś UK
jest pewną wolną grupą abelową o randze r1 + r2 − 1.
Twierdzenie 44 (Kronecker - Weber) Niech K będzie skończonym i abelowym rozszerzeniem ciała Q. Wówczas istnieje takie n, że K ⊂ Q[ωn , gdzie ωn
jest pierwiastkiem pierwotnym stopnia n z 1.
Definicja 18 (Liczba regularna) Niech p - liczba pierwsza. Powiemy, że jest
ona regularna, jeżeli p nie dzieli rzędu grupy klas ideałów w Z[ωp ].
Twierdzenie 45 Równanie xp + y p = z p nie ma rozwiązań w Z dla p > 2,
regularnych.
9
Definicja 19 (Rozszerzenie Kummera) Niech K - ciało liczbowe, zawiera√
/ K, wówczas rozszerzenie K ⊂ K(ωn ) jest
jące ωp . Niech α ∈ K. Jeżeli p α ∈
nietrywialne, stopnia p, abelowe. Nazywamy je rozszerzeniem Kummera.
√
Twierdzenie 46 Załóżmy, że N W D(p, α) = 1. Wtedy K ⊂ K( p α) jest nie-
rozgałęzione wtedy i tylko wtedy gdy:
• (α) = I p ,
• α = v p mod P p , v ∈ ZK , P = (1 − ωp ).
Definicja 20 (Ciało klas) Niech K - ciało liczbowe, ZK – całkowite domknięcie Z w K, zaś Cl(K) - grupa klas ideałów ZK . Wówczas istnieje dokładnie jedno
ciało E, będące skończonym rozszerzeniem K, spełniające warunki:
• [E : K] = |Cl(K)|,
• E jest Galois nad K i Gal(E/K) ≃ Cl(K),
• każdy ideał I ⊂ K jest ideałem głównym w E
• żaden ideał pierwszy P nie podlega ramifikacji w ZE , co więcej – rozkłada
się na dokładnie
|Cl(K)|
o(P ZE )
czynników, gdzie o(P ZE ) oznacza rząd ideału
o(P ZE ) w grupie klas ideałów ZE .
10