Does there exist a set $S$ and two binary operations $+$ and $*$ on that set, such that both the structures $(S;+)$ and $(S;*)$ have a finite basis of identities, but the conjoined structure $(S;+,*)$ does not have a finite basis? Also, what about vice versa? That is, both $(S;+)$ and $(S;*)$ are non-finitely based, but the structure $(S;+,*)$ is finitely based.
2026-04-01 03:39:55.1775014795
Two finitely based binary operations whose union is not finitely based, and vice versa
91 Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
I can answer the first question.
Every finite group $\langle G; \cdot\rangle$ is finitely based (see "Identical relations in finite groups". S. Oates and B. Powell. Journal of Algebra, 1964.) We don't need the unary operation $^{-1}$ or the constant $1$ in the signature since they are encoded by $x\mapsto x^{n-1}$ and $x\mapsto x^n$ where $n=\vert G\vert$.
It seems that every set $G$ with a constant binary operation $c(x,y)=c\in G$ is described by the identity $$c(x,y)\approx c(z,w).$$
However, Roger Bryant found a finite pointed group $\langle G; \cdot, c\rangle$ that is not finitely based (see "Laws of finite pointed groups". R. Bryant. Bulletin of the LMS, 1982.) It doesn't matter if we consider $c$ as a constant or a constant binary operation.