Congruences of strongly Morita equivalent posemigroups.docVIP

ActaMath.Univ.Comenianae Vol.LXXXI,2(2012),pp.247–254 247 CONGRUENCES OF STRONGLY MORITA EQUIVALENT POSEMIGROUPS ¨ T. TARGLA and V. LAAN Abstract. WeprovethatcongruencelatticesofstronglyMoritaequivalentposemi- groupswithcommonjointweaklocal unitsareisomorphic. Moreover,thequotient posemigroupsbythecongruencesthatcorrespondtoeachotherunderthisisomor- phismarealsostronglyMoritaequivalent. 1. Introduction Moritatheorieshavebeenstudiedformanydi?erentstructures: forringswithor withoutidentity,monoids,categories,etc. OurworkbelongstotheMoritatheory of semigroups without identity, the study of which was initiated by Talwar ([7], [8]). RecentlyTart(see[9])initiatedaresearchofMoritaequivalentpartiallyor- deredsemigroups(shortlyposemigroups). OneingredientinMoritatheoriesisthe studyofMoritainvariants,thesearethepropertiessharedbyallMoritaequivalent structures. Forexample,aclassicalresultaboutrings(see[1,Proposition21.11]) statesthatMoritaequivalentringswithidentityhaveisomorphicideallattices. In [10] Tart considers Morita invariants of posemigroups. In [6], Morita invariants forunorderedsemigroupswereconsidered,inparticularitwasproventhatiftwo semigroups with certain kind of local units are strongly Morita equivalent then theircongruencelatticesareisomorphic. Inthisarticleweprovetheanalogueof thatresultfortheorderedcase. LetS be aposemigroup. AleftS-posetisaposet Atogetherwithamapping (action) S×A→A,(s,a) →sa such that (i) (ss0)a=s(s0a), (ii) s≤s0 implies 0 ,(iii) 0implies 0forall 0∈ and 0∈ . Right -posets sa≤sa a arede?nedsimilarly. AleftS-posetandrightT-posetAiscalledan(S,T)-biposet ≤ a sa ≤ sa s,s S a,a A T (and denoted by SA ) if (sa)t=s(at) for all s∈S, a∈A and t∈T. isAsaidbiposetto T morphism has to preserve both actions and the order. A biposet beunitaryifSA=AandAT =A. A T S ThetensorproductA? BofarightT-posetAandaleftT-posetBisthequo- T tientposet(A×B)/～,where(a,b)～(a0,b0)if(a,b)(a0,b0)and(a0,b0)(a,b), ReceivedFebruary8,2012; revis