{"id":"arxiv/2609.19957","url":"https://arxiv.org/abs/2609.19957","tags":["math.GR"],"score":0,"title":"Explicit equational bases for the power semirings of $S_7$","domain":"math.GR","source":"arxiv","authors":["Mengya Yue","Miaomiao Ren","Zidong Gao"],"reviews":0,"subject":"math.GR","summary":"For every semigroup $S$, the set $\\mathcal{P}(S)$ of all subsets of $S$ and the set $\\mathcal{P}^{+}(S)$ of all nonempty subsets of $S$ form additively idempotent semirings under set-theoretic union and elementwise multiplication, called the full and nonempty power semirings of $S$, respectively. We investigate the finite basis problem for the full and nonempty power semirings $\\mathcal{P}(S_7)$ and $\\mathcal{P}^{+}(S_7)$ of the multiplicative reduct of $S_7$, where $S_7$ is the unique nonfinitely based three-element additively idempotent semiring. We provide explicit infinite equational…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-17","reactions":{}}