Next Article in Journal
Rule Fusion of Privacy Protection Strategies for Co-Ownership Data Sharing
Previous Article in Journal
Continuous Operators for Unbounded Convergence in Banach Lattices
 
 
Font Type:
Arial Georgia Verdana
Font Size:
Aa Aa Aa
Line Spacing:
Column Width:
Background:
Article

A New Approach to Braided T-Categories and Generalized Quantum Yang–Baxter Equations

1
School of Mathematics, Southeast University, Nanjing 210096, China
2
Shing-Tung Yau Center, School of Mathematics, Southeast University, Nanjing 210096, China
*
Author to whom correspondence should be addressed.
Mathematics 2022, 10(6), 968; https://doi.org/10.3390/math10060968
Submission received: 10 February 2022 / Revised: 13 March 2022 / Accepted: 15 March 2022 / Published: 17 March 2022

Abstract

:
We introduce and study a large class of coalgebras (possibly (non)coassociative) with group-algebraic structures Hopf (non)coassociative group-algebras. Hopf (non)coassociative group-algebras provide a unifying framework for classical Hopf algebras and Hopf group-algebras and Hopf coquasigroups. We introduce and discuss the notion of a quasitriangular Hopf (non)coassociative π-algebra and show some of its prominent properties, e.g., antipode S is bijective. As an application of our theory, we construct a new braided T-category and give a new solution to the generalized quantum Yang–Baxter equation.

1. Introduction

Topological quantum field theories (TQFT’s) realize topological invariants of manifolds using ideas from quantum field theory (QFT), see [1,2]. Turaev introduced in [3] a homotopy quantum field theory (HQFT) as a version of a TQFT for manifolds endowed with maps into a fixed topological space and found an algebraic characterization of 2-dimensional HQFT’s whose target space is the Eilenberg–MacLane space K ( π , 1 ) determined by a group π . Furthermore, he established a 3-dimensional HQFT with target space K ( π , 1 ) by introducing the notion of a modular π -category based on a deep connection between the theory of braided categories and invariants of knots, links and 3-manifolds (see [4]). This connection has been essential in the construction of quantum invariants of knots and 3-manifolds from quantum groups, see [2,5].
Turaev proposed the following open problem in [4]; Can one systematically produce interesting modular π -categories?
Examples of such modular π -categories can be constructed from the so-called Hopf π-(co)algebras which can be regarded as a generalization of a Hopf algebra, see [6,7,8]. At present, many research works have been done for Hopf π -(co)algebras, such as Turaev’s Hopf group-coalgebras (cf. [9]), group coalgebra Galois extensions (cf. [10]), Larson-Sweedler theorem (cf. [11]), twisted Drinfel’d doubles (cf. [12]), double construction and Yetter-Drinfel’d modules (cf. [13,14,15]). We mention that a Hopf π -coalgebra can be regarded as a π -cograded multiplier Hopf algebra, see [16].
In 2010, Klim and Majid in [17] introduced the notion of a Hopf (co)quasigroup which is a particular case of the notion of an H-bialgebra introduced in [18]. The further research of this mathematical object can be found in the references about many topics, such as Hopf modules (cf. [19]), actions (cf. [20]), twisted smash products (cf. [21]), Yetter–Drinfel’d modules (cf. [22]), and Hopf quasicomodules (cf. [23]).
To highlight Turaev’s achievements on the modular π -categories, in this article we prefer using the notion of a braided T-category (over π ) appeared in [13] to using a modular π -category [6]. We will provide a new approach to a braided T-category (over π ) based on the notion of a quasitriangular Hopf (non)coassociative π -algebra.
An outline of the paper is as follows.
Section 2 provides some preliminary background needed in the paper, such as group-algebras, group-convolution algebras, Hopf group-algebras and Turaev’s braided categories.
In Section 3, we give a new characterization of Hopf group-algebras based on the idea from [24,25]. We mainly prove that ( H , Δ ) is a Hopf π -algebra if and only if Δ is a π -algebra homomorphism and the right and left π -Galois maps are bijective.
In Section 4, we introduce and study the notion of a Hopf non-coassociative π -algebra which is a large class of coalgebras (possibly non-coassociative) with group-algebraic structures unifying the notions of a classical Hopf algebra, a Hopf π -algebra and a Hopf coquasigroup. We study its algebraic properties, such as anti-(co)multiplicativity of the antipode.
In Section 5 we mainly study the notion of a crossed Hopf non-coassociative π -algebra and give some properties of the crossing map. In addition, in Section 6, we discuss the definition and properties of an almost cocommutative Hopf non-coassociative π -algebra and obtain its equivalent characterization.
In the final section, we will introduce and discuss the definition of a quasitriangular Hopf non-coassociative π -algebra H and study some main properties of H. We construct a new braided T-category R e p π ( H ) over H.
Throughout the paper, we let π be a fixed group and k be a field (although much of what we do is valid over any commutative ring). We use the Sweedler’s notation to express the coproduct of a coalgebra C as Δ ( c ) = c 1 c 2 (cf. [26]).
We set k = k \ { 0 } . All algebras are supposed to be over k and unitary, but not necessarily associative. The tensor product = k is always assumed to be over k . If U and V are k -spaces, σ U , V : U V V U will denote the flip map defined by σ U , V ( u v ) = v u .
We use i d U for the identity map on U, although sometimes, we also write U for this map. We use i d U n for the map i d i d n : U n 1 U U n 1 U . The identity element in a quasigroup is denoted by e.

2. Preliminaries

In this section, we recall some basic notions used later, such as group-algebras, group-convolution algebras, Hopf group-algebras and braided T-categories.

2.1. Group-Algebras

We recall the definition of a π -algebra, following [4]. A π -algebra (over k ) is a family A = { A α } α π of k -spaces endowed with a family m = { m α , β : A α A β A α β } α , β π of k -linear maps (the multiplication) and a k -linear map η : k A 1 (the unit) such that m is associative in the sense that, for any α , β , γ π ,
m α β , γ ( m α , β i d A γ ) = m α , β γ ( i d A α m β , γ ) ;
m α , 1 ( i d A α η ) = i d A α = m 1 , α ( η i d A α ) .
Note that ( A 1 , m 1 , 1 , η ) is an algebra in the usual sense of the word.
For all α , β π , h A α , k A β , we write h k = m α , β ( h k ) . The associativity axiom gives that
( h k ) l = h ( k l ) , α , β , γ π , h A α , k A β , l A γ .
Set η ( 1 k ) = 1 . The unit axiom gives that h 1 = h = 1 h , α π , h A α .
For all α π , the k -space A α is called the α -th component of A.
A π -algebra morphism between two π -algebras A and A (with multiplications m and m , respectively) is a family f = { f α : A α A α } α π of k -linear maps such that f α β m α , β = m α , β ( f α f β ) and f 1 ( 1 ) = 1 , for all α , β π . The π -algebra isomorphism f = { f α : A α A α } α π is a π -algebra morphism in which each f α is a linear isomorphism.
Set A ¯ α = A α 1 and m ¯ α , β = m α 1 , β 1 o p = m β 1 , α 1 σ H α 1 , H β 1 . Then comes a π -algebra A ¯ = { A ¯ α } α π with the same unit element 1 as in A and the multiplication given by m ¯ = { m ¯ α , β } α , β π .

2.2. Group-Convolution Algebra

Let A = ( { A α } , m , η ) α π be a π -algebra and ( C , Δ , ε ) be a (not necessarily coassociative) coalgebra with comultiplication Δ and counit ε . For any f Hom k ( C , A α ) and g Hom k ( C , A β ) , we define their convolution product by
f g = m α , β ( f g ) Δ Hom k ( C , A α β ) .
Using Equation (3), one verifies that the k -space
Conv ( C , A ) = α π Hom k ( C , A α )
endowed with the convolution product ∗ and the unit element ε 1 , is called π-convolution algebra, which is not necessarily a coassociative π -graded algebra.
In particular, for C = k , the associative π -graded algebra Conv ( C , A ) = α π Hom k ( k , A α ) = α π A α is denoted by A .

2.3. Hopf Group-Algebras

Recall from [3] that a Hopf group-algebra over π is a π -algebra H = ( { H α } , m = { m α , β : H α H β H α β } α , β π , η ) α π , endowed with a family S = { S α : H α H α 1 } α π of k -linear maps (the antipode) such that the following conditions hold:
each ( H α , Δ α , ε α ) is   a   counital   coassociative   coalgebra with   comultiplication Δ α and   counit   element ε α ;
for   all α , β π , η : k H 1 a n d m α , β : H α H β H α β are   coalgebra   homomorphisms ,
for   all α π , m α 1 , α ( S α i d H α ) Δ α = 1 ε α = m α , α 1 ( i d H α S α ) Δ α .
Let H = ( { H α , Δ α , ε α } α π , m , η , S ) be a Hopf π -algebra. Then
S α β ( a b ) = S β ( b ) S α ( a ) , α , β π , a H α , b H β ;
S 1 ( 1 ) = 1 ;
Δ α 1 S α = σ H α 1 , H α 1 ( S α S α ) Δ α , α π ;
ε α 1 S α = ε α , α π .

2.4. Braided T-Categories

Let π be a group. A pre-T-category T (over π) is given by the following datum:
  • A tensor category T .
  • A family of sub categories { T α } α π such that T is a disjoint union of this family and that U V T α β , for any α , β π , U T α , and V T β .
    Furthermore, T = { T α } satisfies the following condition:
  • Denote by a u t ( T ) the group of the invertible strict tensor functors from T to itself, a group homomorphism φ : π a u t ( T ) : β φ β , the conjugation such that φ β ( T α ) = T β α β 1 for any α , β π . Then we call T a crossed T-category.
We will use the left index notation in Turaev: Given β π and an object V T β , the functor φ β will be denoted by V ( · ) or β ( · ) . We use the notation V ¯ ( · ) for β 1 ( · ) . Then we have V i d U = i d V U and V ( g f ) = V g V f . We remark that since the conjugation φ : π a u t ( T ) is a group homomorphism, for any V , W T , we have V W ( · ) = V ( W ( · ) ) and 1 ( · ) = V ( V ¯ ( · ) ) = V ¯ ( V ( · ) ) = i d T and that since, for any V T , the functor V ( · ) is strict, we have V ( f g ) = V f V g , for any morphism f and g in T , and V 1 = 1 . In addition, we will use T ( U , V ) for a set of morphisms (or arrows) from U to V in T .
Recall from [13] or [6] that a braided T-category (over π ) is a crossed T-category T endowed with a braiding, i.e., with a family of isomorphisms
c = { c U , V T ( U V , ( U V ) V ) } U , V T
satisfying the following conditions:
for any arrow f T α ( U , U ) with α π , g T β ( V , V ) , we have
( ( α g ) f ) c U , V = c U , V ( f g ) ;
for all U , V , W T , we have
c U V , W = a U V W , U , V ( c U , V W i d V ) a U , V W , V 1 ( i d U c V , W ) a U , V , W ,
c U , V W = a U V , U W , U 1 ( i d U V c U , W ) a U V , U , W ( c U , V i d W ) a U , V , W 1 ;
for any U , V T , α π , φ α ( c U , V ) = c φ α ( U ) , φ α ( V ) .

3. A New Characterization of Hopf Group-Algebras

