The Isomorphism Theorem of Regular Bisimple ω2-semigroups.pdfVIP

COMMUNICATIONS IN M ATHEMATICAL RESEARCH 30(2)(2014)，131～138 TheIsom orphism Theorem ofRegular Bisim ple 2-sem igroups SHANG yu1 AND W ANG LI—MIN。 (j．DepartmentofMathematics，PuerUniversity，Puer,Yunnan，665000) (2．SchoolofMathematics，SouthChinaNormalUniversity，Guangzhou，510631) CommunicatedbyDUXian—kun Abstract： In thispaperwe study the isomorphismsoftwo regularbisimple 一 semigroupsandobtain acriterion fortwosuchsemigroupstobeisomorphic． Keywords：regularu2-semigroup generalizedBruck-Reillyextension，isomorphism ， 2010MR subjectclassification：20M10 Docum entcode：A ArticleID：1674．5647(2014)02—0131—08 DoI：10．13447／j．1674-5647．2014．02．04 1 Prelim inaries Thestructureofabisimpleu．sem igrouphasbeenrelatedbyReilly【．Earlierinvestigations inf2]westudiedregularbisimple 0semigroups，characterizingthem asthegeneralized Bruck-Reillyextensionsofgroups．Theresultsof[2]havegeneralizedtheresultsofregular bisimple —semigroupstoregularbisimple 2-semigroups．Thereisoftenroom forragu— mentastowhatconstitutesasatisfactorystructuretheoryinthesemigroup context．Two auestionshavetraditionallybeenasked． “Doesthereexistanassociatedisomorphism theo- rem?’’and “Doesthetheoryenableonetogiveanexplicitdescriptionofthecongruences?” Thefirstquestionisinescapable，andappliesineveryalgebraiccontext，butforanalleged structuIe．theorem which doesnothaveanassociated isomorphism theorem isoflittleuse． Reilly[1]haspublished theseresultsforisomorphismsfrom a bisimple u—semigroup to a bisimpleu．semigroup．Inthispaper，wegivethenecessaryandsufficientconditionsf0rtw0 regularbisimpleaj2一semigroupstobeisomorphic．Wecompletethissectionwithasummary ofnotionsofregularbisimple 。semigroups，thedetailsofwhichcanbefoundin[1-4】． ForanysemigroupS，wedenotebyEsthesetofidempot