The strong nonfinite basis property of $S_7$
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…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2610.13980
curl -X POST /api/v1/records/arxiv/2610.13980/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2610.13980/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'