Rosenbrock's Theorem characterizes Prüfer domains
Abstract
Under coprimality assumptions on certain submatrices, Rosenbrock's Theorem relates the Smith form of a matrix P over an elementary divisor domain ℛ to the Smith-McMillan form of a matrix G over the field of fractions of ℛ, where G is a Schur complement in P. If ℛ 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 integral domain, and we show that it is equivalent to the classic formulation over an elementary divisor domain. Moreover, we give a characterization of Prüfer domains as those integral domains over which the ideal-theoretic version of Rosenbrock's Theorem holds for every matrix satisfying the assumptions. In particular, the theorem does not hold for every admissible matrix over ℂ[x1,…,xd] when d ≥ 2. However, when d≤ 3, it holds for square matrices in a nonempty Zariski-open subset of the coefficient space, having fixed the block sizes and a total degree bound. Finally, we prove that, if ℛ is an integral domain such that every right invertible matrix can be completed to a unimodular matrix, then every matrix P that satisfies the assumptions of the ideal-theoretic Rosenbrock's Theorem and realizes the same Schur complement G shares the same ideal-theoretic generalization of the Smith form.
Related
- Gorenstein Prüfer domains with non-Prüfer integral closure
- An overring characterization of Gorenstein Prüfer domains
- A stochastic convex integration scheme for the intermittent Onsager theorem in two-dimensional domains
- Formalization of Sullivan's No Wandering Domains Theorem in Lean
- A sharp stability inequality of Liouville's theorem for quasiregular mappings on bounded domains
BibTeX
@misc{noferini2026rosenbrocks,
title = {{Rosenbrock's Theorem characterizes Prüfer domains}},
author = {Vanni Noferini},
howpublished = {arXiv},
year = {2026},
month = sep,
doi = {10.48550/arxiv.2606.01497},
eprint = {2606.01497},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2606.01497},
note = {CC BY-NC-ND 4.0},
}
RIS
TY - UNPB
TI - Rosenbrock's Theorem characterizes Prüfer domains
AU - Vanni Noferini
PY - 2026
DA - 2026/09/11
PB - arXiv
DO - 10.48550/arxiv.2606.01497
UR - https://arxiv.org/abs/2606.01497
AB - Under coprimality assumptions on certain submatrices, Rosenbrock's Theorem relates the Smith form of a matrix P over an elementary divisor domain ℛ to the Smith-McMillan form of a matrix G over the field of fractions of ℛ, where G is a Schur complement in P. If ℛ 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 integral domain, and we show that it is equivalent to the classic formulation over an elementary divisor domain. Moreover, we give a characterization of Prüfer domains as those integral domains over which the ideal-theoretic version of Rosenbrock's Theorem holds for every matrix satisfying the assumptions. In particular, the theorem does not hold for every admissible matrix over ℂ[x_1,…,x_d] when d ≥ 2. However, when d≤ 3, it holds for square matrices in a nonempty Zariski-open subset of the coefficient space, having fixed the block sizes and a total degree bound. Finally, we prove that, if ℛ is an integral domain such that every right invertible matrix can be completed to a unimodular matrix, then every matrix P that satisfies the assumptions of the ideal-theoretic Rosenbrock's Theorem and realizes the same Schur complement G shares the same ideal-theoretic generalization of the Smith form.
ER -