The Prime Spectrum of Rq[G]

A highest weight module for R is a module generated by a one dimensional R+ module. Their theory is superficially similar to highest weight modules for U. Thus there are universal highest weight modules (analogous to Verma modules) and these admit unique simple quotients (10.1.5). However not all characters on R+ can give rise to such a module (10.1.3) and Prim R is not exhausted (10.1.7) by their annihilators. On the other hand they satisfy a remarkable tensor product theorem (10.1.18) which gives rise to a braid group action (10.2) on U.