Die Mathe-Redaktion - 25.03.2019 07:21 - Registrieren/Login
Auswahl
ListenpunktHome
ListenpunktAktuell und Interessant ai
ListenpunktArtikelübersicht/-suche
ListenpunktAlle Links / Mathe-Links
ListenpunktFach- & Sachbücher
ListenpunktMitglieder / Karte
ListenpunktRegistrieren/Login
ListenpunktArbeitsgruppen
ListenpunktSchwätz / Top 15
ListenpunktWerde Mathe-Millionär!
ListenpunktAnmeldung MPCT Sept.
ListenpunktFormeleditor fedgeo
Schwarzes Brett
Aktion im Forum
Suche
Stichwortsuche in Artikeln und Links von Matheplanet
Suchen im Forum
Suchtipps

Bücher
Englische Bücher
Software
Suchbegriffe:
Mathematik bei amazon
Naturwissenschaft & Technik
In Partnerschaft mit Amazon.de
Kontakt
Mail an Matroid
[Keine Übungsaufgaben!]
Impressum

Bitte beachten Sie unsere Nutzungsbedingungen, die Distanzierung, unsere Datenschutzerklärung und
die Forumregeln.

Sie können Mitglied werden. Mitglieder können den Matheplanet-Newsletter bestellen, der etwa alle 2 Monate erscheint.

Der Newsletter Okt. 2017

Für Mitglieder
Mathematisch für Anfänger
Wer ist Online
Aktuell sind 286 Gäste und 10 Mitglieder online.

Sie können Mitglied werden:
Klick hier.

Über Matheplanet
 

Antworte auf:  Absolute Galois-Gruppe des Körpers der formalen Laurent Reihen in Charakteristik 0 von xiao_shi_tou_
Forum:  Körper und Galois-Theorie, moderiert von: Buri Gockel

[Zur Forum-Gliederung] [Wie man Fragen beantwortet]

  Alle registrierten Mitglieder können Mitteilungen schreiben.
Benutzername:
Passwort:
Nachricht-Icon:                     
                    
                  
Nachricht:


 
 


Eingabehilfen (JavaScript): [Link extern intern] [MathML?] [$$?]
[fed-Bereich] [LaTeX-inline] [LaTeX-display] [Tikz] [hide-Bereich][show-Bereich] [Quelltext [num.]][?]
 Zeige Vorschau      Schreibe im fedgeoFormeleditor oder mit Latex.

Wähle Smilies für Deine Nachricht: :-) :-( :-D ;-) :-0 8-) :-? :-P :-|
Optionen: Deaktiviere HTML in dieser Nachricht
Deaktiviere MATHML in dieser Nachricht. Wenn Dein Text $-Zeichen enthält, die nicht LaTeX-Formeln begrenzen.
Deaktiviere Smilies in dieser Nachricht
Zeige die Signatur (Kann in 'Mein Profil' editiert werden.)
    [Abbrechen]
 
Beachte bitte die [Forumregeln]


Themenübersicht
KarlRuprecht
Aktiv
Dabei seit: 01.03.2017
Mitteilungen: 165
Herkunft:
 Beitrag No.5, eingetragen 2018-12-09 06:11    [Diesen Beitrag zitieren]

Hi,

hab da doch noch ein Paar Fragen zu der Verallgemeinerung von dieser Limes-Formel im Falle von normalen Erweiterungen:
Du reduzierst das ja auf $Hom_K$-Mengen, allerdings frag ich wie allgemeingültig  $hom_K(\varinjlim L_i,\overline{K})\cong \varprojlim hom_K(L_i,\overline{K})$ gilt. Ist das für alle Kategorien mit definierten Limiten/Kolimiten gültig? Hättest du dazu eine Referenz?

Weiterhin, vermute ich, dass bei der Lösung der Aufgabe, Information fehlt. Es heißt:
"Assume that $K/k$ with $[L:k]=n$, then $k((t^{1/n}))$ ??? Was erschließt man dann über $k((t^{1/n}))$.

Ansonsonsten hält sich auf diesem Bereich meine Kompetenz in Grenzen.

Zumindest vermute ich im Hinblick auf deine Frage, wieso 2a)+b) die Lösung für alg. Abgeschlossenheit von $k((t^{1/\infty}))$:

Also klar ist, dass $k((t^{1/\infty}))$ sich durch Wurzel-Erweiterungen der Form $L$ aus 2(a) nicht echt erweitern lässt. Dann müsstens du wahrscheinlich zeigen, dass im obigen Setting alle alg. Erweiterungen von solcher Gestalt wären. Wie zu jedoch die Forderungen an den GK dazu verbraucht, wüsste ich leider nicht.




Deine Frage, wieso der Schluss aus Prop'n mit Kummer-Theorie folgt, ist in
der Tat seltsam: $K$ enthält ja nach Annahme alle $n$-te Wurzeln und Kummer sagt, dass falls $L:K$ zyklisch (dh Galois-Gruppe zyklisch), dann $L= K(\sqrt[n]{a})$. Aber genau das willst du ja zeigen. Ich weiß nicht wie sich Kummer für lokale Körper bzw die ganzen Ramifizierungsbedingungen erweitert.

Um nochmal auf die Anfangsfrage zurückzukommen warum $k(t^{1/n})/k(t)$ zyklisch ist:

Hab folgendes überlegt: $k$ alg abg. , also enthält insb. $n$-te Einheitswurzeln, ebenso $k(t)$. Weiterhin ist $k(t^{1/n}) = k(t)[X]/(X^n-t)$ oder? Dann macht doch Kummer genau die Aussage, dass $k(t)[X]/(X^n-t)$ zyklisch ist. Oder hab ichs mir zu einfach gemacht?


