Related papers: Hopf-Galois structures on finite extensions with q…

We prove that a depth two Hopf subalgebra K of a semisimple Hopf algebra H is normal (where the ground field $k$ is algebraically closed of characteristic zero). This means on the one hand that a Hopf subalgebra is normal when inducing…

We show that there exists a Galois correspondence between subalgebras of an H-comodule algebra A over a base ring R and generalised quotients of a Hopf algebra H if both A and H are flat Mittag--Leffler modules. We also provide new criteria…

Every Hopf-Galois structure on a finite Galois extension $K/k$ where $G=Gal(K/k)$ corresponds uniquely to a regular subgroup $N\leq B=\operatorname{Perm}(G)$, normalized by $\lambda(G)\leq B$, in accordance with a theorem of Greither and…

For a prime number $p$, we show that if two certain canonical finite quotients of a finitely generated Bloch-Kato pro-$p$ group $G$ coincide, then $G$ has a very simple structure, i.e., $G$ is a $p$-adic analytic pro-$p$ group. This result…

In this work, we show that given a finite p-group G, a number field K having a trivial p-class group Cl K , and a finite set of primes S of K, there exists a finite extension F/K such that the S-split p-Hilbert class field tower L S p (F )…

We call a (q-1)-th Kummer extension of a cyclotomic function field a quasi-cyclotomic function field if it is Galois, but non-abelian, over the rational function field with the constant field of q elements. In this paper, we determine the…

We determine the Hopf Galois structures on a Galois field extension of degree twice an odd prime square and classify the corresponding left braces. Besides we determine the separable field extensions of degree twice an odd prime square…

Let $G$ be a finite almost simple group with socle $G_0$. In this paper we prove that whenever $G/G_0$ is abelian, then there exists an abelian subgroup $A$ of $G$ such that $G=AG_0$. We propose a few applications of this structural…

Let $E$ be a primarily quasilocal field, $M/E$ a finite Galois extension and $D$ a central division $E$-algebra of index divisible by $[M\colon E]$. In addition to the main result of Part I, this part of the paper shows that if the Galois…

Let $p$ be an odd prime number. For a degree $p$ extension of $p$-adic fields $L/K$, we give a complete characterization of the condition for the ring of integers $\mathcal{O}_L$ to be free as a module over its associated order in the…

Let $G$ be a finite nonabelian group, and let $\psi:G\to G$ be a homomorphism with abelian image. We show how $\psi$ gives rise to two Hopf-Galois structures on a Galois extension $L/K$ with Galois group (isomorphic to) $G$; one of these…

A pseudo-Galois extension is shown to be a depth two extension. Studying its left bialgebroid, we construct an enveloping Hopf algebroid for the semi-direct product of groups, or more generally involutive Hopf algebras, and their module…

The Hopf-Galois structures on normal extensions $K/k$ with $G=Gal(K/k)$ are in one-to-one correspondence with the set of regular subgroups $N\leq B=Perm(G)$ that are normalized by the left regular representation $\lambda(G)\leq B$. Each…

Let $L/K$ be any finite Galois extension with Galois group $G$. It is known by Chase and Sweedler that the Hopf--Galois correspondence is injective for every Hopf--Galois structure on $L/K$, but it need not be bijective in general.…

Let K be a discretly henselian field whose residue field is separably closed. Answering a question raised by G. Prasad, we show that a semisimple K-- group G is quasi-split if and only if it quasi--splits after a finite tamely ramified…

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…

By using our previous results on induced Hopf Galois structures and a recent result by Koch, Kohl, Truman and Underwood on normality, we determine which types of Hopf Galois structures occur on Galois extensions with Galois group isomorphic…

An extension B\subset A of algebras over a commutative ring k is an H-extension for an L-bialgebroid H if A is an H-comodule algebra and B is the subalgebra of its coinvariants. It is H-Galois if the canonical map A\otimes_B A\to A\otimes_L…

We give a degree 8 separable extension having two non-isomorphic Hopf-Galois structures with isomorphic underlying Hopf algebras.

Hopf Galois theory expands the classical Galois theory by considering the Galois property in terms of the action of the group algebra k[G] on K/k and then replacing it by the action of a Hopf algebra. We review the case of separable…