Related papers: Factorizations of Hopf quasigroups
This is an introduction to double algebras which is the structure modelled by the properties of the convolution product in Hopf algebras, weak Hopf algebras and in Hopf algebroids. We show that Hopf algebroids with a Frobenius integral can…
We prove that any quasigroup admissing complete or quasicomplete mapping has a prolongation to a quasigroup having one element more.
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…
Quasishuffle Hopf algebras, usually defined on a commutative monoid, can be more generally defined on any associative algebra V. If V is a commutative and cocommutative bialgebra, the associated quasishuffle bialgebra QSh(V) inherits a…
"Co-Frobenius" coalgebras were introduced as dualizations of Frobenius algebras. Recently, it was shown in \cite{I} that they admit left-right symmetric characterizations analogue to those of Frobenius algebras: a coalgebra $C$ is…
The matched pair theory (of groups) is studied for a class of quasigroups; namely, the $m$-inverse property loops. The theory is upgraded to the Hopf level, and the "$m$-invertible Hopf quasigroups" are introduced.
In this paper, we mainly give some equivalent characterisations of Hopf braces, show that the category $\mathcal{CB}(A)$ of Hopf braces is equivalent to the category $\mathcal{C}(A)$ of bijective 1-cocycles, and prove that the category…
We prove that a quasi-isomorphism $f : A \to B$ between commutative DG rings, where $B$ admits a divided power structure, can be factored as $f = \tilde{f} \circ e$, where $e : A \to \tilde{B}$ is a split injective quasi-isomorphism, and…
Given groupoids $G$ and $H$ and a $(G,H)$-equivalence $X$ we may form the transformation groupoid $G\ltimes X\rtimes H$. Given a separable groupoid dynamical system $(A,G\ltimes X\rtimes H,\omega)$ we may restrict $\omega$ to an action of…
A classical result in the theory of Hopf algebras concerns the uniqueness and existence of integrals: for an arbitrary Hopf algebra, the integral space has dimension $\leq 1$, and for a finite dimensional Hopf algebra, this dimension is…
In this paper, we investigate the computational complexity of isomorphism testing for finite groups and quasigroups, given by their multiplication tables. We crucially take advantage of their various decompositions to show the following: -…
Quasisymmetric functions in superspace were introduced as a natural extension of classical quasisymmetric functions involving both commuting and anticommuting variables. In this paper, we first provide a characterization of the algebra of…
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…
Let H be a cocommutative faithfully flat Hopf quasigroup in a strict symmetric monoidal category with equalizers. In this paper we introduce the notion of (strong) Galois H-object and we prove that the set of isomorphism classes of (strong)…
We prove that a quasi-bialgebra admits a preantipode if and only if the associated free quasi-Hopf bimodule functor is Frobenius, if and only if the relative (opmonoidal) monad is a Hopf monad. The same results hold in particular for a…
Let A be a Hopf algebra in a braided rigid category B. In the case B admits a coend C, which is a Hopf algebra in B, we defined in 2008 the double D(A) of A, which is a quasitriangular Hopf algebra in B whose category of modules is…
We describe the Hopf algebra quotients and Hopf images of the smash coproduct of a group algebra by the algebra of functions on a finite group.
The quasi-shuffle product and mixable shuffle product are both generalizations of the shuffle product and have both been studied quite extensively recently. We relate these two generalizations and realize quasi-shuffle product algebras as…
We propose an algebraic study of the simple graph isomorphism problem. We define a Hopf algebra from an explicit realization of its elements as formal power series. We show that these series can be evaluated on graphs and count occurrences…
The paper deals with quasigroups having a trivial group of automorphisms and a trivial group of autotopisms. Examples of such quasigroups and methods of their verification are given.