Invariant means, right ideals and the structure of semitopological semigroups (Q914103)

Let S be a semitopological semigroup, I be a right ideal of S and CB(S) be the \(C^*\)-algebra of bounded, complex valued continuous functions on S with the supremum norm and pointwise multiplication. Then CB(S) has a right invariant mean if and only if CB(I) has a right invariant mean. Moreover let F(S) be any one of WRUC(S), RUC(S), WAP(S) and AP(S). Then if F(I) has a right invariant mean, then F(S) has a right invariant mean. The main purpose of this paper is the study on the converse of the above statement. Under the condition that F(S) has a right invariant mean, there are shown some algebraic and topological conditions on I for F(I) to have a right invariant mean. For example, the following are shown: If I has a right identity, then WRUC(I) [RUC(I)] has a right invariant mean if WRUC(S) [RUC(S)] has a right invariant mean (Proposition 4.4). If there exists an approximate right identity in I, then WAP(I) [AP(I)] has a right invariant mean if WAP(S) [AP(S)] has a right invariant mean (Proposition 4.5). The author gives also some functional analytic properties for S, e.g., what is called, (HBEP1), (HBEP2) and (MEP) properties, which characterize the right amenability of any norm-closed translation invariant subspace of CB(S) containing the constant functions.