{"title":"一元群与LI的联结的一个注记","authors":"Nathan Grosshans","doi":"10.4230/LIPIcs.MFCS.2021.51","DOIUrl":null,"url":null,"abstract":"In this note, we give a characterisation in terms of identities of the join of $\\mathbf{V}$ with the variety of finite locally trivial semigroups $\\mathbf{LI}$ for several well-known varieties of finite monoids $\\mathbf{V}$ by using classical algebraic-automata-theoretic techniques. To achieve this, we use the new notion of essentially-$\\mathbf{V}$ stamps defined by Grosshans, McKenzie and Segoufin and show that it actually coincides with the join of $\\mathbf{V}$ and $\\mathbf{LI}$ precisely when some natural condition on the variety of languages corresponding to $\\mathbf{V}$ is verified.This work is a kind of rediscovery of the work of J. C. Costa around 20 years ago from a rather different angle, since Costa's work relies on the use of advanced developments in profinite topology, whereas what is presented here essentially uses an algebraic, language-based approach.","PeriodicalId":369104,"journal":{"name":"International Symposium on Mathematical Foundations of Computer Science","volume":"222 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2021-03-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"A note on the join of varieties of monoids with LI\",\"authors\":\"Nathan Grosshans\",\"doi\":\"10.4230/LIPIcs.MFCS.2021.51\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"In this note, we give a characterisation in terms of identities of the join of $\\\\mathbf{V}$ with the variety of finite locally trivial semigroups $\\\\mathbf{LI}$ for several well-known varieties of finite monoids $\\\\mathbf{V}$ by using classical algebraic-automata-theoretic techniques. To achieve this, we use the new notion of essentially-$\\\\mathbf{V}$ stamps defined by Grosshans, McKenzie and Segoufin and show that it actually coincides with the join of $\\\\mathbf{V}$ and $\\\\mathbf{LI}$ precisely when some natural condition on the variety of languages corresponding to $\\\\mathbf{V}$ is verified.This work is a kind of rediscovery of the work of J. C. Costa around 20 years ago from a rather different angle, since Costa's work relies on the use of advanced developments in profinite topology, whereas what is presented here essentially uses an algebraic, language-based approach.\",\"PeriodicalId\":369104,\"journal\":{\"name\":\"International Symposium on Mathematical Foundations of Computer Science\",\"volume\":\"222 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2021-03-29\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"International Symposium on Mathematical Foundations of Computer Science\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.4230/LIPIcs.MFCS.2021.51\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"International Symposium on Mathematical Foundations of Computer Science","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.4230/LIPIcs.MFCS.2021.51","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
摘要
本文利用经典代数自动机理论技术,给出了几种已知的有限一元群$\mathbf{V}$与有限局部平凡半群$\mathbf{LI}$的联结的恒等式。为了实现这一点,我们使用了Grosshans, McKenzie和Segoufin定义的本质-$\mathbf{V}$邮票的新概念,并证明了它实际上与$\mathbf{V}$和$\mathbf{LI}$的连接是一致的,正是当验证了$\mathbf{V}$对应的各种语言的某些自然条件时。这项工作是对J. C. Costa大约20年前的工作的一种重新发现,从一个相当不同的角度来看,因为Costa的工作依赖于使用无限拓扑的先进发展,而这里展示的本质上是使用代数的,基于语言的方法。
A note on the join of varieties of monoids with LI
In this note, we give a characterisation in terms of identities of the join of $\mathbf{V}$ with the variety of finite locally trivial semigroups $\mathbf{LI}$ for several well-known varieties of finite monoids $\mathbf{V}$ by using classical algebraic-automata-theoretic techniques. To achieve this, we use the new notion of essentially-$\mathbf{V}$ stamps defined by Grosshans, McKenzie and Segoufin and show that it actually coincides with the join of $\mathbf{V}$ and $\mathbf{LI}$ precisely when some natural condition on the variety of languages corresponding to $\mathbf{V}$ is verified.This work is a kind of rediscovery of the work of J. C. Costa around 20 years ago from a rather different angle, since Costa's work relies on the use of advanced developments in profinite topology, whereas what is presented here essentially uses an algebraic, language-based approach.