Aus reiner Neugier: Ist das eine Vorlesung zu algebraischer Zahlentheorie oder Klassenfeldtheorie? Haben Kummer-Theorie nur "überflogen", aber irgendwie scheint es mir, dass im Hinblick auf diesen Thread unter zusätzlichen Forderungen an den Basiskörper Kummer noch weitere interessante Aussagen liefert, als bloss die allgemeine Bijektion aus Bosch.
Gruß
Karl


Buri
Senior
Dabei seit: 02.08.2003
Mitteilungen: 45874
Herkunft: Dresden
 Beitrag No.4, eingetragen 2018-12-08 21:26    [Diesen Beitrag zitieren]

Hi xiao_shi_tou,
tamely ramified heißt auf Deutsch zahm verzweigt.
Gruß Buri


xiao_shi_tou_
Senior
Dabei seit: 12.08.2014
Mitteilungen: 654
Herkunft: Bonn
 Beitrag No.3, eingetragen 2018-12-08 18:01    [Diesen Beitrag zitieren]
\(\begingroup\)\(\newcommand{\monoid}[1]{   \begin{tikzcd}[->,font=\normalsize,>=angle 90,ampersand replacement=\&]   #1(1) \arrow{d}{#1(6)} \arrow[<->]{rr}{\alpha}\& \& #1(2) \arrow{d}{#1(7)}\\   #1(3) \arrow{dr}{#1(8)} \& \& #1(4)\arrow{dl}{#1(9)}\\    \& #1(5) \&   \end{tikzcd}} \DeclareMathOperator{\codim}{codim} \DeclareMathOperator{\char}{char} \DeclareMathOperator{\length}{length} \DeclareMathOperator{\locArt}{locArt} \DeclareMathOperator{\id}{id} \DeclareMathOperator{\Ass}{Ass} \DeclareMathOperator{\im}{im} \newcommand{\ka}{\kappa} \newcommand{\pr}{\mathfrak{p}} \newcommand{\abs}[1]{\left| #1\right|} \newcommand{\ab}{\left|-\right|} \newcommand{\eps}{\epsilon} \DeclareMathOperator{\Pic}{Pic} \DeclareMathOperator{\Spec}{Spec} \newcommand{\N}{\mathbb{N}} \newcommand{\units}[1]{(\Zx{#1})^\times} \newcommand{\KX}{K[X]} \newcommand{\cov}{\c{U}} \newcommand{\ff}[1]{\mathfrak{#1}} \newcommand{\leg}[2]{\left(\frac{#1}{#2}\right)} \newcommand{\ANF}{K/\Q} \newcommand{\Os}{\mathcal{O}_{S,s}} \newcommand{\lineb}{\c{L}} \newcommand{\cyclm}{\Q(\sqrt[m]{1})} \newcommand{\cyclmK}{K(\sqrt[m]{1})} \newcommand{\clKX}{\overline{K}[X]} \newcommand{\LX}{L[X]} \newcommand{\gfib}[2]{#1_{\cl{#2}}} \newcommand{\OS}{\mathcal{O}_S} \newcommand{\bb}[1]{\textbf{#1}} \newcommand{\OY}{\mathcal{O}_Y} \newcommand{\glX}{\Gamma(X,\mathcal{O}_X)} \newcommand{\glY}{\Gamma(Y,\mathcal{O}_Y)} \newcommand{\finKX}{f\in K[X]} \newcommand{\ser}[1]{\sm{n=0}{\infty}{#1}} \newcommand{\sm}[3]{\underset{#1}{\overset{#2}{\sum}} #3} \newcommand{\cl}[1]{\overline{#1}} \newcommand{\sube}{\subseteq} \newcommand{\prou}{\text{ primitive }m \text{-th root of unity }} \newcommand{\hk}{\hookrightarrow} \newcommand{\OYy}{\mathcal{O}_{Y,y}} \newcommand{\supe}{\supseteq} \newcommand{\resy}{\kappa(y)} \newcommand{\LK}{L/K} \newcommand{\iso}{\overset{\sim}{\to}} \newcommand{\kn}{k^n} \newcommand{\kvec}{\textbf{vect}(k)} \newcommand{\fkvec}{\textbf{vect}_{<\infty}(k)} \newcommand{\fz}{f(X)=0} \newcommand{\KIsom}{L\underset{K}{\overset{\sim}{\to}} L} \newcommand{\simple}{\text{Let }K'=K(\alpha)\text{ be a simple extension of  }K \text{ with minimal polynomial }\finKX} \newcommand{\Q}{\mathbb{Q}} \renewcommand{\S}{\mathbb{S}} \newcommand{\R}{\mathbb{R}} \newcommand{\C}{\mathbb{C}} \newcommand{\F}{\mathbb{F}} \newcommand{\A}{\mathbb{A}} \newcommand{\P}{\mathbb{P}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\Zp}{\mathbb{Z}_p} \newcommand{\Qp}{\mathbb{Q}_p} \newcommand{\Qq}{\mathbb{Q}_q} \newcommand{\Fp}{\mathbb{F}_p} \newcommand{\I}{[0,1]} \newcommand{\In}{[0,1]^n} \newcommand{\Fpn}{\mathbb{F}_{p^n}} \newcommand{\Fpm}{\mathbb{F}_{p^m}} \newcommand{\Zn}{\mathbb{Z}/{n\mathbb{Z}}} \newcommand{\Zx}[1]{\mathbb{Z}/{#1\mathbb{Z}}} \newcommand{\md}[3]{#1\equiv #2\pmod{#3}} \newcommand{\ga}{\Gal(L/K)} \newcommand{\aga}[1][k]{\Gal(\overline{#1}/#1)} \newcommand{\gal}[2]{\Gal(#1/{#2})} \newcommand{\c}[1]{\mathcal{#1}} \newcommand{\limes}[1]{\underset{i\in I}{\varprojlim{#1_i}}} \newcommand{\prp}{\text{ proper }} \newcommand{\lnss}{\text{ locally noetherian Schemes}} \newcommand{\lns}{\text{ locally noetherian Scheme }} \newcommand{\ffe}{\text{ finite field extension }} \newcommand{\fge}{\text{ finite Galois extension }} \newcommand{\fne}{\text{ finite normal extension }} \newcommand{\fse}{\text{ finite separable extension }} \newcommand{\fure}{\text{ finite unramified extension }} \newcommand{\frae}{\text{ finite ramified extension }} \newcommand{\ure}{\text{ unramified extension }} \newcommand{\rae}{\text{ ramified extension }} \newcommand{\tarae}{\text{ tamely ramified extension }} \newcommand{\rain}{\text{ ramification index }} \newcommand{\indeg}{\text{ inertia index }} \newcommand{\SS}[2]{E_2^{p,q}=#1\Longrightarrow #2} \newcommand{\Co}[2]{H^p(#1,#2)} \newcommand{\qcqs}{\text{ quasi-compact quasi-separated }} \newcommand{\oft}{\text{ of finite type }} \newcommand{\loft}{\text{ locally of finite type }} \newcommand{\ofp}{\text{ of finite presentation }} \newcommand{\SqcOX}{\text{ Let }\mathcal{M}\text{ be a quasi-coherent} \mathcal{O}_X-\text{module}} \newcommand{\OX}{\mathcal{O}_X} \newcommand{\OC}{\mathcal{O}_C} \newcommand{\Ox}{\mathcal{O}_{X,x}} \newcommand{\OXmu}{\mathcal{O}_{X,\mu}} \newcommand{\OCx}{\mathcal{O}_{C,x}} \newcommand{\OYx}{\mathcal{O}_{Y,y}} \newcommand{\OK}{\mathcal{O}_K} \newcommand{\OL}{\mathcal{O}_L} \newcommand{\res}[1]{\kappa_#1} \newcommand{\resx}{\kappa(x)} \newcommand{\mor}[5]{\text{ Let } #1\overset{#2}{\to} #3 \text{ be a }#4 \text{morphism of }#5} \newcommand{\let}[3]{\text{ Let } #1 \text{ be a } #2 \text{ of } #3} \newcommand{\sk}{\{\tau\}} \newcommand{\Te}{[T]} \newcommand{\Tee}{[T_1,T_2]} \newcommand{\Teee}{[T_1,T_2,T_3]} \newcommand{\Ten}{[T_1,\cdots,T_n]} \newcommand{\Tem}{[T_1,\cdots,T_m]} \newcommand{\pts}{\cdots} \newcommand{\pt}{\cdot} \DeclareMathOperator{\Gal}{Gal} \DeclareMathOperator{\Hom}{Hom} \newcommand{\hm}[3]{\Hom_{#1}(#2,#3)} \newcommand{\hom}[2]{\Hom(#1,#2)} \newcommand{\Sschemes}{\schemes/S} \newcommand{\kschemes}{\schemes/k} \newcommand{\dash}{\dashrightarrow} \newcommand{\schemes}{\bb{(Sch)}} \newcommand{\Is}{\overset{\sim}{\to}} \newcommand{\oIs}[1]{\overset{#1}{\overset{\sim}{\to}}} \newcommand{\tx}[1]{\text{ #1 }} \newcommand{\sp}[1]{\Spec(#1)} \newcommand{\prj}[1]{Proj(#1)} \newcommand{\wlog}{\text{ without losing generality }} \newcommand{\ffoc}{\text{ \text{Let } f\colon C\to S \text{ be a flat family of curves of genus } g}} \newcommand{\mm}{\ff{m}} \newcommand{\arr}[3]{#1\overset{#2}{\to} #3} \newcommand{\isom}[3]{#1\overset{#2}{\overset{\sim}{\to}}#3} \newcommand{\nrm}[1]{\left\|#1\right\|} \newcommand{\ext}[2]{#1/{#2}} \newcommand{\a}{\alpha} \newcommand{\be}{\beta} \newcommand{\g}{\gamma} \newcommand{\de}{\delta} \newcommand{\vp}{\varphi} \newcommand{\p}{\phi} \newcommand{\bul}{\bullet} \newcommand{\t}{\tau} \newcommand{\s}{\sigma} \newcommand{\ze}{\zeta} \newcommand{\lmb}{\lambda} \newcommand{\tm}{\times} \newcommand{\tms}{\times\pts\times} \newcommand{\ot}{\otimes} \newcommand{\ots}{\otimes\pts\otimes} \newcommand{\pls}{+\pts +} \newcommand{\kms}{,\pts,} \newcommand{\op}{\oplus} \newcommand{\ops}{\oplus\pts\oplus} \newcommand{\cr}{\circ} \newcommand{\crs}{\circ\pts\circ}\)
Hallo Karl.

Es freut mich, dass du dich dafür interessierst und die Frage ansprichst.

Der Isomorphismus wird explizit in S.Bosch Algebra bewiesen, siehe

4.2 Proendliche Galois-Gruppen Satz 7 Seite 153

und

die Aufgabe 6 auf Seite 156.

Der Isomorphismus gilt für normale Erweiterungen, denn \(L/K\) ist normal, genau dann wenn sich jeder \(K\)-Morphismus \(L\hookrightarrow \overline{K}\) zu einem \(K\)-Automorphismus von \(L\) einschraenkt.

Das bedeutet aber, dass \(Gal(-/K)\cong hom_K(-,\overline{K})\) gilt und es ist allgemein bekannt, dass kontravariante hom-Funktoren Kolimes auf Limes schicken, das heisst wir haben:

\(Gal(L/K)\cong hom_K(L,\overline{K})\cong hom_K(\varinjlim L_i,\overline{K})\cong \varprojlim hom_K(L_i,\overline{K})\cong \varprojlim Gal(L_i/K)\).

Warum die Erweiterung zyklisch ist ist mir jedoch nicht klar.
Meine urspruengliche Idee funktioniert nicht.
Vielleicht hast du eine Idee?

Da du dich aber fuer die Aufgabe interessierst koennen wir sie ja hier zusammen besprechen:

In der Besprechung dieser Uebung wurde die Aufgabe wie folgt geloest:

Aufgabe
Sei \(k\) algebraisch abgeschlossen und \(char(k)=0\).
Bestimme einen algebraischen Abschluss von \(k((t))\) und bestimme die Absolute Galois-Gruppe von \(k((t))\).

Loesung:
"Im original Wortlaut"
Claim:
\(k((t^{1/\infty})):=\bigcup k((t^{1/n}))\) is an algebraic closure of \(F:=k((t))\).

Assume that \(L/k\) with \([L:k]=n\), then \(k((t^{1/n}))\).
Let \(M:=L((t^{1/n}))\).
Will show that \(M=L\).
\(M/F\) is totally ramified, because \(\kappa_F=k\) is algebraically closed.
\(M/F\) is tamely ramified, because \(char(k)=0\).
\(F\) contains all roots of unity \(\overset{Exercise 2.b.) Sheet 5}{\Rightarrow} M/F\) is a cyclic extension.

Observe that \(Gal(M/L)\) and \(Gal(M/{k((t^{1/n}))})\) are subgroups of \(Gal(M/F)\) of index \(n\).

\(Gal(M/F)\) is cyclic \(\Rightarrow Gal(M/L)=Gal(M/{k((t^{1/n}))})\). \(\Rightarrow L=k((t^{1/n}))\).

Actually we have proven \(k((t^{1/n}))/F\) is the unique field extension of degree \(n\).

\(\Rightarrow Gal(\overline{F}/F)=\underset{n}{\varprojlim}Gal(k((t^{1/n}))/{k((t))})\cong \underset{n}{\varprojlim}\mathbb{Z}/{n\mathbb{Z}}=\widehat{\mathbb{Z}}\).


Ende Loesung.
Exercise 2.b.) sheet 5:


