半模弱Brandt半群

全子半群定义为包含所有幂等元的子半群.众所周知,一个半群所有全子半群关于集合的包含关系构成格.一个ample半群称为分配的(模的;半模的),如果其全子半群格为分配格(模格;半模格).本文得到了弱Brandt半群成为半模(模;分配)ample半群的充分必要条件.作为应用,确定了本原半单ample半群何时为模(分配)ample半群.