Globalizations of strong partial acts over monoids

Abstract

Olgu S monoid. Tugevaks osaliseks S-polügooniks nimetame sellist osalist S-polügooni, mis tekib kui jätame mingist globaalsest S-polügoonist mingid elemendid ära. Kui A on osaline polügoon, B mingi A globalisatsioon ja B on moodustatud S-polügoonina A elementide poolt, siis ütleme, et B on A-genereeritud. Kellendonk ja Lawson on näidanud, et kui S on rühm, siis igal tugeval osalisel S-polügoonil leidub ühene A-genereeritud globalisatsioon. See aga ei kehti monoidide juhul. Laan ja Kudryavtseva on andnud kaks konstruktsiooni osaliste polügoonide globaliseerimiseks üle poolrühmade, mis ei pruugi olla isomorfsed: tensor-globalisatsioon A ⊗ S ja hom-hulkglobalisatisoon AS. Selles magistritöös defineerime hom-hulk-globalisatsiooni osaliste S-polügoonide morfismidel nii, et saame kovariantse täpse funktori. See funktor aga ei ole reflektor ega koreflektor. Siis näitame, et A-genereeritud globalisatsioonide isomorfismiklassid moodustavad täieliku võre, mis on duaalselt isomorfne võre Con A⊗S alamvõrega. Lõpuks näitame, et ainsad monoidid, mille puhul kõik tugevad osalised polügoonid on üheselt globaliseeritavad on rühmad.