Deux caracterisations des semigroupes anti-inverses


Stojan Bogdanović




Za semigrupe iz klase $\mathcal A$ koje su ispitivane u [1] ovde se daju sledeće dve karakterizacije: extsc{Teorema 1.} Neka je $I$ ideal semigrupe $S$. Tada $S\in\mathcal A$ ako i samo ako je svaki ideal $I\in\mathcal A$ i za svako $x\in S\backslash I$ postoji njemu anti-inverzan element $y\in S\backslash I$. extsc{Teorema 2.} Neka je $I$ dvostrani ideal semigrupe $S$ i $S_{\backslash I}$ faktorsemigrupa Reesa [2] semigrupe $S$. Tada \[ Sı\mathcal Aeftrightarrow(\forall I)(Iı\mathcal A\wedge S_{\backslash I}ı\mathcal A). \]