Trace forms of abelian extensions of number fields of type (1,0)

This article is concerned with describing certain bilinear forms associated with finite abelian extensions N vertical bar K of an algebraic number field K. These abelian trace forms are described up to Witt equivalence, that is, they are described as elements in the Witt ring W(K). When the base field K has exactly one dyadic prime and no real embeddings, it is shown that the Witt class of every abelian trace form over K is a product of Witt classes of five specified types.