Injective modules and amenable groups (Q2436076)

A Banach left module \(X\) is called injective if, for any morphism \(\iota: Y_0 \to Y\) of Banach left \(M\)-modules admitting a bounded linear left inverse, there is, for any morphism \(\varphi: Y_0 \to X\), a morphism \(\widetilde{\varphi}: Y \to X\) such that \(\varphi=\widetilde{\varphi}\circ \iota\). \textit{H. G. Dales} et al.\ [J. Lond. Math. Soc., II. Ser. 86, No. 3, 779--809 (2012; Zbl 1304.46040)] showed that, if \(G\) is a locally compact group, \(1<p<\infty\), and the \(L^1(G)\)-module \(L^p(G)\) is injective, then \(G\) is amenable. Employing a method due to \textit{F. J. Yeadon} [Bull. Am. Math. Soc. 77, 257--260 (1971; Zbl 0241.46057)], the author proves that a locally compact group is amenable if and only if it admits a (nonzero) injective Banach module that is reflexive as a Banach space.