{"title":"Centralising groups of semiprojections and near unanimity operations","authors":"Mike Behrisch, R. Pöschel","doi":"10.1109/ISMVL49045.2020.00061","DOIUrl":null,"url":null,"abstract":"Exploring the Galois correspondence induced by commutation between permutations and finitary operations, we study which permutation groups on finite sets arise as centralising groups of near unanimity operations and semiprojections, respectively. We derive upper and lower bounds for the Galois closures in a rather general setting and prove that, in fact, all permutation groups admit such a representation if the arity of the commuting functions is chosen high enough. Using concrete examples we also discuss limitations to such representations when the arity is (too) small.","PeriodicalId":421588,"journal":{"name":"2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL)","volume":"9 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2020-11-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"2","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2020 IEEE 50th International Symposium on Multiple-Valued Logic (ISMVL)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISMVL49045.2020.00061","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 2
Abstract
Exploring the Galois correspondence induced by commutation between permutations and finitary operations, we study which permutation groups on finite sets arise as centralising groups of near unanimity operations and semiprojections, respectively. We derive upper and lower bounds for the Galois closures in a rather general setting and prove that, in fact, all permutation groups admit such a representation if the arity of the commuting functions is chosen high enough. Using concrete examples we also discuss limitations to such representations when the arity is (too) small.