Characterizations of monoids by regular acts (Q1071874): Difference between revisions

The concept of a regular act is introduced transfering the concept of a regular module. The right S-act A is regular if for every \(a\in A\) there exists \(f\in Hom_ S(aS,S)\) such that \(af(a)=a\). A monoid which is von Neumann regular is a regular act over itself but not conversely. There exist monoids over which no act is regular. Exactly for groups regular and projective acts coincide but in general neither of the two implies the other. Every S-act is regular iff \(S=\{0,1\}\) or S is a group of prime order, for \(| S| >1\). Left cancellative monoids S are characterized as regular acts over which regular acts and strongly faithful acts coincide. The S-act A is called strongly faithful if \(as=at\) implies \(s=t\) for \(a\in A\), s,t\(\in S\).