Skip to content
DraconiticResearch
Search Sources API
203,234 studies31 sourcesUpdated 17 min ago
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

  1. The strong nonfinite basis property of S7
    Lili Wang, Qingrui Yin, Aifa Wang
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryarXiv
  2. The six-element additively idempotent semiring B21 is inherently nonfinitely based
    Miao Miao Ren, Meng Ya Yue, Yi Lin Zhou
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
  3. Optimal strong convergence of a splitting mixed finite element method for a stochastic Keller--Segel system
    Liet Vo
    arXivPreprintCC BY-NC-ND 4.0Full textNumerical analysis & scientific computingProbabilityarXiv
  4. Real stability of layer-refined antichain polynomials for three-chain products with a two-element factor
    Weiqi Jiang
    arXivPreprintCC BY 4.0Full textCombinatorics & discrete mathematicsarXiv
  5. A locking-free virtual element method for the three-dimensional quasi-static electroporoelasticity equations
    Jianguo Huang, Wenxuan Wang
    arXivPreprintCC BY-NC-ND 4.0Full textNumerical analysis & scientific computingarXiv
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  -