Hilbert's theorem 90 in monoidal categories (Q2132452)

There exists famous Hilbert's Theorem 90~[\textit{D. Hilbert}, The theory of algebraic number fields. Transl. from the German by Iain T. Adamson. With an introduction by Franz Lemmermeyer and Norbert Schappacher. Berlin: Springer (1998; Zbl 0984.11001)]. In one of its simplest form, the theorem can be stated as the vanishing of a certain cohomology group. In other words, if \(L/K\) is a finite Galois extension of fields with finite Galois group \(G=Gal(L/K)\), then one can consider the multiplicative group \(U(L)\) of invertible elements of \(L\) as a \(G\)-module. With this \(G\)-module structure in hand, Hilbert's Theorem 90 claims that the first cohomology group \(H^1(G,U(L))\) is trivial. \par There already exist numerous generalizations of Hilbert's Theorem 90, e.g., in terms of commutative rings. The purpose of the present paper is to generalize Hilbert's Theorem 90 to the setting of symmetric monoidal categories, which is done in Theorem~4.1 on pages~17~--~18, whereas Theorems 4.2, 4.3, 4.4, and 4.5 subsume and extend known forms of Hilbert's Theorem 90. The authors then apply the obtained results to the symmetric monoidal categories of modules over a commutative ring, chain complexes, as well as Banach spaces (Section~5 of the paper). For convenience of the reader, the paper starts with an extensive review of the theory of monoidal categories of~[\textit{S. Mac Lane}, Categories for the working mathematician. 2nd ed. New York, NY: Springer (1998; Zbl 0906.18001)] and the respective related concepts employed by the authors in their study. \par The paper is well (but rather technically) written, provides nearly all of its required preliminaries (the omitted concepts can be easily found by the reader in the extensive list of references at the end of the paper), and will be of interest to all the researchers who study categorical algebra and its applications.