Proper embeddability of inverse semigroups
Adel A. Shehadah · Bulletin of the Australian Mathematical Society · 1986
Let S be an inverse semigroup. We prove that there is a ring with a proper involution * in which S is *-embeddable. The ring will be a natural one, R[S], the semigroup ring of S over any formally complex ring R; for example ℝ, Ȼ.