Related papers: An algorithm to determine Hopf Galois structures
This paper extends Hopf-Galois theory to infinite field extensions and provides a natural definition of subextensions. For separable (possibly infinite) Hopf-Galois extensions, it provides a Galois correspondence. This correspondence also…
Let $p$ be a prime. We complete the classification on pointed Hopf algebras of dimension $p^2$ over an algebraically closed field $k$. When $\text{char}k \neq p$, our result is the same as the well-known result for $\text{char}k=0$. When…
For a fixed prime p, the p-class tower F(p,infinity,K) of a number field K is considered to be known if a pro-p presentation of the Galois group H = Gal( F(p,infinity,K)/K ) is given. In the last few years, it turned out that the Artin…
Coalgebra-Galois extensions generalise Hopf-Galois extensions, which can be viewed as non-commutative torsors. In this paper it is analysed when a coalgebra-Galois extension is a separable, split, or strongly separable extension.
In this paper we give a unified approach in categorical setting to the problem of finding the Galois closure of a finite cover, which includes as special cases the familiar finite separable field extensions, finite unramified covers of a…
Every finite dimensional Hopf algebra is a Frobenius algebra, with Frobenius homomorphism given by an integral. The Nakayama automorphism determined by it yields a decomposition with degrees in a cyclic group. For a family of pointed Hopf…
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…
Let $\Gamma$ be an $N^2$-dimensional bicovariant first order differential calculus on a Hopf algebra $SL_q(N)$. There are three possibilities to construct a differential Z-graded Hopf algebra $\Gamma^\wedge$ which contains $\Gamma$ as its…
Let $K$ be a finite field extension of $\Q$ and let $N$ be a finite group with automorphism group $F=\Aut(N)$. R. Haggenm\"{u}ller and B. Pareigis have shown that there is a bijection \[\Theta: {\mathcal Gal}(K,F)\rightarrow {\mathcal…
Let $L/K$ be a finite Galois, totally ramified $p$-extension of complete local fields with perfect residue fields of characteristic $p>0$. In this paper, we give conditions, valid for any Galois $p$-group $G={Gal}(L/K)$ (abelian or not) and…
For a wildly ramified extension $K/k$ of complete discrete valuation fields we study collections of elements of $k[G]$ (where $G=Gal(K/k)$) that fit well for constructing bases of various associated Galois modules and orders. In the case…
We develop a mechanism for classication of isomorphism types of non-trivial semisimple Hopf algebras whose group of grouplikes $G(H)$ is abelian of prime index $p$ which is the smallest prime divisor of $|G(H)|$. We describe structure of…
$\DeclareMathOperator{\Aut}{Aut}$Let $p, q$ be distinct primes, with $p > 2$. We classify the Hopf-Galois structures on Galois extensions of degree $p^{2} q$, such that the Sylow $p$-subgroups of the Galois group are cyclic. This we do,…
It is shown that every quantum principal bundle with a compact structure group is a Hopf-Galois extension. This property naturally extends to the level of general differential structures, so that every differential calculus over a quantum…
Iterated Hopf Ore extensions (IHOEs) over an algebraically closed base field k of positive characteristic p are studied. We show that every IHOE over k satisfies a polynomial identity, with PI-degree a power of p, and that it is a filtered…
We propose several constructions of commutative or cocommutative Hopf algebras based on various combinatorial structures, and investigate the relations between them. A commutative Hopf algebra of permutations is obtained by a general…
The adjunction between coalgebras and Hopf algebras, first described by Takeuchi, allows one to prove that the semi-abelian category of cocommutative Hopf algebras has enough $\mathcal E$-projective objects with respect to the class…
We give a method of constructing polynomials of arbitrarily large degree irreducible over a global field F but reducible modulo every prime of F. The method consists of finding quadratic f in F[x] whose iterates have the desired property,…
We study the structure of the category of graded, connected, countable-dimensional, commutative and cocommutative Hopf algebras over a perfect field $k$ of characteristic $p$. Every $p$-torsion object in this category is uniquely a direct…
Any finite-dimensional Hopf algebra H is Frobenius and the stable category of H-modules is triangulated monoidal. To H-comodule algebras we assign triangulated module-categories over the stable category of H-modules. These module-categories…