On a finite basis problem for universal positive formulas

DOI10.1007/BF01190973MaRDI QIDQ1906529zbMATH OpenOpenAlexFDO

Authors Grigory Mashevitzky

Publication date 14 July 1996

Published in Algebra Universalis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01190973

zbMATH Keywords

collective identitiescompletely 0-simple semigroupsdisjunctive identitiesfinite basis problemsets of terms

Mathematics Subject Classification ID

Free semigroups, generators and relations, word problems (20M05) Varieties and pseudovarieties of semigroups (20M07)

Review text

A \(\forall\)-formula with the matrix of the form \(u_1=v_1\vee\cdots\vee u_n=v_n\) is called a disjunctive identity. A disjunctive identity of the form \(\bigvee_{u\in U, v\in V} u=v\), where \(U\) and \(V\) are finite sets of terms, is called a collective identity. The author constructs a finite completely 0-simple semigroup whose collective identities are not finitely based (Theorem 1) and a (necessarily infinite) completely 0-simple semigroup whose disjunctive identities are not finitely based (Theorem 2). The latter semigroup has the interesting additional property that its (usual) identities are finitely based.

Recommendations

• A sufficient condition for the non-finite basis property of semigroups.
• FINITE SEMIGROUPS WITH INFINITE IRREDUNDANT IDENTITY BASES
• A class of finite semigroups without irredundant bases of identities.
• Completely simple and completely 0-simple semigroup identities
• Finite basis problem for semigroups of order six.

Cites work

• An example of a finite semigroup without an irreducible basis of identities in the class of completelyo-simple semigroups
• Identities valid globally in semigroups
• Matrix rank 1 semigroup identities

Cited in

(4)

• Completely simple and completely 0-simple semigroup identities
• On the finite basis problem for completely 0-simple semigroup identities
• On bases of identities of finite central locally orthodox completely regular semigroups
• Identical inclusions of semilattices

This page was built for publication: On a finite basis problem for universal positive formulas

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