This paper discusses several algorithmic problems related to rings of ratio
nal matrices. It provides solutions to these problems in the commutative ca
se and points out some of the difficulties to be overcome in the general ca
se. A connection with attempts to construct Grobner bases for ideals in fre
e rings is also illustrated.