# Principal ideal ring, does there exist a unit matrix such that certain matrix is upper triangular?

Crossposted to MathOverflow here.

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?

• What is a unit matrix? – Rene Schipperus Sep 30 '16 at 2:49
• Did you not mean a matrix which is a unit in $M_p(R)$? (A matrix with an inverse in $M_P(R)$) – Nick R Sep 30 '16 at 3:09

Of course you can try row reduction: you should probably go look at 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.