Let S be a semigroup and let A be an S-act. Some necessary and sufficient conditions that S-subacts of A are maximal S-subacts are given. A relation B which is similar to the Green relation in semigroups is defined. B...Let S be a semigroup and let A be an S-act. Some necessary and sufficient conditions that S-subacts of A are maximal S-subacts are given. A relation B which is similar to the Green relation in semigroups is defined. By the relation B, it is proved that a non-empty set L of A is a maximal S-subact if and only if A/L is a (maximal) B-class. Finally, the concept of a C-subact is defined, some properties of C-subacts are discussed, and it is proved that A contains no maximal S-subacts if and only if every cyclic S-subact of A is a C-subact. Consequently, the results obtained by Imrich Fabrici that semigroups contain no maximal (left) ideals are the corollary of this paper.展开更多
This paper investigates the characterizations of monoids over which all strongly flat right S-acts are regular. It is shown that all strongly flat right S-acts are regular if and only if S is a right PSF monoid and ev...This paper investigates the characterizations of monoids over which all strongly flat right S-acts are regular. It is shown that all strongly flat right S-acts are regular if and only if S is a right PSF monoid and every left collapsible submonoid of S contains a left zero. This result gives a new answer to the problem in Kilp and Knauer.展开更多
LetS be a semigroup andE the set of all idempotents inS. LetS-Act be the category of allS-acts. LetC be a full subcategory ofS-Act which containss S and is closed under coproducts and summands. It is proved that, inC,...LetS be a semigroup andE the set of all idempotents inS. LetS-Act be the category of allS-acts. LetC be a full subcategory ofS-Act which containss S and is closed under coproducts and summands. It is proved that, inC, anS-actP is projective and unitary if and only ifP? ? j? I Se i ,e i ?E. In particular,P is a projective, indecomposable and unitary object if and only ifP ?Se for somee ∈E. These generalize some results obtained by Knauer and Talwar.展开更多
Recall that the semigroups S and R are said to be strongly Morita equivalent if there exists a unitary Morita context (S,R,<sub>S</sub>P<sub>R</sub>,<sub>R</sub>Q<sub>S</s...Recall that the semigroups S and R are said to be strongly Morita equivalent if there exists a unitary Morita context (S,R,<sub>S</sub>P<sub>R</sub>,<sub>R</sub>Q<sub>S</sub>,) with and surjective.For a factorisable semigroup S,we denote ζ<sub>S</sub>={(s<sub>1</sub>,s<sub>2</sub>)∈S×S|ss<sub>1</sub>=ss<sub>2</sub>,<sub>S</sub>∈S},S′=S/ζ<sub>S</sub> and US-FAct={<sub>S</sub>M∈ S-Act|SM=M and SHom<sub>S</sub>(S,M)≌M}.We show that,for factorisable semigroups S and R,the categories US-FAct and UR-FAct are equivalent if and only if the semigroups S′ and R′ are strongly Morita equivalent.Some conditions for a factorisable semigroup to be strongly Morita equivalent to a sandwich semigroup,local units semigroup,monoid and group separately are also given.Moreover,we show that a seinigroup S is completely simple if and only if S is strongly Morita equivalent to a group and for any index set I,SSHom<sub>S</sub>(S,<sub>i∈I</sub>S)→<sub>i∈I</sub>S,st·f(st)f is an S-isomorphism.展开更多
基金The National Natural Science Foundation of China(No10626012), Jiangsu Planned Projects for Postdoctoral ResearchFund(No0502022B)
文摘Let S be a semigroup and let A be an S-act. Some necessary and sufficient conditions that S-subacts of A are maximal S-subacts are given. A relation B which is similar to the Green relation in semigroups is defined. By the relation B, it is proved that a non-empty set L of A is a maximal S-subact if and only if A/L is a (maximal) B-class. Finally, the concept of a C-subact is defined, some properties of C-subacts are discussed, and it is proved that A contains no maximal S-subacts if and only if every cyclic S-subact of A is a C-subact. Consequently, the results obtained by Imrich Fabrici that semigroups contain no maximal (left) ideals are the corollary of this paper.
基金the National Natural Science Foundation of China(10171082)and by NWNU-KJCXGC212
文摘This paper investigates the characterizations of monoids over which all strongly flat right S-acts are regular. It is shown that all strongly flat right S-acts are regular if and only if S is a right PSF monoid and every left collapsible submonoid of S contains a left zero. This result gives a new answer to the problem in Kilp and Knauer.
基金Research partially supported by a UGC (HK) (Grant No. 2160092)
文摘LetS be a semigroup andE the set of all idempotents inS. LetS-Act be the category of allS-acts. LetC be a full subcategory ofS-Act which containss S and is closed under coproducts and summands. It is proved that, inC, anS-actP is projective and unitary if and only ifP? ? j? I Se i ,e i ?E. In particular,P is a projective, indecomposable and unitary object if and only ifP ?Se for somee ∈E. These generalize some results obtained by Knauer and Talwar.
基金The research is partially supported by a UGC(HK) grant ≠2160092Project is supported by the National Natural Science Foundation of China
文摘Recall that the semigroups S and R are said to be strongly Morita equivalent if there exists a unitary Morita context (S,R,<sub>S</sub>P<sub>R</sub>,<sub>R</sub>Q<sub>S</sub>,) with and surjective.For a factorisable semigroup S,we denote ζ<sub>S</sub>={(s<sub>1</sub>,s<sub>2</sub>)∈S×S|ss<sub>1</sub>=ss<sub>2</sub>,<sub>S</sub>∈S},S′=S/ζ<sub>S</sub> and US-FAct={<sub>S</sub>M∈ S-Act|SM=M and SHom<sub>S</sub>(S,M)≌M}.We show that,for factorisable semigroups S and R,the categories US-FAct and UR-FAct are equivalent if and only if the semigroups S′ and R′ are strongly Morita equivalent.Some conditions for a factorisable semigroup to be strongly Morita equivalent to a sandwich semigroup,local units semigroup,monoid and group separately are also given.Moreover,we show that a seinigroup S is completely simple if and only if S is strongly Morita equivalent to a group and for any index set I,SSHom<sub>S</sub>(S,<sub>i∈I</sub>S)→<sub>i∈I</sub>S,st·f(st)f is an S-isomorphism.