arXiv reader

Double crossed biproducts and related structures

Tianshui Ma, Jie Li, Haiyan Yang and Shuanhong Wang

arXiv
2205.06433v1 · PDF · 13 May 2022
Categories
math.RA
Journal
Comm. Algebra 50(10)(2022), 4517-4535
DOI
10.1080/00927872.2022.2065492
Licence
CC BY 4.0 The site shows the text.

Abstract

Let H be a bialgebra. Let \sigma: H\otimes H\to A be a linear map, where A is a left H-comodule coalgebra, and an algebra with a left H-weak action \triangleright. Let \tau: H\otimes H\to B be a linear map, where B is a right H-comodule coalgebra, and an algebra with a right H-weak action \triangleleft. In this paper, we improve the necessary conditions for the two-sided crossed product algebra A\#^{\sigma} H~{^{\tau}\#} B and the two-sided smash coproduct coalgebra A\times H\times B to form a bialgebra (called double crossed biproduct) such that the condition b_{[1]}\triangleright a_0\otimes b_{[0]}\triangleleft a_{-1}=a\otimes b in Majid’s double biproduct (or double-bosonization) is one of the necessary conditions. On the other hand, we provide a more general two-sided crossed product algebra structure via Brzezński’s crossed product and give some applications.

Items 63

Proposition

Proposition 1.1

16JI

