Pith. sign in

REVIEW 2 cited by

The finite basis problem for additively idempotent semirings of order four, I

Not yet reviewed by Pith; the record is open.

Re-run · record.json Download PDF Read on arXiv ↗

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 2407.15342 v3 pith:5MRFKDAR submitted 2024-07-22 math.GR

Miaomiao Ren , Junyang Liu , Lingli Zeng , Menglong Chen This is my paper · ORCID
classification math.GR
keywords additivelybasisfiniteidempotentproblemsemiringsadditivealgebras
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

We study the finite basis problem for 4-element additively idempotent semirings whose additive reducts are semilattices of height 1. Up to isomorphism, there are 58 such algebras. We show that 49 of them are finitely based and the remaining ones are nonfinitely based.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. The finite basis problem for additively idempotent semirings that relate to S_7

    math.GR 2025-01 accept novelty 7.0 of 10

    The variety generated by the 3-element semiring S7 has exactly six finitely based subvarieties and contains a continuum of subvarieties, so S7 is of type 2^aleph0.

  2. The finite basis problem for additively idempotent semirings of order four, II

    math.GR 2025-01 conditional novelty 6.0 of 10

    Exactly one of the 93 four-element additively idempotent semirings with quasi-antichain additive reduct, namely S(4,435), is nonfinitely based; the other 92 are finitely based.

Pith tools