Based on the idea from [24,25], in this section we mainly show that H is a Hopf π -algebra if and only if Δ is a π -algebra homomorphism and the right and left π -Galois maps both have inverses.
Proposition 1.
If H is a Hopf π-algebra, then the families of linear maps T 1 = { T 1 α , β : H α H β H α H α β } (called the left π-Galois map) and T 2 = { T 2 α , β : H α H β H α β H β } (called the right π-Galois map), defined, respectively, by
T 1 α , β ( a b ) = Δ α ( a ) ( 1 b )   a n d   T 2 α , β ( a b ) = ( a 1 ) Δ β ( b )
are bijective.
Proof. 
Define two families of linear maps
R 1 = { R 1 α , β : H α H β H α H α 1 β } , and R 2 = { R 2 α , β : H α H β H α β 1 H β } ,
respectively, by
R 1 α , β ( a b ) = ( ( i d H α S α ) Δ α ( a ) ) ( 1 b ) and R 2 α , β ( a b ) = ( a 1 ) ( ( S β i d H β ) Δ β ( b ) ) .
By a straightforward application of the properties of S one can show that R 1 α , α β is the inverse of T 1 α , β and that R 2 α β , β is the inverse of T 2 α , β . □
If the antipode S has an inverse, then also the other families of linear maps, defined by
T 3 α , β ( a b ) = Δ α ( a ) ( b 1 )   and   T 4 α , β ( a b ) = ( 1 a ) Δ β ( b )
are bijections. This follows, e.g., from the fact that S c o p = { S α c o p = S α 1 1 } α π will be the antipode if we set H α c o p = H α as an algebra and replace Δ α by the opposite comultiplication Δ α c o p = σ H α , H α Δ α .
We now discuss some results if H = { H α } α π is a unital, but not necessarily associative, group algebra over k with a family Δ = { Δ α : H α H α H α } α π of coassociative comultiplications, a family of linear maps, such that the families of linear maps T 1 and T 2 are bijections.
Define a family of maps E = { E α : H α H 1 } α π by
E α ( a ) b = m α , α 1 β ( T 1 α , α 1 β ) 1 ( a b )
where m α , α 1 β denotes multiplication, considered as a linear map from H α H β to H β and where T 1 α , α 1 β is defined as before by T 1 α , α 1 β ( a b ) = Δ α ( a ) ( 1 b ) H α H β .
Lemma 1.
For all a , b H α , we have ( H α β E β ) ( ( a 1 ) Δ β ( b ) ) = a b 1 .
Proof. 
By the coassociativity of Δ α , one can easily obtain
( m α , β H β H β γ ) ( H α Δ β H β γ ) ( H α H β m β , γ ) ( H α Δ β H γ ) = ( H α β H β m β , γ ) ( H α β Δ β H γ ) ( m α , β H β H γ ) ( H α Δ β H γ ) .
Assume a H α , b H β and, since T 1 is surjective, let
a b = i = 1 n Δ α ( a i ) ( 1 b i ) .
If we apply Δ α H β and then multiply with c 1 1 to the both sides of the above equation, where c H γ , on the left, by the direct conclusion of coassociativity given above, we can obtain
( c 1 ) Δ α ( a ) b = T 1 α , α 1 β ( φ H α ) ( ( c 1 ) Δ α ( a i ) ) b i .
By the definition of E α we get
E α ( ( φ H α ) ( ( c 1 ) Δ α ( a ) ) ) b = ( φ H α ) ( c 1 ) Δ α ( a i ) b i .
So
= ( φ H β ) ( ( H γ α E α ) ( ( c 1 ) Δ α ( a ) ) ( 1 b ) ) = E α ( ( φ H α ) ( ( c 1 ) Δ α ( a ) ) ) b = ( φ H α ) ( c 1 ) Δ α ( a i ) b i = ( φ H β ) ( c 1 ) Δ α ( a i ) ( 1 b i ) = ( φ H β ) ( ( c 1 ) ( a b ) ) .
Because this holds for all φ , we get
( H γ α E α ) ( ( c 1 ) Δ α ( a ) ) ( 1 b ) = ( c a 1 ) ( 1 b ) .
This gives the required formula. □
Lemma 2.
E α ( H α ) k 1 .
Proof. 
By the surjectivity of T 2 , defined by T 2 α β 1 , β ( x y ) = ( x 1 ) Δ β ( y ) H α H β , we see that a E β ( b ) H α 1 for all a in H α and b in H β . This gives the result. □
Define a family of linear maps
ε = { ε α : H α k } α π
by ε α ( a ) 1 = E α ( a ) .
Remark 1.
The formula in Lemma 1 can be rewritten as
( H α β ε β ) ( ( a 1 ) Δ β ( b ) ) = a b .
It can be concluded that the associativity of m = { m α , β : H α H β H α β } α , β π holds if and only if ( H α , β γ ε β γ ) ( ( a 1 ) Δ β γ ( b c ) ) = ( H α β ε β ) ( ( a 1 ) Δ β ( b ) ) c .
By the definition of ε , we also get
( ε α H β ) ( a b ) = E α ( a ) b = m α , α 1 β ( T 1 α , α 1 β ) 1 ( a b )
and, by the surjectivity of T 1 ; hence,
( ε α H α β ) ( Δ α ( x ) ( 1 y ) ) = x y .
These formulas just mean
( H α ε α ) Δ α = H α = ( ε α H α ) Δ α .
It shows that, for any α π , ( H α , Δ α , ε α ) is a coalgebra.
Define a family of maps F = { F α : H α H 1 } α π by a F β ( b ) = m α β 1 , β ( T 2 α β 1 , β ) 1 ( a b ) where m α β 1 , β denotes multiplication, considered as a linear map from H α β 1 H β to H α and where T 2 α β 1 , β is defined as before by T 2 α β 1 , β ( a b ) = ( a 1 ) Δ β ( b ) .
Similar to Lemmas 1 and 2, we have
Lemma 3.
For all a H α and b H β , we have ( F α H α β ) ( Δ α ( a ) ( 1 b ) ) = 1 a b .
Lemma 4.
F α ( H α ) k 1 .
Define a family of linear maps
ϵ = { ϵ α : H α k } α π
by ϵ α ( a ) 1 = F α ( a ) .
Remark 2.
The formula in Lemma 3 can be rewritten as
( ϵ α H α β ) ( Δ α ( a ) ( 1 b ) ) = a b .
It can be concluded that the associativity of m = { m α , β : H α H β H α β } α , β π holds if and only if ( ϵ α β H α β γ ) ( Δ α β ( a b ) ( 1 c ) ) = a ( ϵ β H β γ ) ( Δ β ( b ) ( 1 c ) ) .
By the definition of ϵ , we also get
( H α ϵ β ) ( a b ) = a F β ( b ) = m α β 1 , β ( T 2 α β 1 , β ) 1 ( a b )
and, by the surjectivity of T 2 ; hence,
( H α β ϵ β ) ( ( x 1 ) Δ β ( y ) ) = x y .
These formulas just mean
( H α ϵ α ) Δ α = H α = ( ϵ β H α ) Δ α .
It shows that, for any α π , ( H α , Δ α , ϵ α ) is a coalgebra.
Due to the loss of the associativity of m = { m α , β } α , β π , the counit family ε = { ε α } α π is not necessarily a π -algebra homomorphism even when Δ = { Δ α } α π is a π -algebra homomorphism. From now on, every group algebra will tacitly be assumed to carry the associativity of its multiplication and we also suppose that Δ = { Δ α } α π is a π -algebra homomorphism.
We will show that ε = { ε α } α π satisfies the usual properties of the counit family in Hopf group-algebra theory.
Lemma 5.
ε = { ε α } α π is a π-algebra homomorphism.
Proof. 
By Lemma 1, we have
( H α β γ ε β γ ) ( ( a 1 ) Δ β γ ( b c ) ) = a ( b c )
for all a H α , b H β , c H γ . Then
( H α β γ ε β γ ) ( ( a 1 ) Δ β ( b ) Δ γ ( c ) ) = a ( b c ) = ( a b ) c = ( H α β ε β ) ( ( a 1 ) Δ β ( b ) ) c .
By the surjectivity of T 2 we get
( H α γ ε β γ ) ( ( a b ) Δ γ ( c ) ) = ( H α ε β ) ( a b ) c = a ε β ( b ) c = ε β ( b ) a c = ε β ( b ) ( H α γ ε γ ) ( ( a 1 ) Δ γ ( c ) )
for all a H α , b H β , c H γ . Again by the surjectivity of T 2 we get
( H α ε β γ ) ( a b c ) = ε β ( b ) ( H α ε γ ) ( a c ) .
This means
a ε β γ ( b c ) = a ε β ( b ) ε γ ( c ) .
Set α = 1 and a = 1 , we have
ε β γ ( b c ) = ε β ( b ) ε γ ( c ) .
Since ( H α ε α ) Δ α = H α = ( ε α H α ) Δ α , we obtain
1 = H 1 ( 1 ) = ( ε 1 H 1 ) Δ 1 ( 1 ) = ( ε 1 H 1 ) ( 1 1 ) = ε 1 ( 1 ) 1
whereby ε 1 ( 1 ) = 1 k . □
Remark that, by a similar reasoning, we can also claim that ϵ = { ϵ α } α π is a π -algebra homomorphism.
In fact, for all α π , ε α = ϵ α . In order to check this result, we need the following lemma.
Lemma 6.
For all a H α , b H β , m α β 1 , β T 2 α β 1 , β 1 ( a b ) = a ε β ( b ) .
Proof. 
Assume a H α , b H β and, since T 2 is surjective, let
a b = T 2 α β 1 , β i = 1 n a i b i = i = 1 n ( a i 1 ) Δ β ( b i ) .
Hence,
= m α β 1 , β T 2 α β 1 , β 1 ( a b ) = m α β 1 , β T 2 α β 1 , β 1 T 2 α β 1 , β i = 1 n a i b i = m α β 1 , β i = 1 n a i b i = i = 1 n a i b i = i = 1 n a i b i ( 1 ) ε β ( b i ( 2 ) ) = ( H α ε β ) i = 1 n ( a i b i ( 1 ) b i ( 2 ) ) = ( H α ε β ) i = 1 n ( m α β 1 , β H β ) ( H α β 1 Δ β ) ( a i b i ) = ( H α ε β ) ( a b ) = a ε β ( b ) .
Lemma 7.
For all α π , ε α = ϵ α .
Proof. 
For all a H α , b H β , by the definition of F, we have
a ϵ β ( b ) = a F β ( b ) = m α β 1 , β T 2 α β 1 , β 1 ( a b ) .
By Lemma 6, we also get
m α β 1 , β T 2 α β 1 , β 1 ( a b ) = a ε β ( b ) .
It follows that a ϵ β ( b ) = a ε β ( b ) . □
We have constructed a counit family ε = { ε α } α π satisfying the usual properties of the counit family in Hopf group-algebra theory.
We will construct an antihomomorphism S = { S α } α π that has the properties of the antipode in the Hopf group-algebra theory.
Definition 1.
Define a family of linear maps S = { S α : H α H α 1 } α π by
S α ( a ) b = ( ε α H α 1 β ) ( T 1 α , α 1 β ) 1 ( a b )
for all a H α , b H β .
Lemma 8.
( H γ α S α ) ( ( c 1 ) Δ α ( a ) ) ( 1 b ) = ( c 1 ) ( T 1 α , α 1 β ) 1 ( a b ) .
Proof. 
As in the proof of Lemma 1, for φ H γ α and a H α , b H β , c H γ , we get
( φ H α ) ( ( c 1 ) Δ α ( a ) ) b = T 1 α , α 1 β ( ( φ H α ) ( ( c 1 ) Δ α ( a i ) ) b i
if a b = i = 1 n Δ α ( a i ) ( 1 b i ) . Then, by the definition of S, we get
S α ( ( φ H α ) ( ( c 1 ) Δ α ( a ) ) ) b = ( ε α H α 1 β ) ( φ H α ) ( ( c 1 ) Δ α ( a i ) ) b i = ( φ H α 1 β ) ( H γ α ε α ) ( ( c 1 ) Δ α ( a i ) ) b i = ( φ H α 1 β ) c a i b i = ( φ H α 1 β ) ( c 1 ) ( T 1 α , α 1 β ) 1 ( a b ) .
Hence,
( φ H α 1 β ) ( ( H γ α S α ) ( ( c 1 ) Δ α ( a ) ) ( 1 b ) ) = ( φ H α 1 β ) ( c 1 ) ( T 1 α , α 1 β ) 1 ( a b ) .
This is true for all φ H γ α and hence proves the result. □
Lemma 9.
For all a H α , b H β and c H γ , we have
m γ α , α 1 β ( ( H γ α S α ) ( ( c 1 ) Δ α ( a ) ) ( 1 b ) ) = c ε α ( a ) b .
Proof. 
We get this formula if we apply m γ α , α 1 β on the equation in Lemma 8 because
= m γ α , α 1 β ( ( H γ α S α ) ( ( c 1 ) Δ α ( a ) ) ( 1 b ) ) = m γ α , α 1 β ( ( c 1 ) ( T 1 α , α 1 β ) 1 ( a b ) ) = c m α , α 1 β ( ( T 1 α , α 1 β ) 1 ( a b ) ) = c ( E α ( a ) b ) = c ε α ( a ) b .
Lemma 10.
S α β ( a b ) = S β ( b ) S α ( a ) for all a H α and b H β .
Proof. 
We have
= m γ α β , β 1 α 1 δ ( ( H γ α β S α β ) ( ( c 1 ) Δ α ( a ) Δ β ( b ) ) ( 1 d ) ) = m γ α β , β 1 α 1 δ ( ( H γ α β S α β ) ( ( c 1 ) Δ α β ( a b ) ) ( 1 d ) ) = c ε α β ( a b ) d = c ε α ( a ) d ε β ( b ) = m γ α , α 1 δ ( ( H γ α S α ) ( ( c 1 ) Δ α ( a ) ) ( 1 d ) ) ε β ( b )
for all a H α , b H β , c H γ and d H δ . By the surjectivity of T 2 , we get
= m γ β , β 1 α 1 δ ( ( H γ β S α β ) ( ( c a ) Δ β ( b ) ) ( 1 d ) ) = m γ , α 1 δ ( ( H γ S α ) ( c a ) ( 1 d ) ) ε β ( b ) = c S α ( a ) d ε β ( b ) = c ε β ( b ) S α ( a ) d = m γ β , β 1 α 1 δ ( ( H γ β S β ) ( ( c 1 ) Δ β ( b ) ) ( 1 S α ( a ) d ) )
for all a H α , b H β , c H γ and d H δ . Again by the surjectivity of T 2 , we get
m γ , β 1 α 1 δ ( ( H γ S α β ) ( c a b ) ( 1 d ) ) = m γ , β 1 α 1 δ ( ( H γ S β ) ( c b ) ( 1 S α ( a ) d ) )
whence c S α β ( a b ) d = c S β ( b ) S α ( a ) d .
Define another one family of linear maps S ¯ = { S ¯ α : H α H α 1 } α π by
a S ¯ β ( b ) = ( H α β 1 ε β ) ( T 2 α β 1 , β ) 1 ( a b )
for all a H α , b H β .
Completely similar as in Lemma 8, we get here that
Lemma 11.
( c 1 ) ( S ¯ α H α β ) ( Δ α ( a ) ( 1 b ) ) = ( T 2 γ α 1 , α ) 1 ( c a ) ( 1 b ) .
Lemma 12.
m γ α 1 , α β ( ( c 1 ) ( S α H α β ) ( Δ α ( a ) ( 1 b ) ) ) = c ε α ( a ) b .
Proof. 
By Lemma 11, we get
( c 1 ) ( S ¯ α H α β ) ( Δ α ( a ) ( 1 b ) ) = ( T 2 γ α 1 , α ) 1 ( c a ) ( 1 b ) .
And if we apply m γ α 1 , α β to the both sides of the above equation, we get the formula in the statement of the lemma with S ¯ instead of S because
m γ α 1 , α ( T 2 γ α 1 , α ) 1 ( c a ) = c ε α ( a ) .
We now show that S = S . Indeed, we have, by definition,
a S ¯ β ( b ) = a i ε β ( b i )
if a b = a i 1 Δ β ( b i ) . If we apply H α S β and multiply with 1 c to the both sides of the equation: a b = a i 1 Δ β ( b i ) , we get
a S β ( b ) c = ( H α S β ) ( a i 1 ) Δ β ( b i ) ( 1 c ) .
And if we apply m α , β 1 γ to the both sides of the above equation, we obtain, using Lemma 9, that
a S β ( b ) c = a i ε β ( b i ) c = a S ¯ β ( b ) c .
This shows that S β ( b ) = S ¯ β ( b ) . This proves the lemma; the formula was already proven for S ¯ . □
Apropos of Lemmas 9 and 12, by setting β = γ = 1 and b = c = 1 , we have the usual formulas
m α , α 1 ( H α S α ) Δ α ( a ) = ε α ( a ) 1 , m α 1 , α ( S α H α ) Δ α ( a ) = ε α ( a ) 1 .
We have constructed an antihomomorphism S = { S α } α π that has the properties of the antipode in the Hopf group-algebra theory.
From the above discussion, we get the following the main result.
Theorem 1.
If H = { H α } α π is a unital associative group algebra over k with a family Δ = { Δ α : H α H α H α } α π of coassociative comultiplications, then H is a Hopf π-algebra if and only if Δ is a π-algebra homomorphism and the right and left π-Galois maps both have inverses.

4. Hopf (Non)coassociative Group-Algebras

We begin by the main definition of this paper which is slightly dual to the notion of a quasigroup Hopf group-coalgebra studied in [27].
Definition 2.
A Hopf non-coassociative group-algebra over π is a π-algebra H = ( { H α } , m = { m α , β : H α H β H α β } α , β π , η ) α π , endowed with a family S = { S α : H α H α 1 } α π of k -linear maps (the antipode) such that the following conditions hold:
Each ( H α , Δ α , ε α )   w i t h   c o m u l t i p l i c a t i o n Δ α a n d   c o u n i t ε α i s   a   n o t   n e c e s s a r i l y   c o a s s o c i a t i v e   c o a l g e b r a ;
f o r   a l l α , β π , η : k H 1 a n d m α , β : H α H β H α β a r e   c o a l g e b r a   h o m o m o r p h i s m s ;
f o r α π , ( m α 1 , α i d H α ) ( S α i d H α i d H α ) ( i d H α Δ α ) Δ α = η i d H α = ( m α , α 1 i d H α ) ( i d H α S α i d H α ) ( i d H α Δ α ) Δ α ;
f o r α π , ( i d H α m α 1 , α ) ( i d H α S α i d H α ) ( Δ α i d H α ) Δ α = i d H α η = ( i d H α m α , α 1 ) ( i d H α i d H α S α ) ( Δ α i d H α ) Δ α .
We remark that the notion of a Hopf non-coassociative group-algebra is not self-dual and that ( H 1 , m 1 , 1 , η , Δ 1 , ε 1 , S 1 ) is a (classical) Hopf coquasigroup. Let π = { 1 } , H = H 1 is a (classical) Hopf coquasigroup. One can easily verify that a Hopf non-coassociative group-algebra is a Hopf π -algebra if and only if its coproduct is coassociative.
In this paper, a Hopf non-coassociative group-algebra over π is called Hopf non-coassociative π-algebra.
Remark 3.
(1) 
The axiom (14) amounts to that, for any α , β π , a H α and b H β ,
Δ 1 ( 1 ) = 1 1 , ε 1 ( 1 ) = 1 k , Δ α β ( a b ) = Δ α ( a ) Δ β ( b ) , ε α β ( a b ) = ε α ( a ) ε β ( b ) .
(2) 
In terms of Sweedler’s notation, the axiom (15) gives that, for any α π , h H α ,
S α ( h ( 1 ) ) h ( 2 ) ( 1 ) h ( 2 ) ( 2 ) = 1 h = h ( 1 ) S α ( h ( 2 ) ( 1 ) ) h ( 2 ) ( 2 ) .
(3) 
In terms of Sweedler’s notation, the axiom (16) gives that, for any α π , h H α ,
h ( 1 ) ( 1 ) S α ( h ( 1 ) ( 2 ) ) h ( 2 ) = h 1 = h ( 1 ) ( 1 ) h ( 1 ) ( 2 ) S α ( h ( 2 ) ) .
Definition 3.
Let H be a Hopf non-coassociative group-algebra. Then, for all α π and a H α ,
(1) 
H iscommutativeif m α , α 1 = m α 1 , α .
(2) 
H iscocommutativeif each Δ α is cocommutative.
(3) 
H isflexibleif
a ( 1 ) a ( 2 ) ( 2 ) a ( 2 ) ( 1 ) = a ( 1 ) ( 1 ) a ( 2 ) a ( 1 ) ( 2 ) .
(4) 
H isalternativeif
a ( 1 ) a ( 2 ) ( 1 ) a ( 2 ) ( 2 ) = a ( 1 ) ( 1 ) a ( 1 ) ( 2 ) a ( 2 ) , a ( 1 ) a ( 2 ) ( 1 ) a ( 2 ) ( 2 ) = a ( 1 ) ( 1 ) a ( 1 ) ( 2 ) a ( 2 ) .
(5) 
H is calledMoufangif
a ( 1 ) a ( 2 ) ( 2 ) ( 1 ) a ( 2 ) ( 1 ) a ( 2 ) ( 2 ) ( 2 ) = a ( 1 ) ( 1 ) ( 1 ) a ( 1 ) ( 2 ) a ( 1 ) ( 1 ) ( 2 ) a ( 2 ) .
A Hopf non-coassociative group-algebra H is said to be of finite type if, for all α π , H α is finite dimensional (over k ). Note that it does not mean that α π H α is finite-dimensional (unless H α 0 , for all but a finite number of α π ).
The antipode S = { S α } α π of H is said to be bijective if each S α is bijective. We will later show that it is bijective whenever H is quasitriangular (see Theorem 12).
Example 1.
Let ( H , m , Δ , ε , S ) be a Hopf coquasigroup and the group π act on H by Hopf coquasigroup endomorphisms.
(1)
Set H π = { H α } α π where the coalgebra H α is a copy of H for each α π . Fix an identification isomorphism of coalgebras i α : H H α . For α , β π , one defines a multiplication m α , β : H α H β H α β by
m α , β ( i α ( h ) i β ( a ) ) = ( i α β ( h a ) )
for any h , a H . The counit ε 1 : H 1 k is defined by ε 1 ( i 1 ( h ) ) = ε ( h ) for h H . For any α π , the antipode S α : H α H α 1 is given by S α ( i α ( h ) ) = i α 1 ( S ( h ) ) . All the axioms of a Hopf non-coassociative π-algebra for H π follow directly from definitions.
(2)
Let H ¯ π be the same family of coalgebras { H α = H } with the same counit, the multiplication m ¯ α , β : H α H β H α β and the antipode S α : H α H α 1 defined by
m ¯ α , β i α ( β ( h ) ) i β ( a ) = i α β ( h ) S ¯ α ( i α ( h ) ) = i α 1 ( α ( S ( h ) ) ) = i α 1 ( S ( α ( h ) )
where h , a H . The axioms of a Hopf non-coassociative π-algebra for H ¯ π follow from definitions. Both H π and H ¯ π are extensions of H since H 1 π = H ¯ 1 π = H 1 as Hopf coquasigroups.
Example 2.
 (1)
Let A = ( { A α } , m , η ) α π be a π-algebra. Set
A α o p = A α 1 a n d m α , β o p = m β 1 , α 1 σ A α 1 , A β 1 .
Then A o p = ( { A α o p } , m o p , η ) α π is a π-algebra, called opposite to A.
If H = { H α } α π is a Hopf non-coassociative group-algebra whose antipode S = { S α } α π is bijective, then the opposite π-algebra H o p , where H α o p = H α 1 as a coalgebra, is a Hopf non-coassociative π-algebra with antipode S o p = { S α o p = S α 1 } α π .
 (2)
Let H = ( { H α , Δ α , ε α } α π , m , η , S ) be a Hopf non-coassociative π-algebra. Suppose that the antipode S = { S α } α π of H is bijective. For any α π , let H α c o p be the coopposite coalgebra to H α . Then H c o p = { H α c o p } α π , endowed with the multiplication and unit of H and with the antipode S c o p = { S α c o p = S α 1 1 } α π , is a Hopf non-coassociative π-algebra called coopposite to H.
 (3)
Let H = ( { H α , Δ α , ε α } α π , m , η , S ) be a Hopf non-coassociative π-algebra. Even if the antipode of H is not bijective, one can always define a Hopf non-coassociative π-algebra opposite and coopposite to H by setting
H α o p , c o p = H α 1 c o p , m α , β o p , c o p = m α , β o p , 1 o p , c o p = 1 , a n d S α o p , c o p = S α 1 .
Definition 4.
Let H = { H α } α π and H = { H α } α π be Hopf non-coassociative π-algebras. A Hopf non-coassociative π-algebra morphism between H and H is a π-algebra morphism f = { f α : H α H α } α π between H and H such that, for any α π , f α is a coalgebra morphism and f α 1 S α = S α f α . The Hopf non-coassociative π-algebra isomorphism f = { f α : H α H α } α π is a Hopf non-coassociative π-algebra morphism in which each f α is a linear isomorphism.
Let us first remark that, when π is a finite group, there is a one-to-one correspondence between (isomorphic classes of) π -algebras and (isomorphic classes of) π -graded algebras. Recall that an algebra ( A , m , η ) is π -graded if A admits a decomposition as a direct sum of k -spaces A = α π A α such that
A α A β A α β , α , β π . 1 A 1 .
Let us denote by π α : A α A the canonical injection. Then { A α } α π is a π -algebra with multiplication { m ( π α π β ) | A α A β } and unit η . Conversely, if A = ( { A α } , m , η ) α π is a π -algebra, then A ˜ = α π A α is a π -graded algebra with multiplication m ˜ and unit η ˜ given on the summands by
m ˜ | A α A β = m α , β a n d η ˜ = η .
Let now H = ( { H α , Δ α , ε α } , m , 1 , S ) α π be a Hopf non-coassociative group-algebra, where π is a finite group. Then the algebra ( H ˜ , m ˜ , η ˜ ) , defined as above, is a Hopf coquasigroup with comultiplication Δ ˜ , counit element ε ˜ , and antipode S ˜ given by
Δ ˜ | H α = Δ α ε ˜ = α π ε α , S ˜ = α π S α .
In what follows, we study structure properties for a Hopf non-coassociative π -algebra.
Theorem 2.
Let H = ( { H α , Δ α , ε α } α π , m , η , S ) be a Hopf non-coassociative π-algebra. Then
m α 1 , α ( S α i d H α ) Δ α = 1 ε α = m α , α 1 ( i d H α S α ) Δ α , α π .
S α β ( a b ) = S β ( b ) S α ( a ) , α , β π , a H α , b H β ;
S 1 ( 1 ) = 1 ;
Δ α 1 S α = σ H α 1 , H α 1 ( S α S α ) Δ α , α π ;
ε α 1 S α = ε α , α π .
Proof. 
Equation (19) is directly obtained by applying i d H 1 ε α to Equation (17) in the definition of a Hopf nonassociative π -coalgebra. We now show Equation (20) as follows:
S α β ( a b ) = S α β m α , β ( a b ) = S α β m α , β σ H β , H α ( b a ) = 1 S α β m α , β σ H β , H α ( b a ) = m 1 , β 1 α 1 ( 1 S α β m α , β σ H β , H α ( b a ) ) = m 1 , β 1 α 1 ( i d H 1 S α β m α , β σ H β , H α ) ( 1 b a ) = m 1 , β 1 α 1 ( i d H 1 S α β m α , β σ H β , H α ) ( S β ( b ( 1 ) ) b ( 2 ) ( 1 ) b ( 2 ) ( 2 ) a ) = m 1 , β 1 α 1 ( S β ( b ( 1 ) ) b ( 2 ) ( 1 ) S α β m α , β σ H β , H α ( b ( 2 ) ( 2 ) a ) ) = m 1 , β 1 α 1 ( S β ( b ( 1 ) ) b ( 2 ) ( 1 ) S α β m α , β ( a b ( 2 ) ( 2 ) ) ) = m 1 , β 1 α 1 ( S β ( b ( 1 ) ) b ( 2 ) ( 1 ) S α β ( a b ( 2 ) ( 2 ) ) ) = ( S β ( b ( 1 ) ) b ( 2 ) ( 1 ) ) S α β ( a b ( 2 ) ( 2 ) ) = ( S β ( b ( 1 ) ) 1 b ( 2 ) ( 1 ) ) S α β ( a b ( 2 ) ( 2 ) ) = m 1 , β 1 α 1 ( m β 1 , 1 , β ( S β ( b ( 1 ) ) 1 b ( 2 ) ( 1 ) ) S α β m α , β ( a b ( 2 ) ( 2 ) ) ) = m 1 , β 1 α 1 ( m β 1 , 1 , β S α β m α , β ) ( S β ( b ( 1 ) ) 1 b ( 2 ) ( 1 ) a b ( 2 ) ( 2 ) ) ) = m 1 , β 1 α 1 ( m β 1 , 1 , β S α β m α , β ) ( i d H β 1 i d H 1 σ H α , H β i d H β ) ( S β ( b ( 1 ) ) 1 a b ( 2 ) ( 1 ) b ( 2 ) ( 2 ) ) ) = m 1 , β 1 α 1 ( m β 1 , 1 , β S α β m α , β ) ( i d H β 1 i d H 1 σ H α , H β i d H β ) ( S β ( b ( 1 ) ) S α ( a ( 1 ) ) a ( 2 ) ( 1 ) a ( 2 ) ( 2 ) b ( 2 ) ( 1 ) b ( 2 ) ( 2 ) ) ) = m 1 , β 1 α 1 ( m β 1 , 1 , β S α β m α , β ) ( S β ( b ( 1 ) ) S α ( a ( 1 ) ) a ( 2 ) ( 1 ) b ( 2 ) ( 1 ) a ( 2 ) ( 2 ) b ( 2 ) ( 2 ) ) ) = m 1 , β 1 α 1 ( m β 1 , 1 , β ( S β ( b ( 1 ) ) S α ( a ( 1 ) ) a ( 2 ) ( 1 ) b ( 2 ) ( 1 ) ) S α β m α , β ( a ( 2 ) ( 2 ) b ( 2 ) ( 2 ) ) ) ) = m 1 , β 1 α 1 ( S β ( b ( 1 ) ) ( S α ( a ( 1 ) ) a ( 2 ) ( 1 ) ) b ( 2 ) ( 1 ) S α β ( a ( 2 ) ( 2 ) b ( 2 ) ( 2 ) ) ) ) = ( S β ( b ( 1 ) ) ( S α ( a ( 1 ) ) a ( 2 ) ( 1 ) ) b ( 2 ) ( 1 ) ) S α β ( a ( 2 ) ( 2 ) b ( 2 ) ( 2 ) ) = S β ( b ( 1 ) ) S α ( a ( 1 ) ) ( a ( 2 ) ( 1 ) b ( 2 ) ( 1 ) S α β ( a ( 2 ) ( 2 ) b ( 2 ) ( 2 ) ) ) = S β ( b ( 1 ) ) S α ( a ( 1 ) ) ( ( a ( 2 ) b ( 2 ) ) ( 1 ) S α β ( ( a ( 2 ) b ( 2 ) ) ( 2 ) ) ) = S β ( b ( 1 ) ) S α ( a ( 1 ) ) ε ( a ( 2 ) b ( 2 ) ) = S β ( b ( 1 ) ) S α ( a ( 1 ) ) ε ( a ( 2 ) ) ε ( b ( 2 ) ) = S β ( b ( 1 ) ε ( b ( 2 ) ) ) S α ( a ( 1 ) ε ( a ( 2 ) ) ) = S β ( b ) S α ( a ) .
Thus, S α β ( a b ) = S β ( b ) S α ( a ) , α , β π , a H α , b H β .
To show Equation (22), for all, α π , h H α , we have that
( S α S α ) Δ α ( h ) = S α ( h ( 1 ) ) S α ( h ( 2 ) ) = ( m α 1 , 1 m α 1 , 1 ) ( i d H α 1 σ H α 1 , H 1 i d H 1 ) ( i d H α 1 i d H α 1 σ H 1 , H 1 ) ( S α ( h ( 1 ) ) S α ( h ( 2 ) ) 1 1 ) = ( m α 1 , 1 m α 1 , 1 ) ( i d H α 1 σ H α 1 , H 1 i d H 1 ) ( i d H α 1 i d H α 1 σ H 1 , H 1 ) ( S α ( h ( 1 ) ) S α ( h ( 2 ) ) Δ ( 1 ) ) = ( m α 1 , 1 m α 1 , 1 ) ( i d H α 1 σ H α 1 , H 1 i d H 1 ) ( i d H α 1 i d H α 1 σ H 1 , H 1 ) ( S α ( h ( 1 ) ) S α ( h ( 2 ) ( 1 ) ( 1 ) ) Δ ( h ( 2 ) ( 1 ) ( 2 ) S α ( h ( 2 ) ( 2 ) ) ) ) = ( m α 1 , 1 m α 1 , 1 ) ( i d H α 1 σ H α 1 , H 1 i d H 1 ) ( i d H α 1 i d H α 1 σ H 1 , H 1 ) ( S α ( h ( 1 ) ) S α ( h ( 2 ) ( 1 ) ( 1 ) ) Δ ( h ( 2 ) ( 1 ) ( 2 ) ) Δ ( S α ( h ( 2 ) ( 2 ) ) ) ) = ( m α 1 , 1 m α 1 , 1 ) ( i d H α 1 σ H α 1 , H 1 i d H 1 ) ( i d H α 1 i d H α 1 σ H 1 , H 1 ) ( S α ( h ( 1 ) ) S α ( h ( 2 ) ( 1 ) ( 1 ) ) Δ ( h ( 2 ) ( 1 ) ( 2 ) ) Δ S α ( h ( 2 ) ( 2 ) ) ) = ( m α 1 , 1 m α 1 , 1 ) ( i d H α 1 σ H α 1 , H 1 i d H 1 ) ( i d H α 1 i d H α 1 σ H 1 , H 1 ) ( S α ( h ( 1 ) ) S α ( h ( 2 ) ( 1 ) ( 1 ) ) ( h ( 2 ) ( 1 ) ( 2 ) ( 1 ) h ( 2 ) ( 1 ) ( 2 ) ( 2 ) ) ( S α ( h ( 2 ) ( 2 ) ) ( 1 ) S α ( h ( 2 ) ( 2 ) ) ( 2 ) ) ) = ( m α 1 , 1 m α 1 , 1 ) ( i d H α 1 σ H α 1 , H 1 i d H 1 ) ( i d H α 1 i d H α 1 σ H 1 , H 1 ) ( S α ( h ( 1 ) ) S α ( h ( 2 ) ( 1 ) ( 1 ) ) h ( 2 ) ( 1 ) ( 2 ) ( 1 ) S α ( h ( 2 ) ( 2 ) ) ( 1 ) h ( 2 ) ( 1 ) ( 2 ) ( 2 ) S α ( h ( 2 ) ( 2 ) ) ( 2 ) ) = S α ( h ( 1 ) ) ( h ( 2 ) ( 1 ) ( 2 ) ( 2 ) S α ( h ( 2 ) ( 2 ) ) ( 2 ) ) S α ( h ( 2 ) ( 1 ) ( 1 ) ) ( h ( 2 ) ( 1 ) ( 2 ) ( 1 ) S α ( h ( 2 ) ( 2 ) ) ( 1 ) ) = S α ( h ( 1 ) ) ( h ( 2 ) ( 1 ) ( 2 ) ( 2 ) S α ( h ( 2 ) ( 2 ) ) ( 2 ) ) ( S α ( h ( 2 ) ( 1 ) ( 1 ) ) h ( 2 ) ( 1 ) ( 2 ) ( 1 ) ) S α ( h ( 2 ) ( 2 ) ) ( 1 ) = S α ( h ( 1 ) ) ( h ( 2 ) ( 1 ) S α ( h ( 2 ) ( 2 ) ) ( 2 ) ) S α ( h ( 2 ) ( 2 ) ) ( 1 ) = ( S α ( h ( 1 ) ) h ( 2 ) ( 1 ) ) S α ( h ( 2 ) ( 2 ) ) ( 2 ) S α ( h ( 2 ) ( 2 ) ) ( 1 ) = ( S α ( h ( 1 ) ) h ( 2 ) ( 1 ) 1 ) ( S α ( h ( 2 ) ( 2 ) ) ( 2 ) S α ( h ( 2 ) ( 2 ) ) ( 1 ) ) = ( S α ( h ( 1 ) ) h ( 2 ) ( 1 ) 1 ) σ H α 1 , H α 1 Δ α 1 S α ( h ( 2 ) ( 2 ) ) = ( 1 1 ) σ H α 1 , H α 1 Δ α 1 S α ( h ) = σ H α 1 , H α 1 Δ α 1 S α ( h ) .
Thus, Δ α 1 S α = σ H α 1 , H α 1 ( S α S α ) Δ α , α π .
Using Equation (19), we obtain Equation (21):
m 1 , 1 ( S 1 i d H 1 ) Δ 1 ( 1 ) = 1 ε 1 ( 1 ) S 1 ( 1 ) 1 = 1 S 1 ( 1 ) = 1 .
We can obtain Equation (23) also by Equation (19): α π , h H α ,
m α 1 , α ( S α i d H α ) Δ α ( h ) = 1 ε α ( h ) S α ( h ( 1 ) ) h ( 2 ) = 1 ε α ( h ) ε 1 ( S α ( h ( 1 ) ) h ( 2 ) ) = ε 1 ( 1 ε α ( h ) ) ε α 1 ( S α ( h ( 1 ) ) ) ε α ( h ( 2 ) ) = ε 1 ( 1 ) ε α ( h ) ε α 1 ( S α ( h ( 1 ) ε α ( h ( 2 ) ) ) ) = 1 k ε α ( h ) ε α 1 ( S α ( h ) ) = ε α ( h ) ,
i.e., ε α 1 S α = ε α , α π .
Corollary 1.
The antipode of a Hopf non-coassociative π-algebra is unique.
Proof. 
If S , S ^ are two antipodes on a Hopf non-coassociative π -algebra H, then they are equal in that, for any α π and h H α ,
S ^ α ( h ) = S ^ α ( h ( 1 ) ε α ( h ( 2 ) ) ) = S ^ α ( h ( 1 ) ) ε α ( h ( 2 ) ) 1 = S ^ α ( h ( 1 ) ) h ( 2 ) ( 1 ) S α ( h ( 2 ) ( 2 ) ) = S ^ α ( h ( 1 ) ) h ( 2 ) ( 1 ) S α ( h ( 2 ) ( 2 ) ) = 1 S α ( h ) = S α ( h ) .
Corollary 2.
Let H = { H α } α π be a Hopf non-coassociative π-algebra with the antipode S = { S α } α π . Then S α is the unique convolution inverse of i d H α in the convolution algebra Conv ( H α , H ) , for all α π .
Proof. 
Equation (19) says that S α is a convolution inverse of i d H α in the convolution algebra Conv ( H α , H ) , for all α π . Fix α π . Let T α be a right convolution inverse of i d H α in the convolution algebra Conv ( H α , H ) . For all h H α , we compute
S α ( h ) = S α ( i d H α T α ) ( h ) = S α ( h ( 1 ) ) ( i d H α T α ) ( h ( 2 ) ) = S α ( h ( 1 ) ) ( h ( 2 ) ( 1 ) T α ( h ( 2 ) ( 2 ) ) ) = ( S α ( h ( 1 ) ) h ( 2 ) ( 1 ) ) T α ( h ( 2 ) ( 2 ) )   = by   Equation   ( 17 )   1 T α ( h ) = T α ( h ) T α = S α .
Fix α π . Let T α now be a left convolution inverse of i d H α in the convolution algebra Conv ( H α , H ) . Similarly, we have T α = S α . Therefore, S α is the unique convolution inverse of i d H α in the convolution algebra Conv ( H α , H ) , for all α π . □
Similarly, one can get
Corollary 3.
Let H = { H α } α π be a Hopf non-coassociative π-algebra with the antipode S = { S α } α π . Then i d H α is the unique convolution inverse of S α in the convolution algebra Conv ( H α , H ) , for all α π .
Corollary 4.
Let H = ( { H α , Δ α , ε α } α π , m , η , S ) be a Hopf non-coassociative π-algebra. Then { α π , | H α 0 } is a subgroup of π.
Proof. 
Set G = { α π , | H α 0 } . Since ε 1 ( 1 ) = 1 k 0 , we first have 0 1 H 1 , i.e., H 1 0 , and so 1 G .
Now let α G whereby H α 0 , then there exists 0 a H α . Using Equation (13), one can see that a ( 1 ) ε α ( a ( 2 ) ) = ε α ( a ( 1 ) ) a ( 2 ) = a 0 . It follows that h H α , s . t . ε α ( h ) 0 . Then let β G . In a similar manner, one can also obtain that g H β , s . t . ε β ( g ) 0 . Thus, ε α β ( h g ) = ε α ( h ) ε β ( g ) 0 , i.e., 0 h g H α β and so α β G .
Finally, let α G . By Equation (23), ε α 1 S α ( h ) = ε α ( h ) 0 . Therefore 0 S α ( h ) H α 1 and hence α 1 G . □
The following theorem sheds considerable light on the concept of a Hopf non-coassociative π -algebra morphism.
Theorem 3.
Let H = { H α } α π and H = { H α } α π be Hopf non-coassociative π-algebras. A π-algebra morphism f = { f α : H α H α } α π between H and H such that, for any α π , f α is a coalgebra morphism satisfies f α 1 S α = S α f α , for all α π .
Proof. 
Consider the convolution inverse of f α in the convolution algebra Conv ( H α , H ) ,
S α f α f α ( h ) = S α f α ( h ( 1 ) ) f α ( h ( 2 ) ) = S α f α ( h ) ( 1 ) f α ( h ) ( 2 ) = ε α f α ( h ) 1 = ε α ( h ) 1 ,
whence S α f α is a left convolution inverse of f α in the convolution algebra Conv ( H α , H ) ,
f α f α 1 S α ( h ) = f α ( h ( 1 ) ) f α 1 S α ( h ( 2 ) ) = f 1 h ( 1 ) S α ( h ( 2 ) ) = f 1 ε α ( h ) 1 = ε α ( h ) 1 ,
whence f α 1 S α is a right convolution inverse of f α in the convolution algebra Conv ( H α , H ) ,
f α 1 S α ( h ) = ( S α f α f α ) f α 1 S α ( h ) = S α f α f α ( h ( 1 ) ) f α 1 S α ( h ( 2 ) ) = S α f α ( h ( 1 ) ( 1 ) ) f α ( h ( 1 ) ( 2 ) ) f α 1 S α ( h ( 2 ) ) = S α f α ( h ( 1 ) ( 1 ) ) f α ( h ( 1 ) ( 2 ) ) f α 1 S α ( h ( 2 ) ) = S α f α ( h ( 1 ) ( 1 ) ) f 1 h ( 1 ) ( 2 ) S α ( h ( 2 ) ) = S α f α ( h ) f 1 1 = S α f α ( h ) 1 = S α f α ( h ) ,
from which we obtain f α 1 S α = S α f α . This completes the proof. □
By looking into the proof of Theorem 3, we note that f α 1 S α = S α f α and f α are convolution inverses in the convolution algebra Conv ( H α , H ) . More precisely, we claim:
Corollary 5.
If f = { f α : H α H α } α π is a Hopf non-coassociative π-algebra morphism between H and H . Then:
 (1)
