Yoshitaka Odai "On the group of units of an abelian extension of an algebraic number field," Proceedings of the Japan Academy, Series A, Mathematical Sciences, Proc. Japan Acad. Ser. A Math. Sci. 64(8), 304-306, (1988)