关于S-系的覆盖

设S是幺半群,FGWI,WPF,ST_F分别表示有限生成弱内射右S-系、弱拉回平坦右S-系和强挠自由右S-系的类。证明了在有左零元的左reversible幺半群上,每一个右S-系A_i∈FGWI当且仅当_(i∈I)A_i∈FGWI;在Noetherian幺半群上,任意fg-弱内射S-系的有向上极限是fg-弱内射的;同时考虑了WPF-覆盖和STF-覆盖,给出了每一个右S-系都有FGWI-覆盖的条件。证明了若S是有有限几何型的有限生成幺半群,每一个右S-系都有WPF-覆盖,以及在任意幺半群S上,每一个右S-系都有ST_F-覆盖。