f α 1 S α = S α f α is the unique convolution inverse of f α in the convolution algebra Conv ( H α , H ) ;
 (2)
f α is the unique convolution inverse of f α 1 S α = S α f α in the convolution algebra Conv ( H α , H ) .
Proof. 
We first establish part (1). Fix α π . Let T α be a right convolution inverse of f α in the convolution algebra Conv ( H α , H ) .
f α 1 S α ( h ) = f α 1 S α ( f α T α ) ( h ) = f α 1 S α ( h ( 1 ) ) f α T α ( h ( 2 ) ) = f α 1 S α ( h ( 1 ) ) f α ( h ( 2 ) ( 1 ) ) T α ( h ( 2 ) ( 2 ) ) = f α 1 S α ( h ( 1 ) ) f α ( h ( 2 ) ( 1 ) ) T α ( h ( 2 ) ( 2 ) ) = f 1 S α ( h ( 1 ) ) h ( 2 ) ( 1 ) T α ( h ( 2 ) ( 2 ) ) = f 1 1 T α ( h ) = 1 T α ( h ) = T α ( h ) .
Fix α π . Let T α now be a left convolution inverse of f α in the convolution algebra Conv ( H α , H ) . Similarly, we have f α 1 S α ( h ) = T α ( h ) .
f α 1 S α = S α f α is therefore the unique convolution inverse of f α in the convolution algebra Conv ( H α , H ) , for all α π .
We now turn to part (2). Fix α π . Let T α be a right convolution inverse of f α 1 S α = S α f α in the convolution algebra Conv ( H α , H ) .
f α ( h ) = f α ( f α 1 S α T α ) ( h ) = f α ( h ( 1 ) ) f α 1 S α T α ( h ( 2 ) ) = f α ( h ( 1 ) ) f α 1 S α ( h ( 2 ) ( 1 ) ) T α ( h ( 2 ) ( 2 ) ) = f α ( h ( 1 ) ) f α 1 S α ( h ( 2 ) ( 1 ) ) T α ( h ( 2 ) ( 2 ) ) = f 1 h ( 1 ) S α ( h ( 2 ) ( 1 ) ) T α ( h ( 2 ) ( 2 ) ) = f 1 1 T α ( h ) = 1 T α ( h ) = T α ( h ) .
Fix α π . Let T α now be a left convolution inverse of f α 1 S α = S α f α in the convolution algebra Conv ( H α , H ) . Similarly, we have f α ( h ) = T α ( h ) . Therefore, f α is the unique convolution inverse of f α 1 S α = S α f α in the convolution algebra Conv ( H α , H ) , for all α π . □
The following two corollaries can be directly deduced from Theorems 2 and 3.
Corollary 6.
If H is a Hopf non-coassociative π-algebra, then the map S : H H o p , c o p (where both are opposite and S o p , c o p = { S α o p , c o p = S α 1 } α π ) is a Hopf non-coassociative π-algebra isomorphism.
Corollary 7.
If H is a Hopf non-coassociative π-algebra with an invertible antipode S, then the map S : H H o p , c o p (where both are opposite and S o p , c o p = { S α o p , c o p = S α 1 } α π ) is a Hopf non-coassociative π-algebra isomorphism.
Theorem 4.
Let H be a Hopf non-coassociative π-algebra. Then for any α π , S α 1 S α = i d H α if H is commutative or cocommutative.
Proof. 
For any α π . Let h H α . If H is commutative, we have
S α 1 S α ( h ) = S α 1 S α ( h ( 1 ) ε ( h ( 2 ) ) ) = S α 1 S α ( h ( 1 ) ) ε ( h ( 2 ) ) = S α 1 S α ( h ( 1 ) ) ( S α ( h ( 2 ) ( 1 ) ) h ( 2 ) ( 2 ) ) = ( S α 1 S α ( h ( 1 ) ) S α ( h ( 2 ) ( 1 ) ) ) h ( 2 ) ( 2 ) = S 1 ( h ( 2 ) ( 1 ) S α ( h ( 1 ) ) ) h ( 2 ) ( 2 ) = S 1 ( S α ( h ( 1 ) ) h ( 2 ) ( 1 ) ) h ( 2 ) ( 2 ) = S 1 ( 1 ) h = 1 h = h .
It follows that S α 1 S α = i d H α .
Similar to the case of H being cocommutative. □
Theorem 5.
Let H be a Hopf non-coassociative π-algebra such that each S α 1 exists, for all α π . Then the following identities are equivalent:
 (1)
a ( 2 ) ( 1 ) S α ( a ( 1 ) ) a ( 2 ) ( 2 ) = a ( 2 ) S α ( a ( 1 ) ( 2 ) ) a ( 1 ) ( 1 ) = 1 a , for all α π , a H α .
 (2)
a ( 2 ) ( 2 ) S α ( a ( 2 ) ( 1 ) ) a ( 1 ) = a ( 1 ) ( 1 ) S α ( a ( 2 ) ) a ( 1 ) ( 2 ) = a 1 , for all α π , a H α .
 (3)
S α 1 S α = i d H α , for all α π .
Proof. 
Let α π and a H α . We have
S α 1 S α ( a ) = S α 1 S α ( a ( 1 ) ε α ( a ( 2 ) ) ) = S α 1 S α ( a ( 1 ) ) ε α ( a ( 2 ) ) = S α 1 S α ( a ( 1 ) ) ( ε α ( a ( 2 ) ) 1 ) = S α 1 S α ( a ( 1 ) ) ( S α ( a ( 2 ) ( 1 ) ) a ( 2 ) ( 2 ) ) = S 1 ( a ( 2 ) ( 1 ) S α ( a ( 1 ) ) ) a ( 2 ) ( 2 ) .
If ( 1 ) holds, we then find that S α 1 S α ( a ) = S 1 ( 1 ) a = a , which implies that ( 3 ) holds.
If ( 3 ) is satisfied, then one has
1 a = a ( 1 ) S α ( a ( 2 ) ( 1 ) ) a ( 2 ) ( 2 ) = a ( 1 ) S α ( a ( 2 ) ( 1 ) ) S α 1 S α ( a ( 2 ) ( 2 ) ) = a ( 1 ) S α ( a ( 2 ) ) ( 2 ) S α 1 ( S α ( a ( 2 ) ) ( 1 ) ) = S α 1 S α ( a ( 1 ) ) S α ( a ( 2 ) ) ( 2 ) S α 1 ( S α ( a ( 2 ) ) ( 1 ) ) = S α 1 ( S α ( a ) ( 2 ) ) S α ( a ) ( 1 ) ( 2 ) S α 1 ( S α ( a ) ( 1 ) ( 1 ) ) .
Applying S α to the second tensor factor we obtain
1 S α ( a ) = S α 1 ( S α ( a ) ( 2 ) ) S α ( a ) ( 1 ) ( 2 ) S α S α 1 ( S α ( a ) ( 1 ) ( 1 ) ) = S α 1 ( S α ( a ) ( 2 ) ) S α ( a ) ( 1 ) ( 2 ) S α ( a ) ( 1 ) ( 1 ) .
So ( 2 ) holds since S is bijective.
We have shown ( 1 ) ( 3 ) ( 2 ) .
Similarly one proves ( 2 ) ( 3 ) ( 1 ) .
Theorem 6.
Let H be a Hopf non-coassociative π-algebra with a bijective antipode S and S 1 the composite inverse to S. Then
S α 1 1 ( h ( 2 ) ) h ( 1 ) = h ( 2 ) S α 1 1 ( h ( 1 ) ) = ε α ( h ) 1 , S ( α β ) 1 1 ( h g ) = S β 1 1 ( g ) S α 1 1 ( h ) , S 1 1 ( 1 ) = 1 Δ α 1 ( S α 1 1 ( h ) ) = S α 1 1 ( h ( 2 ) ) S α 1 1 ( h ( 1 ) ) , ε α 1 ( S α 1 1 ( h ) ) = ε α ( h )
for all α , β π , h H α and g H β .
Proof. 
The proof is straightforward. □
Theorem 7.
Let H be a Hopf non-coassociative π-algebra such that each S α 1 exists, for all α π , a H α . Then the following identities are equivalent:
 (1)
a ( 1 ) a ( 2 ) ( 2 ) ( 1 ) a ( 2 ) ( 1 ) a ( 2 ) ( 2 ) ( 2 ) = a ( 1 ) ( 1 ) ( 1 ) a ( 1 ) ( 2 ) a ( 1 ) ( 1 ) ( 2 ) a ( 2 ) .
 (2)
a ( 1 ) ( 1 ) ( 1 ) a ( 1 ) ( 1 ) ( 2 ) a ( 2 ) a ( 1 ) ( 2 ) = a ( 1 ) a ( 2 ) ( 1 ) a ( 2 ) ( 2 ) ( 2 ) a ( 2 ) ( 2 ) ( 1 ) .
 (3)
