Module amenability of the second dual and module topological center of semigroup algebras

Abstract

In this paper we define the module topological center of the second dual \(\mathcal{A}^{**}\) of a Banach algebra \(\mathcal{A}\) which is a Banach \(\mathfrak{A}\)-module with compatible actions on another Banach algebra \(\mathfrak{A}\). We calculate the module topological center of ℓ 1(S)**, as an ℓ 1(E)-module, for an inverse semigroup S with an upward directed set of idempotents E. We also prove that ℓ 1(S)** is ℓ 1(E)-module amenable if and only if an appropriate group homomorphic image of S is finite.