F-Monoids
Emília Giraldes, M. Paula O. Marques-Smith, H. Mitsch · Communications in Algebra · 2007
A semigroup S is called F-monoid if S has an identity and if there exists a group congruence ρ on S such that each ρ-class of S contains a greatest element with respect to the natural partial order of S (see Mitsch, 1986 Mitsch , H. ( 1986 ). A natural partial order for semigroups . Proc. Amer. Math. Soc. 97 : 384 – 388 .[Crossref], [Web of Science ®] , [Google Scholar]). Generalizing results given in Giraldes et al. (2004 Giraldes , E. , Marques-Smith , P. , Mitsch , H. ( 2004 ). F-regular semigroups . J. Algebra 274 : 491 – 510 .[Crossref], [Web of Science ®] , [Google Scholar]) and specializing some of Giraldes et al. (Submitted Giraldes , E. , Marques-Smith , P. , Mitsch , H. F-semigroups. Submitted . [Google Scholar]) five characterizations of such monoids S are provided. Three unary operations “∗”, “○”, and “ − ” on S defined by means of the greatest elements in the different ρ-classes of S are studied. Using their properties a charaterization of F-monoids S by their regular part S° = {a°|a ∊ S} and the associates of elements in S° is given. Under the hypothesis that S ∗ = {a ∗|a ∊ S} is a subsemigroup it is shown that S is regular, whence of a known structure (see Giraldes et al., 2004 Giraldes , E. , Marques-Smith , P. , Mitsch , H. ( 2004 ). F-regular semigroups . J. Algebra 274 : 491 – 510 .[Crossref], [Web of Science ®] , [Google Scholar]).