a ( 1 ) ( 1 ) a ( 2 ) ( 2 ) a ( 1 ) ( 2 ) a ( 2 ) ( 1 ) = a ( 1 ) ( 1 ) a ( 2 ) a ( 1 ) ( 2 ) ( 1 ) a ( 1 ) ( 2 ) ( 2 ) .
Proof. 
( 1 ) ( 2 ) Let T = ( i d H α σ H α , H α i d H α ) . Then
a ( 1 ) a ( 2 ) ( 2 ) ( 1 ) a ( 2 ) ( 1 ) a ( 2 ) ( 2 ) ( 2 ) = a ( 1 ) ( 1 ) ( 1 ) a ( 1 ) ( 2 ) a ( 1 ) ( 1 ) ( 2 ) a ( 2 ) ( m α , α i d H α 2 ) T ( i d H α 2 Δ α ) ( i d H α Δ α ) Δ α ( a ) = ( m α , α i d H α i d H α ) T ( Δ α i d H α 2 ) ( Δ α i d H α ) Δ α ( a ) ( m α , α i d H α i d H α ) T ( i d H α 2 Δ α ) ( i d H α Δ α ) Δ α ( S α 1 ( b ) ) = ( m α , α i d H α 2 ) T ( Δ α i d H α 2 ) ( Δ α i d H α ) Δ α ( S α 1 ( b ) ) ( m α , α i d H α 2 ) T ( i d H α 2 Δ α ) ( i d H α Δ α ) ( S α 1 ( b ( 2 ) ) S α 1 ( b ( 1 ) ) ) = ( m α , α i d H α i d H α ) T ( Δ α i d H α 2 ) ( Δ α i d H α ) ( S α 1 ( b ( 2 ) ) S α 1 ( b ( 1 ) ) ) ( m α , α i d H α 2 ) T ( i d H α 2 Δ α ) ( S α 1 ( b ( 2 ) ) S α 1 ( b ( 1 ) ( 2 ) ) S α 1 ( b ( 1 ) ( 1 ) ) ) = ( m α , α i d H α 2 ) T ( Δ α i d H α 2 ) ( S α 1 ( b ( 2 ) ( 2 ) ) S α 1 ( b ( 2 ) ( 1 ) ) S α 1 ( b ( 1 ) ) ) ( m α , α i d H α 2 ) T ( S α 1 ( b ( 2 ) ) S α 1 ( b ( 1 ) ( 2 ) ) S α 1 ( b ( 1 ) ( 1 ) ( 2 ) ) S α 1 ( b ( 1 ) ( 1 ) ( 1 ) ) ) = ( m α , α i d H α 2 ) T ( S α 1 ( b ( 2 ) ( 2 ) ( 2 ) ) S α 1 ( b ( 2 ) ( 2 ) ( 1 ) ) S α 1 ( b ( 2 ) ( 1 ) ) S α 1 ( b ( 1 ) ) ) ( m α , α i d H α 2 ) ( S α 1 ( b ( 2 ) ) S α 1 ( b ( 1 ) ( 1 ) ( 2 ) ) S α 1 ( b ( 1 ) ( 2 ) ) S α 1 ( b ( 1 ) ( 1 ) ( 1 ) ) ) = ( m α , α i d H α 2 ) ( S α 1 ( b ( 2 ) ( 2 ) ( 2 ) ) S α 1 ( b ( 2 ) ( 1 ) ) S α 1 ( b ( 2 ) ( 2 ) ( 1 ) ) S α 1 ( b ( 1 ) ) ) S α 1 ( b ( 2 ) ) S α 1 ( b ( 1 ) ( 1 ) ( 2 ) ) S α 1 ( b ( 1 ) ( 2 ) ) S α 1 ( b ( 1 ) ( 1 ) ( 1 ) ) = S α 1 ( b ( 2 ) ( 2 ) ( 2 ) ) S α 1 ( b ( 2 ) ( 1 ) ) S α 1 ( b ( 2 ) ( 2 ) ( 1 ) ) S α 1 ( b ( 1 ) ) S α 1 α 1 ( b ( 1 ) ( 1 ) ( 2 ) b ( 2 ) ) S α 1 ( b ( 1 ) ( 2 ) ) S α 1 ( b ( 1 ) ( 1 ) ( 1 ) ) = S α 1 α 1 ( b ( 2 ) ( 1 ) b ( 2 ) ( 2 ) ( 2 ) ) S α 1 ( b ( 2 ) ( 2 ) ( 1 ) ) S α 1 ( b ( 1 ) ) b ( 1 ) ( 1 ) ( 2 ) b ( 2 ) b ( 1 ) ( 2 ) b ( 1 ) ( 1 ) ( 1 ) = b ( 2 ) ( 1 ) b ( 2 ) ( 2 ) ( 2 ) b ( 2 ) ( 2 ) ( 1 ) b ( 1 ) b ( 1 ) ( 1 ) ( 1 ) b ( 1 ) ( 1 ) ( 2 ) b ( 2 ) b ( 1 ) ( 2 ) = b ( 1 ) b ( 2 ) ( 1 ) b ( 2 ) ( 2 ) ( 2 ) b ( 2 ) ( 2 ) ( 1 ) a ( 1 ) ( 1 ) ( 1 ) a ( 1 ) ( 1 ) ( 2 ) b ( 2 ) a ( 1 ) ( 2 ) = a ( 1 ) a ( 2 ) ( 1 ) b ( 2 ) ( 2 ) ( 2 ) a ( 2 ) ( 2 ) ( 1 ) .
Similarly, ( 1 ) implies ( 2 ) .
( 3 ) ( 1 )
a ( 1 ) ( 1 ) a ( 2 ) ( 2 ) a ( 1 ) ( 2 ) a ( 2 ) ( 1 ) = a ( 1 ) ( 1 ) a ( 2 ) a ( 1 ) ( 2 ) ( 1 ) a ( 1 ) ( 2 ) ( 2 ) a ( 1 ) ( 1 ) ( 1 ) a ( 1 ) ( 2 ) ( 2 ) S α ( a ( 2 ) ) ( 2 ) a ( 1 ) ( 1 ) ( 2 ) a ( 1 ) ( 2 ) ( 1 ) S α ( a ( 2 ) ) ( 1 ) = a ( 1 ) ( 1 ) ( 1 ) a ( 1 ) ( 2 ) S α ( a ( 2 ) ) ( 2 ) a ( 1 ) ( 1 ) ( 2 ) ( 1 ) a ( 1 ) ( 1 ) ( 2 ) ( 2 ) S α ( a ( 2 ) ) ( 1 ) a ( 1 ) ( 1 ) ( 1 ) ( a ( 1 ) ( 2 ) S α ( a ( 2 ) ) ) ( 2 ) a ( 1 ) ( 1 ) ( 2 ) ( a ( 1 ) ( 2 ) S α ( a ( 2 ) ) ) ( 1 ) = a ( 1 ) ( 1 ) ( 1 ) a ( 1 ) ( 2 ) S α ( a ( 2 ) ) ( 2 ) a ( 1 ) ( 1 ) ( 2 ) ( 1 ) a ( 1 ) ( 1 ) ( 2 ) ( 2 ) S α ( a ( 2 ) ) ( 1 ) a ( 1 ) a ( 2 ) 1 = a ( 1 ) ( 1 ) ( 1 ) a ( 1 ) ( 2 ) S α ( a ( 2 ) ) ( 2 ) a ( 1 ) ( 1 ) ( 2 ) ( 1 ) a ( 1 ) ( 1 ) ( 2 ) ( 2 ) S α ( a ( 2 ) ) ( 1 ) a ( 1 ) a ( 2 ) 1 = a ( 1 ) ( 1 ) ( 1 ) a ( 1 ) ( 2 ) S α ( a ( 2 ) ( 1 ) ) a ( 1 ) ( 1 ) ( 2 ) ( 1 ) a ( 1 ) ( 1 ) ( 2 ) ( 2 ) S α ( a ( 2 ) ( 2 ) ) a ( 1 ) a ( 2 ) ( 1 ) S α ( a ( 2 ) ( 2 ) ) 1 = a ( 1 ) ( 1 ) ( 1 ) a ( 1 ) ( 2 ) S α ( a ( 2 ) ( 1 ) ) a ( 1 ) ( 1 ) ( 2 ) 1 S α ( a ( 2 ) ( 2 ) ) a ( 1 ) a ( 2 ) ( 1 ) S α ( a ( 2 ) ( 2 ) ) = a ( 1 ) ( 1 ) ( 1 ) a ( 1 ) ( 2 ) S α ( a ( 2 ) ( 1 ) ) a ( 1 ) ( 1 ) ( 2 ) S α ( a ( 2 ) ( 2 ) ) a ( 1 ) a ( 2 ) ( 1 ) S α 1 ( S α ( a ( 2 ) ( 2 ) ) ) = a ( 1 ) ( 1 ) ( 1 ) a ( 1 ) ( 2 ) S α ( a ( 2 ) ( 1 ) ) a ( 1 ) ( 1 ) ( 2 ) S α 1 ( S α ( a ( 2 ) ( 2 ) ) ) a ( 1 ) a ( 2 ) ( 1 ) a ( 2 ) ( 2 ) = a ( 1 ) ( 1 ) ( 1 ) a ( 1 ) ( 2 ) S α ( a ( 2 ) ( 1 ) ) a ( 1 ) ( 1 ) ( 2 ) a ( 2 ) ( 2 ) a ( 1 ) a ( 2 ) ( 2 ) ( 1 ) a ( 2 ) ( 1 ) a ( 2 ) ( 2 ) ( 2 ) = a ( 1 ) ( 1 ) ( 1 ) a ( 1 ) ( 2 ) S α ( a ( 2 ) ( 1 ) ) a ( 2 ) ( 2 ) ( 1 ) a ( 1 ) ( 1 ) ( 2 ) a ( 2 ) ( 2 ) ( 2 ) a ( 1 ) a ( 2 ) ( 2 ) ( 1 ) a ( 2 ) ( 1 ) a ( 2 ) ( 2 ) ( 2 ) = a ( 1 ) ( 1 ) ( 1 ) a ( 1 ) ( 2 ) 1 a ( 1 ) ( 1 ) ( 2 ) a ( 2 ) a ( 1 ) a ( 2 ) ( 2 ) ( 1 ) a ( 2 ) ( 1 ) a ( 2 ) ( 2 ) ( 2 ) = a ( 1 ) ( 1 ) ( 1 ) a ( 1 ) ( 2 ) a ( 1 ) ( 1 ) ( 2 ) a ( 2 ) .
Similarly, ( 1 ) implies ( 3 ) .
We have observed that if H is a Hopf non-coassociative π -algebra with antipode S then H o p , c o p is a Hopf non-coassociative π -algebra with antipode S o p , c o p = { S α o p , c o p = S α 1 } α π . Furthermore, the following theorem says, if H o p or H c o p is a Hopf non-coassociative π -algebra, then S is bijective, and vice versa.
Proposition 2.
Suppose that H is a Hopf non-coassociative π-algebra with antipode S over the field k . Then the following are equivalent:
 (a)
H o p = { H α o p = H α 1 } α π is a Hopf non-coassociative π-algebra.
 (b)
H c o p = { H α c o p = H α } α π is a Hopf non-coassociative π-algebra.
 (c)
S is bijective.
If S is bijective, then H o p and H c o p have antipodes S o p = { S α o p = S α 1 } α π and S c o p = { S α c o p = S α 1 1 } α π , respectively.
Proof. 
Since H c o p = ( H o p ) o p , c o p and H o p = ( H c o p ) o p , c o p , the parts (a) and (b) are equivalent.
If the part (c) holds, then it is easy to check that Part (a) holds. Conversely, suppose that H o p is a Hopf non-coassociative π -algebra with antipode T = { T α } α π . Then T α ( h ( 1 ) ) h ( 2 ) = ε α o p ( h ) 1 = h ( 1 ) T α ( h ( 2 ) ) , or equivalently, h ( 2 ) T α ( h ( 1 ) ) = ε α 1 ( h ) 1 = T α ( h ( 2 ) ) h ( 1 ) , for h H α o p = H α 1 . Applying S 1 to the left-hand side of the above equation, we have
( S α T α ) ( h ( 1 ) ) S α 1 ( h ( 2 ) ) = ε α 1 ( h ) 1 .
Replacing h with S α ( h ) in this equation, one has
ε α 1 ( S α ( h ) ) 1 = T α ( S α ( h ) ( 2 ) ) S α ( h ) ( 1 ) ,
or equivalently,
ε α ( h ) 1 = T α S α ( h ( 1 ) ) S α ( h ( 2 ) ) .
Therefore T α S α and S α 1 T α 1 are both left inverses of S α in the convolution algebra Conv ( H α , H ) . It follows from Corollary 3 that S α 1 T α 1 = id H α = T α S α which establishes that the part (a) implies that the part (c). □
Theorem 8.
Let H be a commutative flexible Hopf non-coassociative π-algebra. Then
a ( 1 ) S α ( a ( 2 ) ( 2 ) ) a ( 2 ) ( 1 ) = a ( 1 ) ( 1 ) S α ( a ( 2 ) ) a ( 1 ) ( 2 ) , α π , a H α .
Proof. 
α π , a H α . Since H is flexible, we have that
a ( 1 ) ( 1 ) a ( 2 ) a ( 1 ) ( 2 ) = a ( 1 ) a ( 2 ) ( 2 ) a ( 2 ) ( 1 )
( a ( 1 ) ( 1 ) a ( 2 ) ) S α ( a ( 1 ) ( 2 ) ( 2 ) ) a ( 1 ) ( 2 ) ( 1 ) = ( a ( 1 ) a ( 2 ) ( 2 ) ) S α ( a ( 2 ) ( 1 ) ( 2 ) ) a ( 2 ) ( 1 ) ( 1 ) a ( 1 ) ( 1 ) ( a ( 2 ) S α ( a ( 1 ) ( 2 ) ( 2 ) ) ) a ( 1 ) ( 2 ) ( 1 ) = a ( 1 ) ( a ( 2 ) ( 2 ) S α ( a ( 2 ) ( 1 ) ( 2 ) ) ) a ( 2 ) ( 1 ) ( 1 ) a ( 1 ) ( 1 ) ( S α ( a ( 1 ) ( 2 ) ( 2 ) ) a ( 2 ) ) a ( 1 ) ( 2 ) ( 1 ) = a ( 1 ) ( 1 ) ( 1 ) ( S α ( a ( 1 ) ( 2 ) ) a ( 2 ) ) a ( 1 ) ( 1 ) ( 2 ) a ( 1 ) ( 1 ) S α ( a ( 1 ) ( 2 ) ( 2 ) ) a ( 2 ) a ( 1 ) ( 2 ) ( 1 ) = a ( 1 ) S α ( a ( 2 ) ( 1 ) ( 2 ) ) a ( 2 ) ( 2 ) a ( 2 ) ( 1 ) ( 1 ) a ( 1 ) ( 1 ) ( 1 ) S α ( a ( 1 ) ( 1 ) ( 2 ) ( 2 ) ) a ( 1 ) ( 2 ) S α ( a ( 2 ) ) a ( 1 ) ( 1 ) ( 2 ) ( 1 ) = a ( 1 ) ( 1 ) S α ( a ( 2 ) ) a ( 1 ) ( 2 ) u
In the end of this section, we study how to construct an coassociator for any Hopf non-coassociative π -algebra.
Definition 5.
In any Hopf non-coassociative π-algebra, we define the coassociator
Φ = { Φ α : H α H α H α H α } α π b y
( Δ α i d H α ) Δ α ( a ) = ( i d H α Δ α ) Δ α ( a ( 1 ) ( 1 ) ) Φ α ( a ( 1 ) ( 2 ) ) ( i d H α 1 Δ α 1 ) Δ α 1 ( S α ( a ( 2 ) ) )
for all α π and a H α .
Remark 4.
For the next theorem, we will use some convenient notation. Let H be a Hopf non-coassociative π-algebra. α π , a H α , we write Φ α ( a ) = Φ a ( 1 ) Φ a ( 2 ) Φ a ( 3 ) .
Theorem 9.
Let H be a Hopf non-coassociative π-algebra. Then
 (1)
The associator Φ = { Φ α } α π exists and is uniquely determined as
Φ α ( a ) = S α ( a ( 1 ) ) ( 1 ) a ( 2 ) ( 1 ) ( 1 ) ( 1 ) a ( 2 ) ( 2 ) ( 1 ) S α ( a ( 1 ) ) ( 2 ) ( 1 ) a ( 2 ) ( 1 ) ( 1 ) ( 2 ) a ( 2 ) ( 2 ) ( 2 ) ( 1 )
S α ( a ( 1 ) ) ( 2 ) ( 2 ) a ( 2 ) ( 1 ) ( 2 ) a ( 2 ) ( 2 ) ( 2 ) ( 2 ) , α π , a H α .
 (2)
( ε α ε α i d H α ) Φ α ( a ) = ( ε α i d H α ε α ) Φ α ( a )
= ( i d H α ε α ε α ) Φ α ( a ) = a , α π , a H α .
 (3)
Φ a ( 1 ) S α ( Φ a ( 2 ) ) Φ a ( 3 ) = S α ( Φ a ( 1 ) ) Φ a ( 2 ) Φ a ( 3 ) , α π , a H α .
 (4)
Φ a ( 1 ) S α ( Φ a ( 2 ) ) Φ a ( 3 ) = Φ a ( 1 ) Φ a ( 2 ) S α ( Φ a ( 3 ) ) , α π , a H α .
 (5)
