Finite Generation in Polynomial Semirings
We study the semiring $\mathbb{N}_0[α]$ as an additive monoid where $α$ is a positive real algebraic number. In the atomic case, the atoms of $\mathbb{N}_0[α]$ are precisely the powers $α^n$ up to a certain nonnegative integer $n$, and finite generation is governed by divisibility of the minimal polynomial by a negative-tail polynomial. Our first main result gives a complete characterization when the minimal polynomial has the form $\mathfrak{m}_α(X)=p_α(X)-c$ with $c\in\mathbb{N}$. Our second main result shows that finite generation forces $α$ to be a weak Perron number. As an application,…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2604.11569
curl -X POST /api/v1/records/arxiv/2604.11569/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2604.11569/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'