pith. sign in

arxiv: 2604.18588 · v1 · submitted 2026-03-14 · 🧮 math.RA

A new limit variety of additively idempotent semirings

Simin Lyu , Miaomiao Ren , Mengya Yue This is my paper

Pith reviewed 2026-05-15 12:22 UTC · model grok-4.3

classification 🧮 math.RA
keywords limit varietyadditively idempotent semiringfinite basissubvariety latticesemiring identitiesSR_6
0
0 comments X

The pith

The six-element additively idempotent semiring SR_6 generates a limit variety whose subvariety lattice is a four-element chain.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper establishes a sufficient condition under which an additively idempotent semiring fails to have a finite basis for its identities. Applying this condition shows that the six-element semiring SR_6 has no finite basis. The authors then enumerate all subvarieties of the variety V(SR_6) generated by SR_6 and prove that they form exactly a four-element chain. This combination of properties makes V(SR_6) a limit variety: the variety itself is not finitely based, yet every proper subvariety is finitely based. The construction yields the smallest known example of an additively idempotent semiring with this behavior.

Core claim

V(SR_6) is a limit variety of additively idempotent semirings. The variety has no finite basis for its identities, its lattice of subvarieties is a four-element chain, and every proper subvariety is finitely based. SR_6 is the smallest known generator of such a limit variety.

What carries the argument

A newly derived sufficient condition for nonfinite basis in additively idempotent semirings, applied directly to SR_6 together with exhaustive enumeration of its subvarieties.

If this is right

  • V(SR_6) itself is nonfinitely based.
  • Every proper subvariety of V(SR_6) admits a finite basis.
  • The subvariety lattice of V(SR_6) contains exactly four elements and forms a chain.
  • No smaller additively idempotent semiring is known to generate a limit variety.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same sufficient condition may identify other limit varieties inside larger classes of semirings.
  • Similar enumeration techniques could be applied to varieties generated by small idempotent structures in related algebraic signatures.
  • The four-element chain provides a concrete minimal example for testing conjectures about the finite basis problem in idempotent algebras.

Load-bearing premise

The sufficient condition for nonfinite basis actually holds for SR_6, and the enumeration of subvarieties produces precisely the claimed four-element chain with nothing else.

What would settle it

An explicit finite set of identities that holds in SR_6 but fails in some algebra outside the claimed chain, or the discovery of any additional subvariety of V(SR_6) not contained in the four-element chain.

Figures

Figures reproduced from arXiv: 2604.18588 by Mengya Yue, Miaomiao Ren, Simin Lyu.

Figure 1
Figure 1. Figure 1: ), where T denotes the trivial variety. t t t t T V(Sc(a)) V(Sc(ab)) V(SR6) [PITH_FULL_IMAGE:figures/full_fig_p015_1.png] view at source ↗
read the original abstract

We establish a sufficient condition for an additively idempotent semiring to be nonfinitely based. Applying this condition, we prove that the six-element additively idempotent semiring $SR_6$ has no finite basis for its identity. Furthermore, we provide a complete description of the subvariety lattice of the variety $\mathsf{V}(SR_6)$ generated by $SR_6$, showing that it forms a four-element chain. Our results demonstrate that $\mathsf{V}(SR_6)$ is a limit variety: it is itself nonfinitely based, yet all of its proper subvarieties are finitely based. Moreover, $SR_6$ is the smallest known example of an additively idempotent semiring generating a limit variety.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

Summary. The paper establishes a sufficient condition for an additively idempotent semiring to be nonfinitely based. It applies this condition to prove that the six-element algebra SR_6 has no finite basis for its identities. It further claims a complete description of the subvariety lattice of V(SR_6), showing it is a four-element chain, hence V(SR_6) is a limit variety (nonfinitely based, but all proper subvarieties are finitely based), and SR_6 is the smallest known generator of such a variety in this class.

Significance. If the central claims hold, the work supplies a new concrete limit variety in the theory of additively idempotent semirings together with an explicit four-element chain lattice description and a reusable sufficient condition for nonfinite basis. The example is presented as smaller than previously known ones, which would strengthen the catalog of limit varieties in semiring varieties.