( Φ a ( 1 ) ) ( 1 ) S α ( Φ a ( 3 ) ) ( Φ a ( 1 ) ) ( 2 ) S α ( Φ a ( 2 ) ) = S α ( ( Φ a ( 1 ) ) ( 1 ) ) Φ a ( 3 ) S α ( ( Φ a ( 1 ) ) ( 2 ) ) Φ a ( 2 )
= Φ a ( 1 ) S α ( ( Φ a ( 3 ) ) ( 2 ) ) Φ a ( 2 ) S α ( ( Φ a ( 3 ) ) ( 1 ) ) = S α ( Φ a ( 1 ) ) ( Φ a ( 3 ) ) ( 2 ) S α ( Φ a ( 2 ) ) ( Φ a ( 3 ) ) ( 1 )
= S α ( Φ a ( 1 ) ) ( Φ a ( 2 ) ) ( 1 ) S α ( ( Φ a ( 2 ) ) ( 2 ) ) Φ a ( 3 ) = S α ( Φ a ( 1 ) ) ( Φ a ( 3 ) ) ( 2 ) S α ( Φ a ( 2 ) ) ( Φ a ( 3 ) ) ( 1 ) , α π , a H α .
Proof. 
The proof of this theorem consists of a long tedious computation. We just show readers as follows for the part (1). The other are similar.
( 1 ) α π , a H α , we have that
S α ( a ( 1 ) ) ( 1 ) a ( 2 ) ( 1 ) ( 1 ) ( 1 ) a ( 2 ) ( 2 ) ( 1 ) S α ( a ( 1 ) ) ( 2 ) ( 1 ) a ( 2 ) ( 1 ) ( 1 ) ( 2 ) a ( 2 ) ( 2 ) ( 2 ) ( 1 ) S α ( a ( 1 ) ) ( 2 ) ( 2 ) a ( 2 ) ( 1 ) ( 2 ) a ( 2 ) ( 2 ) ( 2 ) ( 2 ) = ( S α ( a ( 1 ) ) ( 1 ) S α ( a ( 1 ) ) ( 2 ) ( 1 ) S α ( a ( 1 ) ) ( 2 ) ( 2 ) ) ( a ( 2 ) ( 1 ) ( 1 ) ( 1 ) a ( 2 ) ( 1 ) ( 1 ) ( 2 ) a ( 2 ) ( 1 ) ( 2 ) ) ( a ( 2 ) ( 2 ) ( 1 ) a ( 2 ) ( 2 ) ( 2 ) ( 1 ) a ( 2 ) ( 2 ) ( 2 ) ( 2 ) ) = ( S α ( a ( 1 ) ) ( 1 ) S α ( a ( 1 ) ) ( 2 ) ( 1 ) S α ( a ( 1 ) ) ( 2 ) ( 2 ) ) ( a ( 2 ) ( 1 ) ( 1 ) ( 1 ) ( 1 ) a ( 2 ) ( 1 ) ( 1 ) ( 1 ) ( 2 ) ( 1 ) a ( 2 ) ( 1 ) ( 1 ) ( 1 ) ( 2 ) ( 2 ) ) Φ α ( a ( 2 ) ( 1 ) ( 1 ) ( 2 ) ) ( S α ( a ( 2 ) ( 1 ) ( 2 ) ) ( 1 ) S α ( a ( 2 ) ( 1 ) ( 2 ) ) ( 2 ) ( 1 ) S α ( a ( 2 ) ( 1 ) ( 2 ) ) ( 2 ) ( 2 ) ) ( a ( 2 ) ( 2 ) ( 1 ) a ( 2 ) ( 2 ) ( 2 ) ( 1 ) a ( 2 ) ( 2 ) ( 2 ) ( 2 ) ) = ( S α ( a ( 1 ) ) ( 1 ) a ( 2 ) ( 1 ) ( 1 ) ( 1 ) ( 1 ) S α ( a ( 1 ) ) ( 2 ) ( 1 ) a ( 2 ) ( 1 ) ( 1 ) ( 1 ) ( 2 ) ( 1 ) S α ( a ( 1 ) ) ( 2 ) ( 2 ) a ( 2 ) ( 1 ) ( 1 ) ( 1 ) ( 2 ) ( 2 ) ) Φ α ( a ( 2 ) ( 1 ) ( 1 ) ( 2 ) ) ( S α ( a ( 2 ) ( 1 ) ( 2 ) ) ( 1 ) a ( 2 ) ( 2 ) ( 1 ) S α ( a ( 2 ) ( 1 ) ( 2 ) ) ( 2 ) ( 1 ) a ( 2 ) ( 2 ) ( 2 ) ( 1 ) S α ( a ( 2 ) ( 1 ) ( 2 ) ) ( 2 ) ( 2 ) a ( 2 ) ( 2 ) ( 2 ) ( 2 ) ) = ( ( S α ( a ( 1 ) ) a ( 2 ) ( 1 ) ( 1 ) ( 1 ) ) ( 1 ) ( S α ( a ( 1 ) ) a ( 2 ) ( 1 ) ( 1 ) ( 1 ) ) ( 2 ) ( 1 ) ( S α ( a ( 1 ) ) a ( 2 ) ( 1 ) ( 1 ) ( 1 ) ) ( 2 ) ( 2 ) ) Φ α ( a ( 2 ) ( 1 ) ( 1 ) ( 2 ) ) ( ( S α ( a ( 2 ) ( 1 ) ( 2 ) ) a ( 2 ) ( 2 ) ) ( 1 ) ( S α ( a ( 2 ) ( 1 ) ( 2 ) ) a ( 2 ) ( 2 ) ) ( 2 ) ( 1 ) ( S α ( a ( 2 ) ( 1 ) ( 2 ) ) a ( 2 ) ( 2 ) ) ( 2 ) ( 2 ) ) = ( ( S α ( a ( 1 ) ) a ( 2 ) ( 1 ) ) ( 1 ) ( S α ( a ( 1 ) ) a ( 2 ) ( 1 ) ) ( 2 ) ( 1 ) ( S α ( a ( 1 ) ) a ( 2 ) ( 1 ) ) ( 2 ) ( 2 ) ) Φ α ( a ( 2 ) ( 2 ) ) ( 1 ( 1 ) 1 ( 2 ) ( 1 ) 1 ( 2 ) ( 2 ) ) = ( ( S α ( a ( 1 ) ) a ( 2 ) ( 1 ) ) ( 1 ) ( S α ( a ( 1 ) ) a ( 2 ) ( 1 ) ) ( 2 ) ( 1 ) ( S α ( a ( 1 ) ) a ( 2 ) ( 1 ) ) ( 2 ) ( 2 ) ) Φ α ( a ( 2 ) ( 2 ) ) = ( 1 ( 1 ) 1 ( 2 ) ( 1 ) 1 ( 2 ) ( 2 ) ) Φ α ( a ) = Φ α ( a ) ,
and
( a ( 1 ) ( 1 ) ( 1 ) a ( 1 ) ( 1 ) ( 2 ) ( 1 ) a ( 1 ) ( 1 ) ( 2 ) ( 2 ) ) Φ α ( a ( 1 ) ( 2 ) ) ( S α ( a ( 2 ) ) ( 1 ) S α ( a ( 2 ) ) ( 2 ) ( 1 ) S α ( a ( 2 ) ) ( 2 ) ( 2 ) ) = ( a ( 1 ) ( 1 ) ( 1 ) a ( 1 ) ( 1 ) ( 2 ) ( 1 ) a ( 1 ) ( 1 ) ( 2 ) ( 2 ) ) ( S α ( a ( 1 ) ( 2 ) ( 1 ) ) ( 1 ) a ( 1 ) ( 2 ) ( 2 ) ( 1 ) ( 1 ) ( 1 ) a ( 1 ) ( 2 ) ( 2 ) ( 2 ) ( 1 ) S α ( a ( 1 ) ( 2 ) ( 1 ) ) ( 2 ) ( 1 ) a ( 1 ) ( 2 ) ( 2 ) ( 1 ) ( 1 ) ( 2 ) a ( 1 ) ( 2 ) ( 2 ) ( 2 ) ( 2 ) ( 1 ) S α ( a ( 1 ) ( 2 ) ( 1 ) ) ( 2 ) ( 2 ) a ( 1 ) ( 2 ) ( 2 ) ( 1 ) ( 2 ) a ( 1 ) ( 2 ) ( 2 ) ( 2 ) ( 2 ) ( 2 ) ) ( S α ( a ( 2 ) ) ( 1 ) S α ( a ( 2 ) ) ( 2 ) ( 1 ) S α ( a ( 2 ) ) ( 2 ) ( 2 ) ) = a ( 1 ) ( 1 ) ( 1 ) S α ( a ( 1 ) ( 2 ) ( 1 ) ) ( 1 ) a ( 1 ) ( 2 ) ( 2 ) ( 1 ) ( 1 ) ( 1 ) a ( 1 ) ( 2 ) ( 2 ) ( 2 ) ( 1 ) S α ( a ( 2 ) ) ( 1 ) a ( 1 ) ( 1 ) ( 2 ) ( 1 ) S α ( a ( 1 ) ( 2 ) ( 1 ) ) ( 2 ) ( 1 ) a ( 1 ) ( 2 ) ( 2 ) ( 1 ) ( 1 ) ( 2 ) a ( 1 ) ( 2 ) ( 2 ) ( 2 ) ( 2 ) ( 1 ) S α ( a ( 2 ) ) ( 2 ) ( 1 ) a ( 1 ) ( 1 ) ( 2 ) ( 2 ) S α ( a ( 1 ) ( 2 ) ( 1 ) ) ( 2 ) ( 2 ) a ( 1 ) ( 2 ) ( 2 ) ( 1 ) ( 2 ) a ( 1 ) ( 2 ) ( 2 ) ( 2 ) ( 2 ) ( 2 ) S α ( a ( 2 ) ) ( 2 ) ( 2 ) = ( a ( 1 ) ( 1 ) S α ( a ( 1 ) ( 2 ) ( 1 ) ) ) ( 1 ) a ( 1 ) ( 2 ) ( 2 ) ( 1 ) ( 1 ) ( 1 ) ( a ( 1 ) ( 2 ) ( 2 ) ( 2 ) S α ( a ( 2 ) ) ) ( 1 ) ( a ( 1 ) ( 1 ) S α ( a ( 1 ) ( 2 ) ( 1 ) ) ) ( 2 ) ( 1 ) a ( 1 ) ( 2 ) ( 2 ) ( 1 ) ( 1 ) ( 2 ) ( a ( 1 ) ( 2 ) ( 2 ) ( 2 ) S α ( a ( 2 ) ) ) ( 2 ) ( 1 ) ( a ( 1 ) ( 1 ) S α ( a ( 1 ) ( 2 ) ( 1 ) ) ) ( 2 ) ( 2 ) a ( 1 ) ( 2 ) ( 2 ) ( 1 ) ( 2 ) ( a ( 1 ) ( 2 ) ( 2 ) ( 2 ) S α ( a ( 2 ) ) ) ( 2 ) ( 2 ) = 1 ( 1 ) a ( 1 ) ( 1 ) ( 1 ) ( 1 ) ( a ( 1 ) ( 2 ) S α ( a ( 2 ) ) ) ( 1 ) 1 ( 2 ) ( 1 ) a ( 1 ) ( 1 ) ( 1 ) ( 2 ) ( a ( 1 ) ( 2 ) S α ( a ( 2 ) ) ) ( 2 ) ( 1 ) 1 ( 2 ) ( 2 ) a ( 1 ) ( 1 ) ( 2 ) ( a ( 1 ) ( 2 ) S α ( a ( 2 ) ) ) ( 2 ) ( 2 ) = a ( 1 ) ( 1 ) ( 1 ) ( 1 ) ( a ( 1 ) ( 2 ) S α ( a ( 2 ) ) ) ( 1 ) a ( 1 ) ( 1 ) ( 1 ) ( 2 ) ( a ( 1 ) ( 2 ) S α ( a ( 2 ) ) ) ( 2 ) ( 1 ) a ( 1 ) ( 1 ) ( 2 ) ( a ( 1 ) ( 2 ) S α ( a ( 2 ) ) ) ( 2 ) ( 2 ) = a ( 1 ) ( 1 ) 1 ( 1 ) a ( 1 ) ( 2 ) 1 ( 2 ) ( 1 ) a ( 2 ) 1 ( 2 ) ( 2 ) = a ( 1 ) ( 1 ) a ( 1 ) ( 2 ) a ( 2 ) .

5. Crossed Hopf Non-Coassociative π -Algebras

In this section we mainly study the notion of a crossed Hopf non-coassociative π -algebra and give some properties of the crossing map.
Definition 6.
A Hopf non-coassociative π-algebra H = ( { H α , Δ α , ε α } α π , m , η , S ) is said to be crossed provided it is endowed with a family φ = { φ β : H α H β α β 1 } α , β π of k -linear maps (the cocrossing) such that
e a c h φ β : H α H β α β 1 i s   a   c o a l g e b r a   i s o m o r p h i s m , e a c h φ β p r e s e r v e s   t h e   m u l t i p l i c a t i o n , i . e . ,   f o r   a l l α , β , γ π ,
φ β m α , γ = m β α β 1 , β γ β 1 ( φ β φ β ) ,
e a c h φ β p r e s e r v e s   t h e   u n i t , i . e . , φ β ( 1 ) = 1 ,
φ i s   m u l t i p l i c a t i v e   i n   t h e   s e n s e   t h a t φ β β = φ β φ β f o r   a l l β , β π .
The following result is straightforward.
Lemma 13.
Let H be a crossed Hopf non-coassociative π-algebra with cocrossing φ. Then
 (a)
φ 1 | H α = i d H α for all α π ;
 (b)
φ β 1 = φ β 1 for all β π ;
 (c)
φ preserves the antipode, i.e., φ β S α = S β α β 1 φ β for all α , β π ;
 (d)
if λ = ( λ α ) α π is a left (resp. right) π-integral in H and β π , then ( φ β ( λ β 1 α β ) ) α π is also a left (resp. right) π-integral on H;
 (e)
if g = ( g α ) α π is a π-grouplike element of H and β π , then ( g β α β 1 φ β ) α π is also a π-grouplike element of H.
Let H be a crossed Hopf non-coassociative π -algebra with cocrossing φ . If the antipode of H is bijective, then the opposite (resp. coopposite) coquasigroup Hopf π -algebra to H (see Example 2) is crossed with cocrossing given by
φ β o p | H α o p = φ β | H α 1 ( r e s p . φ β c o p | H α c o p = φ β | H α )
for all α , β π .
Let H = ( { H α , m α , 1 α } , Δ , ε , S , φ ) be a crossed Hopf non-coassociative π -algebra. Similar to ([4], Section 11.6), its mirror H ¯ is defined by the following procedure: set H ¯ α = H α 1 as a coalgebra, m ¯ α , β = m β 1 α 1 β , β 1 ( φ β 1 i d H β 1 ) , 1 ¯ = 1 , S α ¯ = φ α S α 1 , φ ¯ β | H ¯ α = φ β | H α 1 . It is also a crossed Hopf non-coassociative π -algebra.

6. Almost Cocommutative Hopf Non-Coassociative π -Algebras

The aim of this section is to discuss the definition and properties of an almost cocommutative Hopf non-coassociative π -algebra and to obtain its equivalent condition.
Definition 7.
A crossed Hopf non-coassociative π-algebra ( H , φ ) with a bijective antipode S is called almost cocommutative if there exists a family R = { R α , β H α H β } α , β π of invertible elements (the R-matrix) such that, for any α , β , γ π and x H γ ,
Δ γ c o p ( x ) · ( φ γ 1 φ γ 1 ) ( R α , β ) = R α , β · Δ γ ( x ) ,
and the family R is invariant under the crossing, i.e., for any α , β , γ π ,
( φ γ φ γ ) ( R α , β ) = R γ α γ 1 , γ β γ 1 .
Note that ( H 1 , R 1 , 1 ) is an almost cocommutative Hopf coquasigroup. It is customary to write R α , β ( 1 ) R α , β ( 2 ) for R α , β .
Equation (28) in Definition 7 can be written equivalently as:
Δ γ c o p ( x ) · R α , β = ( φ γ φ γ ) ( R α , β ) · Δ γ ( x ) ,
for any α , β , γ π and x H γ .
It is obvious that, for any α , β , γ π ,
( φ γ φ γ ) ( R α , β ) 1 = ( φ γ φ γ ) R α , β 1 .
The family R 1 is therefore invariant under the crossing, i.e., for any α , β , γ π ,
( φ γ φ γ ) R α , β 1 = R γ α γ 1 , γ β γ 1 1 .
Our first proposition generalizes the basic fact about almost cocommutative Hopf non-coassociative π -algebras.
Note that ( H 1 , R 1 , 1 ) is an almost cocommutative Hopf coquasigroup. It is customary to write R α , β ( 1 ) R α , β ( 2 ) for R α , β .
Our first proposition generalizes the basic fact about almost cocommutative Hopf non-coassociative π -algebras.
Proposition 3.
Let H be a crossed Hopf non-coassociative π-algebra, and V, W left π-modules over H, then V W = { V α W α } α π is also a left π-module over H. If H is almost cocommutative, then V W W V as left π-modules over H.
Proof. 
Similar as in the Hopf coquasigroup case, we define
h · ( v w ) = h ( 1 ) · v h ( 2 ) · w
for all h H α and v V β , w W β . It is easy to see that V W is a left π -module over H. If H is almost cocommutative with R H H . Then for all v V α , w W α , define
c V α , W α R 1 , 1 : V α W β W α V α , c V α , W α R 1 , 1 ( v w ) = R 1 , 1 ( 2 ) w R 1 , 1 ( 1 ) v
By Equation (28), c V α , W α R 1 , 1 is an isomorphism with inverse given by
c V α , W α R 1 , 1 1 : W α V α V α W α , c V α , W α R 1 , 1 1 ( w v ) = U 1 , 1 ( 1 ) v U 1 , 1 ( 2 ) w
where R 1 , 1 1 = U 1 , 1 = U 1 , 1 ( 1 ) U 1 , 1 ( 2 ) . □
Recall from Theorem 4 that if H be cocommutative, then S 2 = i d H . This fact can also be generalized.
Proposition 4.
Let H be an almost cocommutative Hopf non-coassociative π-algebra. Then S 2 = { S α 1 S α } α π is an inner automorphism of H. More precisely, let u β 1 = S β R 1 , β ( 2 ) R 1 , β ( 1 ) , where R 1 , β = R 1 , β ( 1 ) R 1 , β ( 2 ) . Then, we have
 (1)
u α is invertible, S α 1 S α ( h ) = u α h u α 1 = S α ( u α ) 1 h S α ( u α ) , S α S α 1 ( h ) = u α h u α 1 = S α ( u α ) 1 h S α ( u α ) and S 1 S 1 ( h ) = u α h u α 1 = S α ( u α ) 1 h S α ( u α ) ;
 (2)
u α S α ( u α ) is relatively central for H α H 1 H α 1 ;
 (3)
φ β ( u α ) = u β α β 1 .
Proof. 
We first show that u α h = S 1 S 1 ( h ) u α , for all h H 1 . Since H be almost cocommutative, we have
h ( 2 ) R 1 , α 1 ( 1 ) h ( 1 ) ( 1 ) R 1 , α 1 ( 2 ) h ( 1 ) ( 2 ) = h ( 2 ) h ( 1 ) ( 2 ) R 1 , α 1 ( 1 ) h ( 1 ) ( 1 ) R 1 , α 1 ( 2 ) ,
i.e.,
h ( 2 ) R 1 , α 1 ( 2 ) h ( 1 ) ( 2 ) R 1 , α 1 ( 1 ) h ( 1 ) ( 1 ) = h ( 2 ) h ( 1 ) ( 1 ) R 1 , α 1 ( 2 ) h ( 1 ) ( 2 ) R 1 , α 1 ( 1 ) .
Thus
S 1 S 1 h ( 2 ) S α 1 R 1 , α 1 ( 2 ) h ( 1 ) ( 2 ) R 1 , α 1 ( 1 ) h ( 1 ) ( 1 ) = S 1 S 1 h ( 2 ) S α 1 h ( 1 ) ( 1 ) R 1 , α 1 ( 2 ) h ( 1 ) ( 2 ) R 1 , α 1 ( 1 ) .
Since S is antimultiplicative, hence
S 1 S 1 h ( 2 ) S 1 h ( 1 ) ( 2 ) S α 1 R 1 , α 1 ( 2 ) R 1 , α 1 ( 1 ) h ( 1 ) ( 1 ) = S 1 S 1 h ( 2 ) S α 1 R 1 , α 1 ( 2 ) S 1 h ( 1 ) ( 1 ) h ( 1 ) ( 2 ) R 1 , α 1 ( 1 ) ,
i.e.,
S 1 h ( 1 ) ( 2 ) S 1 h ( 2 ) u α h ( 1 ) ( 1 ) = S 1 S 1 ( h ) u α .
Following the axiom (16) of Hopf non-coassociative π -algebra, we have
u α h = S 1 S 1 ( h ) u α , for all h H 1 .
The following two equalities can be verified in a similar way.
u α h = S α 1 S α ( h ) u α , for all h H α .
u α h = S α S α 1 ( h ) u α , for all h H α 1 .
We next show that u α is invertible. Write R 1 , α 1 1 = U 1 , α = U 1 , α ( 1 ) U 1 , α ( 2 ) . Applying m 1 , 1 σ H 1 , H 1 ( id H 1 S 1 ) to both sides of R 1 , α 1 ( 1 ) U 1 , α ( 1 ) R 1 , α 1 ( 2 ) U 1 , α ( 2 ) = 1 1 yields S α U 1 , α ( 2 ) u α U 1 , α ( 1 ) = 1 from which S α U 1 , α ( 2 ) S 1 S 1 U 1 , α ( 1 ) u α = 1 follows by Equation (30). Observe that we have not used the fact that S is bijective at this point. Since S is bijective we can use Equation (32) to calculate 1 = S α U 1 , α ( 2 ) u α U 1 , α ( 1 ) = S α S α 1 S α 1 1 U 1 , α ( 2 ) u α U 1 , α ( 1 ) = u α S α 1 1 U 1 , α ( 2 ) U 1 , α ( 1 ) . We have shown that u α has a left inverse and a right inverse. u α is therefore invertible. By Equations (30)–(32), the three equations below can be therefore deduced:
S 1 S 1 ( h ) = u α h u α 1 , for all h H 1 .
S α 1 S α ( h ) = u α h u α 1 , for all h H α .
S α S α 1 ( h ) = u α h u α 1 , for all h H α 1 .
Applying S 1 to Equation (33) and replacing h by S 1 1 ( h ) yields the formula S 1 S 1 ( h ) = S α ( u α ) 1 h S α ( u α ) .
Applying S α to Equation (34) and replacing h by S α 1 ( h ) gives rise to the formula S α S α 1 ( h ) = S α ( u α ) 1 h S α ( u α ) .
Applying S α 1 to Equation (35) and replacing h by S α 1 1 ( h ) gives birth to the formula S α 1 S α ( h ) = S α ( u α ) 1 h S α ( u α ) .
To check that u α S α ( u α ) is relatively central for H α , we will prove that for all g H α , g u α S α ( u α ) = u α S α ( u α ) g .
Let h = S α ( u α ) g S α 1 u α 1 , then
S α 1 S α ( h ) = u α h u α 1 = u α S α ( u α ) g S α 1 u α 1 u α 1
and
S α 1 S α ( h ) = S α ( u α ) 1 h S α ( u α ) = S α ( u α ) 1 S α ( u α ) g S α 1 u α 1 S α ( u α ) = g .
So
g = u α S α ( u α ) g S α 1 u α 1 u α 1
i.e., g u α S α ( u α ) = u α S α ( u α ) g for all g H α .
To check that u α S α ( u α ) is relatively central for H 1 , we will prove that for all g H 1 , g u α S α ( u α ) = u α S α ( u α ) g .
Let h = S α ( u α ) g S α 1 u α 1 , then
S 1 S 1 ( h ) = u α h u α 1 = u α S α ( u α ) g S α 1 u α 1 u α 1
and
S 1 S 1 ( h ) = S α ( u α ) 1 h S α ( u α ) = S α ( u α ) 1 S α ( u α ) g S α 1 u α 1 S α ( u α ) = g .
So
g = u α S α ( u α ) g S α 1 u α 1 u α 1
i.e., g u α S α ( u α ) = u α S α ( u α ) g for all g H 1 .
To check that u α S α ( u α ) is relatively central for H α 1 , we will prove that for all g H α 1 , g u α S α ( u α ) = u α S α ( u α ) g .
Let h = S α ( u α ) g S α 1 u α 1 , then
S α S α 1 ( h ) = u α h u α 1 = u α S α ( u α ) g S α 1 u α 1 u α 1
and
S α S α 1 ( h ) = S α ( u α ) 1 h S α ( u α ) = S α ( u α ) 1 S α ( u α ) g S α 1 u α 1 S α ( u α ) = g .
So
g = u α S α ( u α ) g S α 1 u α 1 u α 1
i.e., g u α S α ( u α ) = u α S α ( u α ) g for all g H α 1 .
φ β ( u α ) = φ β S α 1 R 1 , α 1 ( 2 ) R 1 , α 1 ( 1 ) = φ β S α 1 R 1 , α 1 ( 2 ) φ β R 1 , α 1 ( 1 ) = S β α 1 β 1 φ β R 1 , α 1 ( 2 ) φ β R 1 , α 1 ( 1 ) = S β α 1 β 1 R 1 , β α 1 β 1 ( 2 ) R 1 , β α 1 β 1 ( 1 ) = u β α β 1 .
This completes the proof. □
Corollary 8.
 (1)
