Skip to main content
MathOverflow

Return to Question

added 9 characters in body
Source Link
David Hansen
David Hansen
  • 13.1k
  • 6
  • 55
  • 88

The absolute Galois group $G_{\mathbb Q}=\text{Gal}(\bar{\mathbb Q}/\mathbb Q)$, as a profinite group, encodes a lot of things: the whole lattice of number fields (closed subgroups of finite index), Galois extensions (normal subgroups), abelian extensions etc. Is it possible to recognize unramified abelian extensions from the group-theoretic data? So,

Question: Given a closed subgroup $H\subset G_{\mathbb Q}$ of finite index, is there an explicit group-theoretic way to recover the class group or the class number of the fixed field $K={\mathbb Q}^H$$K=\overline{\mathbb Q}^H$?

(Because all continuous automorphisms of $G_{\mathbb Q}$ are inner, in theory $K$ itself can be recovered from $H$ and its class group computed, but this is not what I'd like to call "group-theoretic" or "explicit".)

The absolute Galois group $G_{\mathbb Q}=\text{Gal}(\bar{\mathbb Q}/\mathbb Q)$, as a profinite group, encodes a lot of things: the whole lattice of number fields (closed subgroups of finite index), Galois extensions (normal subgroups), abelian extensions etc. Is it possible to recognize unramified abelian extensions from the group-theoretic data? So,

Question: Given a closed subgroup $H\subset G_{\mathbb Q}$ of finite index, is there an explicit group-theoretic way to recover the class group or the class number of the fixed field $K={\mathbb Q}^H$?

(Because all continuous automorphisms of $G_{\mathbb Q}$ are inner, in theory $K$ itself can be recovered from $H$ and its class group computed, but this is not what I'd like to call "group-theoretic" or "explicit".)

The absolute Galois group $G_{\mathbb Q}=\text{Gal}(\bar{\mathbb Q}/\mathbb Q)$, as a profinite group, encodes a lot of things: the whole lattice of number fields (closed subgroups of finite index), Galois extensions (normal subgroups), abelian extensions etc. Is it possible to recognize unramified abelian extensions from the group-theoretic data? So,

Question: Given a closed subgroup $H\subset G_{\mathbb Q}$ of finite index, is there an explicit group-theoretic way to recover the class group or the class number of the fixed field $K=\overline{\mathbb Q}^H$?

(Because all continuous automorphisms of $G_{\mathbb Q}$ are inner, in theory $K$ itself can be recovered from $H$ and its class group computed, but this is not what I'd like to call "group-theoretic" or "explicit".)

added "of finite index"
Source Link
Tim Dokchitser
Tim Dokchitser
  • 5.4k
  • 1
  • 34
  • 45

The absolute Galois group $G_{\mathbb Q}=\text{Gal}(\bar{\mathbb Q}/\mathbb Q)$, as a profinite group, encodes a lot of things: the whole lattice of number fields (closed subgroups of finite index), Galois extensions (normal subgroups), abelian extensions etc. Is it possible to recognize unramified abelian extensions from the group-theoretic data? So,

Question: Given a closed subgroup $H\subset G_{\mathbb Q}$ of finite index, is there an explicit group-theoretic way to recover the class group or the class number of the fixed field $K={\mathbb Q}^H$?

(Because all continuous automorphisms of $G_{\mathbb Q}$ are inner, in theory $K$ itself can be recovered from $H$ and its class group computed, but this is not what I'd like to call "group-theoretic" or "explicit".)

The absolute Galois group $G_{\mathbb Q}=\text{Gal}(\bar{\mathbb Q}/\mathbb Q)$, as a profinite group, encodes a lot of things: the whole lattice of number fields (closed subgroups), Galois extensions (normal subgroups), abelian extensions etc. Is it possible to recognize unramified abelian extensions from the group-theoretic data? So,

Question: Given a closed subgroup $H\subset G_{\mathbb Q}$, is there an explicit group-theoretic way to recover the class group or the class number of the fixed field $K={\mathbb Q}^H$?

(Because all continuous automorphisms of $G_{\mathbb Q}$ are inner, in theory $K$ itself can be recovered from $H$ and its class group computed, but this is not what I'd like to call "group-theoretic" or "explicit".)

The absolute Galois group $G_{\mathbb Q}=\text{Gal}(\bar{\mathbb Q}/\mathbb Q)$, as a profinite group, encodes a lot of things: the whole lattice of number fields (closed subgroups of finite index), Galois extensions (normal subgroups), abelian extensions etc. Is it possible to recognize unramified abelian extensions from the group-theoretic data? So,

Question: Given a closed subgroup $H\subset G_{\mathbb Q}$ of finite index, is there an explicit group-theoretic way to recover the class group or the class number of the fixed field $K={\mathbb Q}^H$?

(Because all continuous automorphisms of $G_{\mathbb Q}$ are inner, in theory $K$ itself can be recovered from $H$ and its class group computed, but this is not what I'd like to call "group-theoretic" or "explicit".)

Source Link
Tim Dokchitser
Tim Dokchitser
  • 5.4k
  • 1
  • 34
  • 45

Are class numbers encoded in the absolute Galois group of ${\mathbb Q}$?

The absolute Galois group $G_{\mathbb Q}=\text{Gal}(\bar{\mathbb Q}/\mathbb Q)$, as a profinite group, encodes a lot of things: the whole lattice of number fields (closed subgroups), Galois extensions (normal subgroups), abelian extensions etc. Is it possible to recognize unramified abelian extensions from the group-theoretic data? So,

Question: Given a closed subgroup $H\subset G_{\mathbb Q}$, is there an explicit group-theoretic way to recover the class group or the class number of the fixed field $K={\mathbb Q}^H$?

(Because all continuous automorphisms of $G_{\mathbb Q}$ are inner, in theory $K$ itself can be recovered from $H$ and its class group computed, but this is not what I'd like to call "group-theoretic" or "explicit".)