Mir ist hier aber ein Problem aufgefallen:
\(k\) ist algebraisch abgeschlossen und folglich nicht endlich.
In Aufgabe 2.b. wird aber die Endlichkeit von \(k\) vorausgesetzt:
Es bezeichnet \(|\kappa_F|=|k|\) dort die Kardinalitaet von \(k\), welche aber in unserer Aufgabe nicht endlich ist.
Ein anderes Problem sehe ich in der Charakteristik.
Mir ist noch nicht klar, inwiefern die Aufgabe 2. fuer die Charakteristik \(0\) gilt.

Der Uebungsleiter meinte jedoch, dass sich dieses Problem beheben liesse indem man folgendes zeigt:

Prop'n
Sei \(K\) ein Lokaler Koerper mit perfektem Restklassenkoerper. (d.h. vollstaendiger diskret nicht-archimedisch bewerteter Koerper mit perfektem Restklassenkoerper.)
Sei \(L/K\) eine endliche Erweiterung vom Grad \(n\) welche alle \(n\)-ten Einheitswurzeln enthaelt und "tamely ramified" (wie heisst das auf Deutsch?) ist.
Dann ist \(L/K\) zyklisch.

Der Beweis soll aus der Kummer Theorie (Galois Theorie) folgen.
Ich versuche es jetzt zu beweisen.

