On a finite basis problem for universal positive formulas (Q1906529): Difference between revisions

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.