Skip to content
DraconiticResearch
Search Sources API
190,851 studies31 sourcesUpdated 1 h ago
PreprintCC BY 4.0arXiv

The variety generated by all additively idempotent semirings of order four

Abstract

We prove that the variety generated by all four-element additively idempotent semirings has no finite basis for its identities.

Related

  1. The finite basis problem for additively idempotent semirings of order four, IV
    Miaomiao Ren, Mengya Yue, Mengyu Yuan +3
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
  2. The variety generated by all semirings of order three is nonfinitely based
    Aifa Wang, Wenhao Ju, Lili Wang
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryarXiv
  3. Two-element factors and finite bases for additively idempotent semirings
    Qirui Ma, Mengya Yue
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
  4. Inherently nonfinitely based additively idempotent semirings
    Miao Miao Ren, Meng Ya Yue, Yi Lin Zhou
    arXivPreprintCC BY 4.0Full textAlgebra & number theoryarXiv
  5. A nonfinitely based additively idempotent semiring that is not strongly nonfinitely based and generates a limit variety
    Xiaolei Shao, Miaomiao Ren, Zidong Gao
    arXivPreprintarXiv licenceFull textAlgebra & number theoryarXiv
BibTeX
@misc{yue2026variety,
  title = {{The variety generated by all additively idempotent semirings of order four}},
  author = {Mengya Yue and Xiaolei Shao},
  howpublished = {arXiv},
  year = {2026},
  month = sep,
  doi = {10.48550/arxiv.2609.20568},
  eprint = {2609.20568},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2609.20568},
  note = {CC BY 4.0},
}
RIS
TY  - UNPB
TI  - The variety generated by all additively idempotent semirings of order four
AU  - Mengya Yue
AU  - Xiaolei Shao
PY  - 2026
DA  - 2026/09/17
PB  - arXiv
DO  - 10.48550/arxiv.2609.20568
UR  - https://arxiv.org/abs/2609.20568
AB  - We prove that the variety generated by all four-element additively idempotent semirings has no finite basis for its identities.
ER  -