English
Related papers

Related papers: Characterization of Hopf Quasigroups

200 papers

This is an introduction for algebraists to the theory of algebras and Hopf algebras in braided categories. Such objects generalise super-algebras and super-Hopf algebras, aswell as colour-Lie algebras. Basic facts about braided categories C…

q-alg · Mathematics 2008-02-03 S. Majid

Inspired by the work of Radford, for $H$ an arbitrary quasi-Hopf algebra we describe all the Hopf algebras of dimension $2$ within the braided category of left Yetter-Drinfeld modules over $H$ and determine the biproduct quasi-Hopf algebras…

Quantum Algebra · Mathematics 2025-08-04 Daniel Bulacu , Matteo Misurati

We say that a Hopf algebra H is semicocommutative if the right adjoint coaction factorizes through the tensor product of H with the center of H. For instance the commutative and the cocommutative Hopf algebras are semicocommutative. The…

Quantum Algebra · Mathematics 2007-05-23 Jorge A. Guccione , Juan J. Guccione

Let $H$ be a finite dimensional Hopf algebra, and let $A$ be a left $H$-module algebra. Motivated by the study of the isolated singularities of $A^H$ and the endomorphism ring $\mathrm{End}_{A^H}(A)$, we introduce the concept of Hopf dense…

Rings and Algebras · Mathematics 2016-02-02 J. He , F. Van Oystaeyen , Y. Zhang

We introduce a noncommutative and noncocommutative Hopf algebra which takes for certain Hopf categories (and therefore braided monoidal bicategories) a similar role as the Grothendieck- Teichmueller group for quasitensor categories. We also…

Quantum Algebra · Mathematics 2009-11-07 Karl-Georg Schlesinger

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…

Rings and Algebras · Mathematics 2008-11-03 Gabriella Böhm

In this work, the notion of a quantum inverse semigroup is introduced as a linearized generalization of inverse semigroups. Beyond the algebra of an inverse semigroup, which is the natural example of a quantum inverse semigroup, several…

Quantum Algebra · Mathematics 2023-04-03 Marcelo Muniz Alves , Eliezer Batista , Francielle Kuerten Boeing

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…

Category Theory · Mathematics 2025-09-15 Marino Gran , Andrea Sciandra

We investigate criteria for algebra extensions that are of Galois type with respect to the coaction of a Hopf algebra or, more generally, a one-sided quotient of a Hopf algebra, or with respect to an entwining. We study the module- and…

Quantum Algebra · Mathematics 2007-05-23 P. Schauenburg , H. -J. Schneider

In this paper we introduce the notion of factorization in the Hopf quasigroup setting and we prove that, if $A$ and $H$ are Hopf quasigroups such that their antipodes are isomorphisms, a Hopf quasigroup $X$ admits a factorization as $X=AH$…

Rings and Algebras · Mathematics 2022-09-30 Ramón González Rodríguez

Let X=GM be a finite group factorisation. It is shown that the quantum double D(H) of the associated bicrossproduct Hopf algebra $H=kM\cobicross k(G)$ is itself a bicrossproduct $kX\cobicross k(Y)$ associated to a group YX, where $Y=G\times…

q-alg · Mathematics 2008-02-03 E. Beggs , S. Majid

By a recent work of Gran-Kadjo-Vercruysse, the category of cocommutative Hopf algebras over a field of characteristic zero is semi-abelian. In this paper, we explore some properties of this categoy, in particular we show that its abelian…

Category Theory · Mathematics 2015-03-25 Christine Vespa , Marc Wambst

A new quantization of groupoids under the name of \times-Hopf coalgebras is introduced. We develop a Hopf cyclic theory with coefficients in stable-anti-Yetter-Drinfeld modules for \times-Hopf coalgebras. We use \times-Hopf coalgebras to…

Quantum Algebra · Mathematics 2014-02-12 M. Hassanzadeh , B. Rangipour

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. We also show that Q-Galois subextensions are closed elements of the…

Quantum Algebra · Mathematics 2011-11-17 Dorota Marciniak , Marcin Szamotulski

Recently it was shown that the category of cocommutative Hopf algebras over an arbitrary field $\Bbbk$ is semi-abelian. We extend this result to the category of cocommutative color Hopf algebras, i.e. of cocommutative Hopf monoids in the…

Category Theory · Mathematics 2023-05-09 Andrea Sciandra

Let $ L/K $ be a finite separable extension of fields whose Galois closure $ E/K $ has group $ G $. Greither and Pareigis have used Galois descent to show that a Hopf algebra giving a Hopf-Galois structure on $ L/K $ has the form $ E[N]^{G}…

Number Theory · Mathematics 2017-11-20 Alan Koch , Timothy Kohl , Paul J. Truman , Robert Underwood

We introduce the concept of Hopf-Galois system, a reformulation of the notion of Galois extension of the base field for a Hopf algebra. The main feature of our definition is a generalization of the antipode of an ordinary Hopf algebra. The…

Quantum Algebra · Mathematics 2007-05-23 Julien Bichon

We classify graded Hopf algebras structures over path coalgebras, that is over free pointed coalgebras, using Hopf quivers which are analogous to Cayley graphs. The description involves formulas for the product besides the canonical…

Quantum Algebra · Mathematics 2007-05-23 Claude Cibils , Marc Rosso

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…

Quantum Algebra · Mathematics 2013-04-30 Marcin Szamotulski

We provide examples of non-surjective epimorphisms $H\to K$ in the category of Hopf algebras over a field, even with the additional requirement that $K$ have bijective antipode, by showing that the universal map from a Hopf algebra to its…

Rings and Algebras · Mathematics 2009-12-29 Alexandru Chirvasitu