Related papers: Admissible groups over number fields
Let $G$ be a finite nilpotent group and $K$ a number field with torsion relatively prime to the order of $G$. By a sequence of central group extensions with cyclic kernel we obtain an upper bound for the minimum number of prime ideals of…
Let $K$ be a number field with ring of integers $\mathcal{O}_K$ and let $G$ be a finite group. Given a $G$-Galois $K$-algebra $K_h$, let $\mathcal{O}_h$ denote its ring of integers. If $K_h/K$ is tame, then a classical theorem of E. Noether…
Let $K/\mathbf{Q}$ be a finite Galois extension. The P\'olya group of $K$ is the subgroup of the class group $Cl(K)$, generated by the classes of ambiguous ideals of $K$. In this note, among other results, we prove that every finite abelian…
Counting number fields with prescribed Galois group is an enduring challenge in arithmetic statistics. Using the determinant method, we provide an upper bound for even groups, which is new in some cases.
Let $k$ be a field, with absolute Galois group $\Gamma$. Let $A/k$ be a finite \'etale group scheme of multiplicative type, i.e. a discrete $\Gamma$-module. Let $n \geq 2$ be an integer, and let $x \in H^n(k,A)$ be a cohomology class. We…
This paper analyzes theorems about algebraic field extensions using the techniques of reverse mathematics. In section 2, we show that $\mathsf{WKL}_0$ is equivalent to the ability to extend $F$-automorphisms of field extensions to…
By a classical result of Neukirch and Uchida, a number field K is determined by the structure of its absolute Galois group Gal(K). We show that K is not determined by the structure of the Sylow subgroups of Gal(K), answering a question…
Let $X$ be a Berkovich space over a valued field. We prove that every finite group is a Galois group over $\Ms(B)(T)$, where $\Ms(B)$ is the field of meromorphic functions over a part $B$ of $X$ satisfying some conditions. This gives a new…
The aim of the inverse Galois problem is to find extensions of a given field whose Galois group is isomorphic to a given group. In this article, we are interested in subgroups of GL(2,Z/nZ) where n is an integer. We know that, in general,…
Let G be a finite abelian group. A number field K is called a Hilbert-Speiser field of type G if for every tame G-Galois extension L/K has a normal integral basis, i.e., the ring of integers O_L is free as an O_K[G]-module. Let C_p denote…
Given a $p$-adic field $K$ and a prime number $\ell$, we count the total number of the isomorphism classes of $p^\ell$-extensions of $K$ having no intermediate fields. Moreover for each group that can appear as Galois group of the normal…
A linear algebraic group G over a field k is called a Cayley group if it admits a Cayley map, i.e. a G-equivariant birational isomorphism over k between the group variety G and its Lie algebra Lie(G). A prototypical example is the classical…
For various nonsolvable groups $G$, we prove the existence of extensions of the rationals $\mathbb{Q}$ with Galois group $G$ and inertia groups of order dividing $ge(G)$, where $ge(G)$ is the smallest exponent of a generating set for $G$.…
When p divides the ordering of Galois group, the distribution of the Sylow p-subgroup of Cl(K) is closely related to the problem of counting fields with certain specifications. Moreover, different orderings of number fields affect the…
Let l be an odd prime and K/k a Galois extension of totally real number fields with Galois group G such that K/k_\infty and k/Q are finite. We reduce the conjectured triviality of the reduced Whitehead group SK_1(QG) of the algebra…
The P\'olya group ${\rm Po}(K)$ of a number field $K$ is the subgroup of the ideal class group ${\rm Cl}(K)$ of $K$ generated by the classes of all the products of the prime ideals of $K$ with the same norm. Motivated by the classical "one…
- Let p be a prime number and K an algebraic number field. What is the arithmetic structure of Galois extensions L/K having p-adic analytic Galois group $\Gamma$ = Gal(L/K)? The celebrated Tame Fontaine-Mazur conjecture predicts that such…
Let K and F be complete discrete valuation fields of residue characteristic p>0. Let m be a positive integer no more than their absolute ramification indices. Let s and t be their uniformizers. Let L/K and E/F be finite extensions such that…
In 1976, Onabe discovered that, in contrast to the Neukirch-Uchida results that were proved around the same time, a number field $K$ is not completely characterized by its absolute abelian Galois group $A_K$. The first examples of…
The absolute Galois group Gal$(\overline{\mathbb{Q}}/\mathbb{Q})$ of the field $\mathbb{Q}$ of rational numbers can be presented as a highly computable object, under the notion of type-2 Turing computation. We formalize such a presentation…