S α 1 S α ( u α ) = u α ;
 (2)
S α S α 1 ( u α 1 ) = u α 1 ;
 (3)
S α ( u α ) = u α S α ( u α ) u α 1 . In particular, u α and S α ( u α ) commute;
 (4)
S α 1 ( u α 1 ) = u α S α 1 ( u α 1 ) u α 1 . In particular, u α and S α 1 ( u α 1 ) commute;
 (5)
φ β ( u α 1 ) = u β α β 1 1 .
Proof. 
Part (1) is straightforward from Proposition 4. Apropos of part (2), we calculate as follows:
S α 1 S α ( u α ) S α S α 1 ( u α 1 ) = S 1 S 1 ( u α u α 1 ) = S 1 S 1 ( 1 ) = 1 ,
and also
S α S α 1 ( u α 1 ) S α 1 S α ( u α ) = S 1 S 1 ( u α 1 u α ) = S 1 S 1 ( 1 ) = 1 .
Thus S α 1 S α ( u α ) and S α S α 1 ( u α 1 ) are inverses, from which S α S α 1 ( u α 1 ) = u α 1 .
To show part (3), we use part (1) and Proposition 4 to calculate
S α ( u α ) = S α S α 1 S α ( u α ) = u α S α ( u α ) u α 1 ,
whereby u α and S α ( u α ) commute.
To establish part (4), we use part (3) to make the following calculation:
S α 1 ( u α 1 ) = S α ( u α ) 1 = u α S α ( u α ) u α 1 1 = u α S α ( u α ) 1 u α 1 = u α S α 1 ( u α 1 ) u α 1 ,
whereby u α and S α 1 ( u α 1 ) commute.
It remains to check part (5). Observe that
φ β ( u α 1 ) φ β ( u α ) = φ β ( u α 1 u α ) = φ β ( 1 ) = 1
and also that
φ β ( u α ) φ β ( u α 1 ) = φ β ( u α u α 1 ) = φ β ( 1 ) = 1 .
Thus φ β ( u α ) and φ β ( u α 1 ) are inverses.
It follows from Proposition 4 that
φ β ( u α 1 ) = φ β ( u α ) 1 = u β α β 1 1 .
Corollary 9.
S β 1 S β ( h ) = u α h φ β 1 ( u α 1 ) = φ β ( S α ( u α ) ) 1 h S α ( u α ) .
Proof. 
We first show that u α h = S β 1 S β ( h ) φ β 1 ( u α ) , for all h H β . Since H is almost cocommutative, we have
h ( 2 ) R 1 , α 1 ( 1 ) h ( 1 ) ( 1 ) R 1 , α 1 ( 2 ) h ( 1 ) ( 2 ) = h ( 2 ) h ( 1 ) ( 2 ) φ β 1 ( R 1 , α 1 ( 1 ) ) h ( 1 ) ( 1 ) φ β 1 ( R 1 , α 1 ( 2 ) ) ,
i.e.,
h ( 2 ) R 1 , α 1 ( 2 ) h ( 1 ) ( 2 ) R 1 , α 1 ( 1 ) h ( 1 ) ( 1 ) = h ( 2 ) h ( 1 ) ( 1 ) R 1 , β 1 α 1 β ( 2 ) h ( 1 ) ( 2 ) R 1 , β 1 α 1 β ( 1 ) .
Thus
= S β 1 S β h ( 2 ) S α 1 β R 1 , α 1 ( 2 ) h ( 1 ) ( 2 ) R 1 , α 1 ( 1 ) h ( 1 ) ( 1 ) = S β 1 S β h ( 2 ) S α 1 β h ( 1 ) ( 1 ) R 1 , β 1 α 1 β ( 2 ) h ( 1 ) ( 2 ) R 1 , β 1 α 1 β ( 1 ) .
Using that S is antimultiplicative we have
S β 1 S β h ( 2 ) S β h ( 1 ) ( 2 ) S α 1 R 1 , α 1 ( 2 ) R 1 , α 1 ( 1 ) h ( 1 ) ( 1 ) = S β 1 S β h ( 2 ) S β 1 α 1 β R 1 , β 1 α 1 β ( 2 ) S β h ( 1 ) ( 1 ) h ( 1 ) ( 2 ) R 1 , β 1 α 1 β ( 1 )
i.e.,
S 1 h ( 1 ) ( 2 ) S β h ( 2 ) u α h ( 1 ) ( 1 ) = S β 1 S β ( h ) u β 1 α β .
Following the axiom (16) of coquasigroup Hopf π -algebra, we have
u α h = S β 1 S β ( h ) u β 1 α β , for all h H β .
It follows that
S β 1 S β ( h ) = u α h u β 1 α β 1 = u α h φ β 1 ( u α ) 1 = u α h φ β 1 ( u α 1 ) , for all h H β .
Applying S β to this expression and replacing h by S β 1 ( h ) yields the following calculation:
S β S β 1 ( h ) = S β 1 α β ( u β 1 α β ) 1 h S α ( u α ) = S β 1 α β ( φ β 1 ( u α ) ) 1 h S α ( u α ) = φ β 1 ( S α ( u α ) ) 1 h S α ( u α ) = φ β 1 ( S α ( u α ) ) 1 h S α ( u α ) ,
or equivalently, S β 1 S β ( h ) = φ β ( S α ( u α ) ) 1 h S α ( u α ) . □
Corollary 10.
For any α π , g φ β 1 u α S α ( u α ) = u α φ β S α ( u α ) g for all g H β . In particular, u 1 S 1 ( u 1 ) is a central element of H.
Proof. 
Let h = φ β S α ( u α ) g S α 1 u α 1 , then
S β 1 S β ( h ) = u α h φ β 1 u α 1 = u α φ β S α ( u α ) g S α 1 u α 1 φ β 1 u α 1
and
S β 1 S β ( h ) = φ β S α ( u α ) 1 h S α ( u α ) = φ β S α ( u α ) 1 φ β S α ( u α ) g S α 1 u α 1 S α ( u α ) = φ β S α ( u α ) 1 S α ( u α ) g S 1 u α u α 1 = φ β 1 g S 1 1 = g .
So
g = u α φ β S α ( u α ) g S α 1 u α 1 φ β 1 u α 1
i.e., g φ β 1 u α S α ( u α ) = u α φ β S α ( u α ) g for all g H β . □
It is well-known that the two equivalent conditions for a Hopf coquasigroup to be almost cocommutative have been obtained in [17]. Next in a similar way we will prove one equivalent condition for a Hopf non-coassociative π -algebra to be almost cocommutative.
Set H ¯ α = H α 1 , m ¯ α , β = m α 1 , β 1 o p = m β 1 , α 1 σ H α 1 , H β 1 , Δ ¯ α = Δ α 1 c o p , ε ¯ α = ε α 1 and S ¯ α = S α 1 . Recall from the statement (3) in Example 2 that
H ¯ = { H ¯ α } α π , m ¯ = { m ¯ α , β } α , β π , 1 , Δ ¯ = { Δ ¯ α } α π , ε ¯ α , S ¯ = { S ¯ α } α π
is again a Hopf non-coassociative π -algebra where we write m ¯ α , β ( a b ) = a · b = b a .
We can now define π -module actions of H ¯ = { H ¯ α } α π = { H α 1 } α π on H by
( h p ) ( g ) = p ( g · h ) and ( q h ) ( g ) = q ( h · g )
for all g H ¯ α 1 = H α , h H ¯ β 1 = H β and p H β α , q H α β .
Fix γ π , and define π -module actions of H on { Hom k H α , H α γ } α π by
( h γ f ) ( p ) = f h ( 1 ) p · h ( 2 ) and ( f γ h ) ( q ) = φ γ 1 h ( 1 ) · φ γ f q h ( 2 )
for all h H β , p H β α , q H α β and f Hom k H α , H α γ .
It is easy to check that
h ( p g ) = ( h p ) g
whereby
h γ ( f γ g ) = ( h γ f ) γ g
for all p H α and f Hom k H α , H α γ .
Therefore, we can define
h γ f = h ( 1 ) γ f γ S β h ( 2 ) Hom k H β α β 1 , H β α β 1 γ
for all h H β and f Hom k H α , H α γ . It is obvious that
g γ ( h γ f ) = ( g h ) γ f a n d 1 γ f = f .
Next we will prove that there is a close relationship between the π -module actions γ and γ of H on { Hom k H α , H α γ } α π .
Lemma 14.
We have h γ f = h ( 1 ) γ f γ h ( 2 ) , for all h H β and f Hom k H α , H α γ .
Proof. 
Let h H β and f Hom k H α , H α γ , then
h ( 1 ) γ f γ h ( 2 ) = h ( 1 ) ( 1 ) γ f γ S β h ( 1 ) ( 2 ) γ h ( 2 ) = h ( 1 ) ( 1 ) γ f γ S β h ( 1 ) ( 2 ) h ( 2 ) = h γ f γ 1 = h γ f .
The third equality follows from the axioms of a coquasigroup Hopf π -algebra. □
Now, we give an equivalent condition for a Hopf non-coassociative π -algebra to be almost cocommutative, provided the family R is invariant under the crossing.
Proposition 5.
Let H be a Hopf non-coassociative π-algebra and R = { R α , β = R α , β ( 1 ) R α , β ( 2 ) H α H β } α , β π . Define f Hom k H α , H α γ by f ( p ) = p R γ α , α ( 2 ) φ γ 1 R γ α , α ( 1 ) , p H α . Give { Hom k H α , H β } α π the π-module structures over H described above. Then the following are equivalent:
 (1)
for all α , β , γ π and h H γ , we have
h ( 2 ) φ γ 1 R α , β ( 1 ) h ( 1 ) φ γ 1 R α , β ( 2 ) = R α , β ( 1 ) h ( 1 ) R α , β ( 2 ) h ( 2 ) ;
 (2)
for all h H β and f Hom k H α , H α γ , we have
( f γ h ) = φ γ 1 ( h γ f ˜ ) ,
where γ is formally similar to the π-module action γ and f ˜ is an associated function defined by f ˜ p = p φ β 1 R γ α , α ( 2 ) φ β 1 R γ α , α ( 1 ) , for any p H β 1 α β .
Proof. 
( 1 ) ( 2 ) For all h H β , p H α β and f Hom k H α , H α γ ,
( f γ h ) ( p ) = φ γ 1 h ( 1 ) · φ γ f p h ( 2 ) = φ γ 1 h ( 1 ) · φ γ p h ( 2 ) R γ α , α ( 2 ) φ γ 1 R γ α , α ( 1 ) = φ γ 1 h ( 1 ) · φ γ p h ( 2 ) · R γ α , α ( 2 ) φ γ 1 R γ α , α ( 1 ) = p h ( 2 ) · R γ α , α ( 2 ) φ γ 1 h ( 1 ) · φ γ φ γ 1 R γ α , α ( 1 ) = p h ( 2 ) · R γ α , α ( 2 ) φ γ 1 h ( 1 ) · R γ α , α ( 1 ) = p R γ α , α ( 2 ) h ( 2 ) φ γ 1 R γ α , α ( 1 ) h ( 1 ) .
Since h ( 2 ) φ β 1 R γ α , α ( 1 ) h ( 1 ) φ β 1 R γ α , α ( 2 ) = R γ α , α ( 1 ) h ( 1 ) R γ α , α ( 2 ) h ( 2 ) , thus
p R γ α , α ( 2 ) h ( 2 ) φ γ 1 R γ α , α ( 1 ) h ( 1 ) = p h ( 1 ) φ β 1 R γ α , α ( 2 ) φ γ 1 h ( 2 ) φ β 1 R γ α , α ( 1 ) .
It follows that
( f γ h ) ( p ) = p h ( 1 ) φ β 1 R γ α , α ( 2 ) φ γ 1 h ( 2 ) φ β 1 R γ α , α ( 1 ) = p φ β 1 R γ α , α ( 2 ) · h ( 1 ) φ γ 1 φ β 1 R γ α , α ( 1 ) · h ( 2 ) = φ γ 1 p φ β 1 R γ α , α ( 2 ) · h ( 1 ) φ β 1 R γ α , α ( 1 ) · h ( 2 ) = φ γ 1 h ( 1 ) p φ β 1 R γ α , α ( 2 ) φ β 1 R γ α , α ( 1 ) · h ( 2 ) = φ γ 1 f ˜ h ( 1 ) p · h ( 2 ) = φ γ 1 ( h γ f ˜ ) ( p ) ,
for all h H β , p H α β and f ˜ Hom k H β 1 α β , H β 1 γ α β .
( 2 ) ( 1 ) For all h H β , p H α β and f Hom k H α , H α γ , we have
( f γ h ) ( p ) = φ γ 1 ( h γ f ˜ ) ( p ) .
Thus
p R γ α , α ( 2 ) h ( 2 ) φ γ 1 R γ α , α ( 1 ) h ( 1 ) = p h ( 1 ) φ β 1 R γ α , α ( 2 ) φ γ 1 h ( 2 ) φ β 1 R γ α , α ( 1 ) ,
i.e.,
( p φ γ 1 ) R γ α , α ( 2 ) h ( 2 ) R γ α , α ( 1 ) h ( 1 ) = ( p φ γ 1 ) h ( 1 ) φ β 1 R γ α , α ( 2 ) h ( 2 ) φ β 1 R γ α , α ( 1 ) .
Then we have
R γ α , α ( 2 ) h ( 2 ) R γ α , α ( 1 ) h ( 1 ) = h ( 1 ) φ β 1 R γ α , α ( 2 ) h ( 2 ) φ β 1 R γ α , α ( 1 )
This completes the proof. □
The following corollary is a direct conclusion.
Corollary 11.
Let H be an almost cocommutative Hopf non-coassociative π-algebra with an invertible antipode S. Then h 1 f = ε 1 ( h ) f , for all h H 1 .

7. Quasitriangular Hopf Non-Coassociative π -Algebras

In the current section, we will introduce and discuss the definition of a quasitriangular Hopf non-coassociative π -algebra and study its main properties. We construct a new Turaev’s braided monoidal category R e p π ( H ) over a quasitriangular Hopf non-coassociative π -algebra H.
Definition 8.
A quasitriangular Hopf non-coassociative π-algebra is a crossed Hopf non-coassociative π-algebra ( H , φ ) with a family R = { R α , β H α H β } α , β π of elements (the R-matrix) satisfying Equations (28) and (29) such that, for any α , β , γ π ,
( i d H α β Δ γ ) ( R α β , γ ) = ( R α , γ ) 13 · ( R β , γ ) 12 ,
( Δ α i d H β γ ) ( R α , β γ ) = ( R α , β ) 13 · ( R α , γ ) 23 ,
( ε α id H 1 ) R α , 1 = 1 ,
( id H 1 ε α ) R 1 , α = 1
where, for k -spaces P, Q and r = Σ j p j q j P Q , we set r 12 = r 1 P Q H 1 ,   r 23 = 1 r H 1 P Q and r 13 = Σ j p j 1 q j P H 1 Q .
Note that R 1 , 1 is a (classical) R-matrix for the Hopf coquasigroup H 1 .
We find that a quasitriangular Hopf non-coassociative π -algebra also constructs a solution to the generalized quantum Yang–Baxter equation and a much stronger property of its antipode holds which are similar as a quasitriangular Hopf coquasigroup in [23].
Example 3.
Let H be a quasitriangular Hopf non-coassociative π-algebra with R-matrix R = { R α , β } α , β π .
 (1)
We can consider the coopposite crossed Hopf non-coassociative π-algebra H o p to H. It is quasitriangular by setting R α , β o p = ( S α i d H β 1 ) ( R α , β 1 ) .
 (2)
Consider again the coopposite crossed Hopf non-coassociative π-algebra H o p to H. It is quasitriangular by setting R α , β o p = σ β 1 , α 1 ( R β 1 , α 1 ) .
Lemma 15.
If ( H , R ) is quasitriangular, then the following additional properties hold:
 (1)
1 ( ε α id H β ) R α , β · R α , γ = R α , β γ ;
 (2)
R α , β · 1 ( ε α id H γ ) R α , γ = R α , β γ ;
 (3)
( id H α ε γ ) R α , γ 1 · R β , γ = R α β , γ ;
 (4)
R α , γ · ( id H β ε γ ) R β , γ 1 = R α β , γ .
Proof. 
We only need to show part (1) since the proof of other parts is similar. Applying ε α id H α id H β γ to both sides of Equation (37), we obtain R α , β γ = ( ε α id H α id H β γ ) ( Δ α id H β γ ) ( R α , β γ ) = ( ε α id H α id H β γ ) ( R α , β ) 13 · ( R α , γ ) 23 whence 1 ( ε α id H β ) R α , β · R α , γ = R α , β γ . □
Lemma 16.
Let ( H , R ) be a quasitriangular Hopf non-coassociative π-algebra, and write R α , β = R α , β ( 1 ) R α , β ( 2 ) . Then, for any α π , R α , 1 is invertible. More precisely, we have R α , 1 1 = ( S α id H 1 ) R α , 1 .
Proof. 
Using Equation (38) and applying ( m α 1 , α id H 1 ) ( S α id H α id H 1 ) and ( m α , α 1 id H 1 ) ( id H α S α id H 1 ) to both sides of Equation (37), we obtain
1 1 = 1 ε α R α , 1 ( 1 ) R α , 1 ( 2 ) = S α R α , 1 ( 1 ) R ^ α , 1 ( 1 ) R α , 1 ( 2 ) R ^ α , 1 ( 2 )
and
1 1 = 1 ε α R α , 1 ( 1 ) R α , 1 ( 2 ) = R α , 1 ( 1 ) S α R ^ α , 1 ( 1 ) R α , 1 ( 2 ) R ^ α , 1 ( 2 )
where R ^ α , 1 = R α , 1 . Thus R α , 1 and ( S α id H 1 ) R α , 1 are inverses. □
Theorem 10.
Let ( H , R ) be a quasitriangular Hopf non-coassociative π-algebra, and write R α , β = R α , β ( 1 ) R α , β ( 2 ) . Then R is invertible and R α , β 1 1 = ( S α id H β ) R α , β .
Proof. 
Applying ( m α 1 , α id H β ) ( S α id H α id H β ) to both sides of Equation (37) yields:
1 ε α ( R α , β ( 1 ) ) R α , β ( 2 ) = S α R α , β ( 1 ) R α , 1 ( 1 ) R α , β ( 2 ) R α , 1 ( 2 ) ,
or equivalently,
1 ( ε α id H β ) R α , β = ( S α id H β ) R α , β · R α , 1 .
Multiplying both sides on the left by R α , β 1 , by using Lemma 15, we obtain
R α , 1 = R α , β 1 · ( S α id H β ) R α , β · R α , 1 .
Hence, R α , β 1 · ( S α id H β ) R α , β = 1 follows by the invertiblity of R α , 1 .
Applying ( m α , α 1 id H β ) ( id H α S α id H β ) to both sides of Equation (37) yields:
1 ε α ( R α , β ( 1 ) ) R α , β ( 2 ) = R α , 1 ( 1 ) S α R α , β ( 1 ) R α , 1 ( 2 ) R α , β ( 2 ) ,
or equivalently,
1 ( ε α id H β ) R α , β = R α , 1 · ( S α id H β ) R α , β .
Multiplying both sides on the right by R α , β 1 , by using Lemma 15, we obtain
R α , 1 = R α , 1 · ( S α id H β ) R α , β · R α , β 1 .
Hence, ( S α id H β ) R α , β · R α , β 1 = 1 follows by the invertiblity of R α , 1 .
Therefore R α , β 1 is invertible and R α , β 1 1 = ( S α id H β ) R α , β . □
Theorem 11.
If ( H , R ) is quasitriangular, then the following additional properties hold:
 (1)
( S β S γ ) R β , γ = R β 1 , γ 1 ;
 (2)
R 1 , α = id H 1 S α 1 R 1 , α 1 ;
 (3)
R α 1 , β = id H α 1 S β 1 R α , β 1 ;
 (4)
