Published online by Cambridge University Press: 26 February 2010
Let L/K be an extension of number fields and let be the subgroup of the unit group consisting of the elements that are roots of units of . Denote by (L/K, B) the number of points in with relative height in the sense of Bergé-Martinet at most B. Here ℙ1(L) stands for the one-dimensional projective space over L. In this paper is proved the formula (L/K, B) = CB2 + O(B2−1/[L:Q]), where C is a constant given in terms of invariants of L/K such as the regulators, class number and discriminant.