Heights of ideals of minors

We prove new height inequalities for determinantal ideals in a regular local ring, or more generally in a local ring of given embedding codimension. Our theorems extend and sharpen results of Faltings and Bruns.