Rosenbrock's Theorem characterizes Prüfer domains
Under coprimality assumptions on certain submatrices, Rosenbrock's Theorem relates the Smith form of a matrix $P$ over an elementary divisor domain $\mathcal{R}$ to the Smith-McMillan form of a matrix $G$ over the field of fractions of $\mathcal{R}$, where $G$ is a Schur complement in $P$. If $\mathcal{R}$ is not an elementary divisor domain, Rosenbrock's Theorem is not directly applicable in its original form, because not every matrix is unimodularly equivalent to a matrix in Smith form. In this paper, we state an ideal-theoretic version of Rosenbrock's Theorem that is meaningful over any…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2606.01497
curl -X POST /api/v1/records/arxiv/2606.01497/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2606.01497/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'