Twisted smash product for Hopf quasigroups

In order to study algebraic structures of parallelizable sphere s7, the notions of quasimodules and biquasimodnle algebras over Hopf quasigroups, which are not required to be associative, are introduced. The lack of associativity of quasimodules is compensated for by conditions involving the antipode. The twisted smash product for Hopf quasigroups is constructed using biquasimodule algebras, which is a generalization of the twisted smash for Hopf algebras. The twisted smash product and tensor coproduct is turned into a Hopf quasigroup if and only if the following conditions （h1→a） h2 = （h2→a） h1, （a←S（h1）） h2 = （a←S（h2）） h1, hold. The obtained results generalize and improve the corresponding results of the twisted smash product for Hopf algebras.

Maschke Type Theorems for Weak Hopf Quasigroups

In this paper we give necessary and sufficient conditions for a comodule magma over a weak Hopf quasigroup to have a total integral,thus extending the theories developed in the Hopf algebra,weak Hopf algebra and non-associative Hopf algebra contexts.From this result we also deduce a version of Maschke’s theorems for right(H,B)-Hopf triples associated to a weak Hopf quasigroup H and a right H-comodule magma B.

Hopf Quasimodules and Yetter-Drinfeld Modules over Hopf Quasigroups

We introduce the notions of a four-angle Hopf quasimodule and an adjoint quasiaction over a Hopf quasigroup H in a,symmetric monoidal category C.li H possesses an adjoint quasiaction,we show that symmetric Yetter-Drinfeld categories are trivial,and hence we obtain a braided monoidal category equivalence between the category of right Yetter-Drinfeld modules over H and the category of four-angle Hopf modules over H under some suitable conditions.

Fundamentals of quasigroup Hopf group-coalgebras

A large class of algebras(possibly nonassociative)with group-coalgebraic structures,called quasigroup Hopf group-coalgebras,is introduced and studied.Quasigroup Hopf group-coalgebras provide a unifying framework for the classical Hopf algebras and Hopf group-coalgebras as well as Hopf quasigroups.Then,basic results similar to those in Hopf algebras H are proved,such as anti-(co)multiplicativity of the antipode S:H→H,and S^(2)=id if H is commutative or cocommutative.

Hopf拟群的代数形变

利用2-余循环对原有Hopf拟群的结构进行代数形变,进而构造出新的Hopf拟群,并讨论了新构造的Hopf拟群上的余拟三角结构与原有Hopf拟群上的余拟三角结构之间的关系,推广了Hopf代数中的相应结论.

拟Hopf-模上的Rota-Baxter代数

把Run-qiang Jian文中的H为Hopf代数的情况推广到H为Hopf(余)拟群,其主要结论:设H是Hopf拟群,(M,φ)是一右拟H-Hopf模代数,则(M,P)是权为-1的Rota-Baxter代数.

Hopf拟群上的L-R-Smash积(英文)

为了获得代数7-球的拟群特性,Klim和Majid引入了Hopf拟群和Hopf余拟群概念,是Hopf代数的推广,并且不需要满足(余)结合性.缺乏的结合性由对极条件补充.给出Hopf拟群上的L-R-smash积概念,并给出L-R-smash积为Hopf拟群的充分必要条件.

Yetter-Drinfeld拟模范畴上的Hopf拟模

设L是域k上的一个有双射对极S_L的Hopf拟群.利用对偶的方法证明:如果H是一个Yetter-Drinfeld拟模范畴■上的有限维Hopf拟群,则其线性对偶空间H^*是■上的一个Hopf余拟群,且其Pontryagin对偶空间H^**■H也是一个Hopf拟群;进一步,H^*有一个■上的右H-Hopf拟模结构。

Sweedler's dual of Hopf algebras in HHYDQCM

Firstly,the notion of the left-left Yetter-Drinfeld quasicomodule M=(M,·,ρ)over a Hopf coquasigroup H is given,which generalizes the left-left Yetter-Drinfeld module over Hopf algebras.Secondly,the braided monoidal category HHYDQCM is introduced and the specific structure maps are given.Thirdly,Sweedler's dual of infinite-dimensional Hopf algebras in HHYDQCM is discussed.It proves that if(B,mB,μB,ΔB,εB)is a Hopf algebra in HHYDQCM with antipode SB,then(B^0,(mB0)^op,εB^*,(ΔB0)^op,μB^*)is a Hopf algebra in HHYDQCM with antipode SB^*,which generalizes the corresponding results over Hopf algebras.

Galois linear maps and their construction

The condition of an algebra to be a Hopf algebra or a Hopf(co)quasigroup can be determined by the properties of Galois linear maps.For a bialgebra H,if it is unital and associative as an algebra and counital coassociative as a coalgebra,then the Galois linear maps T1 and T2 can be defined.For such a bialgebra H,it is a Hopf algebra if and only if T1 is bijective.Moreover,T1^-1 is a right H-module map and a left H-comodule map(similar to T2).On the other hand,for a unital algebra(no need to be associative),and a counital coassociative coalgebra A,if the coproduct and counit are both algebra morphisms,then the sufficient and necessary condition of A to be a Hopf quasigroup is that T1 is bijective,and T1^-1 is left compatible with ΔT1-11^r and right compatible with mT1-1^l at the same time(The properties are similar to T2).Furthermore,as a corollary,the quasigroups case is also considered.

Hopf拟群上的拟重模代数与Yetter-Drinfel'd拟模代数

给出Long斜Hopf拟群成为拟重模代数的充分必要条件,研究了辫子Hopf拟群和Yeterr-Drinfel‘d拟模代数之间的关系。最后,通过Harrison-2余循环构造量子化的Long斜Hopf拟群。

Yetter-Drinfeld拟余模范畴上的Hopf拟余模

设H是■上的有限维Hopf余拟群,则它的线性对偶空间H^*是■上的一个Hopf拟群。进一步地,H^*有一个■上的右H-Hopf拟余模结构。