An inherently nonfinitely based commutative directoid
A finite algebra is said to be inherently nonfinitely based if every locally finite variety containing it is nonfinitely based. \textit{J. Ježek} and \textit{R. Quackenbush} investigated directoids [Algebra Univers. 27, No. 1, 46-69 (1990; Zbl 0699.08002)], i.e. groupoids satisfying the identities \(x^2=x\), \((xy)x=xy\), \(y(xy)=xy\) and \(x((xy)z)=(xy)z\). They asked whether every finite directoid is finitely based or not. The author answers this question in the negative giving an example of an inherently nonfinitely based commutative 6-element directoid.
- Nonfinitely based three-element idempotent groupoids
- Finite axiomatizability of congruence rich varieties
- Commutative directoids with sectionally antitone bijections
- Direct multiplication of finite algebras does not preserve finite equational bases: two examples and a general statement
- A geometric generalization of Kaplansky’s direct finiteness conjecture
This page was built for publication: An inherently nonfinitely based commutative directoid
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1272236)