major comments (2)
  1. [§3] §3 (sufficient condition): the derivation of the sufficient condition for nonfinite basis is asserted to apply directly to SR_6, but the manuscript does not exhibit the explicit verification that SR_6 fails every finite set of identities implied by the condition; without the step-by-step check that no finite subset suffices, the nonfinite-basis claim for SR_6 remains unconfirmed.
  2. [§5] §5 (subvariety lattice): the claim that the lattice of V(SR_6) is precisely the four-element chain requires exhaustive proof that every proper subalgebra, quotient, or homomorphic image generates one of the three smaller varieties and that no additional identities define intermediate varieties; the enumeration steps and case analysis ruling out other subvarieties are not detailed enough to verify completeness.
minor comments (2)
  1. [§2] Notation for the semiring operations and the specific elements of SR_6 should be introduced with a table or explicit multiplication table in §2 to aid readability.
  2. [Introduction] The abstract and introduction cite prior work on limit varieties but omit explicit comparison of the size of SR_6 with the smallest previously known generators; adding one sentence would clarify the novelty claim.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and valuable comments on our manuscript. The points raised identify places where additional explicit verification will strengthen the presentation. We address each major comment below and will revise the paper accordingly.

read point-by-point responses

  1. Referee: [§3] §3 (sufficient condition): the derivation of the sufficient condition for nonfinite basis is asserted to apply directly to SR_6, but the manuscript does not exhibit the explicit verification that SR_6 fails every finite set of identities implied by the condition; without the step-by-step check that no finite subset suffices, the nonfinite-basis claim for SR_6 remains unconfirmed.

    Authors: We agree that the manuscript would benefit from an explicit step-by-step verification that SR_6 fails every finite set of identities derived from the sufficient condition. In the revised version we will insert a detailed argument showing that, for any finite collection of identities satisfied by SR_6, there is an identity implied by the sufficient condition that SR_6 does not satisfy. This will make the nonfinite-basis claim fully self-contained. revision: yes

  2. Referee: [§5] §5 (subvariety lattice): the claim that the lattice of V(SR_6) is precisely the four-element chain requires exhaustive proof that every proper subalgebra, quotient, or homomorphic image generates one of the three smaller varieties and that no additional identities define intermediate varieties; the enumeration steps and case analysis ruling out other subvarieties are not detailed enough to verify completeness.

    Authors: We accept that the case analysis in §5 is not sufficiently detailed to allow independent verification of completeness. In the revision we will expand the section with a systematic enumeration of all subalgebras, quotients, and homomorphic images of SR_6, together with a complete case-by-case argument showing that each generates one of the three proper subvarieties in the chain and that no intermediate variety can arise. revision: yes

Circularity Check

0 steps flagged

No circularity: new sufficient condition and subvariety enumeration are independent proofs

full rationale

The paper introduces a novel sufficient condition for nonfinite basis in additively idempotent semirings, verifies that SR_6 satisfies it via direct checking of identities, and separately enumerates all subvarieties of V(SR_6) to obtain exactly the claimed four-element chain. Neither step reduces to a fitted parameter, self-definition, or self-citation chain; both are presented as standalone verifications on the concrete algebra SR_6. No load-bearing premise collapses to its own output by construction, and the limit-variety conclusion follows from these independent arguments rather than renaming or smuggling prior results.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on the standard axioms of additively idempotent semirings and the definitions of variety and subvariety lattice; no free parameters, ad-hoc constants, or new postulated entities are introduced.

axioms (1)
  • standard math Standard axioms of additively idempotent semirings (addition is idempotent, associative, commutative; multiplication distributes over addition)
    The paper works entirely inside the established variety of additively idempotent semirings.

pith-pipeline@v0.9.0 · 5424 in / 1254 out tokens · 37386 ms · 2026-05-15T12:22:33.440248+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

