Local comparability of exchange ideals

An exchange ideal I of a ring R is locally comparable if for every regular x ∈ I there exists a right or left invertible u ∈ 1+I such that x = xux. We prove that every matrix extension of an exchange locally comparable ideal is locally comparable. We thereby prove that every square regular matrix over such ideal admits a diagonal reduction.