No label defined (Q4214865)

The authors develop a systematic and complete theory of greatest common divisors of a non-singular matrix \(N\) with coefficients in a principal ideal domain \(R\) and column vectors \(a^\downharpoonright\) with entries in an arbitrary torsion-free module \(A\). Main result: Let \(R\) be a principal ideal domain, \(A\) a torsion-free \(R\)-module, \(a^\downharpoonright\in A_k^\downharpoonright\), and \(N\in M_k(R)\) (ring of matrices over \(R\)) such that \(\det N\neq 0\). Then 1. Greatest common left divisors of \(N\) and \(a^\downharpoonright\) exist and are unique up to right equivalence. 2. \(N\) and \(a^\downharpoonright\) are relatively prime if and only if for any \(a^\rightharpoonup\in R^\rightharpoonup\), \(a^\rightharpoonup N^{-1}a^\downharpoonright\in A\) we have \(a^\rightharpoonup N^{-1}\in R^\rightharpoonup\). For the entire collection see [Zbl 0897.00025].