On the radical Banach algebras related to semigroup algebras (Q2447308)

Let \(S\) be a locally compact Hausdorff topological semigroup with identity. Let \(M(S)\) be the space of all complex Borel measures on \(S\) and \(M_{a}(S)\) be the set of those measures in \(M(S)\), say \(\mu\), such that the two maps \(x\mapsto |\mu|\ast\delta_{x}\) and \(x\mapsto \delta_{x}\ast|\mu|\) are \(w\)-continuous. A topological semigroup \(S\) is called fundamental if \(S\) coincides with \(\bigcup\{\mathrm{supp}(\mu):\mu\in M_{a}(S)\}\). Let \(L^{\infty}(S,M_{a}(S))\) be the space of all bounded \(M_{a}(S)\)-measurable, complex functions and let \(L^{\infty}_{0}(S,M_{a}(S))\) denote those functions in \(L^{\infty}(S,M_{a}(S))\) which vanish at infinity. Finally, \(S\) is called compactly cancellative semigroup, if for every compact subsets \(C\) and \(D\) in \(S\), \(CD^{-1}\) and \(C^{-1}D\) are compact sets, too. The author investigates the radical space of \((L^{\infty}_{0}(S,M_{a}(S))^{*}\). He shows that \(\frac{(L^{\infty}_{0}(S,M_{a}(S))^{*}}{C_{0}(S)^{\perp}}\) is isometrically isomorphic to \(M(S)\), where \(S\) is a compactly cancellative semigroup with identity. He also shows that, for a non-discrete compactly cancellative semigroup \(S\) with identity, \(\mathrm{rad}{(L^{\infty}_{0}(S,M_{a}(S))^{*}}\) is infinite dimensional and \(L^{\infty}_{0}(S,M_{a}(S))^{*}\) is not semisimple. For this semigroup and in the case that \(M_{a}(S)\) is semisimple, he shows that \(\frac{(L^{\infty}_{0}(S,M_{a}(S))^{*}}{\mathrm{rad}{(L^{\infty}_{0}(S,M_{a}(S))^{*}}}\simeq M_{a}(S)\) if and only if \(S\) is discrete. He also shows that, for a compactly cancellative semigroup \(S\) with identity, the existence of some special finite dimensional right ideals in \((L^{\infty}_{0}(S,M_{a}(S))^{*}\) is equivalent with the compactness of \(S\).