{"id":"arxiv/2609.32152","url":"https://arxiv.org/abs/2609.32152","tags":["math.GR"],"score":0,"title":"The finite basis problem for additively idempotent semirings of order four, IV","domain":"math.GR","source":"arxiv","authors":["Miaomiao Ren","Mengya Yue","Mengyu Yuan","Simin Lyu","Chenyu Yang","Ting Yu"],"reviews":0,"subject":"math.GR","summary":"This paper is the fourth in a series devoted to the finite basis problem for $4$-element additively idempotent semirings. These algebras are divided into five types according to their additive reducts; we study the largest of these types, namely those whose additive reducts are chains. Up to isomorphism, there are $386$ such algebras, denoted by $S_{(4, k)}$, $481 \\leq k \\leq 866$. We show that all but three of them, namely $S_{(4,545)}$, $S_{(4,634)}$, and $S_{(4,710)}$, are finitely based. This completes the classification, with respect to the finite basis property, of all $4$-element…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-26","reactions":{}}