Related papers: Hopf Galois Extension in Braided Tensor Categories

Let $H$ be a finite Hopf algebra with $C_{H,H} = C_{H,H}^{-1}.$ The duality theorem is shown for $H$, i.e., $$ (R # H)# H^{\hat *} \cong R \otimes (H \bar \otimes H^{\hat *}) \hbox {as algebras in} {\cal C}.$$ Also, it is proved that the…

In this paper, we introduce the category of brace triples in a braided monoidal setting and prove that it is isomorphic to the category of s-Hopf braces, which are a generalization of cocommutative Hopf braces. After that, we obtain a…

Let $H_4$ and $H_8$ be the Sweedler's and Kac-Paljutkin Hopf algebras, respectively. In this paper we prove that any Hopf algebra which factorizes through $H_8$ and $H_4$ (equivalently, any bicrossed product between the Hopf algebras $H_8$…

We define a Galois structure on the category of pairs of equivalence relations in an exact Mal'tsev category, and characterize central and double central extensions in terms of higher commutator conditions. These results generalize both the…

Given a crossed module $\chi$, we introduce Hopf $\chi$-(co)algebras which generalize Hopf algebras and Hopf group-(co)algebras. We interpret them as Hopf algebras in some symmetric monoidal category. We prove that their categories of…

Let $ V$ be a braided tensor category and $ C$ a tensor category equipped with a braided tensor functor $G:V\to Z(C)$. For any exact indecomposable $C$-module category $M$, we explicitly construct a right adjoint of the action functor…

In [J.M. Fern\'andez Vilaboa, R. Gonz\'alez Rodr\'iguez and A.B. Rodr\'iguez Raposo: Preunits and weak crossed products. J. of Pure Appl. Algebra 213, 2244-2261 (2009)] the notion of a weak crossed product of an algebra by an object, both…

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…

We give a characterization of finite pointed tensor categories obtained as de-equivariantizations of finite-dimensional pointed Hopf algebras over abelian groups only in terms of the (cohomology class of the) associator of the pointed part.…

We show that the Ehresmann-Schauenburg bialgebroid of a quantum principal bundle $P$ or Hopf Galois extension with structure quantum group $H$ is in fact a left Hopf algebroid $L(P,H)$. We show further that if $H$ is coquasitriangular then…

We show how, under certain conditions, an adjoint pair of braided monoidal functors can be lifted to an adjoint pair between categories of Hopf algebras. This leads us to an abstract version of Michaelis' theorem, stating that given a Hopf…

In this short note, we show that the cohomology of an algebra entwined with a coalgebra as defined by T. Brzezi\'nski (J. Algebra 235 (2001), no. 1, 176--202; arXiv:math.RA/9909108) computes the Hochschild cohomology of the subalgebra of…

We bring together ideas in analysis of Hopf *-algebra actions on II_1 subfactors of finite Jones index and algebraic characterizations of Frobenius, Galois and cleft Hopf extensions to prove a non-commutative algebraic analogue of the…

We consider Hopf crossed products of the the type $A#_\sigma \mathcal{H}$, where $\mathcal{H}$ is a cocommutative Hopf algebra, $A$ is an $\mathcal{H}$-module algebra and $\sigma$ is a "numerical" convolution invertible 2-cocycle on…

It is shown that a Hopf algebra over a field admitting a Galois extension separable over its subalgebra of coinvariants is of finite dimension. This answers in the affirmative a question posed by Beattie et al. in [{\it Proc. Amer. Math.…

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.

For a given Jacobi-Jordan algebra $A$ and a vector space $V$ over a field $k$, a non-abelian cohomological type object ${\mathcal H}^{2}_{A} \, (V, \, A)$ is constructed: it classifies all Jacobi-Jordan algebras containing $A$ as a…

The relations between the radical of crossed product $R #_\sigma H$ and algebra $R$ are obtained. Using this theory, the author shows that if $H$ is a finite-dimensional semisimple, cosemisimle, and either commutative or cocommutative Hopf…

We show that, if there exists a realization of a Hopf algebra $H$ in a $H$-module algebra $A$, then one can split their cross-product into the tensor product algebra of $A$ itself with a subalgebra isomorphic to $H$ and commuting with $A$.…

Let a discrete group $G$ act on a unital simple C$^*$-algebra $A$ by outer automorphisms. We establish a Galois correspondence $H\mapsto A\rtimes_{\alpha,r}H$ between subgroups of $G$ and C$^*$-algebras $B$ satisfying $A\subseteq B…