A combinatorial property of ideals in free profinite monoids.

DOI10.1016/J.JPAA.2009.12.014MaRDI QIDQ964524zbMATH OpenOpenAlexFDO

Authors Benjamin Steinberg

Publication date 22 April 2010

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0811.1274

zbMATH Keywords

aperiodic monoidsHenckell-Schützenberger expansionsidempotent idealsminimal idealsprime idealsprincipal idealspseudovarieties of finite monoidsrelatively free profinite monoids

Mathematics Subject Classification ID

Free semigroups, generators and relations, word problems (20M05) Varieties and pseudovarieties of semigroups (20M07) Ideal theory for semigroups (20M12) Semigroups in automata theory, linguistics, etc. (20M35) Structure of topological semigroups (22A15)

Abstract: We prove every regular element of a free profinite monoid generates a prime ideal; in particular the minimal ideal is prime. The latter result was first proved by Almeida and Volkov using techniques from symbolic dynamics; our proof is elementary.

Review text

This very short paper proves the following main result. Suppose that \(\mathbf V\) is a pseudovariety of finite monoids which is closed under Mal'cev product on the left by the pseudovariety of all finite aperiodic monoids and let \(F\) be a free pro-\(\mathbf V\) monoid on a profinite set. If a product of \(m\) elements of \(F\) belongs to a product of \(n\geq m\) ideals of \(F\), then at least one of the elements belongs to one of the ideals. Several interesting applications are drawn. For instance, every idempotent ideal of \(F\) is prime and, in particular, regular elements generate prime ideals so that the minimal ideal is prime. The latter is a particular case, with a much simpler proof, of a result due to \textit{M. V. Volkov} and the reviewer [Int. J. Algebra Comput. 16, No. 2, 221-258 (2006; Zbl 1186.20040)]. Another application is that in every subsemigroup of \(F\) which is a band, the principal ideals form a chain.

Recommendations

• Maximal subgroups of the minimal ideal of a free profinite monoid are free.
• Defining Relations and the Algebraic Structure of the Group SL₂ over Integral Hamilton Quaternions
• A profinite approach to stable pairs.
• Profinite semigroups, Mal'cev products, and identities
• Free profinite R-trivial, locally idempotent and locally commutative semigroups

Cites work

• A profinite approach to stable pairs.
• Almost finite expansions of arbitrary semigroups
• Closed subgroups of free profinite monoids are projective profinite groups
• scientific article; zbMATH DE number 988808 (Why is no real title available?)
• scientific article; zbMATH DE number 798167 (Why is no real title available?)
• Infinite-vertex free profinite semigroupoids and symbolic dynamics.
• SUBWORD COMPLEXITY OF PROFINITE WORDS AND SUBGROUPS OF FREE PROFINITE SEMIGROUPS
• The \(\mathfrak q\)-theory of finite semigroups.
• Weak projectives of finite semigroups

Cited in

(4)

• Profinite topologies
• Pro-aperiodic monoids via saturated models
• Equidivisibility and profinite coproduct
• Maximal subgroups of the minimal ideal of a free profinite monoid are free.

This page was built for publication: A combinatorial property of ideals in free profinite monoids.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q964524)