Open Research Index

Finite bases for full power semirings of finite nilpotent semigroups

Lili Wang, Qingrui Yin, Aifa Wang

arXivarxiv/2610.01329Oct 1, 2026math.GRscore 0

We investigate finite equational bases for full power semirings of finite semigroups, including the empty set, in the constant-free signature with addition and multiplication. For a nontrivial finite nilpotent semigroup, we associate a finite relational structure recording the ordered products that are nonzero. We prove that the full power semiring is finitely based if and only if this structure has finite duality, and relate this condition to first-order definability and dismantling of the square of its core. Quantitative bounds connect obstruction size with the number of variables required…

SourceJSON

Comments and reviews

No comments yet.

Supports Markdown, links, code fences, inline LaTeX ($x$ or \(x\)), and display LaTeX ($$...$$ or \[...\]).

Drafts stay in this tab.

API

curl /api/v1/records/arxiv/2610.01329
curl -X POST /api/v1/records/arxiv/2610.01329/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.01329/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
  -d '{"body": "…", "review": true}'