PreprintCC BY 4.0arXiv
Strong nonfinite basability of the three-element flat semiring S7
Abstract
We prove that the three-element flat semiring S7 is strongly nonfinitely based within the class of additively idempotent semirings. More generally, let π© be the subvariety of Var(S7) defined by x2yβ x2. For every finite ai-semiring A, each variety π² satisfying π©βπ²βVar(A) has infinite axiomatic rank.
Related
- The strong nonfinite basis property of S7
- The six-element additively idempotent semiring B21 is inherently nonfinitely based
- Optimal strong convergence of a splitting mixed finite element method for a stochastic Keller--Segel system
- Real stability of layer-refined antichain polynomials for three-chain products with a two-element factor
- A locking-free virtual element method for the three-dimensional quasi-static electroporoelasticity equations
BibTeX
@misc{yue2026strong,
title = {{Strong nonfinite basability of the three-element flat semiring $S_7$}},
author = {Mengya Yue and Xiaolei Shao},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.14068},
eprint = {2610.14068},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.14068},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Strong nonfinite basability of the three-element flat semiring S_7
AU - Mengya Yue
AU - Xiaolei Shao
PY - 2026
DA - 2026/10/07
PB - arXiv
DO - 10.48550/arxiv.2610.14068
UR - https://arxiv.org/abs/2610.14068
AB - We prove that the three-element flat semiring S_7 is strongly nonfinitely based within the class of additively idempotent semirings. More generally, let π© be the subvariety of Var(S_7) defined by x^2yβ x^2. For every finite ai-semiring A, each variety π² satisfying π©βπ²βVar(A) has infinite axiomatic rank.
ER -