Hilbert's theorem 90 in monoidal categories

DOI10.1016/J.JALGEBRA.2022.02.013MaRDI QIDQ2132452zbMATH OpenOpenAlexWikidataFDO

Authors Ahmed Al-Rawashdeh, Bachuki Mesablishvili

Publication date 28 April 2022

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.jalgebra.2022.02.013

Banach algebra bialgebra chain complex commutative ring Galois theory monoidal category monoidal functor Picard group tensor product

Mathematics Subject Classification ID

Module categories and commutative rings (13C60) Closed categories (closed monoidal and Cartesian closed categories, etc.) (18D15) Categorical Galois theory (18E50) Chain complexes (category-theoretic aspects), dg categories (18G35) Monoidal categories, symmetric monoidal categories (18M05) Commutative Banach algebras and commutative topological algebras (46J99)

Review text

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.

Recommendations

Cites work

Cited in

(6)

This page was built for publication: Hilbert's theorem 90 in monoidal categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2132452)