Ore extensions of Hopf coquasigroups. (Q2341989)

Let \(k\) be a field and \(A\) a unital associative algebra. Then \(A\) is called a Hopf coquasigroup if there exist algebra homomorphisms \(\Delta\colon A\to A\otimes A\) and \(\varepsilon\colon A\to k\) and a linear map \(S\colon A\to A\) such that \[ (m\otimes id)(S\otimes id\otimes id)(id\otimes\Delta)\Delta=1\otimes id=(m\otimes id)(id\otimes S\otimes id)(id\otimes\Delta)\Delta, \] and \[ (id\otimes m)(id\otimes id\otimes S)(\Delta\otimes id)\Delta=id\otimes 1=(id\otimes m)(id\otimes S\otimes id)(\Delta\otimes id)\Delta. \] Let \(\alpha\) be an algebra endomorphism of \(A\). A linear endomorphism \(\delta\) of \(A\) is called an \(\alpha\)-derivation of \(A\) if \(\delta(ab)=\delta(a)b+\alpha(a)\delta(b)\) for all \(a,b\in A\). The Ore extension \(H=A[y;\alpha,\delta]\) of \(A\) is a \(k\)-algebra generated by \(A\) with the relation \(ya=\alpha(a)y+\delta(a)\) for all \(a\in A\). Let \(A\) and \(H\) be Hopf coquasigroups over \(k\). The Hopf coquasigroup \(H\) is called the Hopf coquasigroup-Ore extension of \(A\) denoted by HCQ-Ore if \(\Delta(y)=y\otimes r_1+r_2\otimes y\) for some \(r_1,r_2\in A\). In particular, when \(r_1\) and \(r_2\) are group-like elements in \(A\), \(\Delta(y)=y\otimes 1+r\otimes y\) for some group-like element \(r\in A\) and \(Ad_r(a)=raS(r)=rar^{-1}\). The authors show an equivalent condition for an HCQ-Ore extension \(H\): Let \(A\) be a Hopf coquasigroup. Then the Hopf coquasigroup \(H\) is an HCQ-Ore extension if and only if (1) there is a character \(\chi\colon A\to k\) such that \(\alpha(a)=\chi(a_{(1)})a_{(2)}\) for any \(a\in A\); (2) \(\chi(a_{(1)})a_{(2)(1)}\otimes a_{(2)(2)}=Ad_r(a_{(1)})\chi(a_{(2)(1)})\otimes a_{(2)(2)}=\chi(a_{(1)(1)})a_{(1)(2)}\otimes a_{(2)}\); (3) \(\Delta(\delta(a))=\delta(a_{(1)})\otimes a_{(2)}+ra_{(1)}\otimes\delta(a_{(2)})\). Moreover, a sufficient condition is given for two HCQ-Ore extensions \(H\) of \(A\) and \(H'\) of \(A'\) to be isomorphic.