  In this article we study the structure of highest weight modules for quantum
groups defined over a commutative ring with particular emphasis on the
structure theory for invariant bilinear forms on these modules.
