A matrix with entries in ED is invertible if and only if the matrix can be row reduced to the identity matrix [closed]

A matrix with entries in an Euclidean Domain is invertible if and only if the matrix can be row reduced to the identity matrix.

Is the above statement true?

closed as off-topic by user26857, Misha Lavrov, C. Falcon, Leucippus, JunivenApr 22 '17 at 1:47

This question appears to be off-topic. The users who voted to close gave this specific reason:

• "This question is missing context or other details: Please improve the question by providing additional context, which ideally includes your thoughts on the problem and any attempts you have made to solve it. This information helps others identify where you have difficulties and helps them write answers appropriate to your experience level." – user26857, Misha Lavrov, C. Falcon, Leucippus, Juniven
If this question can be reworded to fit the rules in the help center, please edit the question.

• Any references of your "theorem"? – Xam Apr 14 '17 at 19:56
• @Xam It is not a theorem though. I just want to know if this statement works under Euclidean domain since it works in basic linear algebra. – Kenneth.K Apr 14 '17 at 20:11
• HINT: The only problem is that at each step of the Gaussian elimination, the considered element in the diagonal is not a divisor of the elements below. Now, encoding the Euclidean algorithm for calculating the greatest common divisor, this problem can be solved. – Josué Tonelli-Cueto Apr 15 '17 at 0:14

By the Smith normal form for Euclidean domains, for any given matrix $X$, there is $A$ and $B$; both products of matrices corresponding to invertible elementary row/column operations, such that $X = ADB$ for a diagonal matrix $D$. (Stated this way, the Smith normal form relies essentially on the Euclidean algorithm, so is not true for general principal ideal domains.) If $X$ is invertible, it follows that the nonzero entries of $D$ are all units, which we may wlog assume to be $1$. Therefore; $X = AB = (AB)I$, where $AB$ is a product of matrices corresponding to invertible elementary row operations, and therefore $(AB)^{-1} X = I$. Thus, the answer to the question is positive.