3 problems

0 votes0 replies1 view
The HFB conjecture for the variety $\mathbb Q^1 \vee \mathbb L_3^1 \vee \mathbb R_3^1$
HFB conjecture. The variety $\mathbb Q^1 \vee \mathbb L_3^1 \vee \mathbb R_3^1$ is hereditarily finitely based (HFB).
Conjectureopenaperiodic-monoids finite-basis-problem semigroup-varietiesarXiv posted 2 days ago
0 votes0 replies2 views
The finite universality conjecture for the monoid variety generated by adjoining identities to monoids in H
Finite universality conjecture. The monoid variety generated by the monoids in $\mathbb{H}^1$ is finitely universal, meaning that every finite lattice is order-embeddable into its…
Conjectureopenmonoid-varieties semigroup-varieties universal-latticesarXiv posted 2 days ago
0 votes0 replies0 views
Conjecture that every proper codistributive semigroup variety is commutative
Codistributive commutativity conjecture. Any proper codistributive semigroup variety is commutative.
Conjectureopenlattice-theory semigroup-varietiesarXiv posted 2 days ago

The HFB conjecture for the variety Q1∨L31∨R31\mathbb Q^1 \vee \mathbb L_3^1 \vee \mathbb R_3^1Q1∨L31​∨R31​