Emilia Giraldes, UTAD, Dpto. de Matematica, Quinta de Prados, 5000 Vila Real, Portugal; Paula Marques-Smith, Universidade do Minho, Centro de Matematica, Campus de Gualtar, 4700 Braga, Portugal; Heinz Mitsch, Universitat Wien, Institut fur Mathematik, Nordbergstrasse 15, 1090 Wien, Austria, e-mail: heinz.mitsch@univie.ac.at
Abstract: A semigroup $S$ is called a generalized $F$- semigroup if there exists a group congruence on $S$ such that the identity class contains a greatest element with respect to the natural partial order $\leq_S$ of $S$. Using the concept of an anticone, all partially ordered groups which are epimorphic images of a semigroup $(S,\cdot,\leq_S)$ are determined. It is shown that a semigroup $S$ is a generalized $F$-semigroup if and only if $S$ contains an anticone, which is a principal order ideal of $(S,\leq_S)$. Also a characterization by means of the structure of the set of idempotents or by the existence of a particular element in $S$ is given. The generalized $F$-semigroups in the following classes are described: monoids, semigroups with zero, trivially ordered semigroups, regular semigroups, bands, inverse semigroups, Clifford semigroups, inflations of semigroups, and strong semilattices of monoids.
Keywords: semigroup, natural partial order, group congruence, anticone, pivot
Classification (MSC 2000): 20M10
Full text available as PDF (smallest), as compressed PostScript (.ps.gz) or as raw PostScript (.ps).
Access to the full text of journal articles on this site is restricted to the subscribers of Myris Trade. To activate your access, please contact Myris Trade at myris@myris.cz.