A sufficient condition under which a semigroup is nonfinitely based.

DOI10.1017/S0004972715001343MaRDI QIDQ2814345zbMATH OpenOpenAlexFDO

Authors Wen Ting Zhang, Yanfeng Luo

Publication date 21 June 2016

Published in Bulletin of the Australian Mathematical Society (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0004972715001343

zbMATH Keywords

aperiodic monoidsfinitely based varietieslimit varietiesnonfinitely based varietiesvarieties of monoids

Mathematics Subject Classification ID

Equational logic, Mal'tsev conditions (08B05) Lattices of varieties (08B15) Free semigroups, generators and relations, word problems (20M05) Varieties and pseudovarieties of semigroups (20M07)

Review text

A variety of algebras is a limit variety if it is minimal with respect to being non-finitely based. Since it appears to be hopeless to describe all limit varieties of groups it is reasonable, in the context of varieties of monoids, to focus on the aperiodic varieties: those consisting of monoids with no nontrivial subgroups. \textit{M. Jackson} [Semigroup Forum 70, No. 2, 159-187 (2005; Zbl 1073.20052)] constructed two concrete examples \(\mathbf{J_1}\) and \(\mathbf{J_2}\). It can be inferred from the work of the first author [Semigroup Forum 86, No. 1, 212-220 (2013; Zbl 1273.20062)] that further examples must exist.NEWLINENEWLINE The goal of the paper under review is to show that a specific monoid -- the product of a certain seven-element aperiodic monoid \(A^1\) with its dual -- is not finitely based. In a sequel [``A new example of a limit variety of aperiodic monoids], the variety it generates will be shown to be a limit variety. The nonfinite basis property is achieved by application of the result stated in the title. The condition states, for any given integer \(n\geq 2\), that a certain infinite set of identities should be satisfied, but each member of a further finite set of identities must not be satisfied.

Recommendations

• A sufficient condition for the non-finite basis property of semigroups.
• The finite basis property for varieties of semigroups
• Non-finitely based monoids.
• Variety membership problem for two classes of non-finitely based semigroups
• A new example of limit variety

Cites work

• A new example of limit variety
• A sufficient condition for the non-finite basis property of semigroups.
• An example of a limit variety of semigroups
• Existence of a new limit variety of aperiodic monoids
• Finite basis problem for semigroups of order six.
• Finitely generated limit varieties of aperiodic monoids with central idempotents.
• Finiteness properties of varieties and the restriction to finite algebras.
• scientific article; zbMATH DE number 798167 (Why is no real title available?)
• Just non-finitely-based varieties of groups
• LIMIT VARIETIES GENERATED BY COMPLETELY 0-SIMPLE SEMIGROUPS
• Non-finitely based monoids.
• On cross semigroup varieties and related questions
• Varieties generated by semigroups of order four

Cited in

(10)

• A remark on nonfinitely based semirings.
• Existence of a new limit variety of aperiodic monoids
• Limit varieties of \(J\)-trivial monoids
• Flat extensions of groups and limit varieties of additively idempotent semirings
• scientific article; zbMATH DE number 3912634 (Why is no real title available?)
• Finitely based monoids obtained from non-finitely based semigroups.
• The finite basis property for varieties of semigroups
• Finitely generated limit varieties of aperiodic monoids with central idempotents.
• Limit varieties generated by finite non-J-trivial aperiodic monoids
• Non-finitely based monoids.

This page was built for publication: A sufficient condition under which a semigroup is nonfinitely based.

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