R satisfies the generalized quantum Yang–Baxter equation:
( R δ , λ ) 12 ( R α , β ) 13 ( R α , γ ) 23 = ( R α , β ) 23 ( R α , γ ) 13 ( φ α 1 φ α 1 ) R δ , λ 12 .
Proof. 
We first establish part (1). Using Lemma 15 and Theorem 10, we apply ( S α β id H 1 ) ( id H α β m γ 1 , γ ) ( id H α β S γ id H γ ) to both sides of Equation (36) to obtain
( S α β S 1 ) R α , γ · R β 1 , γ 1 = ( S α β S 1 ) R α β , γ ( 1 ) ε γ R α β , γ ( 2 ) 1 = S α β R α β , γ ( 1 ) ε γ R α β , γ ( 2 ) 1 = S α β R α β , γ ( 1 ) S γ R α β , γ ( 1 ) ( 2 ) R α β , γ ( 2 ) ( 2 ) = S β R β , γ ( 1 ) S α R α , γ ( 1 ) S γ R β , γ ( 2 ) R α , γ ( 2 ) = ( S β S γ ) R β , γ · S α id H γ R α , γ = ( S β S γ ) R β , γ · R α , γ 1 1 ,
i.e., ( S β S γ ) R β , γ = ( S α β S 1 ) R α , γ · R β 1 , γ 1 · R α , γ 1 . Thus part (1) follows by setting α = β 1 .
Parts (2) and (3) follow directly from part (1) and Theorem 10.
To show part (4), we use Equation (37) to calculate
( R δ , λ ) 12 ( R α , β ) 13 ( R α , γ ) 23 = ( R δ , λ ) 12 ( Δ α i d H β γ ) ( R α , β γ ) = R δ , λ Δ α ( R α , β γ ( 1 ) ) R α , β γ ( 2 ) = Δ α c o p ( R α , β γ ( 1 ) ) ( φ α 1 φ α 1 ) R δ , λ R α , β γ ( 2 ) = ( R α , β ) 23 ( R α , γ ) 13 ( φ α 1 φ α 1 ) R δ , λ 12 .
Thus R satisfies the generalized quantum Yang–Baxter equation. □
Proposition 6.
Let ( H , R ) be a quasitriangular Hopf non-coassociative π-algebra. For any α π , set u α = S α 1 R 1 , α 1 ( 2 ) R 1 , α 1 ( 1 ) . Then u α is invertible, u α 1 = R 1 , α 1 ( 2 ) S 1 S 1 R 1 , α 1 ( 1 ) , S β 1 S β ( h ) = u α h u β 1 α β 1 = u α h φ β 1 ( u α ) 1 = u α h φ β 1 ( u α 1 ) , φ β ( u α ) = u β α β 1 and φ β ( u α 1 ) = u β α β 1 1 , for all h H β .
Proof. 
The calculations in the proof of Corollary 9 and Proposition 4 showed that u α h = S β 1 S β ( h ) u β 1 α β holds and S α U 1 , α ( 2 ) S 1 S 1 U 1 , α ( 1 ) u α = 1 where R 1 , α 1 1 = U 1 , α ( 1 ) U 1 , α ( 2 ) as well as φ β ( u α ) = u β α β 1 . Let v α 1 = S α U 1 , α ( 2 ) S 1 S 1 U 1 , α ( 1 ) . Then v α 1 u α = 1 and v α 1 = S α U 1 , α ( 2 ) S 1 S 1 U 1 , α ( 1 ) = S α R 1 , α ( 2 ) S 1 S 1 S 1 R 1 , α ( 1 ) = R 1 , α 1 ( 2 ) S 1 S 1 R 1 , α 1 ( 1 ) by Theorems 10 and 11. Let h α = S 1 U 1 , α ( 1 ) U 1 , α ( 2 ) . Then v α 1 = S α ( h α ) . Now v α 1 = S α S α 1 ( v α 1 ) by Theorem 11. Therefore, v α 1 = S α S α 1 S α ( h α ) . Since
S α S α 1 S α ( h α ) u α S α ( u α ) = u α S α ( h α ) S α ( u α ) = u α S α 2 ( u α h α ) = u α S α 2 ( S α 1 S α ( h α ) u α ) = u α S α ( u α ) S α S α 1 S α ( h α ) ,
it follows that v α 1 and u α S ( u α ) commute. Consequently
u α S α ( u α ) v α 1 S α 1 ( v α 1 ) = u α S α ( u α ) v α 1 S α 1 ( v α 1 ) = v α 1 u α S α ( u α ) S α 1 ( v α 1 ) = v α 1 u α S α ( u α ) S α 1 ( v α 1 ) = v α 1 u α S 1 ( v α 1 u α ) = 1 S 1 ( 1 ) = 1 .
We have shown that u α has a left inverse v α 1 and also has a right inverse. Therefore u α is invertible. As u α h = S β 1 S β ( h ) u β 1 α β and φ β ( u α ) = u β α β 1 hold, our proof is complete. □
Definition 9.
Let ( H , R ) be a quasitriangular Hopf non-coassociative π-algebra over k . The Drinfel’d element of ( H , R ) is the element u = { u α } α π of Proposition 6. The quantum Casimir element of H is the family { u α S α ( u α ) } α π of products.
Theorem 12.
Let ( H , R ) be a quasitriangular Hopf non-coassociative π-algebra with the antipode S. Then S is bijective; thus H is almost cocommutative.
Proof. 
We set T α ( h ) = u α 1 S α 1 ( h ) u α . Using Proposition 6 we have
T α ( h ( 1 ) ) · h ( 2 ) ( 1 ) h ( 2 ) ( 2 ) = h ( 2 ) ( 1 ) T α ( h ( 1 ) ) h ( 2 ) ( 2 ) = h ( 2 ) ( 1 ) u α 1 S α 1 ( h ( 1 ) ) u α h ( 2 ) ( 2 ) = u α 1 S α S α 1 ( h ( 2 ) ( 1 ) ) S α 1 ( h ( 1 ) ) u α h ( 2 ) ( 2 ) = u α 1 S 1 h ( 1 ) S α 1 ( h ( 2 ) ( 1 ) ) u α h ( 2 ) ( 2 ) = u α 1 S 1 1 u α h = u α 1 1 u α h = 1 h ,
and similarly for h ( 1 ) · T α ( h ( 2 ) ( 1 ) ) h ( 2 ) ( 2 ) = 1 h , h ( 1 ) ( 1 ) T α ( h ( 1 ) ( 2 ) ) · h ( 2 ) = h 1 , and h ( 1 ) ( 1 ) h ( 1 ) ( 2 ) · T α ( h ( 2 ) ) = h 1 .
This means that T = { T α } α π is an antipode on H o p and hence the inverse of the antipode S on H according to Proposition 2. □
The following reconciles the original definition of quasitriangular Hopf non-coassociative π -algebra with the one given here.
Proposition 7.
Let H be a crossed Hopf non-coassociative π-algebra over k and R = { R α , β } α , β π . Then the following are equivalent:
 (a)
( H , R ) is quasitriangular.
 (b)
H is almost cocommutative, where R is invertible and satisfies Equations (36) and (37).
Proof. 
Part (a) implies part (b) by definition and Theorem 12. Suppose that the hypothesis of part (b) holds. We only need to show that Equations (38) and (39) hold. Applying ε α id H α id H 1 to both sides of Equation (37), we obtain R α , 1 = ( ε α id H α id H 1 ) ( Δ α id H 1 ) ( R α , 1 ) = ( ε α id H α id H 1 ) ( R α , 1 ) 13 · ( R α , 1 ) 23 whence ( ε α id H 1 ) R α , 1 = 1 since R α , 1 is invertible. Similarly for ( id H 1 ε α ) R 1 , α = 1 . □
What the entire preceding discussion illustrates is the following equivalent characterization for a quasitriangular Hopf non-coassociative π -algebra:
Definition 10.
A quasitriangular Hopf non-coassociative π-algebra is a crossed Hopf non-coassociative π-algebra ( H , φ ) with a family R = { R α , β H α H β } α , β π of invertible elements (the R-matrix) satisfying Equations (28), (29), (36) and (37).
Corollary 12.
Let ( H , R ) be a quasitriangular Hopf non-coassociative π-algebra with a bijective antipode S, then
 (1)
u α 1 = S α 1 1 S α 1 R 1 , α 1 ( 2 ) R 1 , α 1 ( 1 ) ;
 (2)
( S α 1 S α ) 2 ( h ) = g α h g α 1 for all h H α , where u α = S α 1 R 1 , α 1 ( 2 ) R 1 , α 1 ( 1 ) and g α = u α S α ( u α ) 1 ;
 (3)
( S α S α 1 ) 2 ( h ) = g α h g α 1 for all h H α 1 , where u α = S α 1 R 1 , α 1 ( 2 ) R 1 , α 1 ( 1 ) and g α = u α S α ( u α ) 1 ;
 (4)
S 1 4 ( h ) = g α h g α 1 for all h H 1 , where u α = S α 1 R 1 , α 1 ( 2 ) R 1 , α 1 ( 1 ) and g α = u α S α ( u α ) 1 ;
 (5)
ε α 2 ( g α ) = 1 and φ β ( g α ) = g β α β 1 .
Proof. 
Apropos of part (1). Write R 1 , α 1 1 = U 1 , α ( 1 ) U 1 , α ( 2 ) . Consider the calculation:
u α S α 1 1 U 1 , α ( 2 ) U 1 , α ( 1 ) = S α S α 1 S α 1 1 U 1 , α ( 2 ) u α U 1 , α ( 1 ) = S α S α 1 S α 1 1 U 1 , α ( 2 ) S α 1 R 1 , α 1 ( 2 ) R 1 , α 1 ( 1 ) U 1 , α ( 1 ) = S α U 1 , α ( 2 ) S α 1 R 1 , α 1 ( 2 ) R 1 , α 1 ( 1 ) U 1 , α ( 1 ) = S 1 R 1 , α 1 ( 2 ) U 1 , α ( 2 ) R 1 , α 1 ( 1 ) U 1 , α ( 1 ) = 1 ,
from which we obtain u α 1 = S α 1 1 U 1 , α ( 2 ) U 1 , α ( 1 ) . We use Theorem 11 to obtain R 1 , α 1 = id H 1 S α R 1 , α 1 1 = U 1 , α ( 1 ) S α U 1 , α ( 2 ) , or equivalently id H 1 S α 1 R 1 , α 1 = U 1 , α ( 1 ) U 1 , α ( 2 ) by the bijectivity of S, thus leading to the formula:
u α 1 = S α 1 1 S α 1 R 1 , α 1 ( 2 ) R 1 , α 1 ( 1 ) .
To establish part (2), observe from Proposition 4 that u α H α is invertible and S α 1 S α ( h ) = u α h u α 1 = S α ( u α ) 1 h S α ( u α ) for all h H α , then
S α 1 S α S α 1 S α ( h ) = S α 1 S α u α h u α 1 = S α 1 S α u α S α 1 S α h S α S α 1 u α 1 = u α S α ( u α ) 1 h S α ( u α ) u α 1 ,
or equivalently S α 1 S α S α 1 S α ( h ) = g α h g α 1 for all h H α . Similarly for parts (3) and (4). Part (5) follows from the calculations below:
ε α 2 ( g α ) = ε α 2 ( u α S α ( u α ) 1 ) = ε α 2 u α S α 1 ( u α 1 ) = ε α ( u α ) ε α S α 1 ( u α 1 ) = ε α ( u α ) ε α 1 ( u α 1 ) = ε 1 ( u α u α 1 ) = ε 1 ( 1 ) = 1 k
and
φ β ( g α ) = φ β ( u α S α ( u α ) 1 ) = φ β ( u α ) φ β ( S α ( u α ) 1 ) = φ β ( u α ) φ β S α 1 ( u α 1 ) = φ β ( u α ) S β α 1 β 1 φ β ( u α 1 ) = u β α β 1 S β α 1 β 1 u β α β 1 1 = u β α β 1 S β α β 1 u β α β 1 1 = g β α β 1 .
Corollary 13.
S β 1 S β S β 1 S β ( h ) = u α φ β ( S α ( u α ) ) 1 h φ β 1 ( u α ) S α ( u α ) 1 1 for all β π and h H β , where u α = S α 1 R 1 , α 1 ( 2 ) R 1 , α 1 ( 1 ) .
Proof. 
Observe from Propositon 4 and Corollary 9 that u α H α is invertible and S β 1 S β ( h ) = u α h φ β 1 ( u α 1 ) = φ β ( S α ( u α ) ) 1 h S α ( u α ) for all h H β , then
S β 1 S β S β 1 S β ( h ) = S β 1 S β u α h φ β 1 ( u α 1 ) = S α 1 S α u α S β 1 S β h S β 1 α β S β 1 α 1 β φ β 1 ( u α 1 ) = S α 1 S α u α S β 1 S β h S β 1 α β S β 1 α 1 β u β 1 α β 1 = u α φ β ( S α ( u α ) ) 1 h S α ( u α ) u β 1 α β 1 = u α φ β ( S α ( u α ) ) 1 h u β 1 α β S α ( u α ) 1 1 = u α φ β ( S α ( u α ) ) 1 h φ β 1 ( u α ) S α ( u α ) 1 1 ,
or equivalently S β 1 S β S β 1 S β ( h ) = u α φ β ( S α ( u α ) ) 1 h φ β 1 ( u α ) S α ( u α ) 1 1 for all h H β . □
Proposition 8.
Let ( H , R ) be a quasitriangular Hopf non-coassociative π-algebra with antipode S over k and let u = { u α } α π be the Drinfel’d element of ( H , R ) . If the second tensor factor of R 1 , 1 is coassociative, then the following hold:
 (a)
Δ α ( u α ) = σ H 1 , H 1 R 1 , 1 R 1 , α 1 1 ( u α u 1 ) = ( u α u 1 ) σ H 1 , H 1 R 1 , 1 R 1 , α 1 1 and ε α ( u α ) = 1 k .
 (b)
Δ α 1 S α ( u α ) = ( σ H 1 , H α ( R 1 , α ) R 1 , 1 ) 1 ( S 1 ( u 1 ) S α ( u α ) ) .
 (c)
Δ α S α 1 ( u α 1 ) = σ H 1 , H α ( R 1 , α ) R 1 , 1 ( S 1 ( u 1 1 ) S α 1 ( u α 1 ) ) .
 (d)
