The finite basis problem for $2\times 2$ triangular Boolean matrix semirings and incidence semirings
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2609.32356
curl -X POST /api/v1/records/arxiv/2609.32356/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2609.32356/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'