42 extracted references · 42 canonical work pages

  1. [1]

    Alsulami, M

    T. Alsulami, M. Jackson, Finite models for positive combinatorial and exponential algebra. Bull. Lond. Math. Soc.57(11), 3380–3400 (2025)

    work page 2025

  2. [2]

    Connes, C

    A. Connes, C. Consani, On absolute algebraic geometry the affine case. Adv. Math.390, 107909 (2021)

    work page 2021

  3. [3]

    Bollob´ as, Modern Graph Theory

    B. Bollob´ as, Modern Graph Theory. Springer-Verlag, New York (1998)

    work page 1998

  4. [4]

    Burris, H.P

    S. Burris, H.P. Sankappanavar, A Course in Universal Algebra. Springer-Verlag, New York (1981)

    work page 1981

  5. [5]

    Dolinka, A nonfinitely based finite semiring

    I. Dolinka, A nonfinitely based finite semiring. Int. J. Algebra Comput.17(8), 1537–1551 (2007)

    work page 2007

  6. [6]

    Dolinka, A class of inherently nonfinitely based semirings

    I. Dolinka, A class of inherently nonfinitely based semirings. Algebra Universalis60, 19–35 (2009)

    work page 2009

  7. [7]

    Edwards, J.D

    J. Edwards, J.D. Mitchell, P. Ragavan, Counting finite semirings. Preprint, arXiv:2507.03709 (2025)

    work page arXiv 2025

  8. [8]

    Gusev, A new example of a limit variety of monoids

    S.V. Gusev, A new example of a limit variety of monoids. Semigroup Forum101(1), 102–120 (2020)

    work page 2020

  9. [9]

    Gusev, Y.X

    S.V. Gusev, Y.X. Li, W.T. Zhang, Limit varieties of monoids satisfying a certain identity. Algebra Colloq.32(1), 1–40 (2025)

    work page 2025

  10. [10]

    Gusev, O.B

    S.V. Gusev, O.B. Sapir, Classification of limit varieties ofJ-trivial monoids. Comm. Algebra 50, 1–22 (2022)

    work page 2022

  11. [11]

    Lee, M.V

    E.W.H. Lee, M.V. Volkov, Limit varieties generated by completely 0-simple semigroups. Int. J. Algebra Comput.21(1–2), 257–294 (2011)

    work page 2011

  12. [12]

    Gao and M.M

    Z.D. Gao and M.M. Ren, The flat semirings with nilpotent multiplicative reducts. Comm. Algebra, to appear. Preprint arXiv:2506.23047

    work page arXiv

  13. [13]

    Z.D. Gao, M. Jackson, M.M. Ren, X.Z. Zhao, The finite basis problem for additively idempo- tent semirings that relate toS 7. Preprint, arXiv:2501.19049 (2025)

    work page arXiv 2025

  14. [14]

    Ghosh, F

    S. Ghosh, F. Pastijn, X.Z. Zhao, Varieties generated by ordered bands I. Order22(2), 109–128 (2005)

    work page 2005

  15. [15]

    G lazek, A Guide to the Literature on Semirings and their Applications in Mathematics and Information Science

    K. G lazek, A Guide to the Literature on Semirings and their Applications in Mathematics and Information Science. Kluwer Academic Publishers, Dordrecht-Boston-London (2001)

    work page 2001

  16. [16]

    Golan, The Theory of Semirings with Applications in Mathematics and Theoretical Com- puter Science

    J.S. Golan, The Theory of Semirings with Applications in Mathematics and Theoretical Com- puter Science. Longman Scientific and Technical, Harlow (1992)

    work page 1992

  17. [17]

    Gupta, A

    C.K. Gupta, A. Krasilnikov, The finite basis question for varieties of groups–some recent results. Illinois J. Math.47(1–2), 273–283 (2003)

    work page 2003

  18. [18]

    Jackson, M.M

    M. Jackson, M.M. Ren, X.Z. Zhao, Nonfinitely based ai-semirings with finitely based semi- group reducts. J. Algebra611, 211–245 (2022)

    work page 2022

  19. [19]

    Jackson, Finiteness properties of varieties and the restriction to finite algebras

    M. Jackson, Finiteness properties of varieties and the restriction to finite algebras. Semigroup Forum70(2), 159–187 (2005)

    work page 2005

  20. [20]

    Kharlampovich, M.V

    O.G. Kharlampovich, M.V. Sapir, Algorithmic problems in varieties. Internat. J. Algebra Comput.5(4–5), 379–602 (1995)

    work page 1995

  21. [21]

    Neumann, Varieties of Groups

    H. Neumann, Varieties of Groups. Springer-Verlag, Berlin (1967)

    work page 1967

  22. [22]

    Neumann, Some classic and nearly classic problems on varieties of groups

    P.M. Neumann, Some classic and nearly classic problems on varieties of groups. In Groups St. Andrews 2009, 2, 479–487, Cambridge University Press (2011)

    work page 2009

  23. [23]

    Sapir, On Cross semigroup varieties and related questions

    M.V. Sapir, On Cross semigroup varieties and related questions. Semigroup Forum42(3), 345–364 (1991)

    work page 1991

  24. [24]

    Kuˇ ril, L

    M. Kuˇ ril, L. Pol´ ak, On varieties of semilattice-ordered semigroups. Semigroup Forum71(1), 27–48 (2005)

    work page 2005

  25. [25]

    Maclagan, B

    D. Maclagan, B. Sturmfels, Introduction to Tropical Geometry. American Mathematical So- ciety, Providence, RI (2015)

    work page 2015

  26. [26]

    Pastijn, Varieties generated by ordered bands II

    F. Pastijn, Varieties generated by ordered bands II. Order22(2), 129–143 (2005)

    work page 2005

  27. [27]

    Polin, Minimal varieties of semirings

    S.V. Polin, Minimal varieties of semirings. Math. Notes27(4), 259–264 (1980)

    work page 1980

  28. [28]

    Ren, J.Y

    M.M. Ren, J.Y. Liu, L.L. Zeng, M.L. Chen, The finite basis problem for additively idempotent semirings of order four, I. Semigroup Forum110(2), 422–457 (2025)

    work page 2025

  29. [29]

    Ren, Z.X

    M.M. Ren, Z.X. Liu, M.Y. Yue, Y.Z. Chen, The finite basis problem for additively idempotent semirings of order four, III. Semigroup Forum (2025) https://doi.org/10.1007/s00233-025- 10584-5 A NEW LIMIT V ARIETY OF ADDITIVELY IDEMPOTENT SEMIRINGS 17

    work page doi:10.1007/s00233-025- 2025

  30. [30]

    M.M. Ren, M. Jackson, X.Z. Zhao, D.L. Lei, Flat extensions of groups and limit varieties of additively idempotent semirings. J. Algebra623, 64–85 (2023)

    work page 2023

  31. [31]

    Ren, M.Y

    M.M. Ren, M.Y. Yue, M.Y. Yuan, S.M. Lyu, C.Y. Yang, T. Yu, The finite basis problem for additively idempotent semirings of order four, IV. In preparation

    work page

  32. [32]

    Ren, X.Z

    M.M. Ren, X.Z. Zhao, A.F. Wang, On the varieties of ai-semirings satisfyingx 3 ≈x. Algebra Universalis77(4), 395–408 (2017)

    work page 2017

  33. [33]

    Shao, M.M

    Y. Shao, M.M. Ren, On the varieties generated by ai-semirings of order two. Semigroup Forum 91(1), 171–184 (2015)

    work page 2015

  34. [34]

    Zhang, Y.F

    W.T. Zhang, Y.F. Luo, A sufficient condition under which a semigroup is nonfinitely based. Bull. Aust. Math. Soc.93(3), 454–466 (2016)

    work page 2016

  35. [35]

    V. Yu. Shaprynskiˇ ı, Semiring identities in the semigroupB0. Semigroup Forum109(3), 693– 705 (2024)

    work page 2024

  36. [36]

    Volkov, Semiring identities of the Brandt monoid

    M.V. Volkov, Semiring identities of the Brandt monoid. Algebra Universalis82(3), 42 (2021)

    work page 2021

  37. [37]

    Volkov, The finite basis problem for finite semigroups

    M.V. Volkov, The finite basis problem for finite semigroups. Sci. Math. Jpn.53(1), 171–199 (2001)

    work page 2001

  38. [38]

    Y.N. Wu, M.M. Ren, X.Z. Zhao, The additively idempotent semiringS 0 7 is nonfinitely based. Semigroup Forum108(2), 479–487 (2024)

    work page 2024

  39. [39]

    Preprint, arXiv:2603.00015 (2026)

    M.Y. Yue, M.M. Ren, Z.D. Gao, Two nonfinitely based additively idempotent semirings of order four. Preprint, arXiv:2603.00015 (2026)

    work page arXiv 2026

  40. [40]

    Yue, M.M

    M.Y. Yue, M.M. Ren, L.L. Zeng, Y. Shao, The finite basis problem for additively idempotent semirings of order four, II. Algebra Universalis86(4), 33 (2025)

    work page 2025

  41. [41]

    Zhao, M.M

    X.Z. Zhao, M.M. Ren, S. Crvenkovi´ c, Y. Shao, P. ¯Dapi´ c, The variety generated by an ai- semiring of order three. Ural Math. J.6(2), 117–132 (2020)

    work page 2020

  42. [42]

    Zhao, Y.N

    X.Z. Zhao, Y.N. Wu, The finite basis problem for ai-semirings obtained from a commutative flat semiring by adjoining a zero, Comm. Algebra59(9), 3721–3732 (2025) School of Mathematics, Northwest University, Xi’an, 710127, Shaanxi, P.R. China Email address:siminlyu@yeah.net School of Mathematics, Northwest University, Xi’an, 710127, Shaanxi, P.R. China Ema...

    work page 2025