Related papers: Cleft extensions of Hopf algebroids

We present here a version of the Artin-Schreier polynomial that works in any characteristic. Let $C_p$ be the cyclic group of prime order $p$. Equivalently, we prove one can lift degree $p$ cyclic $C_p$ extensions over local rings $R,M$…

We classify all Hopf algebras which factorize through two Taft algebras $\mathbb{T}_{n^{2}}(\bar{q})$ and respectively $T_{m^{2}}(q)$. To start with, all possible matched pairs between the two Taft algebras are described: if $\bar{q} \neq…

We prove a universal characterization of Hopf algebras among cocommutative bialgebras over a field: a cocommutative bialgebra is a Hopf algebra precisely when every split extension over it admits a join decomposition. We also explain why…

A Morita context is constructed for any comodule of a coring and, more generally, for an $L$-$\cC$ bicomodule $\Sigma$ for a pure coring extension $(\cD:L)$ of $(\cC:A)$. It is related to a 2-object subcategory of the category of $k$-linear…

Motivated by the simplification of decomposition formulas for fibred bisets, we study the homomorphism extension problem for subdirect products of finite groups when the codomain is an abelian group satisfying certain hypothesis. We prove…

We study the preservation of the Hilbert property and of the weak Hilbert property under base change in field extensions. In particular we show that these properties are preserved if the extension is finitely generated or Galois with…

We show that the Peiffer commutator previously defined by Cigoli, Mantovani and Metere can be used to characterize central extensions of precrossed modules with respect to the subcategory of crossed modules in any semi-abelian category…

In this paper we present the Sweedler cohomology for a cocommutative weak Hopf algebra H. We show that the second cohomology group classifies completely the weak crossed products, having a common preunit, of H with a commutative left…

Let $\mathfrak{g}$ be a Lie algebra, $E$ a vector space containing $\mathfrak{g}$ as a subspace. The paper is devoted to the \emph{extending structures problem} which asks for the classification of all Lie algebra structures on $E$ such…

Let $n\geq 1$ be an integer, $p$, $q$ be distinct odd primes. Let ${G}$, $N$ be two groups of order $p^nq$ with their Sylow-$p$-subgroups being cyclic. We enumerate the Hopf-Galois structures on a Galois ${G}$-extension, with type $N$. This…

$HC_*(A \rtimes G)$ is the cyclic homology of the crossed product algebra $A \rtimes G.$ For any $g \epsilon G$ we will define a homomorphism from $HC_*^g(A),$ the twisted cylic homology of $A$ with respect to $g,$ to $HC_*(A \rtimes G).$…

We investigate when a skew polynomial extension T = R[x; {\sigma}, {\delta}] of a Hopf algebra R admits a Hopf algebra structure, substantially generalising a theorem of Panov. When this construction is applied iteratively in characteristic…

Given a Hopf algebra H and an algebra A that is an H-module algebra we consider the category of left H-modules and A-bimodules, where morphisms are just right A-linear maps (not necessarily H-equivariant). Given a twist F of H we then…

Let $G$ and $N$ be two finite groups of the same order. It is well-known that the existences of the following are equivalent: (a) a Hopf-Galois structure of type $N$ on any Galois $G$-extension; (b) a skew brace with additive group $N$ and…

Schur functions provide an integral basis of the ring of symmetric functions. It is shown that this ring has a natural Hopf algebra structure by identifying the appropriate product, coproduct, unit, counit and antipode, and their…

In braided tensor categories we show the Maschke's theorem and give the necessary and sufficient conditions for double cross biproducts and crossbiproducts and biproducts to be bialgebras. We obtain the factorization theorem for braided…

The link relation on simple subcoalgebras is used for decompositions of coalgebras. In this paper, we provide more sufficient conditions for this link relation, and prove a formula on the products between link-indecomposable components of…

We show that if $H$ is a Hopf algebra with bijective antipode and $B \subset A$ is a faithfully flat $H$-Galois extension, then $A$ is homologically smooth if $H$ and $B$ are.

In this paper we construct a cylindrical module $A \natural \mathcal{H}$ for an $\mathcal{H}$-comodule algebra $A$, where the antipode of the Hopf algebra $\mathcal{H}$ is bijective. We show that the cyclic module associated to the diagonal…

The past few years have seen Hopf--Galois structures on extensions of squarefree degree studied in various contexts. The Galois case was fully explored by Alabdali and Byott in 2020, followed by a first attempt at generalising these results…