The Lehmer inequality and the Mordell–Weil theorem for Drinfeld modules

In this paper we prove several Lehmer type inequalities for Drinfeld modules which will enable us to prove certain Mordell–Weil type structure theorems for Drinfeld modules.