{"id":"arxiv/2609.32356","url":"https://arxiv.org/abs/2609.32356","tags":["math.GR"],"score":0,"title":"The finite basis problem for $2\\times 2$ triangular Boolean matrix semirings and incidence semirings","domain":"math.GR","source":"arxiv","authors":["Jun Jiao","Xiaolei Shao"],"reviews":0,"subject":"math.GR","summary":"An explicit finite identity basis is given for the eight-element semiring of upper triangular Boolean \\(2\\times2\\) matrices in the signature \\((+,\\cdot)\\). The basis consists of a known multiplicative basis, the ai-semiring laws, and 30 mixed identities, each using at most eight variables. The proof combines a finite basis for the multiplicative reduct with finite rules for shuffling words, duplicating a marked occurrence, and interchanging adjacent occurrences while adding prescribed witnesses. This converts the one-letter gap criterion into a derivation of every valid semiring identity. We…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-26","reactions":{}}