Galois \(H\)-objects with a normal basis in closed categories. A cohomological interpretation (Q1325597)

The authors consider a symmetric monoidal category, with bifunctor \(-\otimes-\), that is closed in the sense that each functor \(A\otimes-\) has a right adjoint. The authors assume also that the category has equalizers, co-equalizers, and a projective basic object \(K\). In such a category, concepts of monoid, comonoid, Azumaya monoid, finite Hopf algebra \(H\), \(H\)-module monoid, \(H\)-comodule monoid, and Galois \(H\)-object can be defined. In the category of modules over a commutative ring \(K\) and for a finitely generated, projective, commutative and cocommutative Hopf algebra \(H\) over \(K\), \textit{M. Beattie} [J. Algebra 43, 686--693 (1976; Zbl 0342.16010)] constructed a split exact sequence: \(1 \to B(R) \to BM(R,H) \to \text{Gal}(R,H) \to 1\), where \(BM(R,H)\) is the group of equivalence classes of \(R\)-Azumaya, \(H\)-module algebras, \(B(R)\) is the Brauer group of Azumaya \(R\)-algebras, and \(\text{Gal}(R, H)\) is the group of isomorphism classes of Galois \(H\)-objects. \textit{M. Beattie} and \textit{K.-H. Ulbrich} [Commun. Algebra 18, 3713--3724 (1990; Zbl 0760.16014)] showed that a split exact sequence is obtained again when \(BM(R,H)\) is replaced by the subgroup of equivalence classes of \(R\)-Azumaya, \(H\)-module algebras for which the action of \(H\) on \(A\) is inner and \(\text{Gal} (R,H)\) is replaced by the subgroup \(N(H)\) of isomorphism classes of Galois \(H\)-objects that have normal bases. The latter result has been generalized to symmetric closed categories by the authors of the paper being reviewed; and in this paper, they present the lengthy verification that \(N(H)\) and the Sweedler cohomology group \(H^ 2(H,K)\) are isomorphic. Occasional misprints make some tedious verifications more difficult to follow.