 The function Θ is independent of the choice of model, and is defined over the field of definition of "E".Let b be an ideal of "R" coprime to "a" and "Q" an "R"-generator of the b-torsion.Then Θa("Q") is defined over the ray class field "K"(b), and if b is not a prime power then Θa("Q") is a global unit