{"id":"arxiv/2608.15793","url":"https://arxiv.org/abs/2608.15793","tags":["math.GR"],"score":0,"title":"The finite basis problem for the power semirings of finite groups","domain":"math.GR","source":"arxiv","authors":["Zidong Gao","Miaomiao Ren","Xiaolei Shao","Mengya Yue"],"reviews":0,"subject":"math.GR","summary":"For any group $G$, the set of all nonempty subsets of $G$ forms an additively idempotent semiring under set-theoretic union and elementwise multiplication, called the power semiring of $G$ and denoted by $\\mathcal{P}(G)$. We prove that for a finite group $G$, $\\mathcal{P}(G)$ has no finite basis for its identities if and only if $|G| \\geq 3$. This completes the classification of the power semirings of finite groups with respect to the finite basis property.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-08-16","reactions":{}}