Hopf-Galois systems (Q1399185)

In two other papers [\textit{J. Bichon}, C. R. Acad. Sci., Paris, Sér. I, Math. 330, No. 9, 761-764 (2000; Zbl 0970.16015), Commun. Algebra 31, No. 10, 4831-4851 (2003; Zbl 1034.16042)], the author computes examples of biGalois extensions. Showing that these examples were biGalois was accomplished through the use of Hopf-Galois systems, although the concept had not been formalized. This paper formalizes the concept. Let \(k\) be a field. A Hopf-Galois system is the collection \((A,B,Z,T)\) of non-zero \(k\)-algebras such that \(A\) and \(B\) are Hopf algebras, \(Z\) is an \(A\)-\(B\)-bicomodule algebra, and there is a \(k\)-linear map \(S\colon T\to Z\) and algebra maps \(\gamma\colon A\to Z\otimes T\) and \(\gamma\colon B\to T\otimes Z\) satisfying certain commutativity conditions. A short calculation shows that in such a system \(Z\) is necessarily an \(A\)-\(B\)-biGalois extension, from which it follows that \(\text{Comod}(A)\) and \(\text{Comod}(B)\) are monoidally equivalent. Examples of Hopf-Galois systems are then given. If \(Z\) is a (left) \(A\)-Galois extension it is shown how \(B\) and \(T\) can be constructed to get a Hopf-Galois system. Further systems are constructed using \(2\)-cocycles, which have already been used to study biGalois extensions [in \textit{P. Schauenburg}, Commun. Algebra 24, No. 12, 3797-3825 (1996; Zbl 0878.16020)], and examples are given using the symmetric group. Also given as examples are Hopf-Galois systems for Hopf algebras of bilinear forms as well as for cosovereign Hopf algebras and free Hopf algebras.