algebra / Algebraic number theory
Give an explicit profinite presentation of $\operatorname{Gal}(\overline{\mathbb{Q}}_2 / \mathbb{Q}_2)$. The tame local cases were settled by the early 1980s; the dyadic case was the last one missing. The new presentation has four generators, two word relations and a pro-$2$ condition on the wild generators.
Temporal state
No reconciled state yet.
Append-only history
Give an explicit profinite presentation of $\operatorname{Gal}(\overline{\mathbb{Q}}_2 / \mathbb{Q}_2)$. The tame local cases were settled by the early 1980s; the dyadic case was the last one missing. The new presentation has four generators, two word relations and a pro-$2$ condition on the wild generators.
Research memory
Give an explicit profinite presentation of $\operatorname{Gal}(\overline{\mathbb{Q}}_2 / \mathbb{Q}_2)$. The tame local cases were settled by the early 1980s; the dyadic case was the last one missing. The new presentation has four generators, two word relations and a pro-$2$ condition on the wild generators.
Evidence graph
No public relationships recorded yet.