g 1 = u 1 S 1 ( u 1 ) 1 is a group-like element of H 1 .
Proof. 
To show part (a), we write R α , β = R α , β ( 1 ) R α , β ( 2 ) . Therefore u α = S α 1 R 1 , α 1 ( 2 ) R 1 , α 1 ( 1 ) .
Applying Δ 1 id H α 1 id H α 1 and id H 1 id H 1 Δ α 1 to both sides of Equation (36), respectively, we obtain
R 1 , α 1 ( 1 ) ( 1 ) R 1 , α 1 ( 1 ) ( 2 ) R 1 , α 1 ( 2 ) ( 1 ) R 1 , α 1 ( 2 ) ( 2 ) = R 1 , α 1 ( 1 ) ( 1 ) R ^ 1 , α 1 ( 1 ) ( 1 ) R 1 , α 1 ( 1 ) ( 2 ) R ^ 1 , α 1 ( 1 ) ( 2 ) R ^ 1 , α 1 ( 2 ) R 1 , α 1 ( 2 ) = R 1 , α 1 ( 1 ) R ^ 1 , α 1 ( 1 ) R 1 , 1 ( 1 ) R ^ 1 , 1 ( 1 ) R ^ 1 , α 1 ( 2 ) R ^ 1 , 1 ( 2 ) R 1 , α 1 ( 2 ) R 1 , 1 ( 2 ) .
Using Proposition 6 and part (1) of Theoerm 11, we calculate
Δ α ( u α ) = Δ α ( S α 1 R 1 , α 1 ( 2 ) R 1 , α 1 ( 1 ) ) = Δ α ( S α 1 R 1 , α 1 ( 2 ) ) Δ 1 ( R 1 , α 1 ( 1 ) ) = ( S α 1 R 1 , α 1 ( 2 ) ( 1 ) S α 1 R 1 , α 1 ( 2 ) ( 2 ) ) ( R 1 , α 1 ( 1 ) ( 1 ) R 1 , α 1 ( 1 ) ( 2 ) ) = ( S α 1 R 1 , α 1 ( 2 ) ( 2 ) S α 1 R 1 , α 1 ( 2 ) ( 1 ) ) ( R 1 , α 1 ( 1 ) ( 1 ) R 1 , α 1 ( 1 ) ( 2 ) ) = S α 1 R 1 , α 1 ( 2 ) ( 2 ) R 1 , α 1 ( 1 ) ( 1 ) S α 1 R 1 , α 1 ( 2 ) ( 1 ) R 1 , α 1 ( 1 ) ( 2 ) = S α 1 R 1 , α 1 ( 2 ) R 1 , 1 ( 2 ) R 1 , α 1 ( 1 ) R ^ 1 , α 1 ( 1 ) S α 1 R ^ 1 , α 1 ( 2 ) R ^ 1 , 1 ( 2 ) R 1 , 1 ( 1 ) R ^ 1 , 1 ( 1 ) = S 1 R 1 , 1 ( 2 ) S α 1 R 1 , α 1 ( 2 ) R 1 , α 1 ( 1 ) R ^ 1 , α 1 ( 1 ) S 1 R ^ 1 , 1 ( 2 ) S α 1 R ^ 1 , α 1 ( 2 ) R 1 , 1 ( 1 ) R ^ 1 , 1 ( 1 ) = S 1 R 1 , 1 ( 2 ) u α R ^ 1 , α 1 ( 1 ) S 1 R ^ 1 , 1 ( 2 ) S α 1 R ^ 1 , α 1 ( 2 ) R 1 , 1 ( 1 ) R ^ 1 , 1 ( 1 ) = S 1 R 1 , 1 ( 2 ) S 1 S 1 R ^ 1 , α 1 ( 1 ) u α S 1 R ^ 1 , 1 ( 2 ) S α 1 R ^ 1 , α 1 ( 2 ) R 1 , 1 ( 1 ) R ^ 1 , 1 ( 1 ) = S 1 R 1 , 1 ( 2 ) S 1 R ^ 1 , α ( 1 ) u α S 1 R ^ 1 , 1 ( 2 ) R ^ 1 , α ( 2 ) R 1 , 1 ( 1 ) R ^ 1 , 1 ( 1 )
and thus
Δ α ( u α ) = S 1 R ^ 1 , α ( 1 ) R 1 , 1 ( 2 ) u α S 1 R ^ 1 , 1 ( 2 ) R ^ 1 , α ( 2 ) R 1 , 1 ( 1 ) R ^ 1 , 1 ( 1 ) .
Since H is quasitriangular, S is bijective by Theorem 12. Write R α , β = R α , β ( 1 ) R α , β ( 2 ) . By Equations (28) and (29), we have
h ( 2 ) Δ γ c o p ( h ( 1 ) ) ( φ γ 1 φ γ 1 ) ( R α , β ) = h ( 2 ) R α , β Δ γ ( h ( 1 ) ) S γ 1 1 ( h ( 2 ) ) Δ γ c o p ( h ( 1 ) ) R γ 1 α γ , γ 1 β γ = S γ 1 1 ( h ( 2 ) ) R α , β Δ γ ( h ( 1 ) ) S γ 1 1 ( h ( 2 ) ) h ( 1 ) ( 2 ) R γ 1 α γ , γ 1 β γ ( 1 ) h ( 1 ) ( 1 ) R γ 1 α γ , γ 1 β γ ( 2 ) = S γ 1 1 ( h ( 2 ) ) R α , β ( 1 ) h ( 1 ) ( 1 ) R α , β ( 2 ) h ( 1 ) ( 2 ) R γ 1 α γ , γ 1 β γ ( 1 ) h R γ 1 α γ , γ 1 β γ ( 2 ) = S γ 1 1 ( h ( 2 ) ) R α , β ( 1 ) h ( 1 ) ( 1 ) R α , β ( 2 ) h ( 1 ) ( 2 ) R γ 1 α γ , γ 1 β γ ( 1 ) R γ 1 ξ γ , γ 1 ζ γ ( 2 ) h R γ 1 α γ , γ 1 β γ ( 2 ) R γ 1 ξ γ , γ 1 ζ γ ( 1 ) = S γ 1 1 ( h ( 2 ) ) R α , β ( 1 ) h ( 1 ) ( 1 ) R γ 1 ξ γ , γ 1 ζ γ ( 2 ) R α , β ( 2 ) h ( 1 ) ( 2 ) R γ 1 ξ γ , γ 1 ζ γ ( 1 ) ,
from which we derive the commutation relation:
R γ 1 α γ , γ 1 β γ ( 1 ) R γ 1 ξ γ , γ 1 ζ γ ( 2 ) h R γ 1 α γ , γ 1 β γ ( 2 ) R γ 1 ξ γ , γ 1 ζ γ ( 1 ) = S γ 1 1 ( h ( 2 ) ) R α , β ( 1 ) R ξ , ζ ( 2 ) h ( 1 ) ( 2 ) R α , β ( 2 ) R ξ , ζ ( 1 ) h ( 1 ) ( 1 ) .
Applying id H α β Δ γ id H γ to both sides of the equation of Equation (36) we obtain
R α β , γ ( 1 ) R α β , γ ( 2 ) ( 1 ) ( 1 ) R α β , γ ( 2 ) ( 1 ) ( 2 ) R α β , γ ( 2 ) ( 2 ) = R α β , γ ( 1 ) Δ γ R α β , γ ( 2 ) ( 1 ) R α β , γ ( 2 ) ( 2 ) = R α , γ ( 1 ) R β , γ ( 1 ) Δ γ R β , γ ( 2 ) R α , γ ( 2 ) = R α , γ ( 1 ) R β , γ ( 1 ) R β , γ ( 2 ) ( 1 ) R β , γ ( 2 ) ( 2 ) R α , γ ( 2 ) = R α , γ ( 1 ) R β , γ ( 1 ) R 1 , γ ( 1 ) R 1 , γ ( 2 ) R β , γ ( 2 ) R α , γ ( 2 ) = R α , γ ( 1 ) R 1 , γ ( 1 ) R β , γ ( 1 ) R β , γ ( 2 ) R 1 , γ ( 2 ) R α , γ ( 2 ) ,
hence
R α β , γ ( 1 ) S γ R α β , γ ( 2 ) ( 1 ) S γ R α β , γ ( 2 ) ( 2 ) ( 1 ) S γ R α β , γ ( 2 ) ( 2 ) ( 2 ) = R α β , γ ( 1 ) S γ R α β , γ ( 2 ) ( 2 ) S γ R α β , γ ( 2 ) ( 1 ) ( 1 ) S γ R α β , γ ( 2 ) ( 1 ) ( 2 ) = R α β , γ ( 1 ) S γ R α β , γ ( 2 ) ( 2 ) S γ R α β , γ ( 2 ) ( 1 ) ( 2 ) S γ R α β , γ ( 2 ) ( 1 ) ( 1 ) = R α , γ ( 1 ) R 1 , γ ( 1 ) R β , γ ( 1 ) S γ R α , γ ( 2 ) S γ R 1 , γ ( 2 ) S γ R β , γ ( 2 ) .
Applying id H 1 S 1 to both sides of R α , β ( 1 ) S α R α , β 1 ( 1 ) R α , β ( 2 ) R α , β 1 ( 2 ) = 1 1 , which follows from Theorem 10, and using part (1) of Theorem 11, we obtain
R α , β ( 1 ) S α R α , β 1 ( 1 ) S 1 R α , β ( 2 ) R α , β 1 ( 2 ) = 1 S 1 ( 1 ) R α , β ( 1 ) S α R α , β 1 ( 1 ) S β 1 R α , β 1 ( 2 ) S β R α , β ( 2 ) = 1 1 R α , β ( 1 ) R α 1 , β ( 1 ) R α 1 , β ( 2 ) S β R α , β ( 2 ) = 1 1 .
Using Equations (40)–(42) as well as part (1) of Theorem 11 again, we continue our calculation of
Δ α ( u α ) = S 1 R 1 , α ( 1 ) R 1 , 1 ( 2 ) u α S 1 R ^ 1 , 1 ( 2 ) R 1 , α ( 2 ) R 1 , 1 ( 1 ) R ^ 1 , 1 ( 1 ) = S 1 S 1 1 ( S 1 R ^ 1 , 1 ( 2 ) ( 2 ) ) R 1 , α ( 1 ) R 1 , 1 ( 2 ) S 1 R ^ 1 , 1 ( 2 ) ( 1 ) ( 2 ) u α R 1 , α ( 2 ) R 1 , 1 ( 1 ) S 1 R ^ 1 , 1 ( 2 ) ( 1 ) ( 1 ) R ^ 1 , 1 ( 1 ) = S 1 S 1 1 ( S 1 R ^ 1 , 1 ( 2 ) ( 1 ) ) R 1 , α ( 1 ) R 1 , 1 ( 2 ) S 1 R ^ 1 , 1 ( 2 ) ( 2 ) ( 2 ) u α R 1 , α ( 2 ) R 1 , 1 ( 1 ) S 1 R ^ 1 , 1 ( 2 ) ( 2 ) ( 1 ) R ^ 1 , 1 ( 1 ) = S 1 S 1 1 ( S 1 R ^ 1 , 1 ( 2 ) ( 1 ) ) R 1 , α ( 1 ) R 1 , 1 ( 2 ) S 1 R ^ 1 , 1 ( 2 ) ( 2 ) ( 1 ) u α R 1 , α ( 2 ) R 1 , 1 ( 1 ) S 1 R ^ 1 , 1 ( 2 ) ( 2 ) ( 2 ) R ^ 1 , 1 ( 1 ) = S 1 S 1 1 ( S 1 R ^ 1 , 1 ( 2 ) ( 1 ) ( 1 ) ) R 1 , α ( 1 ) R 1 , 1 ( 2 ) S 1 R ^ 1 , 1 ( 2 ) ( 1 ) ( 2 ) u α R 1 , α ( 2 ) R 1 , 1 ( 1 ) S 1 R ^ 1 , 1 ( 2 ) ( 2 ) R ^ 1 , 1 ( 1 ) = S 1 S 1 1 ( S 1 R ^ ^ ^ 1 , 1 ( 2 ) ) R 1 , α ( 1 ) R 1 , 1 ( 2 ) S 1 R ^ ^ 1 , 1 ( 2 ) u α R 1 , α ( 2 ) R 1 , 1 ( 1 ) S 1 R ^ 1 , 1 ( 2 ) R ^ 1 , 1 ( 1 ) R ^ ^ 1 , 1 ( 1 ) R ^ ^ ^ 1 , 1 ( 1 ) = S 1 R ^ ^ ^ 1 , 1 ( 2 ) R 1 , α ( 1 ) R 1 , 1 ( 2 ) S 1 R ^ ^ 1 , 1 ( 2 ) u α R 1 , α ( 2 ) R 1 , 1 ( 1 ) S 1 R ^ 1 , 1 ( 2 ) R ^ 1 , 1 ( 1 ) R ^ ^ 1 , 1 ( 1 ) R ^ ^ ^ 1 , 1 ( 1 ) = S 1 S 1 R ^ ^ 1 , 1 ( 2 ) S 1 R 1 , 1 ( 2 ) S 1 R 1 , α ( 1 ) S 1 R ^ ^ ^ 1 , 1 ( 2 ) u α R 1 , α ( 2 ) R 1 , 1 ( 1 ) u 1 R ^ ^ 1 , 1 ( 1 ) R ^ ^ ^ 1 , 1 ( 1 )
= S 1 S 1 R ^ ^ 1 , 1 ( 2 ) S 1 R 1 , 1 ( 2 ) S 1 R 1 , α ( 1 ) S 1 R ^ ^ ^ 1 , 1 ( 2 ) u α R 1 , α ( 2 ) R 1 , 1 ( 1 ) S 1 S ( 1 ) R ^ ^ 1 , 1 ( 1 ) S 1 S 1 R ^ ^ ^ 1 , 1 ( 1 ) u 1
= R ^ ^ 1 , 1 ( 2 ) S 1 R 1 , 1 ( 2 ) S 1 R 1 , α ( 1 ) R ^ ^ ^ 1 , 1 ( 2 ) u α R 1 , α ( 2 ) R 1 , 1 ( 1 ) R ^ ^ 1 , 1 ( 1 ) S 1 R ^ ^ ^ 1 , 1 ( 1 ) u 1 = S 1 R 1 , α ( 1 ) R ^ ^ ^ 1 , 1 ( 2 ) u α R 1 , α ( 2 ) S 1 R ^ ^ ^ 1 , 1 ( 1 ) u 1 = R 1 , α 1 1 ( 1 ) R 1 , 1 1 ( 2 ) u α R 1 , α 1 1 ( 2 ) S 1 R 1 , 1 1 ( 1 ) u 1 = R 1 , α 1 1 σ H 1 , H 1 R 1 , 1 1 ( u α u 1 ) = σ H 1 , H 1 R 1 , 1 R 1 , α 1 1 ( u α u 1 ) ,
from which we also have
Δ α ( u α ) = ( u α u 1 ) σ H 1 , H 1 R 1 , 1 R 1 , α 1 1 .
Moreover,
ε α ( u α ) = ε α ( S α 1 R 1 , α 1 ( 2 ) R 1 , α 1 ( 1 ) ) = ε α ( S α 1 R 1 , α 1 ( 2 ) ) ε 1 ( R 1 , α 1 ( 1 ) ) = ε α 1 R 1 , α 1 ( 2 ) ε 1 ( R 1 , α 1 ( 1 ) ) = ε 1 ( R 1 , α 1 ( 1 ) ε α 1 R 1 , α 1 ( 2 ) ) = ε 1 ( 1 ) = 1 k .
We have established part (a).
To see parts (b) and (c), we deduce from part (a) that
Δ α 1 S α ( u α ) = σ H α 1 , H α 1 ( S α S α ) Δ α ( u α ) = S α ( u 1 R 1 , α ( 2 ) S 1 R 1 , 1 ( 1 ) ) S α ( u α S 1 R 1 , α ( 1 ) R 1 , 1 ( 2 ) ) = S 1 S 1 R 1 , 1 ( 1 ) S α ( R 1 , α ( 2 ) ) S 1 ( u 1 ) S 1 ( R 1 , 1 ( 2 ) ) S 1 S 1 R 1 , α ( 1 ) S α ( u α ) = S 1 R 1 , 1 ( 1 ) R 1 , α 1 ( 2 ) S 1 ( u 1 ) R 1 , 1 ( 2 ) S 1 R 1 , α 1 ( 1 ) S α ( u α ) = R 1 , 1 1 ( 1 ) R 1 , α 1 ( 2 ) S 1 ( u 1 ) R 1 , 1 1 ( 2 ) R 1 , α 1 ( 1 ) S α ( u α ) = ( R 1 , 1 1 ( 1 ) R 1 , α 1 ( 2 ) R 1 , 1 1 ( 2 ) R 1 , α 1 ( 1 ) ) ( S 1 ( u 1 ) S α ( u α ) ) = R 1 , 1 1 σ H 1 , H α 1 ( R 1 , α 1 ) ( S 1 ( u 1 ) S α ( u α ) ) = ( σ H 1 , H α ( R 1 , α ) R 1 , 1 ) 1 ( S 1 ( u 1 ) S α ( u α ) )
and the two factors commute; thus
Δ α S α 1 ( u α 1 ) = σ H 1 , H α ( R 1 , α ) R 1 , 1 ( S 1 ( u 1 1 ) S α 1 ( u α 1 ) )
and the two factors commute.
It remains to establish part (d). Consider the following calculation:
Δ 1 ( g 1 ) = Δ 1 ( u 1 S 1 ( u 1 ) 1 ) = Δ 1 ( u 1 ) Δ 1 ( S 1 ( u 1 ) 1 ) = Δ 1 ( u 1 ) Δ 1 S 1 ( u 1 1 ) = ( u 1 u 1 ) σ H 1 , H 1 R 1 , 1 R 1 , 1 1 σ H 1 , H 1 ( R 1 , 1 ) R 1 , 1 ( S 1 ( u 1 1 ) S 1 ( u 1 1 ) ) = ( u 1 u 1 ) ( S 1 ( u 1 1 ) S 1 ( u 1 1 ) ) = u 1 S 1 ( u 1 1 ) u 1 S 1 ( u 1 1 ) ) = g 1 g 1 .
In [28], the twisting theory for quasitriangular Hopf algebras was studied by a 2-cocycle. By using the dual of cocycle (called a 2-cocycle), multiplication alteration for bialgebras was investigated in [29,30]. In what follows, we will introduce the definition of 2-cocycle for Hopf non-coassociative π -algebra.
Definition 11.
Let ( H , φ ) be a crossed Hopf non-coassociative π-algebra. If there exists a family R = { R α , β H α H β } α , β π of invertible elements (the R-matrix) such that, the family R is invariant under the crossing, i.e., for any α , β , γ π ,
( φ γ φ γ ) ( R α , β ) = R γ α γ 1 , γ β γ 1 ,
and, for any α , β , γ , δ π ,
( ( φ α φ α ) R δ , γ ) 12 ( Δ α id H β γ ) ( R α , β γ ) = ( R α , β ) 23 id H α δ Δ γ ( R α δ , γ ) ,
i.e.,
R α δ α 1 , α γ α 1 ( 1 ) R α , β γ ( 1 ) ( 1 ) R α δ α 1 , α γ α 1 ( 2 ) R α , β γ ( 1 ) ( 2 ) R α , β γ ( 2 ) = R α δ , γ ( 1 ) R α , β ( 1 ) R α δ , γ ( 2 ) ( 1 ) R α , β ( 2 ) R α δ , γ ( 2 ) ( 2 )
Then R is called a 2-cocycle.
From Theorem 11, it is easy to see that a quasitriangular Hopf non-coassociative π -algebra is a crossed Hopf non-coassociative π -algebra with a 2-cocycle.
Definition 12.
Let H be a Hopf non-coassociative π-algebra. We say that a family of M = { M α } α π is aπ-representationover H if M has a right π-module structure, it means that there is a family
ψ = { ψ α , β : M α H β M α β } α , β π
of k -linear maps (the π-action), such that ψ is associative in the sense that, for any α , β , γ π ,
ψ α β , γ ( m α , β i d A γ ) = ψ α , β γ ( i d A α ψ β , γ ) ;
ψ α , 1 ( i d H α 1 ) = i d H α .
We shall associate with every Hopf non-coassociative π -algebra H = ( { H α , m , 1 α } , Δ α , ε , S ) a category of π -representations R e p π ( H ) which has a natural structure of a π -category.
Explicitly, for any α π , by an object M α in the category R e p α ( H ) we mean a vector space M α is a right H-module with a structure:
ψ α = { ψ α , β : M α H β M α β } α , β π .
The category R e p π ( H ) is the disjoint union of the categories { R e p α } α π where R e p α ( H ) is the category of H-modules and H-linear homomorphisms. By Proposition 3, the tensor product and the unit object in R e p π ( H ) are defined in the usual way using the comultiplication Δ H and the unit 1. That is,
h α · ( m n ) = h α ( 1 ) · m h α ( 2 ) · n
for any m M β and n N γ .
The associativity morphisms are the standard identification isomorphisms.
Furthermore, let H = ( { H α , m , 1 α } , Δ α , ε , S , φ , R ) be a quasitriangular Hopf π -quasialgebra. The automorphism φ α of H defines an automorphism, Φ α of R e p π ( H ) .
If M β is in R e p ( H ) β , then Φ α ( M ) has the same underlying vector space as M and each x H α β α 1 acts as multiplication by φ α 1 ( x ) H β . Every H β -homomorphism M N is mapped to itself considered as a H α β α 1 -homomorphism. It is easy to check that R e p π ( H ) is a crossed π -category (see [4]).
A universal R-matrix R = { R α , β H α H β } α , β π in H induces a braiding in R e p π ( H ) as follows. For M R e p ( H ) α ) and N R e p ( H ) β ) , the braiding
c M , N : M N M N M
is the composition of multiplication by R α , β , permutation M N N M . The conditions defining a universal R-matrix ensure that { c M , N } M , N is a braiding.
We now obtain
Theorem 13.
Let H be any quasitriangular Hopf non-coassociative π-algebra. Then the category R e p π ( H ) of π-representations is a braided T-category.

Author Contributions

Conceptualization, S.Z. and S.W.; methodology, S.Z. and S.W.; investigation, S.Z. and S.W.; resources, S.Z. and S.W.; writing—original draft preparation, S.Z. and S.W.; writing—review and editing, S.Z. and S.W.; visualization, S.Z. and S.W. All authors have read and agreed to the published version of the manuscript.

Funding

This research was funded by the National Natural Science Foundation of China (Grant No. 11871144).

Institutional Review Board Statement

Not applicable.

Informed Consent Statement

Not applicable.

Data Availability Statement

Data sharing is not applicable to this article as no new data were created or analyzed in this study.

Acknowledgments

The authors are very grateful to the anonymous referee for his/her thorough review of this work and his/her comments. The second author thanks the financial support of the National Natural Science Foundation of China (Grant No. 11871144).

Conflicts of Interest

The authors declare no conflict of interest.

References

  1. Witten, E. Topological quantum field theory. Commun. Math. Phys. 1988, 117, 353–386. [Google Scholar] [CrossRef]
  2. Turaev, V. Quantum Invariants of Knots and 3-Manifolds; De Gruyter Studies in Mathematics; Walter de Gruyter: Berlin, Germany, 1994; Volume 18, p. 588. [Google Scholar]
  3. Turaev, V. Homotopy field theory in dimension 2 and group-algebras. arXiv 1999, arXiv:math/9910010. [Google Scholar]
  4. Turaev, V. Homotopy field theory in dimension 3 and crossed group-categories. arXiv 2000, arXiv:math/0005291. [Google Scholar]
  5. Reshetikhin, N.; Turaev, V. Invariants of 3-manifolds via link polynomials and quantum groups. Invent. Math. 1991, 103, 547–597. [Google Scholar] [CrossRef]
  6. Turaev, V. Homotopy Quantum Field Theory; European Mathematical Society Publishing House: Zurich, Switzerland, 2010. [Google Scholar]
  7. Virelizier, A. Hopf group-coalgebras. J. Pure Appl. Algebra 2002, 171, 75–122. [Google Scholar] [CrossRef] [Green Version]
  8. Turaev, V. Crossed group-categories. Arab. J. Forence Eng. 2008, 2, 483–503. [Google Scholar]
  9. Caenepeel, S.; Lombaerde, M.D. A categorical approach to Turaev’s Hopf group-coalgebras. Commun. Algebra 2006, 34, 2631–2657. [Google Scholar] [CrossRef]
  10. Wang, S.H. Group Entwining Structures and Group Coalgebra Galois Extensions. Commun. Algebra 2004, 32, 3437–3457. [Google Scholar] [CrossRef]
  11. Buckley, M.; Fieremans, T.; Vasilakopoulou, C.; Vercruysse, J. A Larson-Sweedler theorem for Hopf V-categories. Adv. Math. 2021, 376, 107456. [Google Scholar] [CrossRef]
  12. Wang, S.H. Turaev Group Coalgebras and Twisted Drinfel’d Double. Indiana Univ. Math. J. 2009, 58, 1395–1418. [Google Scholar] [CrossRef]
  13. Panaite, F.; Staic, M.D. Generalized (anti) Yetter-Drinfel’d modules as components of a braided T-category. Isr. J. Math. 2007, 158, 349–365. [Google Scholar] [CrossRef] [Green Version]
  14. Zunino, M. Double Construction for Crossed Hopf Coalgebras. J. Algebra 2005, 278, 43–75. [Google Scholar] [CrossRef] [Green Version]
  15. Zunino, M. Yetter-Drinfel’d modules for crossed structures. J. Pure Appl. Algebra 2004, 193, 313–343. [Google Scholar] [CrossRef] [Green Version]
  16. Delvaux, L.; Daele, A.V.; Wang, S.H. Quasitriangular ( G-cograded) multiplier Hopf algebras. J. Algebra 2005, 289, 484–514. [Google Scholar] [CrossRef] [Green Version]
  17. Klim, J.; Majid, S. Hopf quasigroups and the algebraic 7-sphere. J. Algebra 2010, 323, 3067–3110. [Google Scholar] [CrossRef] [Green Version]
  18. Pérez-Izquierdo, J.M. Algebras, hyperalgebras, nonassociative bialgebras and loops. Adv. Math. 2007, 208, 834–876. [Google Scholar] [CrossRef]
  19. Brzeziński, T. Hopf modules and the fundamental theorem for Hopf (co)quasigroups. Int. Electron. J. Algebra 2010, 8, 114–128. [Google Scholar]
  20. Brzeziński, T.; Jiao, Z.M. Actions of Hopf quasigroups. Commun. Algebra 2012, 40, 681–696. [Google Scholar] [CrossRef] [Green Version]
  21. Fang, X.L.; Wang, S.H. Twisted smash product for Hopf quasigroups. J. Southeast Univ. (Engl. Ed.) 2011, 27, 343–346. [Google Scholar]
  22. Álvarez, J.N.A.; Vilaboa, J.M.F.; Rodríguez, R.G.; Calvo, C.S. Projections and Yetter–Drinfel’d modules over Hopf (co)quasigroups. J. Algebra 2015, 443, 153–199. [Google Scholar] [CrossRef]
  23. Gu, Y.; Wang, S.H. Hopf quasicomodules and Yetter-Drinfel’d quasicomodules. Commun. Algebra 2019, 48, 351–379. [Google Scholar] [CrossRef]
  24. Daele, A.V. Multiplier Hopf Algebras. Trans. Am. Math. Soc. 1994, 342, 917–932. [Google Scholar] [CrossRef]
  25. Daele, A.V. An Algebraic Framework for Group Duality. Adv. Math. 1998, 140, 323–366. [Google Scholar] [CrossRef] [Green Version]
  26. Sweedler, M.E. Hopf Algebras; Benjami: New York, NY, USA, 1969. [Google Scholar]
  27. Zhang, S.L.; Wang, S.H. Fundamentals of quasigroup Hopf group-coalgebras. J. Southeast Univ. Engl. Ed. 2021, 37, 114–118. [Google Scholar]
  28. Gurevich, D.; Majid, S. Braided groups of Hopf algebras obtained by twisting. Pac. J. Math. 1994, 162, 27–44. [Google Scholar] [CrossRef] [Green Version]
  29. Doi, Y. Braided bialgebras and quadratic blalgebras. Commun. Algebra 1993, 21, 1731–1749. [Google Scholar] [CrossRef]
  30. Doi, Y.; Takeuch, M. Multiplication alteration by two-cocycles—The quantum version. Commun. Algebra 1994, 22, 5715–5732. [Google Scholar] [CrossRef]
Publisher’s Note: MDPI stays neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Share and Cite

MDPI and ACS Style

Zhang, S.; Wang, S. A New Approach to Braided T-Categories and Generalized Quantum Yang–Baxter Equations. Mathematics 2022, 10, 968. https://doi.org/10.3390/math10060968

AMA Style

Zhang S, Wang S. A New Approach to Braided T-Categories and Generalized Quantum Yang–Baxter Equations. Mathematics. 2022; 10(6):968. https://doi.org/10.3390/math10060968

Chicago/Turabian Style

Zhang, Senlin, and Shuanhong Wang. 2022. "A New Approach to Braided T-Categories and Generalized Quantum Yang–Baxter Equations" Mathematics 10, no. 6: 968. https://doi.org/10.3390/math10060968

Note that from the first issue of 2016, this journal uses article numbers instead of page numbers. See further details here.

Article Metrics

Back to TopTop