Abstract
We give a constructive proof of a theorem of Tate, which states that (under Stark's Conjecture) the field generated over a totally real field K by the Stark units contains the maximal real abelian extension of K. As a direct application of this proof, we show how one can compute explicitly real abelian extensions of K. We give two examples.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have