Work

The six-element additively idempotent semiring $B_2^1$ is inherently nonfinitely based

Year: 2026

Type: preprint

Abstract: We show that the six-element additively idempotent semiring $B_2^1$ is inherently nonfinitely based. More precisely, for every positive integer $n$, we construct an infinite additively idempotent semiring, generated by at most $(6n+8)^2$ elements, that satisfies every $n$-variable identity of $B_2^1$.

Source: arXiv (Cornell University)

DOI: 10.48550/arxiv.2610.12491

Authors: Ren, Miao Miao, Yue, Meng Ya, Zhou, Yi Lin

Language: English

Topic: semigroups and automata theory

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W7221539052

Cites: 1

Cited by:

Related to: 10