Gruppo di Galois assoluto: differenze tra le versioni

Versione delle 21:59, 16 nov 2021

Versione delle 17:00, 30 dic 2021

Riga 10:

:(Per la notazione vedere [[limite inverso]].)

:L'[[automorfismo di Frobenius]] <math>\mathrm{Fr}</math> è un generatore (topologico) canonico di <math>G_K</math> (si ricordi che <math>\mathrm{Fr}(x)=x^q</math> per ogni <math>x\in K^{alg}</math>, dove <math>q</math> è il numero di elementi di <math>K</math>).

* Il gruppo di Galois assoluto del campo delle funziono razionali con coefficienti complessi è libero (come un [[gruppo profinito]]). Questo risultato è dovuto a [[Adrien Douady]] e ha le sue origini nel [[teorema di esistenza di Riemann]].<ref>{{harvnbcita|Douady|, 1964}}</ref>

* Più in generale, sia <math>C</math> un campo algebricamente chiuso e <math>x</math> una variabile. Il gruppo di Galois assoluto di <math>K=C(x)</math> è libero di rango uguale alla cardinalità di <math>C.</math> Questo risultato è dovuto a [[David Harbater]] e [[Florian Pop]], e fu dimostrato nuovamente in seguito da [[Dan Haran]] e [[Moshe Jarden]] usando metodi algebrici.<ref>{{harvnbcita|Harbater|, 1995}}</ref><ref>{{harvnbcita|Pop|, 1995}}</ref><ref>{{harvnbcita|Haran| Jarden|, 2000}}</ref>

* Sia <math>K</math> un'estensione finita del campo dei [[numeri p-adici]] <math>\Q_p.</math> Per <math>p \ne 2,</math> il suo gruppo di Galois assoluto è generato da <math>[K:\Q_p]+3</math> elementi e ha una descrizione esplicita in termni di generatori e relazioni. Questo è un risultato di Uwe Jannsen e Kay Wingberg.<ref>{{harvnbcita|Jannsen| Wingberg|, 1982}}</ref><ref>{{harvnbcita|Neukirch| Schmidt| Wingberg|, 2000|loc=theorem 7.5.10}}</ref> Alcuni risultati sono noti per il caso <math>p=2,</math> ma la struttura per <math>\Q_2</math> non è nota.<ref>{{harvnbcita|Neukirch| Schmidt| Wingberg|, 2000|loc=§VII.5}}</ref>

