Linear equations and heights over division algebras

We make a start on the investigation of “small” solutions to systems of homogeneous linear equations over non-commutative division algebras. In this paper we prove some upper and lower bounds for the sizes of solutions to such systems. To measure solutions and coefficient matrices we define heights which satisfy natural invariance and finiteness properties.