Desweiteren ist mir noch nicht klar, inwiefern mit obiger Loesung die algebraische Abgeschlossenheit von \(k((t^{1/\infty}))\) gezeigt ist.
Hast du eine Idee?

Liebe Gruesse
小石头

PS:
(Ein paar Nebeninformationen zu diesem Thema die dir vllt. schon bekannt sind:

Mit \(k((t^{1/n}))\)) ist hier der Koerper der Puiseux-Reihen gemeint. Ich kenne zwei weitere Beweise, dass obige Konstruktion ein algebraischer Abschluss von \(k((t))\) ist. 1. Mit Newton Polygonen.  Das geht auf Newton zurueck und heisst "Newton Puiseux Theorem". 2. In Eisenbud's Commutative Algebra wird es bewiesen mit Mitteln der Kommutativen Algebra: Cor.13.15. page 295.
Der Fall char \(p\) ist komplizierter, ist aber auch bekannt. Man kann hierzu einen Beweis hier finden.
Beachte auch die Terminologie quasi-finite field).


 



\(\endgroup\)

KarlRuprecht
Aktiv
Dabei seit: 01.03.2017
Mitteilungen: 165
Herkunft:
 Beitrag No.2, eingetragen 2018-12-07 00:55    [Diesen Beitrag zitieren]

