{"title":"克隆理论中的内源一元群和证人引理","authors":"Hajime Machida, I. Rosenberg","doi":"10.1109/ISMVL.2010.44","DOIUrl":null,"url":null,"abstract":"For a fixed set $A$, an endoprimal monoid $M$ is a set of unary functions on $A$ which commute with some set $F$ of functions on $A$. A member of such $M$ defines an endomorphism on $F$. It is known to be hard to effectively characterize such endoprimal monoids. In this paper we present and discuss the ''witness lemma'' to study endoprimal monoids. Then, for the case where $|A|=3$, we verify two monoids to be endoprimal and then determine all endoprimal monoids having subsets of unary functions as their witnesses.","PeriodicalId":447743,"journal":{"name":"2010 40th IEEE International Symposium on Multiple-Valued Logic","volume":"128 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2010-05-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":"{\"title\":\"Endoprimal Monoids and Witness Lemma in Clone Theory\",\"authors\":\"Hajime Machida, I. Rosenberg\",\"doi\":\"10.1109/ISMVL.2010.44\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"For a fixed set $A$, an endoprimal monoid $M$ is a set of unary functions on $A$ which commute with some set $F$ of functions on $A$. A member of such $M$ defines an endomorphism on $F$. It is known to be hard to effectively characterize such endoprimal monoids. In this paper we present and discuss the ''witness lemma'' to study endoprimal monoids. Then, for the case where $|A|=3$, we verify two monoids to be endoprimal and then determine all endoprimal monoids having subsets of unary functions as their witnesses.\",\"PeriodicalId\":447743,\"journal\":{\"name\":\"2010 40th IEEE International Symposium on Multiple-Valued Logic\",\"volume\":\"128 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2010-05-26\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"7\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2010 40th IEEE International Symposium on Multiple-Valued Logic\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISMVL.2010.44\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2010 40th IEEE International Symposium on Multiple-Valued Logic","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISMVL.2010.44","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 7
摘要
对于一个固定集合$ a $，一个内原单群$M$是$ a $上的一元函数的集合，它与$ a $上的函数集合$F$交换。这样的$M$中的一个元素在$F$上定义了一个自同态。众所周知，很难有效地表征这种内源一元虫。本文给出并讨论了研究内源一元群的“见证引理”。然后,| | = 3美元,我们验证两个独异点endoprimal然后确定所有endoprimal独异点在一元函数的子集作为证人。
Endoprimal Monoids and Witness Lemma in Clone Theory
For a fixed set $A$, an endoprimal monoid $M$ is a set of unary functions on $A$ which commute with some set $F$ of functions on $A$. A member of such $M$ defines an endomorphism on $F$. It is known to be hard to effectively characterize such endoprimal monoids. In this paper we present and discuss the ''witness lemma'' to study endoprimal monoids. Then, for the case where $|A|=3$, we verify two monoids to be endoprimal and then determine all endoprimal monoids having subsets of unary functions as their witnesses.
求助内容：
应助结果提醒方式：
京公网安备 11010802042870号
