Diagonalizability theorems for matrices over rings with finite stable range

Bogdan Zabavsky


We construct the theory of diagonalizability for matrices over Bezout ring with finite stable range. It is shown that every commutative Bezout ring with compact minimal prime spectrum is Hermite. It is also shown that a principal ideal domain with stable range 1 is Euclidean domain, and every semilocal principal ideal domain is Euclidean domain. It is proved that every matrix over an elementary divisor ring can be reduced to "almost" diagonal matrix by elementary transformations.


finite stable range, elementary divisor ring, Hermite ring, ring with elementary reduction of matrices, Bezout ring, minimal prime spectrum

Full Text:



  • There are currently no refbacks.