On Arens-Michael algebras which do not have non-zero injective ⨶-modules
A certain class of Arens-Michael algebras having no non-zero injective topological ⨶-modules is introduced. This class is rather wide and contains, in particular, algebras of holomorphic functions on polydomains in , algebras of smooth functions on domains in , algebras of formal power series, and, more generally, any nuclear Fréchet-Arens-Michael algebra which has a free bimodule Koszul resolution.