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

Junyang Liu; Lingli Zeng; Menglong Chen; Miaomiao Ren

REVIEW

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

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

Miaomiao Ren , Junyang Liu , Lingli Zeng , Menglong Chen This is my paper

classification math.GR

keywords additivelybasisfiniteidempotentproblemsemiringsadditivealgebras

verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

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.

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

discussion (0)