{"id":"arxiv/2610.01329","url":"https://arxiv.org/abs/2610.01329","tags":["math.GR"],"score":0,"title":"Finite bases for full power semirings of finite nilpotent semigroups","domain":"math.GR","source":"arxiv","authors":["Lili Wang","Qingrui Yin","Aifa Wang"],"reviews":0,"subject":"math.GR","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-10-01","reactions":{}}