{"id":"arxiv/2610.13980","url":"https://arxiv.org/abs/2610.13980","tags":["math.RA","math.GR"],"score":0,"title":"The strong nonfinite basis property of $S_7$","domain":"math.RA","source":"arxiv","authors":["Lili Wang","Qingrui Yin","Aifa Wang"],"reviews":0,"subject":"math.RA","summary":"We prove that the three-element additively idempotent semiring $S_7$ is strongly nonfinitely based: every finite additively idempotent semiring whose generated variety contains $S_7$ has no finite equational basis. This answers Problem~1.2 in Yue, Ren and Gao's paper Explicit equational bases for the power semirings of $S_7$ affirmatively. The proof combines a rigidity property of set systems with private points and a probabilistic construction derived from semilinear sets of letter counts in finite semigroups. The argument allows arbitrary polynomial substitutions and does not assume…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-22","reactions":{}}