I asked [here](https://math.stackexchange.com/questions/1947445/principal-ideal-ring-does-there-exist-a-unit-matrix-such-that-certain-matrix-is) on Math Stack Exchange the following question.



> 
> Let $R$ be a principal ideal ring. If $A$ is any $p \times q$ matrix over $R$, then does there exist an invertible matrix $U$ in $\text{M}\_p(R)$ such that the $p \times q$ matrix $UA$ is upper triangular?
> 
> 
> 


[rschwieb](https://mathoverflow.net/users/19965/rschwieb) gave the following answer.



> 
> Of course you can try row reduction: you should probably go look at [Smith normal form](https://en.m.wikipedia.org/wiki/Smith_normal_form). Of course that is written for principal ideal *domains*, but I don't remember the domain part being the important condition to execute row operations. I think you just need GCDs. (I should check, maybe there is something tricky.)
> 
> 
> Part of the algorithm is the process of performing row operations to put the matrix in upper triangular form.
> 
> 
> The process continues with aim invertible matrix on the right to get the matrix into a diagonal form.
> 
> 
> 


My question is, can anybody here beef up what he wrote here into a more complete (but hopefully concise) proof? I still don't really see why what he suggests works.



Principal ideal ring, does there exist an invertible matrix such that certain matrix is upper triangular?
The answer to your initial question is yes, and Igor Rivin's comment is right and good. The result follows from the fact that a commutative *PIR* (Principal Ideal Ring) with identity is a Hermite ring in the sense of I. Kaplansky.


Indeed, a Hermite ring possesses a trigonal reduction as required, cf. [1, Theorem 3.5]. The fact that a commutative PIR with identity is a Hermite ring is given by [1, Theorem 12.3 and the subsequent remark] and can also be deduced from Hungerford's theorem [Theorem 1, 3] for instance (quotients and direct products of a Hermite rings are still Hermite). A PIR is actually an *elementary divisor ring* in the sense of I. Kaplansky (still a consequence of [Theorem 1, 3]), which is even stronger as it enjoys diagonal reduction. This is stated without proof in [Notes on Chapter I, 4].


Regarding rschwieb's answer, this approach fails already for a PID (Principal Ideal Domain) if you restrict to elementary row reduction. Indeed, you cannot row-reduce every $2$-by-$1$ matrices with coefficients in $R = \mathbf{Z}[\frac{1 + \sqrt{-19}}{2}]$ to a trigonal form $\begin{pmatrix}\* \\ 0 \end{pmatrix}$, since otherwise $R$ would be a $GE$-ring in the sense of P. M. Cohn and it isn't [2, Introduction and Theorem 6.1]. Still, the approach is successful for a Euclidean ring $R$, as we have $SL\_n(R) = E\_n(R)$ in this case. Here $E\_n(R)$ denotes the group generated by the elementary matrices, i.e., those matrices which induce the elementary row reduction moves preserving the determinant.


Thus row reduction, i.e., multiplication on the left by elementary matrices, is not sufficient to reduce a matrix to a trigonal form in a PID. However, reduction to a trigonal form is always achievable in PIDs if you allow multiplication by any invertible matrix on the left, which is your original problem. This is a subpart of the Smith Normal Form Theorem, the result rightly referred to by rschwieb and Igor Rivin. It is presented in some classical text books, e.g., "Abstract Algebra" of D. S. Dummit and R. M. Foote, which also handles Dedekind domains. Other readers may point you to sources of a more algorithmic nature; the Euclidean case is advisable as it is algorithmic by nature and far less technical than the PID case. I found the [wiki page](https://en.wikipedia.org/wiki/Smith_normal_form) on the Smith normal Form pretty good algorithm-wise. It goes into the detail of not-so-trivial induction arguments based on the number of prime divisors of coefficients, something that is missing in the outline of rschwieb. (You'll see there that the matrix $L\_0 \in SL\_2(R)$ used in step II is not necessarily an elementary matrix).


The most general class of rings with reduction to a trigonal form is, by definition, the class of Hermite rings in the sense of Kaplansky. For a modern treatment see [4], where the author refers to K-Hermite rings.
As stated above, this class includes PIRs. In my humble opinion, the issue with zero divisors was not a minor one.




---


[1] "Elementary divisors and modules", I. Kaplansky, 1949  

[2] "On the structure of the $GL\_2$ of a ring", P. M. Cohn, 1966.  

[3] "On the structure of principal ideal rings", T. W. Hungerford, 1968.  

[4] "Serre's problem on projective modules", T. Y. Lam, 2006.


