We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:


References & Citations

DBLP - CS Bibliography


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Computer Science > Formal Languages and Automata Theory

Title: A Note on the Join of Varieties of Monoids with LI

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.
Comments: Version submitted for publication at the MFCS 2021 conference. Compared to version 1, the introduction, the preliminaries and the conclusion have been fully written, the proofs and the presentation have been improved in section 4 and section 5 has been completed. Several mistakes have been corrected in the whole paper. The results do not change though
Subjects: Formal Languages and Automata Theory (cs.FL)
ACM classes: F.4.3
Cite as: arXiv:2103.15659 [cs.FL]
  (or arXiv:2103.15659v2 [cs.FL] for this version)

Submission history

From: Nathan Grosshans [view email]
[v1] Mon, 29 Mar 2021 14:35:03 GMT (14kb)
[v2] Fri, 14 May 2021 10:06:33 GMT (108kb,D)
[v3] Mon, 30 Aug 2021 07:45:02 GMT (109kb,D)

Link back to: arXiv, form interface, contact.