* Un altro caso in cui il gruppo di Galois assoluto è stato determinato è per il massimo sottocampo totalmente reale del campo dei [[numeri algebrici]].<ref>{{Cita web|url=http://math.uci.edu/~mfried/paplist-cov/QTotallyReal.pdf |titolo=qtr |formato=PDF |data= |accesso=4 settembre 2019}}</ref>

Riga 19:

== Bibliografia ==

* {{Cita libro| autore = [[Jürgen Neukirch]], Alexander Schmidt e Kay Wingberg |titolo= Cohomology of Number Fields |anno= 2008 |editore=[[Springer-Verlag]] | ed=2|lingua=inglese|url=https://www.mathi.uni-heidelberg.de/~schmidt/NSW2e/|isbn=3-540-37888-X|cid=Neukirch Schmidt Wingberg, 2000}}

*{{Cita pubblicazione|cognome=Douady|nome=Adrien|titolo=Détermination d'un groupe de Galois|anno=1964|rivista=Comptes Rendus de l'Académie des Sciences de Paris|volume=258|pp=5305–5308|cid=Douady, 1964}}

*{{Cita pubblicazione|cognome=Douady

|nome=Adrien

|titolo=Détermination d'un groupe de Galois

|anno=1964

| mr=0162796

|rivista=Comptes Rendus de l'Académie des Sciences de Paris

|volume=258

|pp=5305–5308

}}

* {{Cita pubblicazione|cognome1=Fried |nome1=Michael D. |cognome2=Jarden |nome2=Moshe |titolo=Field arithmetic |edizione=3rd |serie=Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge |volume=11 |editore=[[Springer-Verlag]] |anno=2008 | isbn=978-3-540-77269-9 | zbl=1145.12001 }}

*{{Cita pubblicazione|cognome=Haran|nome=Dan|cognome2=Jarden|nome2=Moshe|titolo=The absolute Galois group of ''C''(''x'')|rivista=Pacific Journal of Mathematics|anno=2000|volume=196|numero=2|pp=445–459| doi=10.2140/pjm.2000.196.445|cid=Haran Jarden, 2000}}

*{{Cita pubblicazione|cognome=Haran

*{{Cita pubblicazione|cognome=Harbater|nome=David|wkautore=David Harbater|contributo=Fundamental groups and embedding problems in characteristic ''p''|pp=353–369|titolo=Recent developments in the inverse Galois problem|editore=[[American Mathematical Society]]|città=[[Providence, RI]]|serie=Contemporary Mathematics|volume=186|cid=Harbater, 1995}}

|nome=Dan

*{{Cita pubblicazione|cognome=Jannsen|nome=Uwe|cognome2=Wingberg|nome2=Kay|titolo=Die Struktur der absoluten Galoisgruppe <math>\mathfrak{p}</math>-adischer Zahlkörper |rivista=[[Inventiones Mathematicae]] |volume=70|anno=1982|pp=71–78

|cognome2=Jarden

| doi=10.1007/bf01393199| bibcode=1982InMat..70...71J

|nome2=Moshe

|cid=Jansen Wingberg, 1982}}

|titolo=The absolute Galois group of ''C''(''x'')

*{{Cita pubblicazione|cognome=Pop|nome=Florian|wkautore=Florian Pop|titolo=Étale Galois covers of affine smooth curves. The geometric case of a conjecture of Shafarevich. On Abhyankar's conjecture|url=https://archive.org/details/sim_inventiones-mathematicae_1995-06_120_3/page/555|rivista=[[Inventiones Mathematicae]]|volume=120|numero=3|anno=1995|pp=555–578| doi=10.1007/bf01241142| bibcode=1995InMat.120..555P|cid=Pop, 1995}}

|rivista=Pacific Journal of Mathematics

|anno=2000

|volume=196

|numero=2

| mr=1800587

|pp=445–459

| doi=10.2140/pjm.2000.196.445

}}

*{{Cita pubblicazione|cognome=Harbater

|nome=David

|wkautore=David Harbater

|contributo=Fundamental groups and embedding problems in characteristic ''p''

| mr=1352282

|pp=353–369

|titolo=Recent developments in the inverse Galois problem

|editore=[[American Mathematical Society]]

|città=[[Providence, RI]]

|serie=Contemporary Mathematics

|volume=186

}}

*{{Cita pubblicazione|cognome=Jannsen

|nome=Uwe

|cognome2=Wingberg

|nome2=Kay

|titolo=Die Struktur der absoluten Galoisgruppe <math>\mathfrak{p}</math>-adischer Zahlkörper

|rivista=[[Inventiones Mathematicae]]

|volume=70

|anno=1982

|pp=71–78

| doi=10.1007/bf01393199

| bibcode=1982InMat..70...71J

}}

*{{Cita pubblicazione|cognome=Pop

|nome=Florian

|wkautore=Florian Pop

|titolo=Étale Galois covers of affine smooth curves. The geometric case of a conjecture of Shafarevich. On Abhyankar's conjecture

|url=https://archive.org/details/sim_inventiones-mathematicae_1995-06_120_3/page/555

|rivista=[[Inventiones Mathematicae]]

|volume=120

|numero=3

|anno=1995

|pp=555–578

| mr=1334484

| doi=10.1007/bf01241142

| bibcode=1995InMat.120..555P

}}

== Collegamenti esterni ==

Riga 87 ⟶ 34:

{{Portale|matematica}}

[[Categoria:Teoria di Galois]]