A generalization of the classical spectral theorem for normal complex matrices is proved for matrices with entries from a class of discrete valuation rings which we have called hermitian. The hermitian discrete valuation rings include the convergent complex power series in one variable and the complex formal power series in one variable. Thus one obtains an algebraic proof of Rellich's theorem on diagnolizability of hermitian analytic matrices which is simultaneously valid for both the rings of convergent and formal power series. © 1991.
Publication Source (Journal or Book title)
Linear Algebra and Its Applications
Adkins, W. (1991). Normal matrices over hermitian discrete valuation rings. Linear Algebra and Its Applications, 157 (C), 165-174. https://doi.org/10.1016/0024-3795(91)90111-9