(Left Brzeziński’s crossed product) ([Br]): Let A be an algebra, H a vector space and 1_H\in H. Let G: H\otimes H\longrightarrow A\otimes H (write G(x\otimes x')=x^G\otimes x'_G for all x, x'\in H) and R: H\otimes A\longrightarrow A\otimes H (write R(x\otimes a)=a_R\otimes x_R for all x\in H and a\in A) be linear maps such that

(LB1)~~a_R\otimes1_{H R}=a\otimes {1_H},~~~{1_A}_R\otimes x_R={1_A}\otimes x

holds. Then A\#^G_R H (=A\otimes H as vector space) is an algebra with unit 1_A\otimes 1_H and a product

\begin{aligned} (a\otimes x)(a'\otimes x')=a a'_R{x_R}^G\otimes x'_G \end{aligned}

if and only if the following conditions hold:

\begin{aligned} &(LB2)& (a a')_R\otimes x_R=a_R a'_r\otimes x_{R r};\\ &(LB3)& x^G\otimes {1_H}_G={1_H}^G\otimes x_G=1_A\otimes x;\\ &(LB4)& {x'^G}_R{x_R}^g\otimes x''_{G g}=x^G{x'_G}^g\otimes x''_g;\\ &(LB5)& a_{R r}{x_r}^G\otimes x'_{R G}=x^G a_R\otimes x'_{G R} \end{aligned}

for all a, a'\in A, x, x', x''\in H, where G=g, R=r.

Proof of Proposition 1.1

The sufficiency can be gotten by [Br]. So we only prove the necessity. By 1_A\otimes 1_H is unit and Eqs.(LB1) and (1.1), we can get Eq.(LB3). By the associativity and Eq.(1.1), we have

\begin{aligned} a{a'_R}{x_R}^G{a''_r}{x'_{Gr}}^g\otimes x''_g=a(a'a''_R{x'_R}^G)_r{x_r}^g\otimes x''_{Gg}. \end{aligned}

Set x'=x''=1_H in Eq.(Proof), one can obtain Eq.(LB2). Let a'=a''=1_A in Eq.(Proof), then Eq.(LB4) holds. Likewise, setting a'=1_A, x''=1_H in Eq.(Proof), we can get Eq.(LB5). These finish the proof.

Remark

Remark 1.2

CEKB

When Eqs.(LB1) and (LB3) are interchanged, Proposition 1.1 still holds.

Example

Example 1.3

XE9A

(Left twisted crossed product) Let A be an algebra, H a bialgebra, \sigma: H\otimes H\longrightarrow A and R: H\otimes A\longrightarrow A\otimes H two linear maps such that Eq.(LB1) holds. Then A\# ^{\sigma}_R H (=A\otimes H as a vector space) is an associative algebra with unit 1_A\otimes {1_H} and multiplication

(a\otimes x)(a'\otimes x')=a a'_{R} \sigma(x_{R1}, x'_1)\otimes x_{R2}x'_2

for all a, a'\in A and x, x'\in H if and only if Eq.(LB2) and the following conditions hold:

\begin{aligned} &(LTC3)& \sigma(x, 1_H)=\sigma(1_H, x)=\varepsilon(x)1_A;\\ &(LTC4)& \sigma(x'_1, x''_1)_R\sigma(x_{R1}, x'_2 x''_2)\otimes x_{R2}x'_3 x''_3=\sigma(x_1, x'_1)\sigma(x_{2}x'_2, x''_1)\otimes x_{3}x'_3 x''_2;\\ &(LTC5)& a_{R r}\sigma(x_{r1}, x'_{R1})\otimes x_{r2}x'_{R2}=\sigma(x_{1}, x'_{1})a_{R}\otimes (x_{2}x'_{2})_R, \end{aligned}

where a, a'\in A, x, x', x''\in H and r=R.

Proof of Example 1.3

Let G(x\otimes x')=\sigma(x_1, x'_1)\otimes x_2x'_2 in A\#^G_R H.

Example

Example 1.4

4MHQ

(Left crossed product) ([BCM]): Let H be a Hopf algebra with a left weak action \triangleright on the algebra A. Let \sigma: H\otimes H\longrightarrow A be a K-linear map. Let A\#^{\sigma}_{\triangleright} H be the (usually nonassociative) algebra whose underlying space is A\otimes H and whose multiplication is given by

(a\otimes x)(a'\otimes x')=a(x_1\triangleright a')\sigma(x_2, x'_1)\otimes x_3x'_2

for all a, a'\in A and x, x'\in H. This A\#^{\sigma}_{\triangleright} H is an associative algebra with unit 1_A\otimes {1_H} if and only if \sigma satisfies Eq.(LTC3) and the following conditions:

\begin{aligned} &(LC2)& (x_1\triangleright \sigma(x'_1, x''_1))\sigma(x_2, x'_2x''_2)=\sigma(x_1,x'_1)\sigma(x_2x'_2, x'');\\ &(LC3)& (x_1\triangleright (x'_1\triangleright a))\sigma(x_2, x'_2)=\sigma(x_1,x'_1)(x_2x'_2\triangleright a) \end{aligned}

for all a\in A and x, x', x''\in H.

Proof of Example 1.4

Let R(x\otimes a)=x_1 \triangleright a\otimes x_2 in A\#^{\sigma}_R H.

Example

Example 1.5

34GQ

(Left twisted product) ([BCM]): Let H be a bialgebra and A an algebra. Let \sigma: H\otimes H\longrightarrow A be a K-linear map. Let A\#^{\sigma} H (=A\otimes H as a vector space) is an associative algebra with unit 1_A\otimes {1_H} and multiplication

(a\otimes x)(a'\otimes x')=a a'\sigma(x_1, x'_1)\otimes x_2 x'_2

for all a, a'\in A and x, x'\in H if and only if \sigma satisfies Eq.(LTC3) and the following conditions:

\begin{aligned} &(L2)& \sigma(x''_1, x'_1)\sigma(x, x''_2x'_2)=\sigma(x_1,x''_1)\sigma(x_2x''_2, x');\\ &(L3)& a \sigma(x, x')=\sigma(x, x') a \end{aligned}

for all a\in A and x, x', x''\in H.

Proof of Example 1.5

Let x\triangleright a=\varepsilon(x) a in A\#^{\sigma}_{\triangleright} H.

Example

Example 1.6

YRGY

(Left unified product) ([AM]): Let A, H be two bialgebras and \triangleleft: H\otimes A\longrightarrow H, \triangleright: H\otimes A\longrightarrow A, \sigma: H\otimes H\longrightarrow A linear maps such that

(LU1)~~~~{1_H}\triangleright a_1\otimes {1_H}\triangleleft a_2=a\otimes {1_H};~~x_1\triangleright 1_A\otimes x_2\triangleleft 1_A=1_A\otimes x

holds. Then A\#^{\sigma}_{\triangleright \triangleleft} H (=A\otimes H as a vector space) is an associative algebra with unit 1_A\otimes {1_H} and multiplication

(a\otimes x)(a'\otimes x')=a(x_1\triangleright a'_1)\sigma((x_2\triangleleft a'_2)_1, x'_1) \otimes (x_2\triangleleft a'_2)_2x'_2

for all a, a'\in A and x, x'\in H if and only if the following conditions hold:

\begin{aligned} &(LU2)& x_1\triangleright (aa')_1\otimes x_2\triangleleft (aa')_2=(x_1\triangleright a_1)((x_2\triangleleft a_2)_1\triangleright a'_1)\otimes ((x_2\triangleleft a_2)_2\triangleright a'_2);\\ &(LU3)& \sigma(x_1, {1_H})\otimes x_2=\sigma({1_H}, x_1)\otimes x_2=1_A\otimes x;\\ &(LU4)& ~~(x_1\triangleright \sigma(x'_1, x''_1)_1)\sigma((x_2\triangleleft \sigma(x'_1, x''_1)_2)_1, (x'_2x''_2)_1)\otimes (x_2\triangleleft \sigma(x'_1, x''_1)_2)_2 (x'_2x''_2)_2\\ & &=\sigma(x_1, x'_1)\sigma((x_2x'_2)_1, x''_1)\otimes (x_2x'_2)_2 x''_2;\\ &(LU5)&(x_1\triangleright (x'_1\triangleright a_1)_1)\sigma((x_2\triangleleft (x'_1\triangleright a_1)_2)_1, (x'_2\triangleleft a_2)_1)\otimes (x_2\triangleleft (x'_1\triangleright a_1)_2)_2 \\ &&\times (x'_2\triangleleft a_2)_2=\sigma(x_1, x'_1)((x_2x'_2)_1\triangleright a_1)\otimes ((x_2x'_2)_2\triangleleft a_2), \end{aligned}

where a, a'\in A, x, x', x''\in H.

Proof of Example 1.6

Let R(x\otimes a)=x_1\triangleright a_1 \otimes x_2\triangleleft a_2 in A\#^{\sigma}_R H.

Example

Example 1.7

VGAL

(Left twisted tensor product) ([CIMZ]): Let H, A be two algebras and R: H\otimes A\longrightarrow A\otimes H a linear map. Then A\#_R H (=A\otimes H as a vector space) is an associative algebra with unit 1_A\otimes {1_H} and multiplication

(a\otimes x)(a'\otimes x')=a{a'_R} \otimes x_R x'

for all a, a'\in A and x, x'\in H if and only if Eqs.(LB1), (LB2) and the following condition hold:

\begin{aligned} &(LT3)& {a_{R}}\otimes (x x')_{R}={a}_{R r}\otimes x_{r}{x'_{R}}, \end{aligned}

where a, a'\in A, x, x'\in H and r=R.

Proof of Example 1.7

Let G be trivial, i.e., G(x\otimes x')=1_A\otimes x x' in A\#^G_R H.

Remark

Remark 1.8

UPHS

(1) The well known Drinfeld double is also a special case of left Brzeziński’s crossed product. Remarks (2) From above we know that the left Brzeziński’s crossed product is a very general product structure.

Definition

Definition 1.9

IM0H

(Majid’s double biproduct) We recall, from [Ma99, Ma97], the construction of the so-called double biproduct. Let H be a bialgebra, A a bialgebra in {}^H_H{\mathbb{YD}}, and B a bialgebra in {\mathbb{YD}}{}^H_H. Adopt the following notation for the structure maps: the counits are \varepsilon_A and \varepsilon_B, the comultiplications are \Delta_A(a)=a_1\otimes a_2 and \Delta_B(b)=b_1\otimes b_2, and the actions and coactions are

\begin{aligned} &&H\otimes A\longrightarrow A, x\otimes~~~a\mapsto x\triangleright a,~~~A\longrightarrow H\otimes A,~~~a \mapsto a_{-1}\otimes a_0,\\ &&B\otimes H\longrightarrow B,~~~b\otimes x\mapsto b\triangleleft x,~~~~B\longrightarrow B\otimes H,~~~b\mapsto b_{[0]}\otimes b_{[1]} \end{aligned}

for all x\in H, a\in A, b\in B. The vector space A\otimes H\otimes B becomes an algebra (called the two-sided smash product, A\# H\# B) with unit 1_A\otimes 1_H\otimes 1_B and multiplication

\begin{aligned} (a\otimes x\otimes b)(a' \otimes x' \otimes b') = a(x_1\triangleright a')\otimes x_2x'_1\otimes (b\triangleleft x'_2)b', \end{aligned}

and a coalgebra (called the two-sided smash coproduct, A\times H\times B) with counit \varepsilon(a\otimes x\otimes b)=\varepsilon_A(a)\varepsilon_H(x)\varepsilon_B(b) and comultiplication

\begin{aligned} &&\Delta(a\otimes x\otimes b)=a_1\otimes a_{2-1}x_1\otimes b_{1{[0]}} \otimes a_{20}\otimes x_2b_{1{[1]}}\otimes b_2. \end{aligned}

Moreover, assume that Eq.(?) holds, it follows that A\otimes H\otimes B with two-sided smash product algebra and two-sided smash product coalgebra is a bialgebra, called the Majid’s double biproduct, denoted by A\star H\star B.

Used by Remark 3.3, Remark 3.5, Remark 3.7, Question 4.3
Remark

Remark 1.10

LDPN

(1) Replacing A (or B) with K, the double biproduct is exactly the right (or left) variant of Radford’s biproduct.

(2) The double biproduct here is actually the case of Majid’s in [Ma99, Theorem A.1] with a trivial pairing.

Proposition

Proposition 2.1

E1BB

(Right Brzeziński’s crossed product) ([Pa14, Theorem 2.1]) Let H be a vector space with a distinguished element 1_H\in H and B an algebra. Let F: H\otimes H\longrightarrow H\otimes B (write F(x\otimes x')=x_F\otimes x'^F for all x, x'\in H) and T: B\otimes H\longrightarrow H\otimes B (write T(b\otimes x)=x_T\otimes b_T for all x\in H and b\in B) be two linear maps such that

\begin{aligned} &(RB1)& 1_{H T}\otimes b_T=1_H\otimes b,~x_T\otimes 1_{B T}=x\otimes 1_B \end{aligned}

holds. Then H^F_T\# B (=H\otimes B as a vector space) is an associative algebra with unit 1_H\otimes {1_B} and multiplication

\begin{aligned} (x\otimes b)(x'\otimes b')=x_F\otimes {x'_T}^F b_T b' \end{aligned}

for all b, b'\in B and x, x'\in H if and only if the following conditions hold:

\begin{aligned} &(RB2)& x_{T}\otimes (b b')_{T}=x_{T t}\otimes b_{t} b'_{T};\\ &(RB3)& 1_{H F}\otimes x^{F}=x_{F}\otimes {1_H}^{F}=x\otimes 1_{B};\\ &(RB4)& x_{F f}\otimes {x''_{T}}^{f}{x'^{F}}_{T}=x_{f}\otimes {x'_{F}}^{f}x''^{F};\\ &(RB5)& x_{T F}\otimes {x'_{t}}^{F}{b}_{Tt}=x_{F T}\otimes {b_{T}}x'^{F}, \end{aligned}

where b, b'\in B, x, x', x''\in H and f=F, t=T.

Used by Proof, Proof, Proof
Example

Example 2.2

A93X

(1) (Right twisted crossed product) Let B be an algebra, H a bialgebra, \tau: H\otimes H\longrightarrow B and T: B\otimes H\longrightarrow H\otimes B two linear maps such that Eq.(RB1) holds. Then H^{\tau}_T\# B (=H\otimes B as a vector space) is an associative algebra with unit 1_H\otimes {1_B} and multiplication

(x\otimes b)(x'\otimes b')=x_1 x'_{T1} \otimes \tau(x_2, x'_{T2}) b_T b'

for all a, a'\in A and x, x'\in H if and only if Eq.(RB2) and the following conditions hold:

\begin{aligned} &(RTC2)& \tau(x, 1_H)=\tau(1_H, x)=\varepsilon(x)1_B;\\ &(RTC3)& x_1 x'_1 x''_{T1}\otimes \tau(x_2 x'_2, x''_{T2})\tau(x_3, x'_3)_{T}=x_1 x'_1 x''_{1}\otimes \tau(x_2, x'_2x''_{2})\tau(x'_3, x''_3);\\ &(RTC4)& x_{T1}x'_{t1}\otimes \tau(x_{T2}, x'_{t2}){b}_{Tt}=(x_1x'_1)_{T}\otimes {b_{T}}\tau(x_2, x'_2), \end{aligned}

where b, b'\in B, x, x', x''\in H and t=T.

Proof.

Let F(x\otimes x')=x_1 x'_1\otimes \tau (x_2, x'_2) in Proposition 2.1.

(2) (Right unified product) Let B, H be two bialgebras and \blacktriangleright: B\otimes H\longrightarrow H, \blacktriangleleft: B\otimes H\longrightarrow B, \tau: H\otimes H\longrightarrow B linear maps such that

(RU1)~~~~b_1\blacktriangleright {1_H}\otimes b_2\blacktriangleleft {1_H}={1_H}\otimes b;~~1_B\blacktriangleright x_1\otimes 1_B\blacktriangleleft x_2=x\otimes 1_B

holds. Then H^{\tau}_{\blacktriangleleft \blacktriangleright}\# B (=H\otimes B as a vector space) is an associative algebra with unit {1_H}\otimes 1_B and multiplication

(x\otimes b)(x'\otimes b')=x_1(b_1\blacktriangleright x'_1)_1 \otimes \tau(x_2, (b_1\blacktriangleright x'_1)_2)(b_2\blacktriangleleft x'_2)b'

for all x, x'\in H and b, b'\in B if and only if the following conditions hold:

\begin{aligned} &(RU2)& b_1b'_1\blacktriangleright x_1\otimes b_2b'_2\blacktriangleleft x_2=b_1\blacktriangleright (b'_1\blacktriangleright x_1)_1\otimes (b_2\blacktriangleleft (b'_1\blacktriangleright x_1)_2)(b'_2\blacktriangleleft x_2);\\ &(RU3)& x_1\otimes \tau(1_H, x_2)=x_1\otimes \tau(x_2, 1_H)=x\otimes 1_B;\\ &(RU4)& ~~x_1x'_1(\tau(x_3, x'_3)_1\blacktriangleright x''_1)_1\otimes \tau(x_2x'_2, (\tau(x_3, x'_3)_1\blacktriangleright x''_1)_2)(\tau(x_3, x'_3)_2\blacktriangleright x''_2)\\ & &=x_1x'_1x''_1\otimes \tau(x_2, x'_2x''_2)\tau(x'_3, x''_3);\\ &(RU5)&(b_1\blacktriangleright x_1)_1((b_2\blacktriangleleft x_2)_1\blacktriangleright x'_1)_1\otimes \tau((b_1\blacktriangleright x_1)_2, ((b_2\blacktriangleleft x_2)_1\blacktriangleright x'_1)_2) \\ &&\times ((b_2\blacktriangleleft x_2)_2\blacktriangleleft x'_2)=b_1\blacktriangleright x_1x'_1\otimes (b_2\blacktriangleleft x_2x'_2)\tau(x_3, x'_3), \end{aligned}

where b, b'\in B, x, x', x''\in H.

Proof.

Let T(b\otimes x)=b_1\blacktriangleright x_1 \otimes b_2\blacktriangleleft x_2 in H^{\tau}_T\# B.

(3) (Right F-twist product) Let H be a vector space with a distinguished element 1_H\in H and B an algebra. Let F: H\otimes H\longrightarrow A\otimes H (write F(x\otimes x')=x_F\otimes x'^F for all x, x'\in H) be a linear maps. Then H^F\# B (=H\otimes B as a vector space) is an associative algebra with unit 1_H\otimes {1_B} and multiplication

(x\otimes b)(x'\otimes b')=x_F\otimes {x'}^F b b'

for all b, b'\in B and x, x'\in H if and only if Eq.(RB3) and the following conditions hold:

\begin{aligned} &(RF2)& x_{F f}\otimes {x''}^{f}{x'^{F}}=x_{f}\otimes {x'_{F}}^{f}x''^{F};\\ &(RF3)& x_{F}\otimes {x'}^{F}{b}=x_{F}\otimes {b}x'^{F}, \end{aligned}

where b, b'\in B, x, x', x''\in H and f=F.

Proof.

Let T be trivial in Proposition 2.1.

Here we remark that if we set F(x, x')=x_1 x'_1\otimes \tau (x_2, x'_2) in H^F\# B, then we get the right twist product H^{\tau}\# B and the conditions (RB3), (RF2), (RF3) become the conditions (RTC2) and

\begin{aligned} &(R2)& \tau(x_1x'_1, x'')\tau(x_2, x'_2)=\tau(x, x'_1x''_1)\tau(x'_2, x''_2);\\ &(R3)& \tau(x, x')b=b\tau(x, x'), \end{aligned}

which is the right version of (LTC3), (L2), (L3).

(4) (Right twisted tensor product) Let H, B be two algebras and T: B\otimes H\longrightarrow H\otimes B (write T(b\otimes x)=x_T\otimes b_T for all x\in H and b\in B) a linear map. Then H_T\# B (=H\otimes B as a vector space) is an associative algebra with unit 1_H\otimes {1_B} and multiplication

(x\otimes b)(x'\otimes b')=x{x'_T} \otimes b_T b'

for all b, b'\in B and x, x'\in H if and only if Eqs.(RB1), (RB2) and the following condition hold:

\begin{aligned} &(RT3)& x_{T}{x'_{t}}\otimes {b}_{Tt}=(x x')_{T}\otimes {b_{T}}, \end{aligned}

where b, b'\in B, x, x'\in H and t=T.

Proof.

Let F be trivial, i.e., F(x\otimes x')=x x'\otimes 1_B in Proposition 2.1.

(5) (Right crossed product) ([MLL]) Let H be a Hopf algebra with a right weak action \triangleleft on the algebra B. Let \tau: H\otimes H\longrightarrow B be a K-linear map. Let H^{\tau}_{\triangleleft}\# B be the (usually nonassociative) algebra whose underlying space is H\otimes B and whose multiplication is given by

(x\otimes b)(x'\otimes b')=x_1x'_1\otimes \tau(x_2, x'_2)(a\triangleleft x'_3)b'

for all b, b'\in B and x, x'\in H. This H^{\tau}_{\triangleleft}\# B is an associative algebra with unit 1_H\otimes {1_B} if and only if \tau satisfies Eq.(RTC2) and the following conditions:

\begin{aligned} &(RC2)&\tau(x_1x'_1, x''_1)(\tau(x_2, x'_2)\triangleleft x''_2)=\tau(x, x'_1x''_1)\tau(x'_2, x''_2);\\ &(RC3)&\tau(x'_1, x''_1)((b\triangleleft x'_2)\triangleleft x''_2)=(b\triangleleft x'_1x''_1)\tau(x'_2, x''_2) \end{aligned}

for all b\in B and x, x', x''\in H.

Proof.

Let T(b\otimes x)=x_1\otimes b\triangleleft x_2 in H^{\tau}_T\# B.

Proof

Proof

ZAPP

Let T(b\otimes x)=b_1\blacktriangleright x_1 \otimes b_2\blacktriangleleft x_2 in H^{\tau}_T\# B.

Proof

Proof

58AM

Let T(b\otimes x)=x_1\otimes b\triangleleft x_2 in H^{\tau}_T\# B.

Theorem

Theorem 2.3

R8B1

Let H be a coalgebra with an element 1_H such that \Delta(1_H)=1_H\otimes 1_H and A, B two algebras. Let G: H\otimes H \longrightarrow A\otimes H, R: H\otimes A \longrightarrow A\otimes H, T: B\otimes H \longrightarrow H\otimes B and \tau: H\otimes H \longrightarrow B be linear maps, such that Eqs. (LB1)-(LB3), (RB1), (RB2), (RTC2) hold. Then A\#{_{R}^{G} H^{\tau}_{T}}\# B (=A\otimes H\otimes B as vector space) is an associative algebra with unit 1_A\otimes 1_H\otimes {1_B} and multiplication

(a\otimes x\otimes b)(a'\otimes x' \otimes b')=a a'_{R}{x_{R1}}^{G}\otimes x'_{T1G}\otimes \tau(x_{R2},x'_{T2})b_{T}b'

for all a, a'\in A, x, x'\in H and b, b'\in B if and only if the following conditions hold:

\begin{aligned} &(BT1)&~~{x_{1}}^{G}{x'_{1G1}}^{g}\otimes x''_{T1g}\otimes \tau(x'_{1G2},x''_{T2}){\tau(x_{2},x'_{2})}_{T}\\ &&~~~~~~~={{x'_{1}}^{G}}_{R}{x_{R1}}^{g}\otimes x''_{1G1g}\otimes \tau(x_{R2},x''_{1G2})\tau(x'_{2},x''_{2});\\ &(BT2)&~~a_{Rr}{x_{r1}}^{G}\otimes x'_{R1G}\otimes \tau(x_{r2},x'_{R2})\\ &&~~~~~~~={x_{1}}^{G}a_{R}\otimes x'_{1GR}\otimes \tau(x_{2},x'_{2});\\ &(BT3)&~~{x_{1}}^{G}\otimes x'_{1GT}\otimes b_{T}\tau(x_{2},x'_{2})\\ &&~~~~~~~={x_{T1}}^{G}\otimes x'_{t1G}\otimes \tau(x_{T2},x'_{t2})b_{Tt};\\ &(BT4)&~~a_{R}\otimes x_{RT}\otimes b_{T}=a_{R}\otimes x_{TR}\otimes b_{T}. \end{aligned}

where a\in A, x, x', x''\in H, b\in B and R=r, G=g, T=t. In this case, we call the algebra A\#{_{R}^{G} H^{\tau}_{T}}\# B Brzeziński’s two-sided crossed product algebra.

Used by Proof
Proof of Theorem 2.3

(\Longleftarrow) We check the associativity as follows: for all a, a', a''\in A, x, x', x''\in H and b, b', b''\in B,

\begin{aligned} &&((a\otimes x\otimes b)(a'\otimes x' \otimes b'))(a''\otimes x'' \otimes b'')\\ &=aa'_{R}{x_{R 1}}^{g}a''_{r}{x'_{T 1 g r 1}}^{G}\otimes x''_{t 1 G}\otimes \tau(x'_{T 1 g r 2},x''_{t 2})(\tau(x_{R 2},x'_{T 2})b_{T}b')_{t}b''\\ &\stackrel{(RB2)}{=} &aa'_{R}{x_{R 1}}^{g}a''_{r}{x'_{T 1 g r 1}}^{G}\otimes x''_{t \bar{T} \bar{t} 1G}\otimes \tau(x'_{T 1 g r 2},x''_{t \bar{T} \bar{t} 2}){\tau(x_{R 2},x'_{T 2})}_{\bar{t}}b_{T \bar{T}}b'_{t}b''\\ &\stackrel{(BT2)}{=} &aa'_{R}a''_{r \bar{R}}{x_{R \bar{R} 1}}^{g}{x'_{T r 1 g 1}}^{G}\otimes x''_{t \bar{T} \bar{t} 1 G}\otimes \tau(x'_{T r 1 g 2},x''_{t \bar{T} \bar{t} 2}){\tau(x_{R \bar{R} 2},x'_{T r 2})}_{\bar{t}}b_{T \bar{T}}b'_{t}b''\\ &\stackrel{(BT4)}{=} &aa'_{R}a''_{r \bar{R}}{x_{R \bar{R} 1}}^{g}{x'_{r T 1 g 1}}^{G}\otimes x''_{t \bar{T} \bar{t} 1 G}\otimes \tau(x'_{r T 1 g 2},x''_{t \bar{T} \bar{t} 2})\tau(x_{R \bar{R} 2},x'_{r T 2})_{\bar{t}}b_{T \bar{T}}b'_{t}b'' \end{aligned}

and

\begin{aligned} &&(a\otimes x\otimes b)((a'\otimes x' \otimes b')(a''\otimes x'' \otimes b''))\\ &=a(a'a''_{r}{x'_{r 1}}^{g})_{R}{x_{R 1}}^{G}\otimes x''_{t 1 g T 1 G}\otimes \tau(x_{R 2},x''_{t 1 g T 2})b_{T}\tau(x'_{r 2},x''_{t 2})b'_{t}b''\\ &\stackrel{(LB2)}{=} &aa'_{R}(a''_{r}{x'_{r 1}}^{g})_{\bar{R}}{x_{R \bar{R} 1}}^{G}\otimes x''_{t 1 g T 1 G}\otimes \tau(x_{R \bar{R} 2},x''_{t 1 g T 2})b_{T}\tau(x'_{r 2},x''_{t 2})b'_{t}b''\\ &\stackrel{(BT3)}{=} &aa'_{R}(a''_{r}{x'_{r \bar{T} 1}}^{g})_{\bar{R}}{x_{R \bar{R}1}}^{G}\otimes x''_{t T 1 g 1 G}\otimes \tau(x_{R \bar{R} 2},x''_{t T 1 g 2})\tau(x'_{r \bar{T} 2},x''_{t T 2})b_{\bar{T} T}b'_{t}b''\\ &\stackrel{(LB2)}{=} &aa'_{R}a''_{r \bar{R}}{{x'_{r \bar{T} 1}}^{g}}_{\bar{r}}{x_{R \bar{R} \bar{r} 1}}^{G}\otimes x''_{t T 1 g 1 G}\otimes \tau(x_{R \bar{R} \bar{r} 2},x''_{t T 1 g 2})\tau(x'_{r \bar{T} 2},x''_{t T 2})b_{\bar{T} T}b'_{t}b''\\ &\stackrel{(BT1)}{=} &aa'_{R}a''_{r \bar{R}}{x_{R \bar{R} 1}}^{g}{x'_{r \bar{T} 1 g 1}}^{G}\otimes x''_{t T \bar{t} 1 G}\otimes \tau(x'_{r \bar{T} 1 g 2},x''_{t T \bar{t} 2}){\tau(x_{R \bar{R} 2},x'_{r \bar{T} 2})}_{\bar{t}}b_{\bar{T} T}b'_{t}b'', \end{aligned}

so

((a\otimes x\otimes b)(a'\otimes x' \otimes b'))(a''\otimes x'' \otimes b'')=(a\otimes x\otimes b)((a'\otimes x' \otimes b')(a''\otimes x'' \otimes b'')).

We check the unit as follows: for all a\in A, x\in H and b\in B,

\begin{aligned} (a\otimes x\otimes b)(1_A\otimes 1_H\otimes 1_B) &=a1_{A R}{x_{R 1}}^{G}\otimes 1_{H T 1 G}\otimes \tau(x_{R 2},1_{H T 2})b_T\\ &\stackrel{(LB1)}{=} &a{x_{1}}^{G}\otimes 1_{H T 1 G}\otimes \tau(x_{2},1_{H T 2})b_T\\ &\stackrel{(RB1)}{=} &a{x_{1}}^{G}\otimes 1_{H G}\otimes \tau(x_{2},1_{H})b\\ &\stackrel{(LB3)}{=} &a\otimes x_1\otimes \tau(x_{2},1_{H})b\\ &\stackrel{(RTC2)}{=} &a\otimes x\otimes b. \end{aligned}
\begin{aligned} (1_A\otimes 1_H\otimes 1_B)(a\otimes x\otimes b) &=a_R{1_{H R 1}}^{G}\otimes x_{T 1 G}\otimes \tau(1_{H R 2},x_{T 2})1_{B T}b\\ &\stackrel{(LB1)}{=} &a{1_{H}}^{G}\otimes x_{T 1 G}\otimes \tau(1_{H},x_{T 2})1_{B T}b\\ &\stackrel{(RB1)}{=} &a{1_{H}}^{G}\otimes x_{1 G}\otimes \tau(1_{H},x_{2})b\\ &\stackrel{(LB3)}{=} &a\otimes x_{1}\otimes \tau(1_{H},x_{2})b\\ &\stackrel{(RTC2)}{=} &a\otimes x\otimes b. \end{aligned}

(\Longrightarrow) It is straightforward.

Remark

Remark 2.4

21RY

Taking either A=K or B=K, we obtain the right Brzeziński crossed product and left twisted crossed product, respectively.

Example

Example 2.5

X4RY

(1) (Two-sided twisted crossed product) Let H be a bialgebra and A, B two algebras. Let \sigma: H\otimes H\longrightarrow A, \tau: H\otimes H\longrightarrow B, R: H\otimes A\longrightarrow A\otimes H and T: B\otimes H \longrightarrow H\otimes B be linear maps such that Eqs.(LB1), (LB2), (RB1), (RB2), (LTC3), (RTC3) hold. Then A\#{_{R}^{\ \sigma} H^{\tau}_{T}}\# B (=A\otimes H\otimes B as vector space) is an associative algebra with unit 1_A\otimes 1_H\otimes {1_B} and multiplication

(a\otimes x\otimes b)(a'\otimes x' \otimes b')=a a'_{R}\sigma(x_{R1}, x'_{T1})\otimes x_{R2}x'_{T2}\otimes \tau(x_{R3}, x'_{T3})b_{T}b'

for all a, a'\in A, x, x'\in H and b, b'\in B if and only if the conditions (BT4) and

\begin{aligned} &(TC1)&\sigma(x_1, x'_1)a_{R}\otimes (x_2x'_2)_{R}\otimes \tau(x_3, x'_3)=a_{R r}\sigma(x_{r 1}, x'_{R 1})\otimes x_{r 2}x'_{R 2}\otimes \tau(x_{r 3}, x'_{R 3})\\ &(TC2)&\sigma(x_1, x'_1)\sigma(x_2x'_2, x''_{T 1})\otimes x_3x'_3x''_{T 2}\otimes \tau(x_4x'_4, x''_{T 3})\tau(x_5, x'_5)_{T}\\ &&~~~~~~~~=\sigma(x'_1, x''_1)_{R}\sigma(x_{R 1}, x'_2x''_2)\otimes x_{R 2}x'_3x''_3\otimes \tau(x_{R 3}, x'_4x''_4)\tau(x'_5, x''_5)\\ &(TC3)&\sigma(x_{T 1}, x'_{t 1})\otimes x_{T 2}x'_{t 2}\otimes \tau(x_{T 3}, x'_{t 3})b_{T t}=\sigma(x_{1}, x'_{1})\otimes (x_{2}x'_{2})_{T}\otimes b_{T}\tau(x_{3}, x'_{3}) \end{aligned}

are satisfied for all a\in A, x, x', x''\in H, b, b'\in B and R=r, T=t.

Proof.

Let G(x\otimes x')=\sigma (x_1, x'_1)\otimes x_2 x'_2 in Theorem 2.3.

(2) (Two-sided twisted product) Let H be a bialgebra and A, B two algebras. Let \sigma: H\otimes H\longrightarrow A, \tau: H\otimes H\longrightarrow B be linear maps and A\#^{\sigma} H left twisted product, H^{\tau}\# B right twisted product. Then A\#{^{\sigma} H^{\tau}}\# B (=A\otimes H\otimes B as vector space) is an associative algebra with unit 1_A\otimes 1_H\otimes {1_B} and multiplication

(a\otimes x\otimes b)(a'\otimes x' \otimes b')=a a'\sigma(x_{1}, x'_{1})\otimes x_{2}x'_{2}\otimes \tau(x_{3}, x'_{3})b b'

for all a, a'\in A, x, x'\in H and b, b'\in B.

Proof.

Let R and T be trivial in A\#{_{R}^{\ \sigma} H^{\tau}_{T}}\# B. And the rest is straightforward.

(3) (Two-sided twisted tensor product) Let H, A, B be three algebras. Let R: H\otimes A\longrightarrow A\otimes H, T: B\otimes H \longrightarrow H\otimes B be linear maps and A\#_{R} H left twisted tensor product, H_{T}\# B right twisted tensor product. Then A\#{_{R} H_{T}}\# B (=A\otimes H\otimes B as vector space) is an associative algebra with unit 1_A\otimes 1_H\otimes {1_B} and multiplication

(a\otimes x\otimes b)(a'\otimes x' \otimes b')=a a'_{R}\otimes x_{R}x'_{T}\otimes b_{T}b'

for all a, a'\in A, x, x'\in H and b, b'\in B if and only if Eq.(BT4) holds.

Proof.

We only prove the necessity of (BT4) as follows. And the rest is straightforward by letting \sigma and \tau be trivial in A\#{_{R}^{\ \sigma} H^{\tau}_{T}}\# B. By the associativity in A\#{_{R} H_{T}}\# B, we can get

\begin{aligned} a a'_{R}a''_{r}\otimes (x_{R} x'_{T})_ r x''_{t}\otimes (b_{T}b')_{t}b''=a (a'a''_{R})_{r}\otimes x_{r}(x'_{R}x''_{T})_t\otimes b_{t}b'_{T}b''. \end{aligned}

Let a=a'=1_A, b'=b''=1_B and x'=x''=1_H in the above equation. Then we obtain (BT4).

(4) (Two-sided crossed product) ([MLL]) Let H be a bialgebra with a left weak action \triangleright on the algebra A and a right weak action \triangleleft on the algebra B. Let \sigma: H\otimes H\rightarrow A and \tau: H\otimes H\rightarrow B be linear maps and A\#_{\triangleright}^{\sigma} H left crossed product, H^{\tau}_{\triangleleft}\# B right crossed product. Then A\#{_{\triangleright}^{\sigma} H^{\tau}_{\triangleleft}}\# B (=A\otimes H\otimes B as vector space) is an associative algebra with unit 1_A\otimes 1_H\otimes {1_B} and multiplication

(a\otimes x\otimes b)(a'\otimes x' \otimes b')=a(x_1\triangleright a')\sigma(x_2, x'_1)\otimes x_3x'_2\otimes \tau(x_4,x'_3)(b\triangleleft x'_4)b'

for all a, a'\in A, x, x'\in H and b, b'\in B.

Proof of Example 2.5

The result can be proved by letting R(a\otimes x)=x_1\triangleright a\otimes x_2 and T(b\otimes x)=x_1\otimes b\triangleleft x_2 in Example 2.5 (1).

Proof

Proof

NCYD

Let R and T be trivial in A\#{_{R}^{\ \sigma} H^{\tau}_{T}}\# B. And the rest is straightforward.

Proof

Proof

MR5L

We only prove the necessity of (BT4) as follows. And the rest is straightforward by letting \sigma and \tau be trivial in A\#{_{R}^{\ \sigma} H^{\tau}_{T}}\# B. By the associativity in A\#{_{R} H_{T}}\# B, we can get

\begin{aligned} a a'_{R}a''_{r}\otimes (x_{R} x'_{T})_ r x''_{t}\otimes (b_{T}b')_{t}b''=a (a'a''_{R})_{r}\otimes x_{r}(x'_{R}x''_{T})_t\otimes b_{t}b'_{T}b''. \end{aligned}

Let a=a'=1_A, b'=b''=1_B and x'=x''=1_H in the above equation. Then we obtain (BT4).

Remark

Remark 2.6

393M

(1) When \sigma and \tau are trivial in A\#{_{\triangleright}^{\sigma} H^{\tau}_{\triangleleft}}\# B, we can obtain the two-sided smash product A\# H\# B in [Ma99, Ma97].

(2) Two-sided twisted tensor product A\#{_{R} H_{T}}\# B in Example 2.5 (3) is exactly the iterated twisted tensor product in [MLPVO, Theorem 2.1] with the map B\otimes A\longrightarrow A\otimes B trivial. In this case, Eq.(BT4) is exactly [MLPVO, Eq.(2.1)]. We note that Eq.(2.1) in [MLPVO, Theorem 2.1] is only a sufficient condition for A\#{_{R} H_{T}}\# B to be an associative algebra. Here Eq.(BT4) is also necessary.

(3) Two-sided twisted tensor product A\#{_{R} H_{T}}\# B in Example 2.5 (3) can be seen as the iterated crossed product in [Pa14, Theorem 2.3] with the structure maps Q: B\otimes A\longrightarrow A\otimes H\otimes B, b\otimes a\mapsto a\otimes 1_H\otimes b, \upsilon: A\otimes A\longrightarrow A\otimes H, a\otimes a'\mapsto a a'\otimes 1_H and \sigma: B\otimes B\longrightarrow H\otimes B, b\otimes b'\mapsto 1_H\otimes b b'. In this case, Eq.(BT4) is exactly [Pa14, Eq.(2.9)] and [Pa14, Eqs.(2.10) and (2.11)] hold automatically. Eq.(2.9) in [Pa14, Theorem 2.3] is just one sufficient condition for A\#{_{R} H_{T}}\# B to be an associative algebra.

Theorem

Theorem 2.7

1SRM

Let A, B be bialgebras and H a coalgebra with an element 1_H such that \Delta(1_H)=1_H\otimes 1_H. Let G: H\otimes H \longrightarrow A\otimes H, R: H\otimes A \longrightarrow A\otimes H, T: B\otimes H \longrightarrow H\otimes B and \tau: H\otimes H \longrightarrow B be linear maps such that \varepsilon_B(\tau(x,x'))=\varepsilon_H(x)\varepsilon_H(x'). Then A\#{_{R}^{G} H^{\tau}_{T}}\# B equipped with the two-sided tensor product coalgebra A\otimes H\otimes B becomes a bialgebra if and only if the following conditions hold:

\begin{aligned} &(G1)& \varepsilon_{A}(x^{G})\varepsilon_{H}({x'}_{G})=\varepsilon_{H}(x)\varepsilon_{H}(x');\\ &(G2)&\varepsilon_{A}(a_{R})\varepsilon_{H}(x_{R})=\varepsilon_{A}(a)\varepsilon_{H}(x); \varepsilon_{B}(b_{T})\varepsilon_{H}(x_{T})=\varepsilon_{B}(b)\varepsilon_{H}(x);\\ &(G3)& {a}_{R1}\otimes x_{R1}\otimes {a}_{R2}\otimes x_{R2}={a}_{1R}\otimes x_{1R}\otimes {a}_{2r}\otimes x_{2r};\\ &(G4)& x_{T 1}\otimes b_{T 1}\otimes x_{T 2}\otimes b_{T 2}=x_{1 T}\otimes b_{1 T}\otimes x_{2 t}\otimes b_{2 t};\\ &(G5)& {{x_{1}}^{G}}_{1}\otimes x'_{1 G 1}\otimes {\tau(x_{2},x'_{2})}_{1}\otimes {{x_{1}}^{G}}_{2}\otimes x'_{1 G 2}\otimes {\tau(x_{2},x'_{2})}_{2}\\ &&~~~~~~~={x_{1}}^{G}\otimes x'_{1 G}\otimes \tau(x_{2},x'_{2})\otimes {x_{3}}^{g}\otimes x'_{3 g}\otimes \tau(x_{4},x'_{4}), \end{aligned}

where a \in A, x, x'\in H and b \in B. In this case, we call this bialgebra Brzeziński’s two-sided crossed product bialgebra and denoted by A\star {_{R}^{G} H^{\tau}_{T}}\star B.

Proof of Theorem 2.7

(\Longleftarrow) First by Eqs.(G1) and (G2), we can show that \varepsilon_{A\otimes H\otimes B} is an algebra map. Next, we check that \Delta_{A\otimes H\otimes B} is an algebra map. In fact, for all a, a'\in A, x, x'\in H and b, b'\in B, we have

\begin{aligned} &&\Delta_{A\otimes H\otimes B}((a\otimes x\otimes b)(a'\otimes x'\otimes b'))\\ &=\Delta_{A\otimes H\otimes B}(aa'_{R}{x_{R 1}}^{G}\otimes x'_{T 1 G}\otimes \tau(x_{R2},x'_{T2})b_{T}b')\\ &= a_{1}a'_{R 1}{{x_{R 1}}^{G}}_{1}\otimes x'_{T 1 G 1}\otimes {\tau(x_{R 2},x'_{T 2})}_{1}b_{T 1}b'_{1}\otimes a_{2}a'_{R 2}{{x_{R 1}}^{G}}_{2}\otimes x'_{T 1 G 2}\otimes {\tau(x_{R 2},x'_{T 2})}_{2}b_{T 2}b'_{2}\\ &\stackrel{(G5)}{=}& a_{1}a'_{R 1}{x_{R 1 1}}^{G}\otimes x'_{T 1 1 G }\otimes \tau(x_{R 1 2},x'_{T 1 2})b_{T 1}b'_{1}\otimes a_{2}a'_{R 2}{x_{R 2 1}}^{g}\otimes x'_{T 2 1 g}\otimes \tau(x_{R 2 2},x'_{T 2 2})b_{T 2}b'_{2}\\ &\stackrel{(G3)}{=}& a_{1}a'_{1 R}{x_{1 R 1}}^{G}\otimes x'_{T 1 1 G }\otimes \tau(x_{1 R 2},x'_{T 1 2})b_{T 1}b'_{1}\otimes a_{2}a'_{2 r}{x_{2 r 1}}^{g}\otimes x'_{T 2 1 g}\otimes \tau(x_{2 r 2},x'_{T 2 2})b_{T 2}b'_{2}\\ &\stackrel{(G4)}{=}& a_{1}a'_{1 R}{x_{1 R 1}}^{G}\otimes x'_{1 T 1 G }\otimes \tau(x_{1 R 2},x'_{1 T 2})b_{1 T}b'_{1}\otimes a_{2}a'_{2 r}{x_{2 r 1}}^{g}\otimes x'_{2 t 1 g}\otimes \tau(x_{2 r 2},x'_{2 t 2})b_{2 t}b'_{2}\\ &=\Delta_{A\otimes H\otimes B}(a\otimes x\otimes b)\Delta_{A\otimes H\otimes B}(a'\otimes x'\otimes b') \end{aligned}

and

\begin{aligned} \Delta_{A\otimes H\otimes B}(1_A\otimes 1_H\otimes 1_B) &=1_{A 1}\otimes 1_{H 1}\otimes 1_{B 1}\otimes 1_{A 2}\otimes 1_{H 2}\otimes 1_{B 2}\\ &=1_{A}\otimes 1_{H}\otimes 1_{B}\otimes 1_{A}\otimes 1_{H}\otimes 1_{B}. \end{aligned}

(\Longrightarrow) Since \varepsilon_{A\times H\times B} is an algebra map, then we have

\begin{aligned} &(BA2)&~~ \varepsilon_{A}(aa'_{R}{x_{R 1}}^{G})\varepsilon_{H}(x'_{T 1 G})\varepsilon_{B}(\tau(x_{R2},x'_{T2})b_{T}b')=\varepsilon_{A}(a) \varepsilon_{H}(x)\varepsilon_{B}(b)\varepsilon_{A}(a')\varepsilon_{H}(x') \varepsilon_{B}(b'). \end{aligned}

Let a=a'=1_{A},b=b'=1_{B} in Eq.(BA2), we obtain (G1). Similarly, (G2) holds.

By \Delta((a\otimes x\otimes b)(a'\otimes x'\otimes b'))=\Delta(a\otimes x\otimes b)\Delta(a'\otimes x'\otimes b'), we have

\begin{aligned} &(BA3)&~~ (aa'_{R}{x_{R 1}}^{G})_{1}\otimes x'_{T 1 G 1}\otimes (\tau(x_{R2},x'_{T2})b_{T}b')_{1}\otimes (aa'_{R}{x_{R 1}}^{G})_{2}\otimes x'_{T 1 G 2}\otimes (\tau(x_{R2},x'_{T2})b_{T}b')_{2}\\ &&~~~~~~~=a_{1}a'_{1 R}{x_{1 R 1}}^{G}\otimes x'_{1 T 1 G }\otimes \tau(x_{1 R 2},x'_{1 T 2})b_{1 T}b'_{1}\otimes a_{2}a'_{2 r}{x_{2 r 1}}^{g}\otimes x'_{2 t 1 g}\otimes \tau(x_{2 r 2},x'_{2 t 2})b_{2 t}b'_{2}. \end{aligned}

Let a=1_{A},b=b'=1_{B},x'=1_{H} in Eq.(BA3), we have

\begin{aligned} &&(a'_{R}{x_{R 1}}^{G})_{1}\otimes 1_{H T 1 G 1}\otimes (\tau(x_{R 2},1_{H T 2})1_{B T})_{1}\otimes (a'_{R}{x_{R 1}}^{G})_{2}\otimes 1_{H T 1 G 2}\\ &&\otimes (\tau(x_{R 2},1_{H T 2})1_{B T})_{2}=a'_{1 R}{x_{1 R 1}}^{G}\otimes 1_{H T 1 G }\otimes \tau(x_{1 R 2},1_{H T 2})1_{B T}\\ &&\otimes a'_{2 r}{x_{2 r 1}}^{g}\otimes 1_{H t 1 g}\otimes \tau(x_{2 r 2},1_{H t 2})1_{B t}. \end{aligned}

Then we can obtain (G3) by (LB1), (LB3) and (RB1), (RTC2). Liewise, one has (G4) and (G5).

Definition

Definition 2.8

0JKO

Let A, B be two algebras, and H be a coalgebra with a distinguished element 1_H\in H. Let G:H\otimes H\longrightarrow A\otimes H , \tau:H\otimes H\longrightarrow B and S:H\longrightarrow H be linear maps. Then S is called a (G,\tau)-antipode of H if for all x\in H, the following conditions hold:

\begin{aligned} (I1)~~{S(x_1)_1}^{G}\otimes x_{2 G}\otimes \tau(S(x_1)_2,x_3)=1_A\otimes 1_H\otimes 1_B\varepsilon_H(x);\\ (I2)~~{x_1}^{G}\otimes S(x_3)_{1G}\otimes \tau(x_2,S(x_3)_2)=1_A\otimes 1_H\otimes 1_B\varepsilon_H(x). \end{aligned}

In this case, we call H a (G,\tau)-Hopf algebra.

Remark

Remark 2.9

5BZN

(1) Let G and \tau be trivial, i.e., x^G\otimes y_G=1_A\otimes xy and \tau(x, y)=1_B\varepsilon(x)v(y) hold for all x, y\in H. Then (I1) and (I2) can ensure that S is the antipode of H. Therefore in this case, the Hopf algebra H is a (G,\tau)-Hopf algebra. Remarks (2) Let \sigma: H\otimes H\longrightarrow A be linear map. When G(x, x')=\sigma(x_1, x'_1)\otimes x_2x'_2 in Definition 2.8, we call H a (\sigma,\tau)-Hopf algebra.

Proposition

Proposition 2.10

XC3X

Let A, B be two Hopf algebras with antipode S_A, S_B, H a coalgebra with an element 1_H such that \Delta(1_H)=1_H\otimes 1_H and S_H: H\longrightarrow H a linear map. Suppose that A\star {_{R}^{G} H^{\tau}_{T}}\star B is a Brzeziński’s two-sided crossed product bialgebra. Then A\star {_{R}^{G} H^{\tau}_{T}}\star B is a Hopf algebra with antipode \overline{S} defined by

\begin{aligned} \overline{S}(a\otimes x\otimes b)=(1_A\otimes 1_H\otimes S_B(b))(1_A\otimes S_H(x)\otimes 1_B)(S_A(a)\otimes 1_H\otimes 1_B) \end{aligned}

if and only if H is a (G,\tau)-Hopf algebra.

Used by Example 2.13
Proof of Proposition 2.10

(\Longleftarrow) For all a\in A, b\in B, x\in H, and R=r, T=t, we have

\begin{aligned} &&(\overline{S}\ast id_{A\star{_{R}^{\ \sigma} H^{\tau}_{T}}\star B})(a\otimes x\otimes b)\\ &=S_A(a_1)_Ra_{2 r}{S_H(x_1)_{T R r 1}}^{G}\otimes x_{2 t 1 G}\otimes \tau(S_H(x_1)_{T R r 2},x_{2 t 2})S_B(b_1)_{T t}b_2\\ &\stackrel{(LB2)}{=}& (S_A(a_1)a_2)_R{S_H(x_1)_{T R 1}}^{G}\otimes x_{2 t 1 G}\otimes \tau(S_H(x_1)_{T R 2},x_{2 t 2})S_B(b_1)_{T t}b_2\\ &\stackrel{(BT3)}{=}& {S_H(x_1)_1}^{G}\otimes x_{2 G T}\otimes S(b_1)_T\tau(S(x_1)_2,x_3)b_2\varepsilon(a)\\ &\stackrel{(I1)}{=}& 1_A\otimes 1_{H T}\otimes S(b_1)_Tb_2\varepsilon(a)\varepsilon(x)\\ &=1_A\otimes 1_{H}\otimes 1_B\varepsilon(a)\varepsilon(x)\varepsilon(b) \end{aligned}

and

\begin{aligned} &&(id_{A\star{_{R}^{\ \sigma} H^{\tau}_{T}}\star B}\ast \overline{S})(a\otimes x\otimes b)\\ &=a_1S_A(a_2)_{R r}{x_{1 r 1}}^{G}\otimes S_H(x_2)_{T R t 1 G}\otimes \tau(x_{1 r 2},S_H(x_2)_{T R t 2})b_{1 t}S_B(b_2)_T\\ &\stackrel{(BT4)}{=}& a_1S_A(a_2)_{R r}{x_{1 r 1}}^{G}\otimes S_H(x_2)_{R T t 1 G}\otimes \tau(x_{1 r 2},S_H(x_2)_{R T t 2})b_{1 t}S_B(b_2)_T\\ &\stackrel{(RB2)}{=}& a_1S_A(a_2)_{R r}{x_{1 r 1}}^{G}\otimes S_H(x_2)_{R T 1 G}\otimes \tau(x_{1 r 2},S_H(x_2)_{R T 2})(b_{1}S_B(b_2))_T\\ &=a_1S_A(a_2)_{R r}{x_{1 r 1}}^{G}\otimes S_H(x_2)_{R 1 G}\otimes \tau(x_{1 r 2},S_H(x_2)_{R 2})\varepsilon(b)\\ &\stackrel{(BT2)}{=}&a_1{x_1}^{G}S_A(a_2)_R\otimes S_H(x_3)_{1 G R}\otimes \tau(x_2,S_H(x_3)_2)\varepsilon(b)\\ &\stackrel{(I2)}{=}&a_1S_A(a_2)_R\otimes 1_{H R}\otimes1_B\varepsilon(x)\varepsilon(b)\\ &=1_A\otimes 1_{H}\otimes 1_B\varepsilon(a)\varepsilon(x)\varepsilon(b). \end{aligned}

Thus, \overline{S} is the antipode of A\#{_{R}^{\ \sigma} H^{\tau}_{T}}\# B.

(\Longrightarrow) Obvious.

Corollary

Corollary 2.11

T6W8

Let H, A, B be bialgebras. Let \sigma: H\otimes H \longrightarrow A\otimes H, R: H\otimes A \longrightarrow A\otimes H, T: B\otimes H \longrightarrow H\otimes B and \tau: H\otimes H \longrightarrow B be linear maps such that \varepsilon_B(\tau(x,x'))=\varepsilon_H(x)\varepsilon_H(x'). Then A\#{_{R}^{\sigma} H^{\tau}_{T}}\# B equipped with the two-sided tensor product coalgebra A\otimes H\otimes B becomes a bialgebra if and only if Eqs. (G2)-(G4) and the following conditions hold:

\begin{aligned} &(J1)& \varepsilon_{A}(\sigma(x, x'))=\varepsilon_{H}(x)\varepsilon_{H}(x');\\ &(J2)& {\sigma(x,x')}_{1}\otimes {\sigma(x,x')}_{2}={\sigma(x_{1},x'_{1})}\otimes \sigma(x_{2},x'_{2});\\ &(J3)& {\tau(x,x')}_{1}\otimes {\tau(x,x')}_{2}={\tau(x_{1},x'_{1})}\otimes \tau(x_{2},x'_{2});\\ &(J4)& {\tau(x_{1},x'_{1})}\otimes x_{2}x'_{2}={\tau(x_{2},x'_{2})}\otimes x_{1}x'_{1};\\ &(J5)& {\sigma(x_{1},x'_{1})}\otimes x_{2}x'_{2}={\sigma(x_{2},x'_{2})}\otimes x_{1}x'_{1}\\ &(J6)& \tau(x_{1},x'_{1})\otimes \sigma (x_{2},x'_{2}) =\tau(x_{2}, x'_{2})\otimes \sigma(x_{1},x'_{1}), \end{aligned}

where x, x'\in H. In this case, we call this bialgebra two-sided twisted crossed product bialgebra and denoted by A\star {_{R}^{\sigma} H^{\tau}_{T}}\star B. Furthermore, A\star {_{R}^{\sigma} H^{\tau}_{T}}\star B is a Hopf algebra with antipode Eq.(2.10) if and only if H is a (\sigma,\tau)-Hopf algebra.

Proof of Corollary 2.11

Note here Eqs.(J2)-(J6) are equivalent to Eq.(G5) for G(x, x')=\sigma(x_1, x'_1)\otimes x_2x'_2. The rest is obvious.

Corollary

Corollary 2.12

MHHA

Let H be a bialgebra. Let \sigma: H\otimes H\rightarrow A be a linear map, where A is a bialgebra with a left H-weak action such that \varepsilon_A(\sigma(x, x'))=\varepsilon_H(x)\varepsilon_H(x'). Let \tau: H\otimes H\rightarrow B be a linear map, where B is a bialgebra with a right H-weak action such that \varepsilon_B(1_B)=1, \varepsilon_B(\tau(x,x'))=\varepsilon_H(x)\varepsilon_H(x'). The two-sided crossed product A\#^{\sigma} H~^{\tau}\# B equipped with the two-sided tensor product coalgebra A\otimes H\otimes B becomes a bialgebra if and only if Eqs.(J2)-(J6), (D4), (F3), (F4) and the following condition holds:

\begin{aligned} &(P1) & x_{2} \otimes (x_{1}\triangleright a)=x_{1} \otimes (x_{2}\triangleright a),~~~ (b\triangleleft x_{2}) \otimes x_{1} =(b \triangleleft x_{1})\otimes x_{2}, \end{aligned}

where x\in H, a\in A. In this case, we call this bialgebra two-sided crossed product bialgebra and denoted by A\star {^{\sigma} H^{\tau}}\star B. Furthermore, A\star {^{\sigma} H^{\tau}}\star B is a Hopf algebra with antipode Eq.(2.10) if and only if H is a (\sigma,\tau)-Hopf algebra.

Used by Example 2.13
Proof of Corollary 2.12

It is straightforward by setting the left and right coactions are trivial in Theorem 3.2.

Uses Theorem 3.2
Example

Example 2.13

VSCB

Let H=KC_2=K\{1, a\} and A=B=KC_4=K\{1, x, x^2, x^3\} be group Hopf algebras ([Ra12]), where C_i is cyclic group with order i, i=2,4. Define the linear maps \triangleright: H\otimes A\longrightarrow A, \triangleleft: B\otimes H\longrightarrow B, \sigma: H\otimes H\longrightarrow A and \tau:H\otimes H\longrightarrow B by

\begin{aligned} &&1_H\triangleright 1_A=1_A,~1_H\triangleright x=x,~1_H\triangleright x^2=x^2,~1_H\triangleright x^3=x^3,\\ &&a\triangleright 1_A=1_A,~a\triangleright x=x^3,~a\triangleright x^2=x^2,~a\triangleright x^3=x; \end{aligned}
\begin{aligned} &&1_B\triangleleft 1_H=1_B,~x\triangleleft 1_H=x,~x^2\triangleleft 1_H=x^2,~x^3\triangleleft 1_H=x^3,\\ &&1_B\triangleleft a=1_B,~x\triangleleft a=x^3,~ x^2\triangleleft a=x^2,~ x^3\triangleleft a=x; \end{aligned}

and

\begin{aligned} &&\sigma(1_H, 1_H)=1_A,~\sigma(1_H, a)=1_A,~\sigma(a, 1_H)=1_A,~\sigma(a, a)=x;\\ &&\tau(1_H, 1_H)=1_A,~\tau(1_H, a)=1_A,~\tau(a, 1_H)=1_A,~\tau(a, a)=x, \end{aligned}

then by [AM08, Example 2.11], we know that \triangleright is a weak action of H on A and \triangleleft is a weak action of H on B. Thus we can get two-sided crossed product A\# {^{\sigma} H^{\tau}}\# B. Also by Corollary 2.12, two-sided crossed product A\#^{\sigma} H~^{\tau}\# B equipped with the two-sided tensor product coalgebra A\otimes H\otimes B becomes a bialgebra, since H and A, B are cocommucative. But unfortunately \bar{S} defined by Eq.(2.10) is not an antipode of A\star {^{\sigma} H^{\tau}}\star B, because Eq.(I1) doesn’t hold for a\in H.

Uses Corollary 2.12, Proposition 2.10
Lemma

Lemma 3.1

D1PT

([MLL]) Let H be a bialgebra. Let \sigma: H\otimes H\rightarrow A be a linear map, where A is a left H-comodule coalgebra such that \varepsilon_A(1_A)=1, \varepsilon_A(\sigma(x, x'))=\varepsilon_H(x)\varepsilon_H(x'), and an algebra with a left H-weak action. Let \tau: H\otimes H\rightarrow B be a linear map, where B is a right H-comodule coalgebra such that \varepsilon_B(1_B)=1, \varepsilon_B(\tau(x,x'))=\varepsilon_H(x)\varepsilon_H(x'), and an algebra with a right H-weak action. The two-sided crossed product A\#^{\sigma} H~^{\tau}\# B equipped with the two-sided smash coproduct A\times H\times B becomes a bialgebra if and only if the following conditions hold:

\begin{aligned} &(C1) & \varepsilon_{A},~\varepsilon_{B}\hbox{~are algebra maps};\\ &(C2)&\Delta_A(1_A)=1_A\otimes 1_A,~\Delta_B(1_B)=1_B\otimes 1_B;\\ &(C3) & {1_A}_{-1}\otimes {1_A}_{0}=1_H\otimes 1_A,~{1_B}_{[0]}\otimes {1_B}_{[1]}=1_B\otimes 1_H;\\ &(C4) & \varepsilon_{A}( x\triangleright a)=\varepsilon_{A}(a)\varepsilon_{H}(x),~\varepsilon_{B}(b\triangleleft x)=\varepsilon_{B}(b)\varepsilon_{H}(x);\\ &(C5) & a_{1}\otimes a_{2-1}x\otimes a_{20}=a_{1}\sigma (a_{2-11},x_{1})\otimes a_{2-12}x_{2}\otimes a_{20};\\ &(C6) & b_{1[0]}\otimes xb_{1[1]}\otimes b_{2}=b_{1[0]}\otimes x_{1}b_{1[1]}\otimes \tau(x_{2},b_{1[2]})b_{2};\\ &(C7) & (aa')_{1}\otimes (aa')_{2-1}\otimes (aa')_{20}\\ &&~~~~~~~ =a_{1}(a_{2-11}\triangleright a'_{1})\sigma(a_{2-12}, a'_{2-11})\otimes a_{2-13}a'_{2-12}\otimes a_{20}a'_{20};\\ &(C8) & (bb')_{1[0]}\otimes (bb')_{1[1]}\otimes (bb')_{2}=b_{1[0]}b'_{1[0]}\otimes b_{1[1]}b'_{1[1]}\otimes \tau(b_{1[2]},b'_{1[2]})(b_2\triangleleft b'_{1[3]})b'_{2};\\ &(C9) & \sigma (x_{1},x'_{1})_{1}\otimes \sigma (x_{1},x'_{1})_{2-1}x_{2}x'_{2}\otimes \sigma(x_{1},x'_{1})_{20}=\sigma (x_{1},x'_{1})\otimes x_{2}x'_{2}\otimes \sigma(x_{3},x'_{3});\\ &(C10) & \tau (x_{2},x'_{2})_{1[0]}\otimes x_{1}x'_{1}\tau (x_{2},x'_{2})_{1[1]}\otimes \tau(x_{2},x'_{2})_{2}=\tau (x_{1},x'_{1})\otimes x_{2}x'_{2}\otimes \tau(x_{3},x'_{3});\\ &(C11) & (x_{1}\triangleright a)_{1}\otimes ( x_{1}\triangleright a)_{2-1}x_{2}\otimes (x_{1}\triangleright a)_{20}\\ &&~~~~~~~=(x_{1}\triangleright a_{1})\sigma (x_{2},a_{2-11})\otimes x_{3}a_{2-12}\otimes x_{4}\triangleright a_{20};\\ &(C12) & (b\triangleleft x'_{2} )_{1[0]}\otimes x'_{1}(b\triangleleft x'_{2})_{1[1]}\otimes (b\triangleleft x'_{2})_{2}=b_{1[0]}\triangleleft x'_{1}\otimes b_{1[1]}x'_{2}\otimes \tau(b_{1[2]},x'_{3})(b_{2}\triangleleft x'_{4});\\ &(C13) & a_{-1}x_{1}a'_{-1}x'_{1}\otimes \tau(x_{4},x'_{3})(b_{[0]}\triangleleft x'_{4})b'_{[0]}\otimes a_{0}(x_{2}\triangleright a'_{0})\sigma (x_{3},x'_{2})\otimes x_{5}b_{[1]}x'_{5}b'_{[1]}\\ &&~~~~~~~=a_{-11}x_{1}a'_{-11}x'_{1}\otimes \tau(a_{-12}x_{2},a'_{-12}x'_{2})(b_{[0]}\triangleleft a'_{-13}x'_{3})b'_{[0]}\\ &&~~~ ~~~~~~~~~~~~~~~~~~\otimes a_{0}(x_{3}b_{[1]}\triangleright a'_{0})\sigma (x_{4}b_{[2]},x'_{4}b'_{[1]})\otimes x_{5}b_{[3]}x'_{5}b'_{[2]}. \end{aligned}

In this case, we call this bialgebra the double crossed biproduct denoted by A\star^{\sigma} H~{^{\tau}\star} B.

Used by Proof
Theorem

Theorem 3.2

88XF

Under the assumption of Lemma 3.1. The two-sided crossed product A\#^{\sigma} H~^{\tau}\# B equipped with the two-sided smash coproduct A\times H\times B becomes a bialgebra if and only if (C1)-(C6) and the following conditions hold:

\begin{aligned} &(D7) &(aa')_{1}\otimes (aa')_{2}=a_{1}(a_{2-11}\triangleright a'_{1})\sigma(a_{2-12},a'_{2-1})\otimes a_{20}a'_{20};\\ &(D8) & (aa')_{-1}\otimes (aa')_{0}=a_{-1}a'_{-1}\otimes a_{0}a'_{0};\\ &(D9) &(bb')_{1}\otimes (bb')_{2}=b_{1[0]}b'_{1[0]}\otimes \tau (b_{1[1]},b'_{1[1]})(b_{2}\triangleleft b'_{1[2]})b'_{2};\\ &(D10) &(bb')_{[0]}\otimes (bb')_{[1]}=b_{[0]}b'_{[0]}\otimes b_{[1]}b'_{[1]};\\ &(D11) &\sigma(x_{1},x'_{1})_{-1}x_{2}x'_{2}\otimes \sigma(x_{1},x'_{1})_{0}=x_{1}x'_{1}\otimes \sigma(x_{2},x'_{2});\\ &(D12) &\sigma(x,x')_{1}\otimes \sigma(x,x')_{2}=\sigma(x_{1},x'_{1})\otimes \sigma(x_{2},x'_{2});\\ &(D13) &\tau(x_{2},x'_{2})_{[0]}\otimes x_{1}x'_{1}\tau(x_{2},x'_{2})_{[1]}=\tau(x_{1},x'_{1})\otimes x_{2}x'_{2};\\ &(D14) &\tau(x,x')_{1}\otimes \tau(x,x')_{2}=\tau(x_{1},x'_{1})\otimes \tau(x_{2},x'_{2});\\ &(D15) &(x\triangleright a)_{1}\otimes (x\triangleright a)_{2}=(x_{1}\triangleright a_{1})\sigma(x_{2},a_{2-1})\otimes x_{3}\triangleright a_{20};\\ &(D16) &(x_{1}\triangleright a)_{-1}x_{2}\otimes (x_{1}\triangleright a)_{0}=x_{1}a_{-1}\otimes x_{2}\triangleright a_{0};\\ &(D17) &(b\triangleleft x_{2})_{[0]}\otimes x_{1}(b\triangleleft x_{2})_{[1]}=b_{[0]}\triangleleft x_{1}\otimes b_{[1]}x_{2};\\ &(D18) &(b\triangleleft x)_{1}\otimes (b\triangleleft x)_{2}=b_{1[0]}\triangleleft x_{1}\otimes \tau(b_{1[1]},x_{2})(b_{2}\triangleleft x_{3});\\ &(D19) &a_{-1}x\otimes 1_{B} \otimes a_{0}=a_{-11}x_{1}\otimes \tau (a_{-12},x_{2})\otimes a_{0} ;\\ &(D20) &b_{[0]}\otimes 1_{A}\otimes xb_{[1]}=b_{[0]}\otimes \sigma (x_{1},b_{[1]1})\otimes x_{2}b_{[1]2} ;\\ &(D21) &b_{[1]}\triangleright a_0\otimes b_{[0]}\triangleleft a_{-1}=a\otimes b ;\\ &(D22) &\tau(x_{3},x'_{2})(b\triangleleft x'_{3})b'\otimes a(x_{1}\triangleright a')\sigma (x_{2},x'_{1})\\ && =\tau(a_{-1}x_{1},a'_{-1}x'_{1})(b_{[0]} \triangleleft x'_{2})b'_{[0]}\otimes a_{0}(x_{2}\triangleright a'_{0})\sigma(x_{3}b_{[1]},x'_{3}b'_{[1]}) . \end{aligned}
Used by Proof, Proof, Proof, Proof, Proof, Question 4.1
Proof of Theorem 3.2

By Lemma 3.1, we only need to prove that the conditions (C7)-(C13) are equivalent to (D7)-(D22).

  1. Step 1. Firstly, apply id\otimes \varepsilon \otimes id to Eq.(C7), we can get Eq.(D7); apply \varepsilon \otimes id \otimes id to Eq.(C7), then Eq.(D8) holds. On the other hand, by Eqs.(D7) and (D8), we have

    \begin{aligned} (aa')_{1}\otimes (aa')_{2-1}\otimes (aa')_{20} &\stackrel{(D7)}{=} &a_{1}(a_{2-11}\triangleright a'_{1})\sigma (a_{2-12},a'_{2-1})\otimes (a_{20}a'_{20})_{-1}\otimes (a_{20}a'_{20})_{0}\\ &\stackrel{(D8)}{=} &a_{1}(a_{2-11}\triangleright a'_{1})\sigma (a_{2-12},a'_{2-1})\otimes a_{20-1}a'_{20-1}\otimes a_{200}a'_{200}\\ &=a_{1}(a_{2-11}\triangleright a'_{1})\sigma(a_{2-12},a'_{2-11})\otimes a_{2-13}a'_{2-12}\otimes a_{20}a'_{20}, \end{aligned}

    i.e., Eq.(C7) holds. Thus Eq.(C7) \Leftrightarrow Eqs.(D7) and (D8).

    Similarly, we can obtain that Eq.(C8) \Leftrightarrow Eqs.(D9) and (D10); Eq.(C9) \Leftrightarrow Eqs.(D11) and (D12); Eq.(C10) \Leftrightarrow Eqs.(D13) and (D14); Eq.(C11) \Leftrightarrow Eqs.(D15) and (D16); Eq.(C12) \Leftrightarrow Eqs.(D17) and (D18).

  2. Step 2. Secondly, let x=1, a'=1, b=b'=1 in Eq.(C13), we have

    \begin{aligned} a_{-1}x'_{1}\otimes 1_{B}\otimes a_{0}\otimes x'_{2}=a_{-11}x'_{1}\otimes \tau (a_{-12},x'_{2})\otimes a_{0}\otimes x'_{3} \end{aligned}

    Using id\otimes id\otimes id\otimes \varepsilon to Eq.(\ref{eq:c13-1}), one can get Eq.(D19). Applying \varepsilon\otimes id\otimes id to Eq.(D19), we have

    \begin{aligned} a\otimes 1_B\varepsilon(x)=a_{0}\otimes \tau(a_{-1}, x). \end{aligned}

    Set a=a'=1, b=1, x'=1 in Eq.(C13), we have

    \begin{aligned} x_{1}\otimes b'_{[0]}\otimes 1_{A}\otimes x_{2}b'_{[1]}=x_{1}\otimes b'_{[0]}\otimes \sigma(x_{2},b'_{[1]})\otimes x_{3}b'_{[2]} \end{aligned}

    Applying \varepsilon \otimes id\otimes id\otimes id to Eq.(\ref{eq:c13-2}), one can get Eq.(D20). Applying id\otimes id\otimes \varepsilon to Eq.(D20), we have

    \begin{aligned} b\otimes 1_A\varepsilon(x)=b_{[0]}\otimes \sigma(x, b_{[1]}). \end{aligned}

    Setting a=1, b'=1, x=x'=1 in Eq.(C13), we have

    \begin{aligned} a'_{-1}\otimes b_{[0]}\otimes a'_{0}\otimes b_{[1]}=a'_{-11}\otimes (b_{[0]}\triangleleft a'_{-12})\otimes (b_{[1]}\triangleright a'_{0})\otimes b_{[2]}. \end{aligned}

    Applying \varepsilon \otimes id\otimes id\otimes \varepsilon to Eq.(\ref{eq:c13-4}), we have Eq.(D21).

    Applying \varepsilon \otimes id\otimes id\otimes \varepsilon to Eq.(C13), we have

    \begin{aligned} &&\tau(x_{3},x'_{2})(b\triangleleft x'_{3})b'\otimes a(x_{1}\triangleright a')\sigma (x_{2},x'_{1})\\ &&~~~~=\tau(a_{-1}x_{1},a'_{-11}x'_{1})(b_{[0]}\triangleleft a'_{-12}x'_{2})b'_{[0]}\otimes a_{0}(x_{2}b_{[1]1}\triangleright a'_{0})\sigma (x_{3}b_{[1]2},x'_{3}b'_{[1]}) . \end{aligned}

    While

    \begin{aligned} \hbox{RHS~ of~Eq}.(\ref{eq:c13-3}) &\stackrel{(D19)(D20)}{=} &\tau(a_{-1}x_{1},a'_{-11}x'_{1})(b_{[0]}\triangleleft a'_{-12}x'_{2})\tau(a'_{-13},x'_{3})b'_{[0]}\\ &&\otimes a_{0}\sigma(x_{2},b_{[1]1})(x_{3}b_{[1]2}\triangleright a'_{0})\sigma (x_{4}b_{[1]3},x'_{4}b'_{[1]})\\ &\stackrel{(LC3)(RC3)}{=}&\tau(a_{-1}x_{1},a'_{-11}x'_{1})\tau(a'_{-12},x'_{2}) [(b_{[0]}\triangleleft a'_{-13})\triangleleft x'_{3}]b'_{[0]}\\ &&\otimes a_{0}(x_{2}\triangleright (b_{[1]1}\triangleright a'_{0}))\sigma(x_{3},b_{[1]2})\sigma (x_{4}b_{[1]3},x'_{4}b'_{[1]})\\ &\stackrel{ }{=}&\tau(a_{-1}x_{1},a'_{-11}x'_{1})\tau(a'_{-12},x'_{2}) ((b_{[0][0]}\triangleleft a'_{0-1})\triangleleft x'_{3})b'_{[0]}\\ &&\otimes a_{0}(x_{2}\triangleright (b_{[0][1]}\triangleright a'_{00}))\sigma(x_{3},b_{[1]1})\sigma (x_{4}b_{[1]2},x'_{4}b'_{[1]})\\ &\stackrel{(D21)}{=}&\tau(a_{-1}x_{1},a'_{-11}x'_{1})\tau(a'_{-12},x'_{2}) (b_{[0]}\triangleleft x'_{3})b'_{[0]}\\ &&\otimes a_{0}(x_{2}\triangleright a'_{0})\sigma(x_{3},b_{[1]1})\sigma (x_{4}b_{[1]2},x'_{4}b'_{[1]})\\ &\stackrel{(D19)(D20)}{=} &\tau(a_{-1}x_{1},a'_{-1}x'_{1})(b_{[0]}\triangleleft x'_{2})b'_{[0]} \otimes a_{0}(x_{2}\triangleright a'_{0})\sigma(x_{3}b_{[1]},x'_{3}b'_{[1]})\\ &=\hbox{RHS~ of~Eq}.(D22) \end{aligned}

    and LHS of Eq.(?) is exactly LHS of Eq.(D22), so we obtain Eq.(D22).

    On the other hand, we have

    \begin{aligned} \hbox{RHS~ of~Eq}.(C13) &\stackrel{(D20)}{=} &a_{-11}x_{1}a'_{-11}x'_{1}\otimes \tau (a_{-12}x_{2},a'_{-12}x'_{2})(b_{[0]}\triangleleft a'_{-13}x'_{3})b'_{[0]}\\ &&\otimes a_{0}\sigma (x_{3},b_{[1]1})(x_{4}b_{[1]2}\triangleright a'_{0})\sigma (x_{5}b_{[1]3},x'_{4}b'_{[1]1})\otimes x_{6}b_{[1]4}x'_{5}b'_{[1]2}\\ &\stackrel{(D19)}{=} &a_{-11}x_{1}a'_{-11}x'_{1}\otimes \tau (a_{-12}x_{2},a'_{-12}x'_{2})(b_{[0]}\triangleleft a'_{-13}x'_{3})\tau (a'_{-14},x'_{4})b'_{[0]}\\ &&\otimes a_{0}\sigma (x_{3},b_{[1]1})(x_{4}b_{[1]2}\triangleright a'_{0})\sigma (x_{5}b_{[1]3},x'_{5}b'_{[1]1})\otimes x_{6}b_{[1]4}x'_{6}b'_{[1]2}\\ &\stackrel{(LC3)(RC3)}{=} &a_{-11}x_{1}a'_{-11}x'_{1}\otimes \tau (a_{-12}x_{2},a'_{-12}x'_{2})\tau (a'_{-13},x'_{3})((b_{[0]}\triangleleft a'_{-14})\triangleleft x'_{4})b'_{[0]}\\ &&\otimes a_{0}(x_{3}\triangleright (b_{[1]1}\triangleright a'_{0}))\sigma (x_{4},b_{[1]2})\sigma (x_{5}b_{[1]3},x'_{5}b'_{[1]1})\otimes x_{6}b_{[1]4}x'_{6}b'_{[1]2}\\ &\stackrel{}{=} &a_{-11}x_{1}a'_{-11}x'_{1}\otimes \tau (a_{-12}x_{2},a'_{-12}x'_{2})\tau (a'_{-13},x'_{3})((b_{[0][0]}\triangleleft a'_{0-1})\triangleleft x'_{4})b'_{[0]}\\ &&\otimes a_{0}(x_{3}\triangleright (b_{[0][1]}\triangleright a'_{00}))\sigma (x_{4},b_{[1]1})\sigma (x_{5}b_{[1]2},x'_{5}b'_{[1]1})\otimes x_{6}b_{[1]3}x'_{6}b'_{[1]2}\\ &\stackrel{(D21)}{=} &a_{-11}x_{1}a'_{-11}x'_{1}\otimes \tau (a_{-12}x_{2},a'_{-12}x'_{2})\tau (a'_{-13},x'_{3})(b_{[0]}\triangleleft x'_{4})b'_{[0]}\\ &&\otimes a_{0}(x_{3}\triangleright a'_{0})\sigma (x_{4},b_{[1]1})\sigma (x_{5}b_{[1]2},x'_{5}b'_{[1]1})\otimes x_{6}b_{[1]3}x'_{6}b'_{[1]2}\\ &\stackrel{}{=} &a_{-11}x_{1}a'_{-11}x'_{1}\otimes \tau (a_{-12}x_{2},a'_{-12}x'_{2})\tau (a'_{0-1},x'_{3})(b_{[0][0]}\triangleleft x'_{4})b'_{[0]}\\ &&\otimes a_{0}(x_{3}\triangleright a'_{00})\sigma (x_{4},b_{[0][1]})\sigma (x_{5}b_{[1]1},x'_{5}b'_{[1]1})\otimes x_{6}b_{[1]2}x'_{6}b'_{[1]2}\\ &\stackrel{(\ref{eq:d19-1})(\ref{eq:d20-1})}{=} &a_{-11}x_{1}a'_{-11}x'_{1}\otimes \tau (a_{-12}x_{2},a'_{-12}x'_{2})(b_{[0]}\triangleleft x'_{3})b'_{[0]}\\ &&\otimes a_{0}(x_{3}\triangleright a'_{0})\sigma (x_{4}b_{[1]1},x'_{4}b'_{[1]1})\otimes x_{5}b_{[1]2}x'_{5}b'_{[1]2}\\ &\stackrel{}{=} &a_{-1}x_{1}a'_{-11}x'_{1}\otimes \tau (a_{0-1}x_{2},a'_{-12}x'_{2})(b_{[0]}\triangleleft x'_{3})b'_{[0][0]}\\ &&\otimes a_{00}(x_{3}\triangleright a'_{0})\sigma (x_{4}b_{[1]1},x'_{4}b'_{[0][1]})\otimes x_{5}b_{[1]2}x'_{5}b'_{[1]}\\ &\stackrel{}{=} &a_{-1}x_{1}a'_{-1}x'_{1}\otimes \tau (a_{0-1}x_{2},a'_{0-1}x'_{2})(b_{[0][0]}\triangleleft x'_{3})b'_{[0][0]}\\ &&\otimes a_{00}(x_{3}\triangleright a'_{00})\sigma (x_{4}b_{[0][1]},x'_{4}b'_{[0][1]})\otimes x_{5}b_{[1]}x'_{5}b'_{[1]}\\ &\stackrel{(D22)}{=}&\hbox{LHS~ of~Eq}.(C13). \end{aligned}

    Thus Eq.(C13) \Leftrightarrow Eqs.(D19)-(D22). These finish the proof.

Uses Lemma 3.1
Remark

Remark 3.3

NO3I

(1) Eq.(D21) is exactly Eq.(?) in the Majid’s double biproduct. Remarks (2) The first half parts in Eqs.(C1)-(C4) and Eqs.(D5), (D7), (D8), (D11), (D12), (D15), (D16) are the conditions A_1)-A_9) and twisted comodule cocycle in [WJZ, Theorem 2.5]. Remarks (3) The second half parts in Eqs.(C1)-(C4) and Eqs.(D6), (D9), (D10), (D13), (D14), (D17), (D18) are the conditions (G1)-(G9) in [MLL, Remark 2.3] and (C6) in [MLL, Theorem 2.1]. These are the necessary and sufficient conditions for the right crossed product H~^{\tau}\# B equipped with the right smash coproduct H\times B becomes a bialgebra.

Uses Definition 1.9 · Used by Question 4.1
Proposition

Proposition 3.4

W4HR

Let H be a bialgebra. Let \sigma: H\otimes H\rightarrow A be a linear map, where A is a left H-comodule coalgebra such that \varepsilon_A(1_A)=1, and an algebra with a left H-weak action. Let B be a right H-module algebra and also a comodule coalgebra such that \varepsilon_B(1_B)=1. The one-sided crossed product A\#^{\sigma} H\# B equipped with the two-sided smash coproduct A\times H\times B becomes a bialgebra if and only if Eqs.(C1)-(C5), (D7), (D8), (D10)-(D12), (D15)-(D17), (D20), (D21) and the following conditions hold:

\begin{aligned} &(E1) &(bb')_{1}\otimes (bb')_{2}=b_{1}b'_{1[0]}\otimes (b_{2}\triangleleft b'_{1[1]})b'_{2};\\ &(E2) &(b\triangleleft x)_{1}\otimes (b\triangleleft x)_{2}=(b_{1}\triangleleft x_{1})\otimes (b_{2}\triangleleft x_{2});\\ &(E3) &(b_{[0]}\triangleleft x'_{2})b'\otimes (x_{1}\triangleright a)\sigma (x_{2},x'_{1})=(b_{[0]}\triangleleft x'_{1})b'_{[0]}\otimes (x_{1}\triangleright a)\sigma(x_{2}b_{[1]},x'_{2}b'_{[1]}) . \end{aligned}
Proof of Proposition 3.4

Let \tau be trivial, i.e., \tau(x,y)=\varepsilon(x)\varepsilon(y)1_B in Theorem 3.2.

Uses Theorem 3.2
Remark

Remark 3.5

E01U

(1) By Eq.(D21), Eq.(?) in the Majid’s double biproduct is not only sufficient but also necessary. Remarks (2) The conditions in Proposition 3.4 are equivalent to the ones in [MJS, Theorem 3.2].

Proof.

By Eq.(D22), we have

\begin{aligned} (b_{[0]}\triangleleft x'_{1})b'_{[0]}\otimes a(x_{1}\triangleright a')\sigma(x_{2}b_{[1]},x'_{2}b'_{[1]})=(b\triangleleft x'_{2})b'\otimes a(x_{1}\triangleright a')\sigma(x_{2},x'_{1}). \end{aligned}

Setting a=1=a', b'=1 in Eq.(3.5), we have

\begin{aligned} (b_{[0]}\triangleleft x'_{1})\otimes \sigma (xb_{[1]},x'_{2})=(b\triangleleft x'_{2})\otimes \sigma(x,x'_{1}). \end{aligned}

Setting a=1=a', b=1 in Eq.(3.5), we get

\begin{aligned} b'_{[0]}\otimes \sigma (x,x'b'_{[1]})=b'\otimes \sigma(x,x'). \end{aligned}

On the other hand, we have

\begin{aligned} &&(b_{[0]}\triangleleft x'_{1})b'_{[0]}\otimes a(x_{1}\triangleright a')\sigma(x_{2}b_{[1]},x'_{2}b'_{[1]})\\ &\stackrel{(\ref{eq:d22-3})}{=} &(b_{[0]}\triangleleft x'_{1})b'\otimes a(x_{1}\triangleright a')\sigma(x_{2}b_{[1]},x'_{2})\\ &\stackrel{(\ref{eq:d22-2})}{=} &(b\triangleleft x'_{2})b'\otimes a(x_{1}\triangleright a')\sigma(x_{2},x'_{1}). \end{aligned}

Therefore Eq.(3.5)\Leftrightarrow Eqs.(3.5) and (3.5).

(\Longrightarrow) We only check that Eq.(C14) in [MJS, Theorem 3.2] holds. In fact, one can compute as follows.

\begin{aligned} \hbox{LHS~ of~Eq}.(C14) &\stackrel{ }{=}&(b_{[0]}\triangleleft x'_{2})b'_{[0]}\otimes (x_{1}\triangleright a')\sigma(x_{2},x'_{1})\otimes x_3b_{[1]}x'_3b'_{[1]}\\ &\stackrel{(\ref{eq:d22-2})}{=} &(b_{[0][0]}\triangleleft x'_{1})b'_{[0]}\otimes (x_{1}\triangleright a')\sigma(x_{2}b_{[0][1]},x'_{2})\otimes x_3b_{[1]}x'_3b'_{[1]}\\ &\stackrel{(\ref{eq:d22-3})}{=} &(b_{[0][0]}\triangleleft x'_{1})b'_{[0][0]}\otimes (x_{1}\triangleright a')\sigma(x_{2}b_{[0][1]},x'_{2}b'_{[0][1]})\otimes x_3b_{[1]}x'_3b'_{[1]}\\ &\stackrel{ }{=}&(b_{[0]}\triangleleft x'_{1})b'_{[0]}\otimes (x_{1}\triangleright a')\sigma(x_{2}b_{[1]1},x'_{2}b'_{[1]1})\otimes x_3b_{[1]2}x'_3b'_{[1]2}\\ &\stackrel{(\ref{eq:d20-1})}{=} &(b_{[0][0]}\triangleleft x'_{1})b'_{[0]}\otimes (x_{1}\triangleright a')\sigma(x_{2},b_{[0][1]})\sigma(x_{3}b_{[1]1},x'_{2}b'_{[1]1})\otimes x_4b_{[1]2}x'_3b'_{[1]2}\\ &\stackrel{ }{=} &(b_{[0]}\triangleleft x'_{1})b'_{[0]}\otimes (x_{1}\triangleright a')\sigma(x_{2},b_{[1]1})\sigma(x_{3}b_{[1]2},x'_{2}b'_{[1]1})\otimes x_4b_{[1]3}x'_3b'_{[1]2}\\ &\stackrel{(D21)}{=} &(b_{[0][0]}\triangleleft a'_{-1}x'_{1})b'_{[0]}\otimes [x_{1}\triangleright (b_{[0][1]}\triangleright a'_{0})]\sigma(x_{2},b_{[1]1})\sigma(x_{3}b_{[1]2},x'_{2}b'_{[1]1})\\ &&\otimes x_4b_{[1]3}x'_3b'_{[1]2}\\ &\stackrel{ }{=} &(b_{[0]}\triangleleft a'_{-1}x'_{1})b'_{[0]}\otimes [x_{1}\triangleright (b_{[1]1}\triangleright a'_{0})]\sigma(x_{2},b_{[1]2})\sigma(x_{3}b_{[1]3},x'_{2}b'_{[1]1})\\ &&\otimes x_4b_{[1]4}x'_3b'_{[1]2}\\ &\stackrel{(LC3)}{=} &(b_{[0]}\triangleleft a'_{-1}x'_{1})b'_{[0]}\otimes \sigma(x_{1},b_{[1]1})(x_{2}b_{[1]2}\triangleright a'_{0})\sigma(x_{3}b_{[1]3},x'_{2}b'_{[1]1})\\ &&\otimes x_4b_{[1]4}x'_3b'_{[1]2}\\ &\stackrel{(D20)}{=} &(b_{[0]}\triangleleft a'_{-1}x'_{1})b'_{[0]}\otimes (x_{1}b_{[1]1}\triangleright a'_{0})\sigma(x_{2}b_{[1]2},x'_{2}b'_{[1]1})\otimes x_3b_{[1]3}x'_3b'_{[1]2}\\ &=\hbox{RHS~ of~Eq}.(C14) \end{aligned}

(\Longleftarrow) Let b=1, a'=1, x'=1 in Eq.(C14), then we can get Eq.(D20); Applying id\otimes id\otimes \varepsilon to Eq.(C14), one can obtain

\begin{aligned} (b\triangleleft x'_{2})b'\otimes (x_{1}\triangleright a')\sigma(x_{2},x'_{1})=(b_{[0]}\triangleleft a'_{-1}x'_{1})b'_{[0]}\otimes (x_{1}b_{[1]1}\triangleright a'_{0})\sigma(x_{2}b_{[1]2},x'_{2}b'_{[1]}). \end{aligned}

Let a'=1, b'=1 in Eq.(3.5), we get Eq.(3.5). Likewise, we can obtain Eqs.(3.5) and (D21).

Up to now, we have checked that Eqs.(D20), (D21), (E3) \Leftrightarrow Eq.(C14) in [MJS, Theorem 3.2]. And the rest is obvious.

Uses Definition 1.9
Proof

Proof

UPDN

By Eq.(D22), we have

\begin{aligned} (b_{[0]}\triangleleft x'_{1})b'_{[0]}\otimes a(x_{1}\triangleright a')\sigma(x_{2}b_{[1]},x'_{2}b'_{[1]})=(b\triangleleft x'_{2})b'\otimes a(x_{1}\triangleright a')\sigma(x_{2},x'_{1}). \end{aligned}

Setting a=1=a', b'=1 in Eq.(3.5), we have

\begin{aligned} (b_{[0]}\triangleleft x'_{1})\otimes \sigma (xb_{[1]},x'_{2})=(b\triangleleft x'_{2})\otimes \sigma(x,x'_{1}). \end{aligned}

Setting a=1=a', b=1 in Eq.(3.5), we get

\begin{aligned} b'_{[0]}\otimes \sigma (x,x'b'_{[1]})=b'\otimes \sigma(x,x'). \end{aligned}

On the other hand, we have

\begin{aligned} &&(b_{[0]}\triangleleft x'_{1})b'_{[0]}\otimes a(x_{1}\triangleright a')\sigma(x_{2}b_{[1]},x'_{2}b'_{[1]})\\ &\stackrel{(\ref{eq:d22-3})}{=} &(b_{[0]}\triangleleft x'_{1})b'\otimes a(x_{1}\triangleright a')\sigma(x_{2}b_{[1]},x'_{2})\\ &\stackrel{(\ref{eq:d22-2})}{=} &(b\triangleleft x'_{2})b'\otimes a(x_{1}\triangleright a')\sigma(x_{2},x'_{1}). \end{aligned}

Therefore Eq.(3.5)\Leftrightarrow Eqs.(3.5) and (3.5).

(\Longrightarrow) We only check that Eq.(C14) in [MJS, Theorem 3.2] holds. In fact, one can compute as follows.

\begin{aligned} \hbox{LHS~ of~Eq}.(C14) &\stackrel{ }{=}&(b_{[0]}\triangleleft x'_{2})b'_{[0]}\otimes (x_{1}\triangleright a')\sigma(x_{2},x'_{1})\otimes x_3b_{[1]}x'_3b'_{[1]}\\ &\stackrel{(\ref{eq:d22-2})}{=} &(b_{[0][0]}\triangleleft x'_{1})b'_{[0]}\otimes (x_{1}\triangleright a')\sigma(x_{2}b_{[0][1]},x'_{2})\otimes x_3b_{[1]}x'_3b'_{[1]}\\ &\stackrel{(\ref{eq:d22-3})}{=} &(b_{[0][0]}\triangleleft x'_{1})b'_{[0][0]}\otimes (x_{1}\triangleright a')\sigma(x_{2}b_{[0][1]},x'_{2}b'_{[0][1]})\otimes x_3b_{[1]}x'_3b'_{[1]}\\ &\stackrel{ }{=}&(b_{[0]}\triangleleft x'_{1})b'_{[0]}\otimes (x_{1}\triangleright a')\sigma(x_{2}b_{[1]1},x'_{2}b'_{[1]1})\otimes x_3b_{[1]2}x'_3b'_{[1]2}\\ &\stackrel{(\ref{eq:d20-1})}{=} &(b_{[0][0]}\triangleleft x'_{1})b'_{[0]}\otimes (x_{1}\triangleright a')\sigma(x_{2},b_{[0][1]})\sigma(x_{3}b_{[1]1},x'_{2}b'_{[1]1})\otimes x_4b_{[1]2}x'_3b'_{[1]2}\\ &\stackrel{ }{=} &(b_{[0]}\triangleleft x'_{1})b'_{[0]}\otimes (x_{1}\triangleright a')\sigma(x_{2},b_{[1]1})\sigma(x_{3}b_{[1]2},x'_{2}b'_{[1]1})\otimes x_4b_{[1]3}x'_3b'_{[1]2}\\ &\stackrel{(D21)}{=} &(b_{[0][0]}\triangleleft a'_{-1}x'_{1})b'_{[0]}\otimes [x_{1}\triangleright (b_{[0][1]}\triangleright a'_{0})]\sigma(x_{2},b_{[1]1})\sigma(x_{3}b_{[1]2},x'_{2}b'_{[1]1})\\ &&\otimes x_4b_{[1]3}x'_3b'_{[1]2}\\ &\stackrel{ }{=} &(b_{[0]}\triangleleft a'_{-1}x'_{1})b'_{[0]}\otimes [x_{1}\triangleright (b_{[1]1}\triangleright a'_{0})]\sigma(x_{2},b_{[1]2})\sigma(x_{3}b_{[1]3},x'_{2}b'_{[1]1})\\ &&\otimes x_4b_{[1]4}x'_3b'_{[1]2}\\ &\stackrel{(LC3)}{=} &(b_{[0]}\triangleleft a'_{-1}x'_{1})b'_{[0]}\otimes \sigma(x_{1},b_{[1]1})(x_{2}b_{[1]2}\triangleright a'_{0})\sigma(x_{3}b_{[1]3},x'_{2}b'_{[1]1})\\ &&\otimes x_4b_{[1]4}x'_3b'_{[1]2}\\ &\stackrel{(D20)}{=} &(b_{[0]}\triangleleft a'_{-1}x'_{1})b'_{[0]}\otimes (x_{1}b_{[1]1}\triangleright a'_{0})\sigma(x_{2}b_{[1]2},x'_{2}b'_{[1]1})\otimes x_3b_{[1]3}x'_3b'_{[1]2}\\ &=\hbox{RHS~ of~Eq}.(C14) \end{aligned}

(\Longleftarrow) Let b=1, a'=1, x'=1 in Eq.(C14), then we can get Eq.(D20); Applying id\otimes id\otimes \varepsilon to Eq.(C14), one can obtain

\begin{aligned} (b\triangleleft x'_{2})b'\otimes (x_{1}\triangleright a')\sigma(x_{2},x'_{1})=(b_{[0]}\triangleleft a'_{-1}x'_{1})b'_{[0]}\otimes (x_{1}b_{[1]1}\triangleright a'_{0})\sigma(x_{2}b_{[1]2},x'_{2}b'_{[1]}). \end{aligned}

Let a'=1, b'=1 in Eq.(3.5), we get Eq.(3.5). Likewise, we can obtain Eqs.(3.5) and (D21).

Up to now, we have checked that Eqs.(D20), (D21), (E3) \Leftrightarrow Eq.(C14) in [MJS, Theorem 3.2]. And the rest is obvious.

Uses Proof
Corollary

Corollary 3.6

20SI

Let H be a bialgebra. Let A be a left H-comodule coalgebra such that \varepsilon_A(1_A)=1, and an algebra with a left H-action \triangleright. Let B be a right H-comodule coalgebra such that \varepsilon_B(1_B)=1, and an algebra with a right H-action \triangleleft. The two-sided smash product A\# H\# B equipped with the two-sided smash coproduct A\times H\times B becomes a bialgebra if and only if Eqs.(C1)-(C4), (D8),(D10),(D16),(D17),(D21) and the following conditions hold:

\begin{aligned} &(F1) &(aa')_{1}\otimes (aa')_{2}=a_{1}(a_{2-1}\triangleright a'_{1})\otimes a_{20}a'_{2};\\ &(F2) &(bb')_{1}\otimes (bb')_{2}=b_{1}b'_{1[0]}\otimes (b_{2}\triangleleft b'_{1[1]})b'_{2};\\ &(F3) &(x\triangleright a)_{1}\otimes (x\triangleright a)_{2}=(x_{1}\triangleright a_{1})\otimes (x_{2}\triangleright a_{2});\\ &(F4) &(b\triangleleft x)_{1}\otimes (b\triangleleft x)_{2}=(b_{1}\triangleleft x_{1})\otimes (b_{2}\triangleleft x_{2}). \end{aligned}
Proof of Corollary 3.6

Let \sigma and \tau be trivial, i.e., \sigma(x,y)=\varepsilon(x)\varepsilon(y)1_A and \tau(x,y)=\varepsilon(x)\varepsilon(y)1_B in Theorem 3.2.

Uses Theorem 3.2
Remark

Remark 3.7

1AE8

(1) By Eq.(D21), Eq.(?) in the Majid’s double biproduct is not only sufficient but also necessary. Remarks (2) The first half parts in Eqs.(C1)-(C4) and Eqs.(F1), (D8),(F3), (D16) and the assumption of left module algebra and left comodule coalgebra are equivalent to A is a bialgebra in {}^H_H{\mathbb{YD}}. Similarly, the second half parts in Eqs.(C1)-(C4) and Eqs.(F2), (D10), (D17), (F4) and the assumption of right module algebra and right comodule coalgebra are equivalent to B is a bialgebra in {\mathbb{YD}}{}^H_H.

Uses Definition 1.9
Corollary

Corollary 3.8

X4J3

([WJZ]) Let H be a bialgebra. Let \sigma: H\otimes H\rightarrow A be a linear map, where A is a left H-comodule coalgebra, and an algebra with a left H-weak action. The left crossed product A\#^{\sigma} H equipped with the left smash coproduct A\times H becomes a bialgebra if and only if the first half parts in Eqs.(C1)-(C4) and Eqs.(D5), (D7), (D8), (D11), (D12), (D15), (D16) hold.

Proof of Corollary 3.8

Let B=K in Theorem 3.2.

Uses Theorem 3.2
Remark

Remark 3.9

CLEJ

(1) Note that condition (D5) is exactly the condition of the twisted comodule cocycle in [WJZ]. Although this condition is the only prerequisite for the bialgebra A\star^\sigma H in [WJZ], here it is just one of the necessary conditions. Remarks (2) The conditions in Corollary 3.8 are simpler than the ones in [MJS, Corollary 3.3], but obvious they are equivalent.

Corollary

Corollary 3.10

HKLN

Let H be a bialgebra. Let \tau: H\otimes H\rightarrow B be a linear map, where B is a right H-comodule coalgebra, and an algebra with a right H-weak action. The right crossed product H~^{\tau}\# B equipped with the right smash coproduct H\times B becomes a bialgebra if and only if the second half parts in Eqs.(C1)-(C4) and Eqs.(D6), (D9), (D10), (D13), (D14), (D17), (D18) hold. In this case, we denote this bialgebra by H~^\tau\star B.

Proof of Corollary 3.10

Let A=K in Theorem 3.2.

Uses Theorem 3.2
Remark

Remark 3.11

X4CG

The conditions in Corollary 3.10 are simpler than the ones in [MLL, Proposition 2.2], but obvious they are equivalent.

Question

Question 4.1

7P27

Majid realized a categorical interpretation of Radford’s biproduct ([Maj1, Maj2]): A\star H is a Radford’s biproduct if and only if A is a bialgebra in the Yetter-Drinfel’d category {}^H_H{\mathbb{YD}}. This ensure that A\star H can play a central role in the classification of finite-dimensional pointed Hopf algebras. By Theorem 3.2 and Remark 3.3, we know that the first half parts in Eqs.(C1)-(C4) and Eqs.(D5), (D7), (D8), (D11), (D12), (D15), (D16) are the necessary and sufficient conditions for A\star^\sigma H to be bialgebra. These conditions correspond to the conditions for Radford’s biproduct one by one given in [Ra]. Here we note that Eq.(D16) is compatible condition for Yetter-Drinfeld module. Then whether there exists an appropriate category {}^H_H{\mathbb{YD}}^\sigma such that the conditions above for A\star^\sigma H hold if and only if A is a bialgebra in the category {}^H_H{\mathbb{YD}}^\sigma.

Uses Theorem 3.2, Remark 3.3
Question

Question 4.2

3DTU

In Theorem 3.2, we give the necessary and sufficient conditions for the two-sided crossed product A\#^{\sigma} H~^{\tau}\# B equipped with the two-sided smash coproduct A\times H\times B becomes a bialgebra. In Theorem 2.3, a more general two-sided crossed product algebra A\#{_{R}^{G} H^{\tau}_{T}}\# B is constructed. Replaced A\#^{\sigma} H~^{\tau}\# B by A\#{_{R}^{G} H^{\tau}_{T}}\# B, what are the new conditions for the new bialgebra?

Question

Question 4.3

VEJM

In Theorem 3.2, we only obtain the bialgebra structure A\star^{\sigma} H~{^{\tau}\star} B. It is natural to ask when A\star^{\sigma} H~{^{\tau}\star} B is a Hopf algebra, i.e., how to construct the antipode for A\star^{\sigma} H~{^{\tau}\star} B. Although we provide the antipode in Proposition 2.10 for A\star {_{R}^{F} H^{\tau}_{T}}\star B, unfortunately, the coalgebra structure of A\star {_{R}^{F} H^{\tau}_{T}}\star B is just the two-sided tensor product coalgebra. Recently, the authors in [SW] give the antipode for a class of Majid’s double biproduct by (co)triangular Hopf quasigroups.

Uses Definition 1.9

Source and licence

The text on this page is from arXiv:2205.06433v1 by Tianshui Ma, Jie Li, Haiyan Yang and Shuanhong Wang, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/2205/2205.06433.jsonl.