Hi. Bin hier etwas zufällig auf deine Frage gestoßen. Könntest du vielleicht etwas ausführen, wie es sich begründet, dass $Gal(k((t^{1/n}))/{k((t))}$  einer zyklischen Gruppe entspricht? Insbesondere wieso für formale Potenzen dies derselben Galois-Gruppe wie für $k(t^{1/n})/k(t)$ entspricht?

Nebenbei bemerkt: Zu $Gal(\underset{n\geq 1}{\bigcup k((t^{1/n}))}/{k((t))})\cong \underset{n\geq 1}{\varprojlim Gal(k((t^{1/n})))/{k((t))}}$:

Ist dieser Iso nur für Kolimiten von algebraischer oder Galois Erweiterungen erklärt, oder gilt die Aussage wie folgt allgemeiner:

Sei $\varinjlim K_n $ Limes (dh direkter) von irgendwelchen Körpererweiterungen von $k$, dann gelte

$$Aut_k(\varinjlim K_n/k) \cong \varprojlim_n Aut(K_n/k)$$?

Unter welchen Voraussetzungen darfst du hier Limiten mit Kolimiten im obigen Sinne vertrauschen?

Gruß

Karl



xiao_shi_tou_
Senior
Dabei seit: 12.08.2014
Mitteilungen: 654
Herkunft: Bonn
 Beitrag No.1, eingetragen 2018-11-27 13:16    [Diesen Beitrag zitieren]
\(\begingroup\)\(\newcommand{\monoid}[1]{   \begin{tikzcd}[->,font=\normalsize,>=angle 90,ampersand replacement=\&]   #1(1) \arrow{d}{#1(6)} \arrow[<->]{rr}{\alpha}\& \& #1(2) \arrow{d}{#1(7)}\\   #1(3) \arrow{dr}{#1(8)} \& \& #1(4)\arrow{dl}{#1(9)}\\    \& #1(5) \&   \end{tikzcd}} \DeclareMathOperator{\codim}{codim} \DeclareMathOperator{\char}{char} \DeclareMathOperator{\length}{length} \DeclareMathOperator{\locArt}{locArt} \DeclareMathOperator{\id}{id} \DeclareMathOperator{\Ass}{Ass} \DeclareMathOperator{\im}{im} \newcommand{\ka}{\kappa} \newcommand{\pr}{\mathfrak{p}} \newcommand{\abs}[1]{\left| #1\right|} \newcommand{\ab}{\left|-\right|} \newcommand{\eps}{\epsilon} \DeclareMathOperator{\Pic}{Pic} \DeclareMathOperator{\Spec}{Spec} \newcommand{\N}{\mathbb{N}} \newcommand{\units}[1]{(\Zx{#1})^\times} \newcommand{\KX}{K[X]} \newcommand{\cov}{\c{U}} \newcommand{\ff}[1]{\mathfrak{#1}} \newcommand{\leg}[2]{\left(\frac{#1}{#2}\right)} \newcommand{\ANF}{K/\Q} \newcommand{\Os}{\mathcal{O}_{S,s}} \newcommand{\lineb}{\c{L}} \newcommand{\cyclm}{\Q(\sqrt[m]{1})} \newcommand{\cyclmK}{K(\sqrt[m]{1})} \newcommand{\clKX}{\overline{K}[X]} \newcommand{\LX}{L[X]} \newcommand{\gfib}[2]{#1_{\cl{#2}}} \newcommand{\OS}{\mathcal{O}_S} \newcommand{\bb}[1]{\textbf{#1}} \newcommand{\OY}{\mathcal{O}_Y} \newcommand{\glX}{\Gamma(X,\mathcal{O}_X)} \newcommand{\glY}{\Gamma(Y,\mathcal{O}_Y)} \newcommand{\finKX}{f\in K[X]} \newcommand{\ser}[1]{\sm{n=0}{\infty}{#1}} \newcommand{\sm}[3]{\underset{#1}{\overset{#2}{\sum}} #3} \newcommand{\cl}[1]{\overline{#1}} \newcommand{\sube}{\subseteq} \newcommand{\prou}{\text{ primitive }m \text{-th root of unity }} \newcommand{\hk}{\hookrightarrow} \newcommand{\OYy}{\mathcal{O}_{Y,y}} \newcommand{\supe}{\supseteq} \newcommand{\resy}{\kappa(y)} \newcommand{\LK}{L/K} \newcommand{\iso}{\overset{\sim}{\to}} \newcommand{\kn}{k^n} \newcommand{\kvec}{\textbf{vect}(k)} \newcommand{\fkvec}{\textbf{vect}_{<\infty}(k)} \newcommand{\fz}{f(X)=0} \newcommand{\KIsom}{L\underset{K}{\overset{\sim}{\to}} L} \newcommand{\simple}{\text{Let }K'=K(\alpha)\text{ be a simple extension of  }K \text{ with minimal polynomial }\finKX} \newcommand{\Q}{\mathbb{Q}} \renewcommand{\S}{\mathbb{S}} \newcommand{\R}{\mathbb{R}} \newcommand{\C}{\mathbb{C}} \newcommand{\F}{\mathbb{F}} \newcommand{\A}{\mathbb{A}} \newcommand{\P}{\mathbb{P}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\Zp}{\mathbb{Z}_p} \newcommand{\Qp}{\mathbb{Q}_p} \newcommand{\Qq}{\mathbb{Q}_q} \newcommand{\Fp}{\mathbb{F}_p} \newcommand{\I}{[0,1]} \newcommand{\In}{[0,1]^n} \newcommand{\Fpn}{\mathbb{F}_{p^n}} \newcommand{\Fpm}{\mathbb{F}_{p^m}} \newcommand{\Zn}{\mathbb{Z}/{n\mathbb{Z}}} \newcommand{\Zx}[1]{\mathbb{Z}/{#1\mathbb{Z}}} \newcommand{\md}[3]{#1\equiv #2\pmod{#3}} \newcommand{\ga}{\Gal(L/K)} \newcommand{\aga}[1][k]{\Gal(\overline{#1}/#1)} \newcommand{\gal}[2]{\Gal(#1/{#2})} \newcommand{\c}[1]{\mathcal{#1}} \newcommand{\limes}[1]{\underset{i\in I}{\varprojlim{#1_i}}} \newcommand{\prp}{\text{ proper }} \newcommand{\lnss}{\text{ locally noetherian Schemes}} \newcommand{\lns}{\text{ locally noetherian Scheme }} \newcommand{\ffe}{\text{ finite field extension }} \newcommand{\fge}{\text{ finite Galois extension }} \newcommand{\fne}{\text{ finite normal extension }} \newcommand{\fse}{\text{ finite separable extension }} \newcommand{\fure}{\text{ finite unramified extension }} \newcommand{\frae}{\text{ finite ramified extension }} \newcommand{\ure}{\text{ unramified extension }} \newcommand{\rae}{\text{ ramified extension }} \newcommand{\tarae}{\text{ tamely ramified extension }} \newcommand{\rain}{\text{ ramification index }} \newcommand{\indeg}{\text{ inertia index }} \newcommand{\SS}[2]{E_2^{p,q}=#1\Longrightarrow #2} \newcommand{\Co}[2]{H^p(#1,#2)} \newcommand{\qcqs}{\text{ quasi-compact quasi-separated }} \newcommand{\oft}{\text{ of finite type }} \newcommand{\loft}{\text{ locally of finite type }} \newcommand{\ofp}{\text{ of finite presentation }} \newcommand{\SqcOX}{\text{ Let }\mathcal{M}\text{ be a quasi-coherent} \mathcal{O}_X-\text{module}} \newcommand{\OX}{\mathcal{O}_X} \newcommand{\OC}{\mathcal{O}_C} \newcommand{\Ox}{\mathcal{O}_{X,x}} \newcommand{\OXmu}{\mathcal{O}_{X,\mu}} \newcommand{\OCx}{\mathcal{O}_{C,x}} \newcommand{\OYx}{\mathcal{O}_{Y,y}} \newcommand{\OK}{\mathcal{O}_K} \newcommand{\OL}{\mathcal{O}_L} \newcommand{\res}[1]{\kappa_#1} \newcommand{\resx}{\kappa(x)} \newcommand{\mor}[5]{\text{ Let } #1\overset{#2}{\to} #3 \text{ be a }#4 \text{morphism of }#5} \newcommand{\let}[3]{\text{ Let } #1 \text{ be a } #2 \text{ of } #3} \newcommand{\sk}{\{\tau\}} \newcommand{\Te}{[T]} \newcommand{\Tee}{[T_1,T_2]} \newcommand{\Teee}{[T_1,T_2,T_3]} \newcommand{\Ten}{[T_1,\cdots,T_n]} \newcommand{\Tem}{[T_1,\cdots,T_m]} \newcommand{\pts}{\cdots} \newcommand{\pt}{\cdot} \DeclareMathOperator{\Gal}{Gal} \DeclareMathOperator{\Hom}{Hom} \newcommand{\hm}[3]{\Hom_{#1}(#2,#3)} \newcommand{\hom}[2]{\Hom(#1,#2)} \newcommand{\Sschemes}{\schemes/S} \newcommand{\kschemes}{\schemes/k} \newcommand{\dash}{\dashrightarrow} \newcommand{\schemes}{\bb{(Sch)}} \newcommand{\Is}{\overset{\sim}{\to}} \newcommand{\oIs}[1]{\overset{#1}{\overset{\sim}{\to}}} \newcommand{\tx}[1]{\text{ #1 }} \newcommand{\sp}[1]{\Spec(#1)} \newcommand{\prj}[1]{Proj(#1)} \newcommand{\wlog}{\text{ without losing generality }} \newcommand{\ffoc}{\text{ \text{Let } f\colon C\to S \text{ be a flat family of curves of genus } g}} \newcommand{\mm}{\ff{m}} \newcommand{\arr}[3]{#1\overset{#2}{\to} #3} \newcommand{\isom}[3]{#1\overset{#2}{\overset{\sim}{\to}}#3} \newcommand{\nrm}[1]{\left\|#1\right\|} \newcommand{\ext}[2]{#1/{#2}} \newcommand{\a}{\alpha} \newcommand{\be}{\beta} \newcommand{\g}{\gamma} \newcommand{\de}{\delta} \newcommand{\vp}{\varphi} \newcommand{\p}{\phi} \newcommand{\bul}{\bullet} \newcommand{\t}{\tau} \newcommand{\s}{\sigma} \newcommand{\ze}{\zeta} \newcommand{\lmb}{\lambda} \newcommand{\tm}{\times} \newcommand{\tms}{\times\pts\times} \newcommand{\ot}{\otimes} \newcommand{\ots}{\otimes\pts\otimes} \newcommand{\pls}{+\pts +} \newcommand{\kms}{,\pts,} \newcommand{\op}{\oplus} \newcommand{\ops}{\oplus\pts\oplus} \newcommand{\cr}{\circ} \newcommand{\crs}{\circ\pts\circ}\)
Die Frage hat sich erledigt:
Die Erweiterung ist zyklisch vom Grad \(n\).
Folglich gilt \(Gal(\overline{k((t))}/{k((t))})\cong \underset{n\geq 1}{\varprojlim \mathbb{Z}/n}\cong \widehat{\mathbb{Z}}\).
\(\endgroup\)

xiao_shi_tou_
Senior
Dabei seit: 12.08.2014
Mitteilungen: 654
Herkunft: Bonn
 Themenstart: 2018-11-27 12:42    [Diesen Beitrag zitieren]
\(\begingroup\)\(\newcommand{\monoid}[1]{   \begin{tikzcd}[->,font=\normalsize,>=angle 90,ampersand replacement=\&]   #1(1) \arrow{d}{#1(6)} \arrow[<->]{rr}{\alpha}\& \& #1(2) \arrow{d}{#1(7)}\\   #1(3) \arrow{dr}{#1(8)} \& \& #1(4)\arrow{dl}{#1(9)}\\    \& #1(5) \&   \end{tikzcd}} \DeclareMathOperator{\codim}{codim} \DeclareMathOperator{\char}{char} \DeclareMathOperator{\length}{length} \DeclareMathOperator{\locArt}{locArt} \DeclareMathOperator{\id}{id} \DeclareMathOperator{\Ass}{Ass} \DeclareMathOperator{\im}{im} \newcommand{\ka}{\kappa} \newcommand{\pr}{\mathfrak{p}} \newcommand{\abs}[1]{\left| #1\right|} \newcommand{\ab}{\left|-\right|} \newcommand{\eps}{\epsilon} \DeclareMathOperator{\Pic}{Pic} \DeclareMathOperator{\Spec}{Spec} \newcommand{\N}{\mathbb{N}} \newcommand{\units}[1]{(\Zx{#1})^\times} \newcommand{\KX}{K[X]} \newcommand{\cov}{\c{U}} \newcommand{\ff}[1]{\mathfrak{#1}} \newcommand{\leg}[2]{\left(\frac{#1}{#2}\right)} \newcommand{\ANF}{K/\Q} \newcommand{\Os}{\mathcal{O}_{S,s}} \newcommand{\lineb}{\c{L}} \newcommand{\cyclm}{\Q(\sqrt[m]{1})} \newcommand{\cyclmK}{K(\sqrt[m]{1})} \newcommand{\clKX}{\overline{K}[X]} \newcommand{\LX}{L[X]} \newcommand{\gfib}[2]{#1_{\cl{#2}}} \newcommand{\OS}{\mathcal{O}_S} \newcommand{\bb}[1]{\textbf{#1}} \newcommand{\OY}{\mathcal{O}_Y} \newcommand{\glX}{\Gamma(X,\mathcal{O}_X)} \newcommand{\glY}{\Gamma(Y,\mathcal{O}_Y)} \newcommand{\finKX}{f\in K[X]} \newcommand{\ser}[1]{\sm{n=0}{\infty}{#1}} \newcommand{\sm}[3]{\underset{#1}{\overset{#2}{\sum}} #3} \newcommand{\cl}[1]{\overline{#1}} \newcommand{\sube}{\subseteq} \newcommand{\prou}{\text{ primitive }m \text{-th root of unity }} \newcommand{\hk}{\hookrightarrow} \newcommand{\OYy}{\mathcal{O}_{Y,y}} \newcommand{\supe}{\supseteq} \newcommand{\resy}{\kappa(y)} \newcommand{\LK}{L/K} \newcommand{\iso}{\overset{\sim}{\to}} \newcommand{\kn}{k^n} \newcommand{\kvec}{\textbf{vect}(k)} \newcommand{\fkvec}{\textbf{vect}_{<\infty}(k)} \newcommand{\fz}{f(X)=0} \newcommand{\KIsom}{L\underset{K}{\overset{\sim}{\to}} L} \newcommand{\simple}{\text{Let }K'=K(\alpha)\text{ be a simple extension of  }K \text{ with minimal polynomial }\finKX} \newcommand{\Q}{\mathbb{Q}} \renewcommand{\S}{\mathbb{S}} \newcommand{\R}{\mathbb{R}} \newcommand{\C}{\mathbb{C}} \newcommand{\F}{\mathbb{F}} \newcommand{\A}{\mathbb{A}} \newcommand{\P}{\mathbb{P}} \newcommand{\Z}{\mathbb{Z}} \newcommand{\Zp}{\mathbb{Z}_p} \newcommand{\Qp}{\mathbb{Q}_p} \newcommand{\Qq}{\mathbb{Q}_q} \newcommand{\Fp}{\mathbb{F}_p} \newcommand{\I}{[0,1]} \newcommand{\In}{[0,1]^n} \newcommand{\Fpn}{\mathbb{F}_{p^n}} \newcommand{\Fpm}{\mathbb{F}_{p^m}} \newcommand{\Zn}{\mathbb{Z}/{n\mathbb{Z}}} \newcommand{\Zx}[1]{\mathbb{Z}/{#1\mathbb{Z}}} \newcommand{\md}[3]{#1\equiv #2\pmod{#3}} \newcommand{\ga}{\Gal(L/K)} \newcommand{\aga}[1][k]{\Gal(\overline{#1}/#1)} \newcommand{\gal}[2]{\Gal(#1/{#2})} \newcommand{\c}[1]{\mathcal{#1}} \newcommand{\limes}[1]{\underset{i\in I}{\varprojlim{#1_i}}} \newcommand{\prp}{\text{ proper }} \newcommand{\lnss}{\text{ locally noetherian Schemes}} \newcommand{\lns}{\text{ locally noetherian Scheme }} \newcommand{\ffe}{\text{ finite field extension }} \newcommand{\fge}{\text{ finite Galois extension }} \newcommand{\fne}{\text{ finite normal extension }} \newcommand{\fse}{\text{ finite separable extension }} \newcommand{\fure}{\text{ finite unramified extension }} \newcommand{\frae}{\text{ finite ramified extension }} \newcommand{\ure}{\text{ unramified extension }} \newcommand{\rae}{\text{ ramified extension }} \newcommand{\tarae}{\text{ tamely ramified extension }} \newcommand{\rain}{\text{ ramification index }} \newcommand{\indeg}{\text{ inertia index }} \newcommand{\SS}[2]{E_2^{p,q}=#1\Longrightarrow #2} \newcommand{\Co}[2]{H^p(#1,#2)} \newcommand{\qcqs}{\text{ quasi-compact quasi-separated }} \newcommand{\oft}{\text{ of finite type }} \newcommand{\loft}{\text{ locally of finite type }} \newcommand{\ofp}{\text{ of finite presentation }} \newcommand{\SqcOX}{\text{ Let }\mathcal{M}\text{ be a quasi-coherent} \mathcal{O}_X-\text{module}} \newcommand{\OX}{\mathcal{O}_X} \newcommand{\OC}{\mathcal{O}_C} \newcommand{\Ox}{\mathcal{O}_{X,x}} \newcommand{\OXmu}{\mathcal{O}_{X,\mu}} \newcommand{\OCx}{\mathcal{O}_{C,x}} \newcommand{\OYx}{\mathcal{O}_{Y,y}} \newcommand{\OK}{\mathcal{O}_K} \newcommand{\OL}{\mathcal{O}_L} \newcommand{\res}[1]{\kappa_#1} \newcommand{\resx}{\kappa(x)} \newcommand{\mor}[5]{\text{ Let } #1\overset{#2}{\to} #3 \text{ be a }#4 \text{morphism of }#5} \newcommand{\let}[3]{\text{ Let } #1 \text{ be a } #2 \text{ of } #3} \newcommand{\sk}{\{\tau\}} \newcommand{\Te}{[T]} \newcommand{\Tee}{[T_1,T_2]} \newcommand{\Teee}{[T_1,T_2,T_3]} \newcommand{\Ten}{[T_1,\cdots,T_n]} \newcommand{\Tem}{[T_1,\cdots,T_m]} \newcommand{\pts}{\cdots} \newcommand{\pt}{\cdot} \DeclareMathOperator{\Gal}{Gal} \DeclareMathOperator{\Hom}{Hom} \newcommand{\hm}[3]{\Hom_{#1}(#2,#3)} \newcommand{\hom}[2]{\Hom(#1,#2)} \newcommand{\Sschemes}{\schemes/S} \newcommand{\kschemes}{\schemes/k} \newcommand{\dash}{\dashrightarrow} \newcommand{\schemes}{\bb{(Sch)}} \newcommand{\Is}{\overset{\sim}{\to}} \newcommand{\oIs}[1]{\overset{#1}{\overset{\sim}{\to}}} \newcommand{\tx}[1]{\text{ #1 }} \newcommand{\sp}[1]{\Spec(#1)} \newcommand{\prj}[1]{Proj(#1)} \newcommand{\wlog}{\text{ without losing generality }} \newcommand{\ffoc}{\text{ \text{Let } f\colon C\to S \text{ be a flat family of curves of genus } g}} \newcommand{\mm}{\ff{m}} \newcommand{\arr}[3]{#1\overset{#2}{\to} #3} \newcommand{\isom}[3]{#1\overset{#2}{\overset{\sim}{\to}}#3} \newcommand{\nrm}[1]{\left\|#1\right\|} \newcommand{\ext}[2]{#1/{#2}} \newcommand{\a}{\alpha} \newcommand{\be}{\beta} \newcommand{\g}{\gamma} \newcommand{\de}{\delta} \newcommand{\vp}{\varphi} \newcommand{\p}{\phi} \newcommand{\bul}{\bullet} \newcommand{\t}{\tau} \newcommand{\s}{\sigma} \newcommand{\ze}{\zeta} \newcommand{\lmb}{\lambda} \newcommand{\tm}{\times} \newcommand{\tms}{\times\pts\times} \newcommand{\ot}{\otimes} \newcommand{\ots}{\otimes\pts\otimes} \newcommand{\pls}{+\pts +} \newcommand{\kms}{,\pts,} \newcommand{\op}{\oplus} \newcommand{\ops}{\oplus\pts\oplus} \newcommand{\cr}{\circ} \newcommand{\crs}{\circ\pts\circ}\)
Hallo.

Ich bin auf der Suche nach der Absoluten Galoisgruppe von \(k((t))\), wobei \(k\) algebraisch abgeschlossen von der Charakteristik \(0\) ist.

Der Algebraische Abschluss von \(k((t))\) ist \(\underset{n\geq 1}{\bigcup k((t^{1/n}))}\).

Folglich ist die Absolute Galoisgruppe gegeben durch:
\(Gal(\underset{n\geq 1}{\bigcup k((t^{1/n}))}/{k((t))})\cong \underset{n\geq 1}{\varprojlim Gal(k((t^{1/n})))/{k((t))}}\).

Frage:
Was ist \(Gal(k((t^{1/n}))/{k((t))}\)?
Ich vermute, dass \(k((t^{1/n}))\cong k((t))(t^{1/n})\) gilt, konnte das aber noch nicht bestaetigen.

Hat jemand eine Idee?

Gruesse
\(\endgroup\)

 
All logos and trademarks in this site are property of their respective owner. The comments are property of their posters, all the rest © 2001-2019 by Matroids Matheplanet
This web site was made with PHP-Nuke, a web portal system written in PHP. PHP-Nuke is Free Software released under the GNU/GPL license.
Ich distanziere mich von rechtswidrigen oder anstößigen Inhalten, die sich trotz aufmerksamer Prüfung hinter hier verwendeten Links verbergen mögen.
Lesen Sie die Nutzungsbedingungen, die Distanzierung, die Datenschutzerklärung und das Impressum.
[Seitenanfang]