Year: 2026
Type: preprint
Abstract: For every additively idempotent semiring $S$ in the constant-free signature, $S$ is finitely based if and only if $S\times E$ is finitely based when $E=M_2$ or $T_2$. For each $E\in\{L_2,R_2,D_2,N_2\}$, both implications fail even for finite $S$: we give a finite finitely based semiring whose product with $E$ is nonfinitely based and a finite nonfinitely based semiring whose product with $E$ is finitely based.
Source: arXiv (Cornell University)
Authors: Ma, Qirui, Yue, Mengya
Language: English
Subfield: Computational Theory and Mathematics
Field: Computer Science
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7222532415