Let be
integer numbers with , and
. Let
be the map given by
and let be
the closure of the image of .
Consider the polynomial
defined as
|
|
|
Let be the set of roots of
and, for each , let be the multiplicity
of . Let and be as in Proposition
8.1.
Then, in the Archimedean case,
- (1)
for ,
- (2)
,
- (3)
,
where is the principal determination of the logarithm.
While in the non-Archimedean case,
- (4)
for ,
- (5)
,
- (6)
.