Related papers: A relative version of Kummer theory
A Hopf Galois structure on a finite field extension $L/K$ is a pair $(H,\mu)$, where $H$ is a finite cocommutative $K$-Hopf algebra and $\mu$ a Hopf action. In this paper we present a program written in the computational algebra system…
Let $L/K$ be a finite separable extension of fields of degree $n$, and let $E/K$ be its Galois closure. Greither and Pareigis showed how to find all Hopf--Galois structures on $L/K$. We will call a subextension $L'/K$ of $E/K$…
In 2020, Alabdali and Byott described the Hopf-Galois structures arising on Galois field extensions of squarefree degree. Extending to squarefree separable, but not necessarily normal, extensions $L/K$ is a natural next step. One must…
In this paper we consider the problem of classifying the isomorphism classes of extensions of degree pk of a p-adic field, restricting to the case of extensions without intermediate fields. We establish a correspondence between the…
Let $k\subseteq K$ be a finite Galois extension of fields with Galois group $G$. Let $\mathscr{G}$ be the automorphism $k$-group scheme of $K$. We construct a canonical $k$-subgroup scheme $\underline{G}\subset\mathscr{G}$ with the property…
A Galois field extension $E/F$ whose Galois group is a pro-2-group of an exponent of at most 8, with a nilpotency class of at most 4, is determined, such that it contains essential information about the Witt rings of all quadratic…
We prove that the relative commutator with respect to a subvariety of a variety of Omega-groups introduced by the first author can be described in terms of categorical Galois theory. This extends the known correspondence between the…
Let p be an odd prime number and K be a p-adic field. In this paper, we develop an analogue of Fontaine's theory of (phi,Gamma)-modules replacing the p-cyclotomic extension by the extension K_infty obtained by adding to K a compatible…
The fundamental concepts in the Galois Theory are separable, normal and Galois field extensions. These concepts are central in proofs of the Galois Theory. In the paper, we introduce a new approach, a ring theoretic approach, to the Galois…
We generalize Quillen's $F$-isomorphism theorem, Quillen's stratification theorem, the stable transfer, and the finite generation of cohomology rings from finite groups to homotopical groups. As a consequence, we show that the category of…
Let $L/K$ be a finite, totally ramified $p$-extension of complete local fields with residue fields of characteristic $p > 0$, and let $A$ be a $K$-algebra acting on $L$. We define the concept of an $A$-scaffold on $L$, thereby extending and…
Let $G$ be a finite $p$-group. We construct a $G$-extension $K/k$ of number fields such that the $p$-adic completion of the unit group of $K$ has a prescribed $\mathbb{Z}_p[G]$-module structure, up to free direct summands.
Motivated by the work of Lubotzky, we use Galois cohomology to study the difference between the number of generators and the minimal number of relations in a presentation of the Galois group $G_S(k)$ of the maximal extension of a global…
This paper deals with the Weak Inverse Galois Problem which, for a given field $k$, states that, for every finite group $G$, there exists a finite separable extension $L/k$ such that ${\rm{Aut}}(L/k)=G$. One of its goals is to explain how…
We prove that the Krull-Schmidt decomposition of the Galois module of the $p$-adic completion of algebraic units is controlled by the primes that are ramified in the Galois extension and the $S$-ideal class group. We also compute explicit…
One of the key points in Galois theory via field extensions is to build up a correspondence between subfields of a field and subgroups of its automorphism group, so as to study fields via methods of groups. As an analogue of the Galois…
Let U be a smooth quasi-projective variety over a field k that is finite, the algebraic closure of a finite field or algebraically closed of characteristic 0. Let X be a suitable projective compactification of U, and D an effective divisor…
Let $K/E/\mathbb{Q}_p$ be a tower of finite extensions with $E$ Galois. We relate the category of $G_K$-equivariant vector bundles on the Fargues--Fontaine curve with coefficients in $E$ with $E$-$G_K$-$B$-pairs and describe crystalline and…
Let $L/K$ be a finite Galois extension of fields with group $\Gamma$. Associated to each Hopf-Galois structure on $L/K$ is a group $G$ of the same order as the Galois group $\Gamma$. The type of the Hopf-Galois structure is by definition…
Let L/K be a finite Galois extension of complete local fields with finite residue fields and let G=Gal(L/K). Let G_1 and G_2 be the first and second ramification groups. Thus L/K is tamely ramified when G_1 is trivial and we say that L/K is…