{"id":"arxiv/2606.01497","url":"https://arxiv.org/abs/2606.01497","tags":["math.AC"],"score":0,"title":"Rosenbrock's Theorem characterizes Prüfer domains","domain":"math.AC","source":"arxiv","authors":["Vanni Noferini"],"reviews":0,"subject":"math.AC","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-05-31","reactions":{}}