Published online by Cambridge University Press: 17 April 2009
A ring (R, *) with involution * is called formally complex if implies that all Ai are 0. Let (R, *) be a formally complex ring and let S be an inverse semigroup. Let (R[S], *) be the semigroup ring with involution * defined by . We show that (R[S], *) is a formally complex ring. Let (S, *) be a semigroup with proper involution *(aa* = ab* = bb* ⇒ a = b) and let (R, *′) be a formally complex ring. We give a sufficient condition for (R[S], *′) to be a formally complex ring and this condition is weaker than * being the inverse involution on S. We illustrate this by an example.