含幺Clifford半群的自动性.pdfVIP

数 学 杂 志 Vo1．33(2013) No．6 THE AUToM ATICITY 0F A CLIFF0RD SEM IGRoUP W ITH IDENTITY LIHong—wei (TheSecondDepartmentSuqin佗College，Suqian223800,China) Abstract：Inthisarticle，theautomaticityofaCliffordsemigroupwithidentityisconsidered． Bycombiningthegeometricpropertiesandthealgebraicproperties，weprovethatunderacertain condition，the~llowingthreeconclusionsareequivalent，aClifford semigroup S withidentity is automatic，all classesofS areautomatic，andthefellow travellerpropertyissatisfied． Keywords： Cliffordsemigroupwith identity；automatic；fellow travellerproperty；regular language 2010MR SubjectClassification： 20M05；68Q45 Documentcode： A ArticleID： 0255-7797(2013)06—0951-07 1 Deftnitionsand M ain Theorem Thenotionof “automaticity”waswidelystudiedingroups．In[1]jthedefinitionof anautomaticgroupwasextendedtothatofan automaticsemigroup．Itwasprovedthata semigroupSisautomaticifandonlyifSwithazeroadjoinedisautomatic，andifandonly ifSwithanidentityadjoinedisautomatic．Itwasalsoprovedthatanyfinitelygenerated subsemigroupofafreesemigroupisautomatic．In[2]，itwasprovedthat，ifSisaRees semigroup 阻；I，；P]overthegroupH (withIandJfinite)，thenSisautomaticifand only ifthegroupH isautomatic．In thispaper，westudytheautomaticityofaClifford semigroupwithan identitybythefellow travellerproperty． ForanyfinitesetA，letA+denotethesetofallnon—emptywordsoverA，and letA denotethesetofallwordsoverA (includingtheemptyword￡)．Foranyword inA ，let denotethelengthofoL(where =0)[3】． If S isasetofgeneratorsofasemigroupS，thenthereisanaturalhomomorphism 0 ：A+ S whereeachwordoLofA+ismappedtothecorrespondingelementofS．We willnormallybeconcernedwithfinitesetsA，sothatthesemigroupS isfinitelygenerated． W herethereisnodangerofconfusion，wewillsometimessuppressth