Splitting a Polynomial into Linear Factors after an Injective Ring Extension
We show that each univariate polynomial $P = p_0 + p_1 X + \cdots + p_m X^m \in R[X]$ over a commutative ring $R$ can be factored into linear factors over a suitable commutative ring extension $S$ of $R$. The proof proceeds by universal construction: $S$ is defined as the tensor product $R \otimes_{C_m} B_m$, where $B_m$ is the polynomial ring $\ZZ[a_1, b_1, a_2, b_2, \ldots, a_m, b_m]$, and where $C_m$ is its subring generated by its ``homogenized elementary symmetric polynomials'' $E_r=\sum_{\substack{I\subseteq [m];\\ |I|=r}} \prod_{i\in I}a_i\prod_{i\notin I}b_i$ for all $0 \leq r \leq…
Comments and reviews
No comments yet.
API
curl /api/v1/records/hexagon/2609.00117
curl -X POST /api/v1/records/hexagon/2609.00117/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/hexagon/2609.00117/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'