1: \begin{definition} \label{definingH}

2: Let $S_\Z := U_\Z (\frak{g})$. Let $H^{\la}_{\Z}$ be the graded algebra over $S_\Z$ with presentation given in Theorem \ref{presentation1}. Let

3:   $H^{\la}_{\K} := H^{\la}_{\Z}\otimes \K$.

4: \end{definition}

5: